节点文献

并发事务无死锁的可串行化调度的形式化方法

Formal Method for Serializable Deadlock-Free Schedules of Concurrent Transactions

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 罗雪梅王薇韩耀军

【Author】 Luo Xuemei 1,2,3 Wang Wei 1 Han Yaojun 2,31 (Department of Applied Mathematics,Tongji University,Shanghai200092) 2 (Ji’nan Branch,Shandong University of Science&Technology,Ji’nan250031) 3 (Laboratory of Computer Science,ISCAS,Beijing100080)

【机构】 同济大学应用数学系山东科技大学济南校区 上海200092山东科技大学济南校区济南250031中国科学院计算机科学实验室北京100080上海200092北京100080

【摘要】 并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。

【Abstract】 Concurrency control is one of the most important contents in DataBase Management System(DBMS ).A formal method for it is studied in this paper.An Extended Colored Petri net model for transactions concurrently accessing database is established in this paper.The model is correspondent with Two-Phase Locking Protocol(2PL).The paper gives a sufficient and necessary condition for judging if the schedules correspondent with2PL is deadlock by reachable marking graph of the model,and constructs Serializable deadlock-free schedules of concur rent transactions.

【基金】 中国科学院计算机科学实验室开放课题资助(编号:SYSKF0304)
  • 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2004年10期
  • 【分类号】TP311.13
  • 【被引频次】9
  • 【下载频次】218
节点文献中: 

本文链接的文献网络图示:

本文的引文网络