Deadlock prevention policy of concurrent programming base on Petri net(基于Petri网的并发编程死锁预防策略)

DINGLi(丁力); DONGLi-da(董利达); PIAOYun(朴云)

doi:10.3785/j.issn.1008-9497.2012.01.010

Zhejiang Daxue xuebao. Lixue ban (Jan 2012)

Deadlock prevention policy of concurrent programming base on Petri net(基于Petri网的并发编程死锁预防策略)

DINGLi(丁力),
DONGLi-da(董利达),
PIAOYun(朴云)

Affiliations

DINGLi(丁力): Institute of Electronic Circuit and Information System, Zhejiang University, Hangzhou 310027, China(浙江大学电子电路与信息系统研究所，浙江杭州 310027)
DONGLi-da(董利达): Institute of Electronic Circuit and Information System, Zhejiang University, Hangzhou 310027, China(浙江大学电子电路与信息系统研究所，浙江杭州 310027)
PIAOYun(朴云): Institute of Electronic Circuit and Information System, Zhejiang University, Hangzhou 310027, China(浙江大学电子电路与信息系统研究所，浙江杭州 310027)

DOI: https://doi.org/10.3785/j.issn.1008-9497.2012.01.010
Journal volume & issue: Vol. 39, no. 1
pp. 43 – 49

Abstract

Read online

针对并发编程中的死锁问题，提出了一种具有同步信号的并发程序的Petri网模型——S3PS（简单连续信号进程系统）网，这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上，通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空，使网系统保持活性，从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性.

Published in Zhejiang Daxue xuebao. Lixue ban

ISSN: 1008-9497 (Print)
Publisher: Zhejiang University Press
Country of publisher: China
LCC subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science; Science: Physics
Website: https://www.zjujournals.com/sci/EN/1008-9497/home.shtml

About the journal

Abstract

Keywords