基于增广有色Petri网带封锁机制的并发控制模型  

A Model of Database Concurrency Control with Locking Mechanism Based on Extended Colored Petri Net

作　　者：陈彦舟[1] 冯朝辉[1] 

机构地区：[1]中国人民公安大学信息安全系,北京102600

出　　处：《网络安全技术与应用》2011年第4期42-45,共4页Network Security Technology & Application

摘　　要：本文用带抑制/容许弧的增广有色Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个事务访问多个共享资源。其中采用了2PL协议解决了数据库中并发所引起的数据不一致性,并采取了FIFO策略避免了2PL协议引起的活锁问题,且给出死锁检测方法。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.

关 键 词：PETRI网 抑制弧 容许弧 死锁 2PL 形式化 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]