| 2PL协议的Petri网模型 |
| |
| 引用本文： | 姚晓玲,吴哲辉.2PL协议的Petri网模型[J].计算机工程与应用,2004,40(24):160-162,207. |
| |
| 作者姓名： | 姚晓玲 吴哲辉 |
| |
| 作者单位： | 山东科技大学信息科学与工程学院,山东,泰安,271019 |
| |
| 基金项目： | 国家自然科学基金资助(编号:60173053) |
| |
| 摘 要： | 2PL协议是目前并发事务数据库广泛采用以保证并发调度正确性的封锁协议,该文给出了2PL协议的Petri网模型,并利用该模型给出可预防死锁的封锁序列。
|
| 关 键 词： | 2PL协议 Petri网 封锁 |
| 文章编号： | 1002-8331-(2004)24-0160-03 |
Modelling 2PL Protocol with Petri Net |
| |
| Yao Xiaoling Wu,Zhehui.Modelling 2PL Protocol with Petri Net[J].Computer Engineering and Applications,2004,40(24):160-162,207. |
| |
| Authors: | Yao Xiaoling Wu Zhehui |
| |
| Abstract: | PL protocol is presently used in concurrent transaction database to assure the correctness of concurrent scheduling.A Petri net model of2PL protocol is presented in this paper and a deadlock-free locking sequence can be obtained from this model. |
| |
| Keywords: | PL protocol Petri net locking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
