基于Petri网的并发编程死锁预防策略  

Deadlock prevention policy of concurrent programming base on Petri net

作　　者：丁力[1] 董利达[1] 朴云[1] 

机构地区：[1]浙江大学电子电路与信息系统研究所,浙江杭州310027

出　　处：《浙江大学学报（理学版）》2012年第1期43-49,55,共8页Journal of Zhejiang University（Science Edition）

摘　　要：针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,使网系统保持活性,从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性.This paper proposed a Petri net model of concurrent programs with synchronization signals—S3PS(system of simple sequential process with signals) net for the deadlock problem in concurrent programming.We also proved that the sufficient and necessary condition of this subclass of Petri net being alive is its siphons that never being unmarked.Then by the addition of control ling arc to strict minimal siphons,siphons in S3PS net cannot be unmarked,and the net is alive,so that the deadlock problem in concurrent programs was solved.The application example illustrates the feasibility of S3PS in modeling concurrent programming and the effectiveness of the deadlock prevention policy.

关 键 词：并发编程 PETRI网 虹吸 死锁预防 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]