| 基于增广Petri网带封锁机制的数据库并发控制模型 |
| |
| 引用本文： | 蒋忠远,宋文,姚建.基于增广Petri网带封锁机制的数据库并发控制模型[J].系统仿真学报,2007,19(A01):164-167. |
| |
| 作者姓名： | 蒋忠远 宋文 姚建 |
| |
| 作者单位： | 西华大学数学与计算机学院,四川成都610039 |
| |
| 基金项目： | 国家自然科学基金（60473030） |
| |
| 摘 要： | 用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。最后,利用S-不变给出此模型的验证。
|
| 关 键 词： | Petri网 禁止弧 容许弧 封锁 S-不变 形式化 |
| 文章编号： | 1004-731X（2007）S1-0164-04 |
| 收稿时间： | 2007-04-16 |
| 修稿时间： | 2007-06-27 |
A Model of Database Concurrency Control with Locking Mechanism Based on Extended Petri Nets |
| |
| JIANG Zhong-yuan, SONG Wen, YAO Jian.A Model of Database Concurrency Control with Locking Mechanism Based on Extended Petri Nets[J].Journal of System Simulation,2007,19(A01):164-167. |
| |
| Authors: | JIANG Zhong-yuan SONG Wen YAO Jian |
| |
| Abstract: | A model of database concurrency control with locking mechanism is constructed by the extended 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 and the dead-lock caused by the Two-Phase Locking Protocol are solved by the Fist-In-Fist-Out strategy and the One-Time Locking Method respectively. Finally, the proof of the model is given by S-Invariants. |
| |
| Keywords: | Petri nets inhibitor arcs permissive arcs locking S-Invariants formalization |
| 本文献已被 维普 等数据库收录！ |
