|
|||||
|
|
| 数据库系统并发控制的扩展有色Petri网方法 | |
| 引用本文： | 韩耀军,蒋昌俊,罗雪梅.数据库系统并发控制的扩展有色Petri网方法[J].同济大学学报(自然科学版),2004,32(1):104-108. |
| 作者姓名： | 韩耀军 蒋昌俊 罗雪梅 |
| 作者单位： | 1. 同济大学,计算机科学与工程系,上海,200092;中国科学院,计算机科学实验室,北京,100080;山东科技大学,计算机系,山东,济南,250031 2. 同济大学,计算机科学与工程系,上海,200092 3. 中国科学院,计算机科学实验室,北京,100080;山东科技大学,计算机系,山东,济南,250031 |
| 基金项目： | 国家杰出青年基金资助项目，国家“八六三”高技术研究发展规划资助项目，中国科学院计算机开放实验室基金资助项目 |
| 摘 要： | 加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度. |
| 关 键 词： | 可串行化 两段锁协议 死锁 Petri网 可达标识图 |
| 文章编号： | 0253-374X(2004)01-0104-05 |
Extended Colored Petri Net Method for Concurrency Control of Database System |
|
| HAN Yao-jun,JIANG Chang-jun,LUO Xue-mei.Extended Colored Petri Net Method for Concurrency Control of Database System[J].Journal of Tongji University(Natural Science),2004,32(1):104-108. | |
| Authors: | HAN Yao-jun JIANG Chang-jun LUO Xue-mei |
| Abstract: | Lock and serializability are two important methods for concurrency control. Two-phase locking protocol(2PL) is one of the methods for serializable schedules. But the schedules that satisfy serializability can come into being deadlock. An extended colored Petri net model for transactions concurrently accessing database is established in this paper. The schedule corresponding to the model is content with 2PL. A sufficient and necessary condition for judging if the schedules content with 2PL is deadlock is given by reachable marking graph of the model and the serializable deadlock-free schedules of concurrent transactions are constructed. |
| Keywords: | serializability two-phase locking protocol deadlock Petri net reachable marking graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |