写偏斜破坏不变量

写偏斜发生在两个事务读取同一条件后，分别更新不同对象，单看都合法，合并后却破坏约束。它常躲过快照隔离，因为没有同一行写冲突。预订、排班、余额约束这类跨行不变量，必须用更强隔离或显式锁保护。