可重复读
在SQL92的定义中,REPEATABLE READ
是由几个条件定义的。
P1(“脏读”):
1) P1(“脏读”):SQL 事务 T1 修改一行。然后,SQL 事务 T2 在 T1 执行 COMMIT 之前读取该行。如果 T1 然后执行 ROLLBACK,T2 将读取从未提交的行,因此可以认为该行从未存在过。
P2(“不可重复读”):
2) P2 ("Non-repeatable read"): SQL-transaction T1 读取一行。SQL 事务 T2 然后修改或删除该行并执行 COMMIT。如果 T1 然后尝试重新读取该行,它可能会收到修改后的值或发现该行已被删除。
原子性和no updates will be lost
:
四个隔离级别保证每个 SQL 事务都将完全执行或根本不执行,并且不会丢失任何更新。
表 9,定义REPEATABLE READ
必须排除 P1 和 P2:
表 9,“SQL 事务隔离级别和三种现象”指定了对于给定隔离级别可能出现的现象和不可能出现的现象。
所以在SQL92的定义中REPEATABLE READ
,必须排除P1,P2,支持原子性,不更新丢失。
A5B(写入偏斜)
另一方面,A5B(Write Skew)在A Critique of ANSI SQL Isolation Levels中定义:
假设T1读x和y,与C()一致,然后一个T2读x和y,写x,commit。然后 T1 写入 y。如果 x 和 y 之间存在约束,则可能会违反约束。就历史而言:
r1[x]...r2[y]...w1[y]...w2[x]...(出现 c1 和 c2)
(写歪斜)
是REPEATABLE READ
排除A5B(Write Skew)吗?
在后面的论文中,它声称REPEATABLE READ
将排除表 4 中的 A5B(写入偏斜)。隔离类型以允许的可能异常为特征。,我不相信。
任何想法?
是的——如果你认同 Critique 的观点,即 ANSI 定义是基于锁定行为的,例如:
从这个角度来看,历史:
...在获取长期读取共享锁时被
w1[y]
阻止,因为 被 获取的锁阻塞r2[y]
。类似地,w2[x]
会被 获取的锁阻塞r1[x]
。因此,这段历史不可能出现。否- 如果您从字面上解释 ANSI 定义。这些被广泛认为是不完整的,所以这个结果并不那么令人惊讶。