| 分布式锁的Petri网建模及死锁检测 |
| |
| 引用本文： | 金红琳,刘波. 分布式锁的Petri网建模及死锁检测[J]. 计算机科学, 2011, 38(8): 49-52 |
| |
| 作者姓名： | 金红琳 刘波 |
| |
| 作者单位： | (华南师范大学计算机学院 广州510631) |
| |
| 基金项目： | 本文受广东省自然科学基金项目(9451063101002238)，广东省科技计划项目(2010B010600032)资助。 |
| |
| 摘 要： | 分布式锁管理DLM细化了锁模式的粒度，使得分布式系统具有更高的并发性，但死锁检测等锁的管理过程却更加复杂了，Petri网的应用能很好地解决该问题。为分布式锁建立Petri网模型，通过化简和合成建立系统的Petri网模型，借助Petri网的可达标识图实时检测出分布式系统的死锁状态，并查找死锁进程。
|
| 关 键 词： | 分布式系统，锁管理，DLM Petri网，死锁检测 |
Petri Net Model and Deadlock Detection of Distributed Lock |
| |
| JIN Hong-lin,LIU Bo. Petri Net Model and Deadlock Detection of Distributed Lock[J]. Computer Science, 2011, 38(8): 49-52 |
| |
| Authors: | JIN Hong-lin LIU Bo |
| |
| Affiliation: | (School of Computer, South China formal University, Guangzhou 510631 , China) |
| |
| Abstract: | DLM uses 6 kinds of locks, which makes not only more concurrency in distributed systems, but also more difficult management of locks. Then Petri net works. The Petri net model of a distributed system is compounded from the simplified Petri net of its subsystems. With the reachable marking graph of the system's Petri net, deadlocks can be detected in real time, which processes in the deadlock chain will also be known. |
| |
| Keywords: | Distributed system Lock management DLM Petri net Deadlock detection |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
