论文部分内容阅读
并发事务执行经历的限制条件是事务正确性和并发控制的基础,分布式实时事务的正确性包括结果正确性、行为正确性、结构正确性和时间正确性.该文根据分布式实时事务提交处理的需要,扩展了分布式实时事务的结构正确性限制,提出了弱提交依赖(WCD),它是双空间提交协议(2SC)的理论基础.在实时环境下,调度基于事务的优先级,因此调度的主要问题就成为实时事务的优先级指派问题.在分布式环境下,实时事务的优先级指派分为全局事务的优先级指派和子事务的优先级指派,实时并发控制协议和基于截止期的优先权指派策略相反的特性促使人们把事务和数据的时间限制结合在一起计算优先权,这就产生了混合优先级指派策略.该策略的主要思想是根据父事务占有锁的数目人为地减少子事务的空闲时间,父事务获得的锁越多,其截止期就越早.对于占有同样数目锁的父事务,子事务的相对优先权依赖于它们的定时限制.该文通过对这些技术的深入研究,提出了HDOCC-E2PC(Hybrid Distributed Optimistic Concurrency Control Embedded intwo-Phase Commit protocol)协议,它是一种混合的并发控制协议.在该协议中根据乐观并发控制方法具有三个处理阶段的特点,在验证阶段把锁方法和乐观方法结合在一起,并进一步把2PC协议嵌入到验证阶段和写阶段.它的另一个特点是充分利用实时事务的访问不变性和运行时刻信息来保证重启事务满足其截止期和尽早夭折无效运行事务.模拟实验证明该协议的性能比DOCC-DA协议的性能要好.