数据库事务隔离的级别-创新互联
本篇内容介绍了“数据库事务隔离的级别”的有关知识，在实际案例的操作过程中，不少人都会遇到这样的困境，接下来就让小编带领大家学习一下如何处理这些情况吧！希望大家仔细阅读，能够学有所成！
1 概述与背景
这是数据库事务原理和工程实践系列文章的第一篇，本文主要在Jim Gray的论文基础上分析关系数据库的事务隔离级别标准和不同隔离级别情况下的行为。第2节主要讨论ANSI标准的下的隔离级别，第3节主要讨论基于悲观锁实现的事务隔离级别，第4节主要讨论基于多版本技术的事务隔离，最后总结排序本文讨论到的各个隔离级别。
ACID是关系数据库的一组重要特性，其中Isolation（隔离性）描述了数据库允许多个并发事务同时对其数据进行读写和修改的能力，隔离性可以防止多个事务并发时由于交错执行而导致数据的不一致。在最极端的情况下，数据库完全串行化执行每一个事务，所有事务之间遵守全序关系，在这种情况下，不存在并发事务间的隔离问题，但是在实际工程实践中，处于对数据库性能吞吐量的考虑，允许多个事务之间按照一定的规则，打破串行话的全序关系，ANSI SQL Isolation Levels即规定了这种“规则”，通过将隔离性划分为4个级别，来换取多层级的事务间并发能力（即数据库的吞吐能力）。
注，本文内容融入了作者个人的理解，并没有严格遵守原文的内容；其中cursor stability隔离级别将在后续文章中讨论，快照隔离级别与ANSI标准异象的比较也有所不同。
2 ANSI事务隔离级别
ANSI SQL-92标准(http://www.contrib.andrew.cmu.edu/~shadow/sql/sql1992.txt)将数据库并发事务间的隔离性行为划分为3种"异象(phenomena)"，从低到高的自然语言定义依次为：
P1 脏读 ("Dirty read"): SQL-transaction T1 modifies a row. SQL- transaction T2 then reads that row before T1 performs a COMMIT. If T1 then performs a ROLLBACK, T2 will have read a row that was never committed and that may thus be considered to have never existed.
P2 不可重复读 ("Non-repeatable read"): SQL-transaction T1 reads a row. SQL- transaction T2 then modifies or deletes that row and performs a COMMIT. If T1 then attempts to reread the row, it may receive the modified value or discover that the row has been deleted.
P3 幻读 ("Phantom"): SQL-transaction T1 reads the set of rows N that satisfy some
. SQL-transaction T2 then executes SQL-statements that generate one or more rows that satisfy the used by SQL-transaction T1. If SQL-transaction T1 then repeats the initial read with the same , it obtains a different collection of rows.
通过依次禁止这三种异象，ANSI确定了4种标准隔离级别，如下表所示：
| 级别 | P1(脏读) | P2(不可重复读) | P3(幻读) |
| Read Uncommitted | 允许 | 允许 | 允许 |
| Read Committed | 禁止 | 允许 | 允许 |
| Repeatable Read | 禁止 | 禁止 | 允许 |
| (Anomaly) Serializable | 禁止 | 禁止 | 禁止 |
| Note: The exclusion of these penomena or SQL-transactions executing at isolation level SERIALIZABLE is a consequence of the requirement that such transactions be serializable. | |||
如标准文档所述，禁止了P1/P2/P3异象的事务即满足Serializable级别，但矛盾的是，标准文档中对Serializable又做了如下说明：
| The execution of concurrent SQL-transactions at isolation level SERIALIZABLE is guaranteed to be serializable. A serializable execution is defined to be an execution of the operations of concurrently executing SQL-transactions that produces the same effect as some serial execution of those same SQL-transactions |
它要求多个并发事务执行的效果与某种串行化执行的效果一致，但是仅仅禁止P1/P2/P3异象，并不一定能够保证“serial execution”的效果，因此论文中将ANSI Serializable称为Anomaly Serializable。
P1/P2/P3的形式化描述
根据标准文档的定义，可以将这三种异象使用形式化语言描述如下，称为A1/A2/A3（其中w1[x]表示事务1写入记录x，r1表示事务1读取记录x，c1表示事务1提交，a1表示事务1回滚，r1[P]表示事务1按照谓词P的条件读取若干条记录，w1[y in P]表示事务1写入记录y满足谓词P的条件）：
A1 脏读：w1[x] ... r2[x] ... (a1 and c2 in any order)
A2 不可重复读：r1[x] ... w2[x] ... c2 ... r1[x] ... c1
A3 幻读：r1[P] ... w2[y in P] ... c2 ... r1[P] ... c1
上述A1/A2/A3形式化描述，根据标准定义的P1/P2/P3异象的自然语言描述转化而来，但是ANSI标准定义的异象只针对了单个记录或谓词描述，对于多条记录需满足业务一致性的场景并未能覆盖（比如两个账户间转账要求余额总和不变），举例如下：
H1：r1[x=50]w1[x=10] r2[x=10]r2[y=50]c2 r1[y=50]w1[y=90] c1
事务1执行账户x向账户y转账40，事务2读取到了进行到了一半的事务1（Read Uncommitted），破坏了余额总和的一致性
因为事务1并未回滚，H1的行为并不符合A1的形式化定义
H2：r1[x=50]
Read Lock Write Lock Locking
Read Uncommitednone required
Well-formed Writes,
Long duration Write locks
Locking
Read CommitedWell-formed Reads,
Short duration read lockWell-formed Writes,
Long duration Write locks
Locking
Repeatable ReadWell-formed Reads,
Long duration data-item Read locks,
Short duration Read Predicate locksWell-formed Writes
Long duration Write locks
Locking
SerializableWell-formed Reads,
Long duration Read locksWell-formed Writes
Long duration Write locks
将locking标记的四种隔离级别与ANSI隔离级别对比：
Well-formed Reads, Short duration read lockRead Uncommitted < Read Committed < (Repeatable Read >< Snapshot) < Serializable
本文首先介绍了ANSI基于“异象”的隔离级别标准，并分析了其狭义和广义的描述；然后介绍了基于锁的隔离级别标准，与ANSI隔离级别进行了比较；最后分析快照隔离级别，在ANSI隔离级别标准基础上，提出了两种新的“异象”，得出快照隔离在几种标准隔离级别特性中的位置。
“数据库事务隔离的级别”的内容就介绍到这里了，感谢大家的阅读。如果想了解更多行业相关的知识可以关注创新互联-成都网站建设公司网站，小编将为大家输出更多高质量的实用文章！
网站标题：数据库事务隔离的级别-创新互联
网页路径：http://hbruida.cn/article/ceodpg.html
