首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于增广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
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号