串行化图(Serializable Graph,SG)

串行化图(Serializable Graph,SG)

Content #

串行化理论的核心是串行化图(Serializable Graph,SG)。这个图用来分析数据库事务操作的冲突情况。

串行化图的构建规则是这样的,事务作为节点,当一个操作与另一个操作冲突时,在两个事务节点之间就可以画上一条有向边。

具体来说,事务之间的边又分为三类情况:

  1. 写读依赖(WR-Dependencies),第二个操作读取了第一个操作写入的值。

  2. 写写依赖(WW-Dependencies),第二个操作覆盖了第一个操作写入的值。

  3. 读写反依赖(RW-Antidependencies),第二个操作覆盖了第一个操作读取的值,可能导致读取值过期。

Viewpoints #

From #

14 | 隔离性:实现悲观协议,除了锁还有别的办法吗?