文件名称：基于Petri网的并发编程死锁预防策略 (2012年)
文件大小：524KB
文件格式：PDF
更新时间：2024-05-30 01:24:03
自然科学 论文
针对并发编程中的死锁问题，提出了一种具有同步信号的并发程序的Petri网模型――S3PS(简单连续信号进程系统)网，这种Petri网子类保持活性的充分必要条件是它的虹吸非空．在此基础上，通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空，使网系统保持活性，从而解决了此类并发程序的死锁问题．应用实例表明了 S3PS在并发编程建模中的可行性及其死锁预防策略的有效性．