A Critique of ANSI SQL Isolation Levels

最新推荐文章于 2021-11-08 11:17:52 发布
最新推荐文章于 2021-11-08 11:17:52 发布
阅读量1.2k 收藏 5
点赞数 1
分类专栏： 分布式数据库 文章标签： 事务 隔离级别 数据库
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/hnwyllmm/article/details/95947776
版权

A Critique of ANSI SQL Isolation Levels

NOTE 本篇摘自论文，理论性很强，本人英语水平比较低，想要对事务隔离做深入了解的人阅读原文更好。

介绍

不同的事务隔离级别可以支持不同程度的事务并发度。
ANSI/ISO SQL-92定义了四种隔离级别：

  1. READ UNCOMMITTED;
  2. READ COMMITTED;
  3. REPEATABLE READ;
  4. SERIALIZABLE.

NOTE 这里与MySQL等数据库中的隔离级别名字相同，但是含义略有不同。这是篇针对隔离级别的纯理论文章。

这些级别通过经典的可串行化定义，加上三个禁止的子序列，称为"现象"(phenomena):

  • Dirty Read;
  • Non-repeatable Read;
  • Phantom(幻象，比如幻读).

ANSI文档中没有明确定义phenomena的概念，但是解释说这些phenomena会导致异常(anomalous)。

ANSI的隔离级别与锁相关。
通过phenomena或anomalies定义隔离级别对实现不基于锁的实现有指导意义。

NOTE 意思是说最开始很多数据库都是通过锁的方式实现的事务隔离。但是为了尽量的提高并发，减少锁的使用可能会有帮助，这篇文章尝试使用不加锁的一些概念，与加锁实现的隔离概念，作对比。达到理论上的不加锁描述上的与加锁实现的一致性。

这篇论文介绍了一些anomaly方式定义隔离级别的缺点。ANSI给出的三个phenomena比较模糊。甚至有些anomalous都没有排除。

NOTE ANSI SQL定义的是某些隔离级别下不会发生某些异象(anomaly)。

隔离定义

可串行化的定义

事务
一个事务包含了一系列动作，将数据库从一个一致性状态转换到另一个。

历史模型
交叉执行的一系列事务的动作线性化。

冲突
两个动作在不同的事务中执行，操作了同一个数据项，最少一个是写动作，那么在某个历史是冲突的。
数据项可以是表、行、或者页等。
冲突动作也可能是满足某个条件(predicate)的数据项集合，比如
select \* from t where age > 1 and age < 8;
这里的age > 1 and age < 8就称为predicate，对这个predicate加锁，就称为predicate lock。

ANSI SQL隔离级别

ANSI SQL定义了三个phenomena:

  1. P1(Dirty Read): 事务T1修改了一个数据，另一个事务T2在T1提交或回滚前读取。如果T1执行了回滚操作，那么T2就读取到了从来不存在的数据。
  2. P2(Non-repeatable 或 Fuzzy Read): 事务T1读取一个数据，另一个事务T2修改或删除这个数据再提交。T1重新读取这个数据时，就会看到一个修改过或删除掉的数据。
  3. P3(Phantom): 事务T1根据条件读取了一个数据集合。事务T2创建了一些满足的数据，然后提交。T1再次读取时，就会得到一些跟第一次不一样的数据。

操作注记：
w表示写，r表示读，c表示提交，a表示回滚，大P表示查询条件(predicate)，数字表示事务号。
w1[x]表示事务1写数据x。
r1[x]表示事务1读取x。
r1[P]表示事务1根据条件P(predicate)读取数据。
c1 表示事务1提交。
a1 表示事务1回滚。

P1(Dirty Read)：

P1: w1[x]...r2[x]...((c1或a1) 和 (c2或a2) 任意顺序)
A1: w1[x]...r2[x]...(a1 and c2 任意顺序)

P1描述了一种现象, 是更为广泛的说明(a broad interpretation)，A1描述了P1可能会导致的一种异常(A 指anomaly, a strict interpretation)。
A是P的一个特例。

P2(Non-repeatable Read):

P2: r1[x]...w2[x]...((c1 或 a1) and (c2 或 a2) 任意顺序)
A2: r1[x]...w2[x]...c2...r1[x]...c1

P3(Phantom) 下面的P指predicate，select的条件

P3: r1[P]...w2[y in P]...((c1 或 a1) 和 (c2 或 a2) 任意顺序)
A3: r1[P]...w2[y in P]...c2...r1[P]...c1

NOTE:上面的P1、P2和P3都是在单版本下的数据库(与多版本(single-valued)相对应,MVCC中的MV multi-version)

表1 ANSI SQL隔离级别按照三个原始Phenomena的定义。这不是最终结论。

隔离级别P1(或A1)
Dirty Read		P2(或A2)
Fuzzy Read		P3(或A3)
Phantom
ANSI READ UNCOMMITTEDPossiblePossiblePossible
ANSI READ COMMITTEDNot PossiblePossiblePossible
ANSI REPEATABLE READNot PossibleNot PossiblePossible
ANOMALY SERIALIZABLENot PossibleNot PossibleNot Possible

ANSI SQL 没有根据这三个phenomena单独定义SERIALIZABLE隔离级别。ANOMALY SERIALIZABLE指禁止这三种现象(P1P2P3)的隔离级别。

NOTE 从这里看起来好像ANOMALY SERIALIZABLE比REPEATABLE READ级别更强，后面会发现并不一定。

Locking

很多SQL产品使用基于锁的方法实现了事务隔离，比如MySQL。
事务在运行过程中，访问某个数据或数据集合时会加读锁或写锁。不同事务对数据加锁会产生冲突，其中一个是写锁。

predicate lock
谓词锁(条件可能更合适，predicate lock): 给定一个搜索条件，对满足这个条件的数据加锁。不仅仅对存在的数据，还包括不存在的数据。
比如select * from t where age > 1 and age < 8;对age在(1,8)范围加锁，加锁之后，其它的事务不能操作(1<age<8)的数据，也不能插入新的满足条件(1<age<8)的数据，比如insert into t(age) values(6);是不允许的。
这类似于MySQL InnoDB的gap lock。

well-formed reads/writes
事务在读写一个数据，或者满足某个条件的一些数据时，先加上对应的读写锁，就称为well-formed reads/writes。
一个事务的读写操作都是well-formed那么这个事务就是well-formed transaction。

two-phase locking
2阶段锁：事务访问数据数据时会加锁，不释放锁。在事务结束时(提交或回滚), 释放所有的锁。释放锁之后，不会再加新的锁。

long-duration/short-duration locking
事务持有某个锁，一直到事务提交或回滚，这个锁就称为long-duration。否则就是short-duration，就是访问完就释放的锁。

最基础的可串行化理论就是通过well-formed 2阶段锁保证的。

一致性等级 degrees of consistency
为了等价的描述基于锁(locking)、依赖(dependency)和基于异象(anomaly-based)，采用分级的方式描述一致性(degrees of consistency)。

表2 一致性等级，通过锁实现的隔离级别

一致性等级
=Locking隔离级别		读锁
数据或条件Predicate
(不注明时数据项和条件Predicate锁都一样)		写锁
数据项或条件Predicate
(数据项和条件Predicate都一样)
等级0不需要well-formed writes
等级1
= Locking READ UNCOMMITTED		不需要well-formed writes
long-duration write locks
等级2
= Locking READ COMMITTED		well-formed reads
short-duration read locks(两个都要)		well-formed writes
long-duration write locks
Cursor Stabilitywell-formed reads
当前游标持有读锁
short-duration 读条件(predicate)锁		well-formed writes
long-duration write locks
Locking REPEATABLE READwell-formed read
数据项锁long-duration
条件锁short-duration		well-formed writes
long-duration write locks
等级3
= Locking SERIALIZABLE		well-formed reads
long-duration read locks(两者都要)		well-formed writes
long-duration write locks

加locking前缀是为了跟ANSI作对比。
等级0定义了允许脏读脏写的级别。
Locking REPEATABLE READ没有对应的等级。
这个理论是[GLPT]创建的。
Date(应该是一个数据库公司名字)和IBM最开始使用术语"REPEATABLE READ" 表达串行化或者说是Locking SERIALIZABLE。
ANSI SQL中的REPEATABLE READ隔离级别没有禁止P3(Phantom)。
Date创建了一个更容易理解的术语Cursor Stability，对应等级2，可以防止游标更新丢失(后面会讲)。

隔离等级高低
L1 « L2：某个隔离等级L1比另一个隔离等级L2级别弱(L1 is weaker than L2);
L1 == L2: 两个隔离级别是一致的，等价的。
L1 «= L2: L1 « L2 或 L1 == L2(原文中的符号复制不出来)。
L1 »« L2: L1 和 L2不兼容(后面会看到Snapshot Isolation与Repeatable Read是不兼容的)。

备注：

Locking READ UNCOMMITTED
    « Locking READ COMMITTED
    « Locking REPEATABLE READ
    « Locking SERIALIZABLE

分析ANSI SQL隔离级别

基于locking协议的隔离级别定义最少跟对应的基于phenomena的隔离级别强度是一样的，[OOBBGM] 中做了证明。

P0(Dirty Writes) 事务T1写了一个数据，另一个事务T2在T1提交或回滚之前也修改这个数据。如果这时T1或T2执行回滚操作，无法解释清楚哪个数据是正确的。
P0: w1[x]…w2[x]…((c1 或 a1) 和 (c2 或 a2) 任意顺序)
脏写(Dirty Writes)是一个很严重的问题，所有的隔离级别都应该包含进来。

考虑一个历史操作：

H1: r1[x=50]w1[x=10]r2[x=10]r2[y=50]c2 r1[y=50]w1[y=90]c1

H1不是串行化的。这个事务将x账户转移40到y账户。但是H1与A1,A2和A3都不冲突(注意A1中只有a1 abort，没有commit，即异象1描述的不包含提交)。
再对比一下P1的描述：

P1: w1[x]...r2[x]...((c1或a1) 和 (c2或a2) 任意顺序)

很明显，H1与P1是冲突的。说明P1要比A1更广泛，更精确。
类似的例子：

H2: r1[x=50]r2[x=50]w2[x=10]r2[y=50]w2[y=90]c2r1[y=90]c1

H2也不是串行化的。没有事务脏读数据，因此P1满足了，也没有数据读了两次，也没有条件读。这里的问题是T1读取y的时候，x已经过时了。如果T1再读一次x，会违背A2，但是并没有这么做，所以A2也不适用这种场景。使用P2替换A2：

P2: r1[x]...w2[x]...((c1 或 a1) and (c2 或 a2) 任意顺序)

再来看A3和H3,P是某个条件：

H3: r1[P] w2[insert y to P] r2[z] w2[z] c2 r1[z] c1

T1执行一个搜索来找活跃的员工。T1就插入满足条件P的一个新的活跃员工，然后更新z。T1再读取活跃员工个数的时候，就会发现一个不一致的数据。这个历史操作明显也不是可串行化的。但是这个跟A3也是不冲突的，因为没有读取两次。在这里P3是更合理的：

P3: r1[P]...w2[y in P]...((c1 或 a1) 和 (c2 或 a2) 任意顺序)

ANSI SQL隔离级别定义的现象是不完整的，还可以有很多异象发生。因此需要定义新的现象(phenomena)来完善。下面会重新定义P1-P3，删除(c2或a2):

P0: w1[x]...w2[x]...(c1 或 a1) (Dirty Write)
P1: w1[x]...r2[x]...(c1 或 a1) (Dirty Read)
P2: r1[x]...w2[x]...(c1 或 a1) (Fuzzy or Non-Repeatable Read)
P3: r1[P]...w2[y in P]...(c1 或 a1) (Phantom)

表3 ANSI SQL隔离级别，基于现象(phenomena)

隔离级别P0 Dirty WriteP1 Dirty ReadP2 Fuzzy ReadP3 Phantom
READ UNCOMMITTEDNot PossiblePossiblePossiblePossible
READ COMMITTEDNot PossibleNot PossiblePossiblePossible
REPEATABLE READNot PossibleNot PossibleNot PossiblePossible
SERIALIZABLENot PossibleNot PossibleNot PossibleNot Possible

基于锁的(locking)的隔离级别描述与phenomena的描述是一致的。

其它的隔离类型

Cursor Stability

Cursor Stability是为了防止丢失更新。
P4(Lost Update): 事务T1读取一个数据然后事务T2更新这个数据，T1根据读取的结果更新这个数据然后提交：

P4: r1[x]...w2[x]...w1[x]...c1 (Lost Update)

示例：

H4: r1[x=100] r2[x=100] w2[x=120] c2 w1[x=130] c1

T1最后给x增加了30，他没有看到T2写入的数据。P4可以在READ COMMITTED隔离级别(注意这里的RC级别不要求读的时候加上写锁，跟平时用数据库时不太一样，这里是纯理论讨论)。禁止P2(REPEATABLE READ)可以避免这个问题，因此T2写x是在T1读取x并且在T1提交或回滚之前的。这样说的话，P4应该是在READ COMMITTED和REPEATABLE READ之间。
Cursor Stability隔离级别扩展了READ COMMITTED的锁行为：游标读取过数据之后，要求在游标移动或关闭之前必须要拿着这个读锁。

P4C: rc1[x]...w2[x]...w1[x]...c1 (Lost Update)

rc1指事务1使用游标读。

READ COMMITTED « Cursor Stability « REPEATABLE READ

Snapshot Isolation

快照隔离级别：每个事务都从一个事务开始时的快照中(已经提交的数据)读取数据。事务开始的时间戳称为Start-Timestamp。
数据库为每个事务维护一个对应Start-Timestamp的快照。
事务开始时或者在第一次读取数据时获取一个Start-Timestamp。
快照隔离级别的读取操作不会阻塞。事务的写，也会映射到这个快照中。在Start-Timestamp之后的事务更新的数据，对这个事务是不可见的。

快照隔离是一个多版本并发控制的类型，这与上面描述的都不同。上面描述的隔离都是假定在单版本模式下的，快照隔离是基于多版本(multiversion)的。
事务提交的时候，获取一个提交时间戳Commit-Timestamp，这个时间戳比任何当前已经存在的Start-Timestamp或Commit-Timestamp都要大。
事务T1可以成功提交的前提：没有另一个事务T2在[Start-Timestamp, Commit-Timestamp]时间段内写T1写过的数据。否则的话，T1就会回滚。这个策略称为First-committer-wins，能够防止丢失更新(P4 Lost Update)。
T1提交之后，修改的数据就会对Start-Timestamp比T1的Commit-Timestamp大的事务可见。

NOTE 很多数据库的MVCC通过单调递增序号的方式实现Start-Timestamp和Commit-Timestamp。

快照隔离是一个多版本的方法，单版本的历史描述不一定能够恰当的映射过来。上面描述的H1，如果放在快照隔离下，就是这样的：

H1.SI: r1[x0=50] w1[x1=10] r2[x0=50] r2[y0=50] c2
       r1[y0=50] w1[y1=90] c1

[OOBBGM]中证明了所有快照隔离的历史操作都可以映射到单版本的历史操作(保留操作依赖)。多版本的H1.SI映射到单版本：

H1.SI.SV: r1[x=50] r1[y=50] r2[x=50] r2[y=50] c2
          w1[x=10] w1[y=90] c1

将多版本的历史操作映射到单版本历史操作是唯一将快照隔离放在隔离架构中对比的严谨的检验方法。

快照隔离不是可串行化的。示例：

H5: r1[x=50] r1[y=50] r2[x=50] r2[y=50] w1[y=-40]
    w2[x=-40] c1 c2

H5可以发生在快照隔离级别下。假设修改数据的事务，都有一个约束x + y > 0。这样的话T1和T2在快照隔离级别下都可以正常的运行。
约束冲突(Constraint violation)是一个更普遍更重要的并发异常。

A5(数据约束冲突 Data Item Constraint Violation)。假设C()是数据库关于x和y的约束，有两个约束冲突：

A5A Read Skew
A5A Read Skew(偏移，误用): T1读x，然后T2更新x和y为一个新值提交。T1再读取y，会看到不一致的状态。

A5A: r1[x]...w2[x]...w2[y]...c2...r1[y]...(c1 or a1) (Read Skew)

NOTE 事务1读取x和y中间xy被事务2修改了。

A5B Write Skew
A5B Write Skew: T1读取x和y，满足约束条件C()，然后T2读取x和y，写x再提交。然后T1写y。如果x和y之间有约束的话，可能就会冲突。

A5B: r1[x]...r2[y]...w1[y]...w2[x]...(c1 and c2 occur)   (Write Skew)

NOTE 事务1读x写y，事务2读y写x。

如果P2(Non-Repeatable Read or Fuzzy Read)被禁止，那么A5A和A5B都不会发生，因为在T2写数据之前，T1已经读取数据了(按照locking中的描述，需要long-duration read锁)。这样的话，A5A和A5B只是在REPEATABLE READ级别和以下会发生。

READ COMMITTED « Snapshot Isolation

很明显，Snapshot Isolation(快照隔离)不会读取未提交的数据，所以比READ COMMITTED要stronger。

A2(Non-Repeatable Read的Anomaly描述)在快照隔离级别下是不可能发生的，因为事务读取数据时，即使其他事务修改了这条数据，再次读取也会得到相同的数据。
A5B在快照隔离级别下是可能发生的，但是REPEATABLE READ隔离级别下A5B不会发生(前面介绍过)。

快照隔离不会出现A3(Phantom), 就是幻读，因为一个事务读多次都是从快照中读取，所以不会出现幻读。而REPEATABLE READ会出现A3。所以有下面的结论：

REPEATABLE READ »« Snapshot Isolation

使用locking方式实现隔离级别时，相对于更加宽泛的定义，比如多版本的SI，有个区别是，locking是悲观的，SI是乐观的

快照隔离没有排除P3
约束：一系列工作时间总和不能超过8小时。
T1通过这个条件读取数据，发现时间总和是7小时，就增加了1个小时。
另一个并发的事务T2做同样的事情。
因为两个事务修改的是不同的数据，因此不会因为First-committer-wins而中断。
所以这个场景在快照隔离下是可以发生的。

快照隔离不会出现A3，不会有幻读，这个很明显。
快照隔离不会出现A1、A2和A3，这样就有：

ANOMALY SERIALIZABLE « SNAPSHOT ISOLATION.

NOTE 这里的ANOMALY SERIALIZABLE是指基于Anomaly来定义的，不是基于Phenomaly定义的。
这里的意思是ANOMALY SERIALIZABLE不一定比REPEATABLE READ更强?

通过这个描述，知道ANOMALY SERIALIZABLE不比REPEATABLE READ级别高，跟我们平时遇到的MySQL中的定义是不同的。

其它多版本系统

有些系统快照隔离级别仅支持只读事务。
Oracle提供了Read Consistency隔离，每条SQL语句都可以读取到语句开始时时间戳对应的最近的已经提交的数据。行修改操作需要加锁，这样就不是First-committer-wins，而是first-writer-wins。

总结

这篇文章尝试对ANSI SQL定义的隔离级别做一个审视，发现其中有些描述是不完整的。Dirty Writes(P0)没有被排除掉。
ANSI SQL想要将REPEATABLE READ定义为排除所有的异象(anomaly)，除了幻读(phantom)。但是基于anomaly描述的表1并没有达到这个效果，不过基于locking的定义可以做到。
ANSI选择的Repeatable Read术语非常不幸：

  1. Repeatable read不能提供可重复的结果;
  2. 业界已经使用这个术语来描述这个：很多产品中可重复读意味着串行化(serializable)。

结合商业上流行的隔离级别，在REPEATABLE READ和SERIALIZABLE之间，表3已经很强大。

Serializable == Degree 3 == {Date,DB2} Repeatable Read
                    |                   \
                    | P3       A5B       \ A5B
            Repeatable Read ---------- Snapshot Isolation
        P2 /        | P2       A3      /
          /         |                 /
Oracle   /   Cursor Stability        /
Consistent Read     |               /
        \           | P4C          /  A3,A5A,P4
         \ P4C      |             /
        Read Committed == Degree 2
                    |
                    | P1
        Read Uncommitted == Degree 1
                    |
                    | P0
            Degree 0(Dirty Write)

表4 根据可能出现的异象(Anomalies)制定的隔离级别特征

隔离级别P0
Dirty Write		P1
Dirty Read		P4C
Cursor Lost Update		P4
Lost Update		P2
Fuzzy Read		P3
Phantom		A5A
Read Skew		A5B
Write Skew
READ UNCOMMITTED
== Degree 1		Not PossiblePossiblePossiblePossiblePossiblePossiblePossiblePossible
READ COMMITTED
==Degree 2		Not PossibleNot PossiblePossiblePossiblePossiblePossiblePossiblePossible
Cursor StabilityNot PossibleNot PossibleNot PossibleSometimes PossiblePossiblePossiblePossiblePossible
REPEATABLE READNot PossibleNot PossibleNot PossibleNot PossibleNot PossiblePossibleNot PossibleNot Possible
SnapshotNot PossibleNot PossibleNot PossibleNot PossibleNot PossibleSometimes PossibleNot PossiblePossible
ANSI SQL SERIALIZABLE
==Degree 3
==Repeatable Read
Date,IBM,Tandem,…		Not PossibleNot PossibleNot PossibleNot PossibleNot PossibleNot PossibleNot PossibleNot Possible

NOTE 通篇阅览这篇论文，需要明确一点，就是这里讲的REPEATABLE READ和ANSI SQL SERIALIZABLE/Anomaly SERIALIZABLE，与MySQL等常用数据库产品中描述的级别是不同的。MySQL中介绍的REPEATABLE READ也会加predicate lock，就是gap lock和next-key lock(唯一索引仅锁对应的行)。不过，MySQL中的RR(REPEATABLE READ)级别, 也是会出现幻读(Phantom)(前提是不加锁的读)。MySQL实现隔离级别的方法也是locking策略。

参考

  1. Repeatable Read
  2. A Critique of ANSI SQL Isolation Levels
  3. Transaction Isolation Levels

文献

[GLPT] J. Gray, R. Lorie, G. Putzolu and, I. Traiger,“Granularity of Locks and Degrees of Consistency in a Shared Data Base,” in Readings in Database Systems, Second Edition, Chapter 3, Michael Stonebraker, Ed., Morgan Kaufmann 1994(originally published in 1977)
[OOBBGM] P. O’Neil, E. O’Neil, H. Berenson, P. Bernstein, J. Gray, J. Melton, “An Investigation of Transactional Isolation Levels,” UMass/Boston Dept. of Math & C.S. Preprint

羽飞
关注
  • 1
    点赞
  • 踩
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
A Critique of ANSI SQL Isolation Levels论文阅读
Sun_17的博客
07-09 706
A Critique of ANSI SQL Isolation Levels 摘要 ANSI SQL通过脏读、不可重复读和幻想（如幻读）现象定义了隔离级别。这篇论文介绍了这些现象和ANSI SQL定义未能正确描述的几个比较流行的隔离级别，包括所覆盖级别的标准锁的实现。介绍了更好地描述了隔离级别的新现象。最后，定了一个重要的多版本隔离类型，快照隔离（Snapshot Isolation）。 1 引言 ANSI/ISO SQL-92定义了四种隔离级别：（1）读未提交，（2）读已提交，（3）可重复读，（4）序列
A Critique of ANSI SQL Isolation Levels 论文翻译
weixin_33869377的博客
05-04 766
A Critique of ANSI SQL Isolation Levels对ANSI SQL 隔离级别的批评 摘要：ANSI SQL-92 [MS，ANSI]根据phenomena（可译为现象，读时现象）定义了隔离级别：脏读，不可重复读和幻读。本文显示，这些phenomena和ANSI SQL定义无法正确表征几个流行的隔离级别，包括对于不同...
重读A Critique of ANSI SQL Isolation Levels
热门推荐
The Magic Thing Happens
01-04 2万+
A Critique of ANSI SQL Isolation Levels 1. 1995年发表。 2. SQL是以现象（phenomena）来定义四个隔离级别的，但是与实际系统差别太大。 3. SQL没有涵盖某些常见的隔离级别，特别是多版本并发控制下的Snapshot Isolation。 4. 关系数据库ACID默认是要支持可串行化的，不过实际系统大多提供了较低的隔离级别。这也
理解《A Critique of ANSI SQL Isolation Levels》
weixin_41304497的博客
06-04 226
这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 欢迎使用Ma...
阅读 A Critique of ANSI SQL Isolation Levels
luijianfie的博客
11-08 285
目录 ANSI隔离级别定义 锁与异常场景 快照隔离SI（Snapshot Isolation） 总结 ANSI隔离级别定义 文章主要是对ANSI SQL的隔离级别进行补充。 在进行补充之前的，分别给出了脏读（A1,P1），不可重复读(A2,P2)，幻读(A3,P3)的读写序列化定义，大概知道是定义了上面三种异常场景即可。 A1: w1[x]...r2[x]...(a1 and c2 in either order) (Dirty Read) A2: r1[x]...w2
A Critique of ANSI SQL Isolation Levels.pdf
03-29
SQL事务隔离级别经典论文
DB - A Critique of ANSI SQL Isolation Levels
07-11
DB - A Critique of ANSI SQL Isolation Levels.pdf ANSI SQL-92 [MS, ANSI] defines Isolation Levels in terms of phenomena: Dirty Reads, Non-Re-peatable Reads, and Phantoms. This document shows that ...
A_Critique_of_ANSI_SQL_Isolation_Levels.pdf
07-23
隔离级别
A Critique of the CAP Theorem.pdf
10-09
These problems cast doubt on the utility of CAP as a tool for reasoning about trade-offs in practi- cal systems. As alternative to CAP, we propose a delay- sensitivity framework, which analyzes the ...
A Critique of ANSI SQL Isolation Levels阅读笔记
choumin的专栏
06-07 339
很久没正儿八经的读过论文了，最近因为工作的原因需要阅读一篇数据库相关的论文，叫A Critique of ANSI SQL Isolation Levels。最近加班太多，时间有限，先大概总结一下。 由于本人对数据库原理知之甚少，本文只是记录了对这篇论文字面意思的理解，其中必定存在大量误解，请大家交流指正。 本篇共分为5个小节，下面就通过分节梳理的方式来记录阅读笔记。 0、摘要讲了什么？ ANSI SQL-92基于三种异象（phenomena）定义了隔离级别。该论文表明ANSI定义的这些异象不能描述
浅谈Sql Server中的 隔离层级（Isolation Levels）
09-26 657
转自：http://blog.csdn.net/abrahamcheng/article/details/6218979 浅谈Sql Server中的 隔离层级（Isolation Levels） 隔离层级决定（影响）用户（广义用户）并发读写时的行为及其结果。读是一般指Select 语句，在默认情况下它使用共享锁。写是指使数据库内容发生改变的一切语句（Insert, Update, D
A Critique of Snapshot Isolation论文阅读
Sun_17的博客
07-16 582
A Critique of Snapshot Isolation 摘要 对事物的支持是DBMS的一个重要部分。没有这个支持的话，开发人员会受到尽管同时访问数据库会出现失败也要确保事务的原子执行的困扰。最理想的是，一个事务系统提供串行化，也就是意味着同时发生的事务的输出对于他们的串行执行是公平的。然而，基于锁实现的经验来说，串行化会带来高开销和低并行。 因此商业系统通过串行化这种来实现像隔离快照这样更弱的保证。但是开发人员仍然受到由于缺少串行化而出现的异常的困扰。 近期已经尝试通过事务支持里丰富大规模数据存储
事务前沿研究 | 隔离级别的追溯与究明，带你读懂 TiDB 的隔离级别（上篇）
TiDB_PingCAP 的博客
03-17 4212
上周六，在 Infra Meetup 134 期直播间，我们开启了「事务前沿研究」专题 Meetup 第一讲，希望通过本系列内容为大家分享一些学术前沿事务方面的研究内容。 在本次分享中，我司 TiDB 研发工程师童牧为大家介绍了事务隔离性基础概念与 TiDB 的隔离级别以及实现方式。为了让大家更好的理解分享内容，我们将发布「事务前沿研究」专题文章，本文将介绍在两阶段锁理解下，人们对隔离级别的理解。 绪论 「事务前沿研究」系列文章目的是给大家分享一些学术前沿的事务方面的研究内容，因为事务内容的专业性很强，本系
数据库事务隔离发展历史
云栖社区
09-04 198
云栖君导读：事务隔离是数据库系统设计中根本的组成部分，本文主要从标准层面来讨论隔离级别的发展历史，首先明确隔离级别划分的目标；之后概述其否定之否定的发展历程；进而引出 A...
A Critique of the Sharpe Ratio
猪宝斋
11-02 114
Author: David Harding, Winton Capital Management The Sharpe ratio is a statistic which aims to sum up the desirability of a risky investment strategy or instrument by dividing the average period re...
详解CockroachDB事务处理系统
weixin_30435261的博客
05-21 239
本文提到的一些术语，比如Serializability和Linearizability，解释看Linearizability, Serializability and Strict Serializability。 本文中观点大部分都是参考了CockroachDB多篇官方blog,设计文档，代码以及相关资料，相对来说比较琐碎，而且有些地方没有交代的太清楚，这里尝试将这些资料融合起来。相信看完这篇...
Write a critique on the cliche praises of feminine beauty that you know of.
最新发布
05-22
These praises focus solely on physical appearance and fail to acknowledge the multifaceted nature of a woman's beauty. One of the most common cliche praises is the emphasis on a woman's physical ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值