摘要
嵌套事务作为扩展事务模型的一种,提供了事务内部的并行性和更好的失败恢复选择,具有较为广泛的应用,然而却给事务并发控制带来了更高的复杂性,尤其在实时数据库中事务具有时间限制。针对实时嵌套事务模型,提出了一种混合并发控制协议,对同一事务树内的子事务采用锁协议,对不同事务树之间的事务采用基于动态调整串行化顺序的乐观并发控制协议,提高了事务的成功率,最后证明了协议的正确性。
As one of the extended transaction models, nested transaction is used widely by providing intra-transaction parallelism as well as better failure recovery options. Unexpectedly, it makes the concurrency control more complex, especially in real-time database, in which transactions have time constraints. A hybrid concurrency control protocol for real-time nested transactions is proposed, which acts as an optimistic for transactions from different transaction trees and as pessimistic inside a single transaction tree, improves the success rate of the transactions. Finally, the proof of correctness is given.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第15期4029-4031,共3页
Computer Engineering and Design
关键词
实时数据库
事务模型
嵌套事务
并发控制
串行化顺序
real-time database
transaction model
nested transaction
concurrency control
serialization order
