计算机科学 ›› 2011, Vol. 38 ›› Issue (8): 49-52.
• 计算机网络与信息安全 • 上一篇 下一篇
金红琳,刘波
出版日期:
发布日期:
基金资助:
JIN Hong-lin , LIU Bo
Online:
Published:
摘要: 分布式锁管理DLM细化了锁模式的粒度,使得分布式系统具有更高的并发性,但死锁检测等锁的管理过程却更加复杂了,Petri网的应用能很好地解决该问题。为分布式锁建立Petri网模型,通过化简和合成建立系统的Petri网模型,借助Petri网的可达标识图实时检测出分布式系统的死锁状态,并查找死锁进程。
关键词: 分布式系统,锁管理,DLM, Petri网,死锁检测
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.
Key words: Distributed system, Lock management, DLM, Petri net, Deadlock detection
金红琳,刘波. 分布式锁的Petri网建模及死锁检测[J]. 计算机科学, 2011, 38(8): 49-52. https://doi.org/
JIN Hong-lin , LIU Bo. Petri Net Model and Deadlock Detection of Distributed Lock[J]. Computer Science, 2011, 38(8): 49-52. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I8/49
Cited