11.4�有效性检查协议

1、问题的提出

2、事务的生命周期

3、时间戳

��加锁协议对于处理事务间的冲突是一种悲观的方法，主要是通过中止或者阻塞事务来解决冲突。对于访问数据对象的竞争相对缓和的系统，遵循加锁协议申请并获得锁的开销并不是必须要付出的。乐观的并发控制方法的基本前提是大多数事务不会与其他事务发生冲突，该方法的思想是尽可能地允许事务执行。有效性检查协议就是这样一种机制，它是由Kung和Robinson在1981年提出的。需要注意的是乐观的并发控制方法还是有并发控制开销的，这里基于加锁方法的加锁开销被替换成记录事务的读写列表、检查冲突和复制私有工作区更新数据的开销。同样基于加锁方法出现阻塞带来的潜在开销被替换成重新启动事务撤消已进行的工作所造成的潜在开销。
��