摘要
针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的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.
出处
《浙江大学学报(理学版)》
CAS
CSCD
2012年第1期43-49,55,共8页
Journal of Zhejiang University(Science Edition)
关键词
并发编程
PETRI网
虹吸
死锁预防
concurrent programming
Petri net
siphon
deadlock prevention