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

来源 :浙江大学学报（理学版） | 被引量 : 0次 | 上传用户：pkuai

【摘要】

：

针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此

【作者】

：

丁力董利达朴云

【机构】

：

浙江大学电子电路与信息系统研究所,浙江杭州,310027

【出处】

：

浙江大学学报（理学版）

【发表日期】

：

2012年1期

【关键词】

：

并发编程 Petri网虹吸死锁预防

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

用G15次PH曲线等弧长逼近clothoid曲线

PH曲线是弧长为多项式的Bézier曲线,其等距线可用有理多项式表示.由clothoid曲线端点的G1 Hermite插值条件,构造对应等弧长的最佳G1 5次PH插值曲线,以此作为逼近.利用微分几

期刊

clothoid曲线5次PH曲线等距线Frenet-Serret公式Taylor展开误差样条

浅谈卫生间装修施工质量通病防治措施

笔者根据多年的施工经验,针对卫生问装修施工过程中的常见质量通病提出以下防治措施,仅供同行参考.

期刊

卫生间施工通病防治

谈在建筑施工管理中如何提高工程质量

期刊

如何运用情境教学法进行初中英语教学