事务的属性--严格性（Strictness）

严格性（Strictness）

    A schedule is strict - has the strictness property - if for any twotransactions T1, T2, if a write operation of T1 precedes a conflictingoperation of T2 (either read or write), then the commit or abort event of T1also precedes that conflicting operation of T2.

    所以，严格性概念的作用在于保证：有冲突动作（前述的“冲突行为（Conflictingactions）”）的并发的事务中，先发生写操作的事务提交或撤销的操作优先于其他事务。这个属性确保了并发的事务间的提交/回滚这个动作的顺序。这个属性也是在编码实现事务管理器时的一个重要的细节点。

    如表1-10（http://blog.163.com/li_hx/blog/static/183991413201610493233235/），事务管理器保证只能发生case 1和case 2的情况，而不能发生case 3的情况。但编码实现时应该在事务提交或撤销动作发出的时候，判断这个动作是不是是事务T1发出的，判断事务T1是不是先做过写操作，如果是，才允许事务T1提交或主动撤销或被动被撤销（当然，事务T1之前已经没有“优先于”T1的其他未完成的事务存在）。对于事务T2，则需要继续判断事务T1是不是已经提交，如果事务T1正常提交，则事务T1才被允许执行提交或撤销操作。

表1-10 可恢复性示例

可恢复

不可恢复

case 1

case 2

case 3

T1

T2

T1

T2

T1

T2

R(X)

　

R(X)

　

R(X)

　

W(X)

　

W(X)

　

W(X)

　

　

R(X)

　

R(X)

　

R(X)

　

W(X)

　

W(X)

　

W(X)

Commit

　

Abort

　

　

Commit

　

Commit

　

Abort

Abort