基于Petri网的分布式系统并发进程的死锁检测  

Method of deadlock detection for concurrency process of distributed system based on Petri net

作　　者：刘荣峰[1] 李引珍[2] 吴桂华[3] 

机构地区：[1]卡斯柯信号有限公司,上海200070 [2]兰州交通大学交通运输学院,甘肃兰州730070 [3]南京航空航天大学信息科学与技术学院,江苏南京210016

出　　处：《计算机工程与设计》2007年第22期5353-5355,共3页Computer Engineering and Design

基　　金：兰州交通大学大学生科研创新基金项目(2006-48)

摘　　要：分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具。为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件。The concurrency process in the distributed system has an obvious characteristic of concurrency, asynchronous and distributed. And Petri net is really a good method in modeling and analyzing this system. After introducing Petri net, a model of Petri net on part of concurrency process and a method of deadlock detection is given, also the concepts of all link-road synthesis is advanced. By using all link-road synthesis, the Petri net model about the waiting of the whole concurrency process is built, and a sufficient and necessary condition on judging whether the overall system meets the problem of deadlock is provided.

关 键 词：分布式系统 并发进程 PETRI网模型 全链路合成 死锁检测 

分 类 号：TP316.4[自动化与计算机技术—计算机软件与理论]