满足2PL协议的无死锁事务并发控制Petri网模型.pdf

Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 55 满足2PL 协议的无死锁事务并发控制Petri 网模型 孙 琳 吴哲辉 崔焕庆 山东科技大学信息科学与工程学院, 山东青岛 266510 摘 要 在建立满足2PL 协议的数据库事务并发控制的Petri 网模型后 通过分析资源的调度过程 得到可能产生死锁的资源集 在模型上对其进行控制 从而得到无死锁的满足 2PL 协议的事务并 发控制的Petri 网模型 关键词 2PL 协议 严格2PL 协议 死锁 Petri 网 并发 文章编号 1004-731X (2005) S-55-04 中图分类号 TP311.13 文献标识码 A Petri Net Models for Deadlock-Free Transaction Concurrency Control with 2PL Protocol SUN Lin, WU Zhe-hui, CUI Huan-qing (College of Information Science and Technology, Shandong University of Science and Technology, Qingdao Shandong 2665 10, China) Abstract: After constructing the Petri net (PN) model for database transaction concurrency control with 2PL protocol, resource-sets that can lead to deadlocks are detected through analyzing the process of resource schedules. A deadlock-free PN model for transaction concurrency control with 2PL is constructed by controlling the resource-sets. Key words: 2PL protocol; strict 2PL protocol; deadlock; Petri net; concurrency 引 言1 事务中事务对数据进行操作以前要进行加锁 且每个事务中 的所有加锁操作在第一个解锁操作以前执行 因此 每个事 多个事务并发访问数据库 如果不加以控制 可能会 务中的加锁操作和解锁操作分布在两个部分中 所以称此协 产生如更新丢失 脏读 不可重复读等问题 通常使用各种 议为2PL 协议 协议来对并发事务对数据库的访问进行控制 封锁协议是其 两段锁协议将事务分两个阶段 第一个阶段为扩展阶 中重要的一部分 2PL 协议是最常用的封锁协议之一 文献 段 在这个阶段事务可以申请获得任何数据项上任何类型的 [1]利用有色网给出了满足严格 2PL 协议的数据库系统并发 锁 但是不能释放锁 第二个阶段为收缩阶段 在这个阶段 控制的Petri 模型 文献[2]对严格2PL 协议建立了Petri 网 事务可以释放任何数据项任何类型的锁 但不能再申请锁 模型 文献[3]对严格2PL 协议建立了P