期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

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

Petri Net Models for Deadlock-Free Transaction Concurrency Control with 2PL Protocol

下载PDF

导出

摘要在建立满足2PL协议的数据库事务并发控制的Petri网模型后,通过分析资源的调度过程得到可能产生死锁的资源集,在模型上对其进行控制,从而得到无死锁的满足2PL协议的事务并发控制的Petri网模型.

作者孙琳吴哲辉崔焕庆

机构地区山东科技大学信息科学与工程学院

出处《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期55-58,共4页 Journal of System Simulation

基金国家自然科学基金资助课题(60173053)

关键词 2PL协议严格2PL协议死锁 PETRI网并发

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

引文网络
相关文献

参考文献6

1韩耀军,蒋昌俊,罗雪梅.数据库系统并发控制的扩展有色Petri网方法[J].同济大学学报（自然科学版）,2004,32(1):104-108. 被引量：6
2姚晓玲,吴哲辉.2PL协议的Petri网模型[J].计算机工程与应用,2004,40(24):160-162. 被引量：2
3韩耀军,蒋昌俊,罗雪梅.基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测[J].小型微型计算机系统,2004,25(5):821-826. 被引量：7
4王化冰.多资源复合共用FMS的死锁研究[J].计算机集成制造系统-CIMS,2000,6(4):70-73. 被引量：3
5徐刚,吴智铭.制造系统中的死锁问题[J].系统工程理论与实践,2004,24(4):106-111. 被引量：5
6尹朝庆.数据库系统中并发事务死锁的解除与避免[J].计算机研究与发展,1995,32(4):33-38. 被引量：9

二级参考文献23

1尹朝庆.数据库系统中并发事务死锁的解除与避免[J].计算机研究与发展,1995,32(4):33-38. 被引量：9
2毛法尧.分布式数据库系统[J].小型微型计算机系统,1995,16(8):55-60. 被引量：3
3原忠虎,徐心和.一类并行互斥制造系统的死锁避免控制[J].信息与控制,1995,24(2):85-89. 被引量：3
4伍乃骐.柔性制造系统中死锁避免的充要条件第一部分：资源竞争过程的建模[J].信息与控制,1995,24(5):257-268. 被引量：2
5伍乃骐.柔性制造系统中死锁避免的充要条件第二部分：资源的动态分配规则[J].信息与控制,1995,24(6):343-355. 被引量：1
6邢科义,许祥秦,胡保生.避免FMS死锁的控制策略[J].控制理论与应用,1996,13(3):312-318. 被引量：2
7尹朝庆.位置互连受控Petri网的死锁与避免[J].控制理论与应用,1996,13(1):76-79. 被引量：1
8JPeterson 吴哲辉译.Petri网理论与系统模[M].徐州:中国矿业大学出版社,1989..
9王能斌，数据库设计与实现，1991年
10袁崇义，Petri网，1989年

共引文献21

1徐刚,吴智铭.制造系统中的死锁问题[J].系统工程理论与实践,2004,24(4):106-111. 被引量：5
2陈凌,余建桥,张尉.1种基于2PL新的封锁协议研究[J].西南农业大学学报（自然科学版）,2006,28(1):97-99. 被引量：1
3刘韬,傅卫平,王雯,李德信,谢敬.基于面向对象赋时Petri网的出入库系统建模[J].系统仿真学报,2006,18(3):537-541. 被引量：16
4刘荣峰,李引珍.基于有色Petri网并发进程模型及死锁避免方法[J].计算机工程与应用,2007,43(6):48-49. 被引量：2
5刘荣峰.并发进程死锁检测的一种新方法[J].甘肃科技,2007,23(2):31-32.
6蒋忠远,宋文,姚建.基于增广Petri网带封锁机制的数据库并发控制模型[J].系统仿真学报,2007,19(A01):164-167. 被引量：1
7刘荣峰,李引珍,吴桂华.基于Petri网的分布式系统并发进程的死锁检测[J].计算机工程与设计,2007,28(22):5353-5355. 被引量：2
8王琦,韩江洪,王青山.Petri网合成理论及应用综述[J].计算机仿真,2008,25(12):8-11. 被引量：5
9丁佐华,江明月,刘静.基于常微分方程的死锁检测实验分析[J].计算机学报,2009,32(9):1736-1749.
10徐波涛,寇益.基于Petri网的制造单元建模与仿真[J].军民两用技术与产品,2009(10):46-48. 被引量：1

1杨华甫.网络环境下数据库的一致性研究[J].计算机时代,2004(7):3-4. 被引量：2
2阳晓霞.三类数据库事务并发控制方法的实现及比较[J].考试周刊,2008,0(21):127-128. 被引量：1
3韩承双,程再玲.信息系统事务并发控制的两种策略[J].河南科技大学学报（自然科学版）,2008,29(6):45-48.
4卢炎生,杨攀宇,潘鹏.时空数据库事务并发控制的动态封锁[J].计算机工程与科学,2005,27(5):45-47.
5李海凌,刘克剑.基于锁的事务并发控制[J].四川工业学院学报,2003,22(3):99-103. 被引量：2
6冯杰.分布式数据库在物资管理系统中的应用[J].晋中学院学报,2016,33(3):78-81.
7左凤朝.基于Petri网的数据库系统并发控制模型[J].计算机工程与应用,2002,38(13):198-200. 被引量：6
8金蓉,李跃新.事务并发控制中的两段锁和可串行化冲突图的对比[J].湖北大学学报（自然科学版）,2005,27(1):19-23.
9崔春莉.实时数据库系统研究综述[J].山西煤炭管理干部学院学报,2012,25(4):154-155. 被引量：2
10易涵,陈海波.内存数据库事务的混合并发控制研究[J].小型微型计算机系统,2016,37(3):459-463. 被引量：2

系统仿真学报

2005年第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部