Write Skew
写倾斜是快照隔离下的异常:两个事务各自基于一致快照做条件检查后写不同行,合并后违反约束。
用途
理解快照隔离不能保证可串行化的原因,识别 SSI 需检测的异常。
机制
经典例子:值班约束至少一人值班。T1 读两人值班、将 A 改为下班;T2 读两人值班、将 B 改为下班。各自快照满足约束但合并后无人值班。SSI 通过检测读依赖回滚。
用例
- SSI 异常检测
- 快照隔离局限
- 并发约束分析
写倾斜是快照隔离下的异常:两个事务各自基于一致快照做条件检查后写不同行,合并后违反约束。
理解快照隔离不能保证可串行化的原因,识别 SSI 需检测的异常。
经典例子:值班约束至少一人值班。T1 读两人值班、将 A 改为下班;T2 读两人值班、将 B 改为下班。各自快照满足约束但合并后无人值班。SSI 通过检测读依赖回滚。