美文网首页
Serializable Snapshot Isolation

Serializable Snapshot Isolation

作者: Aegeaner | 来源:发表于2021-11-26 17:51 被阅读0次

SI 异常

事务依赖类型:

  • WR依赖:T1写 -> T2读
  • WW依赖:T1写一个版本 -> T2更新版本
  • RW反依赖:T1写一个版本 -> T2读前一个版本。读写冲突,对SSI很重要

异常

如果 Serializable graph 有环,则不可串行化,无法拓扑排序。

Serializability 理论

定理1

每个有环的 Serializable graph 中都必定有连续的 T1 -(rw)-> T2 -(rw)-> T3 序列,而且T3是环中首先提交的事务。

推论2

T1和T2并发,T2和T3并发。

SSI

  • 只检测 rw反依赖 序列,会有 false positive。
  • 使用 SIREAD 锁进行运行时rw反依赖检测。
  • 扩展:PSSI (Precisely Serializable Snapshot Isolation) 去除所有的 false positives.

参考:p1850_danrkports_vldb2012

相关文章

网友评论

      本文标题:Serializable Snapshot Isolation

      本文链接:https://www.haomeiwen.com/subject/mirxxrtx.html