|
|||||
|
|
| 并发事务无死锁的可串行化调度的形式化方法 | |
| 引用本文： | 罗雪梅,王薇,韩耀军.并发事务无死锁的可串行化调度的形式化方法[J].计算机工程与应用,2004,40(10):181-183,229. |
| 作者姓名： | 罗雪梅 王薇 韩耀军 |
| 作者单位： | 1. 同济大学应用数学系,上海,200092;山东科技大学济南校区,济南,250031;中国科学院计算机科学实验室,北京,100080 2. 同济大学应用数学系,上海,200092 3. 山东科技大学济南校区,济南,250031;中国科学院计算机科学实验室,北京,100080 |
| 基金项目： | 中国科学院计算机科学实验室开放课题资助(编号:SYSKF0304) |
| 摘 要： | 并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。 |
| 关 键 词： | 并发控制 可串行化 两段锁协议 死锁 扩展有色Petri网 可达标识图 |
| 文章编号： | 1002-8331-(2004)10-0181-03 |
Formal Method for Serializable Deadlock-Free Schedules of Concurrent Transactions |
|
| Luo Xuemei , Wang Wei Han Yaojun.Formal Method for Serializable Deadlock-Free Schedules of Concurrent Transactions[J].Computer Engineering and Applications,2004,40(10):181-183,229. | |
| Authors: | Luo Xuemei Wang Wei Han Yaojun |
| Affiliation: | Luo Xuemei 1,2,3 Wang Wei 1 Han Yaojun 2,31 |
| 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. |
| Keywords: | concurrent transaction serializability Two -Phase Locking Protocol deadlock Extended Colored Petri Net reachable marking graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |