首页> 中文期刊>系统仿真学报 >满足2PL协议的无死锁事务并发控制Petri网模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《系统仿真学报》|2005年第z1期|55-58|共4页
作者
孙琳; 吴哲辉; 崔焕庆;
展开▼
作者单位

山东科技大学信息科学与工程学院,山东青岛,266510 山东科技大学信息科学与工程学院,山东青岛,266510 山东科技大学信息科学与工程学院,山东青岛,266510;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.13;
关键词
2PL协议; 严格2PL协议; 死锁; Petri网; 并发;

相似文献

中文文献
外文文献
专利

1. 2PL协议的Petri网模型 [J] . 姚晓玲 ,吴哲辉 . 计算机工程与应用 . 2004,第024期
2. 网格实时事务并发控制协议及其PETRI网分析 [J] . 陈俊 ,古乐声 . 河南师范大学学报：自然科学版 . 2011,第1期
3. 基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测 [J] . 韩耀军 ,蒋昌俊 ,罗雪梅 . 小型微型计算机系统 . 2004,第005期
4. 着色Petri网模型实现AGV系统无死锁运行 [J] . 刘斌 ,伍乃骐 ,曹咏 . 机器人 . 2001,第0S1期
5. 基于2PL多粒度锁的并发控制协议 [J] . 王晓娟 . 青海大学学报（自然科学版） . 2003,第006期
6. 满足2PL协议的无死锁事务并发控制Petri网模型 [C] . 孙琳 ,吴哲辉 ,崔焕庆 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 基于无死锁初始标识的Petri网控制器设计 [A] . 韦娜 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号