期刊文献+

基于Petri网的并发编程死锁预防策略 被引量:3

Deadlock prevention policy of concurrent programming base on Petri net
下载PDF
导出
摘要 针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的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
  • 相关文献

同被引文献24

  • 1王培良,吴哲辉.公平网的一组直接判断条件[J].计算机学报,1993,16(1):53-58. 被引量:21
  • 2冯卫兵,李战怀.无触C/E系统中同步距离性质的研究[J].计算机工程与应用,2006,42(23):14-15. 被引量:1
  • 3孟祥茹.第三方物流企业的运作模式及对策研究[J].商业研究,2007(2):165-167. 被引量:12
  • 4代文锋.我国第三方物流发展问题及对策研究[J].电子商务,2007,8(1):60-62. 被引量:31
  • 5袁崇义.出现网的同步距离[J].应用数学学报,1984,(10).
  • 6Zhao Wen, Huang Yu, Yuan Chongyi. Synchronic distance based workflow logic specification[C]//Proceedings of the 2008 10th IEEE International Conference on High Performance Computing and Communications, 2008: 819-824.
  • 7Yuan Chongyi, Huang Yu, Zhao Wen, et al. A study on fairness of place/transition systems-to make fairness fairer[J]. Transactions of the Institute of Measurement and Control, 2011,33(1):50-58.
  • 8Murata T, Wu Zhehui. Fair relation and modified syn- chronic distances in a petri net[J]. Journal of the Franklin Institute, 1985,320(2) : 63-82.
  • 9吴哲辉.关于“FAIR RELATION AND MODIIFED SYNCHRONIC DISTANCES IN A PETRI NET”一文的注记[J].山东矿业学院学报,1986(1):50-54.
  • 10Goltz U. Synchronic distance[C]//Lecture Notes in Computer Science, Petri Nets: Central Models and Their Properties. Springer-Verlag, 1987 : 338-358.

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部