| 基于增广有色Petri网带封锁机制的并发控制模型 |
| |
| 引用本文： | 陈彦舟,冯朝辉.基于增广有色Petri网带封锁机制的并发控制模型[J].网络安全技术与应用,2011(4):42-45. |
| |
| 作者姓名： | 陈彦舟 冯朝辉 |
| |
| 作者单位： | 中国人民公安大学信息安全系,北京,102600 |
| |
| 摘 要： | 本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL协议引起的活锁问题,且给出死锁检测方法。
|
| 关 键 词： | Petri网 抑制弧 容许弧 死锁 2PL 形式化 |
A Model of Database Concurrency Control with Locking Mechanism Based on Extended Colored Petri Net |
| |
| Chen Yanzhou,Feng Chaohui.A Model of Database Concurrency Control with Locking Mechanism Based on Extended Colored Petri Net[J].Net Security Technologies and Application,2011(4):42-45. |
| |
| Authors: | Chen Yanzhou Feng Chaohui |
| |
| Affiliation: | Dept.of Information Engineering,Chinese People＇s Public Security University,Beijing,102600,China |
| |
| Abstract: | A model of database concurrency control with locking mechanism is constructed by the Extended Colored Petri Nets with inhibitor and permissive arcs.The model is applied to describing the system that has multi-processes accessing to shared resources.The data inconsistency arising as the concurrence in the database is solved by the Two-Phase Locking Protocol.The live-lock caused by the Two-Phase Locking Protocol is solved by the Fist-In-Fist-Out strategy and give deadlock detection methods. |
| |
| Keywords: | Petri nets inhibitor arcs permissive arcs locking Two-Phase Locking Protocol formalization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
