跳到主要内容
uencoder

Write Skew

写倾斜是快照隔离下的异常:两个事务各自基于一致快照做条件检查后写不同行,合并后违反约束。

用途

理解快照隔离不能保证可串行化的原因,识别 SSI 需检测的异常。

机制

经典例子:值班约束至少一人值班。T1 读两人值班、将 A 改为下班;T2 读两人值班、将 B 改为下班。各自快照满足约束但合并后无人值班。SSI 通过检测读依赖回滚。

用例

  • SSI 异常检测
  • 快照隔离局限
  • 并发约束分析

相关工具

参考链接