深入理解数据库并发控制原理

并发控制原理

事务之间的相互影响可能导致数据库状态的不一致，即使各个事务能保持状态的正确性，而且也没有任何故障发生。因此，不同事务中各个步骤的执行顺序必须以某种方式进行规范。控制这些步骤的功能由DBMS的调度器部件完成，而保证并发执行的事务能保持一致性的整个过程称为并发控制。调度器的作用如图1所示。

首先讨论如何保证并发执行的事务能保持数据库状态的正确性。抽象的要求称为可串行性，另外还有一个更强的、重要的条件为冲突可串行性，它是大多数调度器所真正实现的。我们考虑实现调度器的最重要技术：封锁、时间戳和有效性确认。

1.串行调度和可串行化调度

1.1 调度

调度是一个或多个事务的重要操作按时间排序的一个序列。

1)事务T所写的任意数据元素A被赋予一个值，该值以这样一种方式依赖于数据库状态，即不会发生算术上的巧合。

1.5 事务和调度的一个记法

我们接受事务所进行的精确计算可以是任意的，那么我们不需要考虑像t := t+100这样的局部计算步骤。只有事务的读和写需要考虑。因此，我们将用一种新的记法来表示事务和调度，其中动作有rT(X)和wT(X)分别表示事务T读和写数据库元素X。

例5 表1所示的事务可以写为：

T1: r1(A); w1(A); r1(B);w1(B);

T2: r2(A); w2(A); r2(B);w2(B);

表5中T1和T2的可串行化调度。这一调度写为：

r1(A); w1(A); r2(A); w2(A); r1(B);w1(B); r2(B);w2(B);

为使这一记法更精确：

1)动作是形如ri(X)或wi(X)的表达式，分别表示事务Ti读或写数据元素X。

2)事务Ti是具有下标i的动作序列。

3)事务集合T的调度S是一个动作序列，其中对T中的每个事务Ti，Ti中的动作在S中出现的顺序和其在Ti自身定义出现的顺序一样。我们说S是组成它的事务动作的一个交错。

2.冲突可串行化

我们现在将提出一个足以保证调度可串行化的条件。它基于冲突这一概念：调度中一对连续的动作，它们满足：如果它们的顺序交换，那么涉及的事务中至少有一个的行为会改变。

2.1 冲突

大多数的动作对按上面的理解并不冲突。

不同事务的任意两个动作在顺序上可以交换，除非：

1)它们涉及同一数据库元素;并且

2)至少有一个是写。

将这一思想进行扩展，我们可以接受任一调度，进行任意非冲突的交换，目标是将该调度转换为一个串行调度。如果我们能做到这一点，那么初始的调度是可穿行化的，因为它对数据库状态的影响在我们做一个非冲突交换时是不变的。

我们说两个调度是冲突等价的，如果通过一系列相邻的动作的非冲突化交换能将它们中的一个转换为另一个。如果一个调度冲突等价于一个串行调度，那么我们记说该调度是冲突可串行化的。

例6 考虑例5中的调度

r1(A); w1(A); r2(A); w2(A); r1(B);w1(B); r2(B);w2(B);

通过交换相邻动作将冲突可串行化调度转换为串行调度

r1(A); w1(A); r1(B);w1(B);r2(A); w2(A); r2(B);w2(B);

2.2 优先图及冲突可串行化判断

已知调度S，其中涉及事务T1和T2，可那个还有其他事务，我们说T1优先于T2，写作T1

1)在S中A1在A2前;

2)A1和A2都涉及同一数据库元素;并且

3)A1和A2至少有一个是写动作。

这正是我们不能交换A1和A2顺序的情况。因此，在任何冲突等价于S的调度中，A1将出现在A2的前面。所以，如果这些调度中有一个是串行调度，那么该调度必然是T1在T2前。

我可以使用优先图概括这样的先后次序。优先图中的结点是调度S中的事务。如果Ti

例7 下面的调度S涉及三个事务T1、T2和T3。

S：r2(A);r1(B);w2(A);r3(A);w1(B);w3(A);r2(B);w2(B)

判断调度S是否是冲突可串行化有一条简单的规则：

1)构造S的优先图，并判断其中是否有环。

如果有，那么S不是冲突可串行化的。如果该图是无环的，那么S是冲突可串行化的。

例8 考虑调度：

S1: r2(A);r1(B);w2(A); r2(B);r3(A);w1(B);w3(A); w2(B)

该图中显然有环，我们断定S1不是冲突可串行化的。

3.使用锁的可串行性实现

设想以一种不受约束的方式进行其动作的事务的一个集合。这些动作将形成以个调度，但是这一调度不大可能是可串行化的。

我们考虑调度器最常用的体系结构，这种结构在数据库元素上维护“锁”，以防止非可串行化的行为。

在本节中，我们用一个(过于)简单的封锁模式来介绍封锁的概念。这种模式中只有一种锁，它是事务想要在数据库元素上执行任何操作时都必须在该数据库元素上获得的。

3.1 锁

在图4中我们看到一个使用锁表来协助自己工作的调度器。

当调度器使用锁时，事务在读写数据库元素以外还必须申请和释放锁。锁的使用必须在两种意义上都是正确的：一种适用于事务的结构，而另外一种适用于调度的结构。

·事务的一致性：动作和锁必须按预期的方式发生联系：

1)事务只有以前已经在数据库元素上申请了锁并且还没有释放锁时才能读或写该数据元素。

2)如果事务封锁某个数据库元素，它必须为该元素解锁。

·调度的合法性：锁必须具有其预期的含义：任何两个事务都不能封锁同一元素，除非其中一个事务已经先释放其锁。

扩展我们先前关于动作的记法，并加入封锁和解锁动作：

li(X)：事务Ti请求数据库元素X上的锁。

ui(X)：事务Ti释放它在数据库元素X上的锁(解锁)。