Content #
串行化理论的核心是串行化图(Serializable Graph,SG)。这个图用来分析数据库事务操作的冲突情况。
串行化图的构建规则是这样的,事务作为节点,当一个操作与另一个操作冲突时,在两个事务节点之间就可以画上一条有向边。
具体来说,事务之间的边又分为三类情况:
-
写读依赖(WR-Dependencies),第二个操作读取了第一个操作写入的值。
-
写写依赖(WW-Dependencies),第二个操作覆盖了第一个操作写入的值。
-
读写反依赖(RW-Antidependencies),第二个操作覆盖了第一个操作读取的值,可能导致读取值过期。