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

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

【摘要】

：

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

【作者】

：

丁力董利达朴云

【机构】

：

浙江大学电子电路与信息系统研究所

【出处】

：

浙江大学学报：理学版

【发表日期】

：

2012年1期

【关键词】

：

并发编程 PETRI网虹吸死锁预防 concurrent programming Petri net siphon deadlock prevention

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

血必净联合血液灌流治疗重度有机磷中毒的临床研究

目的：探讨在治疗重度有机磷中毒患者时常规治疗基础上加用血液灌流及中药血必净注射液的作用.方法：将55 例受试对象按照随机数字表,分为常规治疗组（A 组）18 例;常规治疗＋血液灌流

期刊

血必净血液灌流有机磷农药中毒Xuebijing Blood perfusion Organophosphorus pesticide Poison

锌修饰三氧化钨薄膜光电极的制备及其光电化学性能

采用简单的阴极电沉积-浸渍法，在空气中经450℃热处理3h后，制备得到Zn（Ⅱ）修饰三氧化钨（WO。）薄膜光电极．根据x-射线粉末衍射（XRD）、拉曼（Raman）光谱、场发射扫描电镜（FE—SEM）、紫外-可见

期刊

锌修饰三氧化钨三氧化钨光电极光电流光电催化活性Zn-WO3 WO3 photodectrode photocurrent photoele

鞘内注射不同剂量舒芬太尼联合罗哌卡因分娩镇痛临床疗效观察

目的：比较和分析鞘内注射中高低三种剂量舒芬太尼联合罗哌卡因用于分娩镇痛的临床效果。方法：选取我院于2011年1月至2012年10月收治的120例待产的产妇的临床资料,以不同剂量的

期刊

舒芬太尼罗哌卡因分娩镇痛Sufentanil Ropivacaine Labor analgesia

R-型聚类中基于Gamma—test的一种新度量

对R-型聚类分析的度量进行了研究，提出了一种基于Gamma-test理论的新度量．给出了新度量的5种不同定义方式，对各定义的性质进行了讨论．并将其应用于经典的系统聚类法，对所得的聚类

期刊

Gamma—Test新度量R-型聚类Gamma-test new measure R type clustering

埃索美拉唑与奥美拉唑治疗Hp阳性十二指肠球溃疡临床对比研究的Meta分析

目的：系统评价埃索美拉唑与奥美拉唑治疗十二指肠球部溃疡（DU）的疗效及安全性.方法：搜集公开发表的有关埃索美拉唑与奥美拉唑对比治疗DU的随机对照临床试验,运用RevMan软件对符合

期刊

埃索美拉唑奥美拉唑幽门螺杆菌十二指肠球部溃疡Esomeprazole OmeprazoleHelicobacter pylori Duodenal

基于gOMP算法的循环码译码研究

在压缩感知理论中,广义正交匹配追踪（gOMP）算法常用于解决l0范数的最小化问题.借助无噪声干扰的压缩感知观测模型,提出了循环码差错图案E重构的压缩感知模型,以校验矩阵H作为测

期刊

广义正交匹配追踪gOMP算法循环码校验矩阵H伴随式S差错图案Egeneralized orthogonal matching pursuit（gOMP

论清人对吴梅村“诗史”的理解——以《吴诗集览》为中心

吴梅村的诗歌在清代已有"诗史"之称。靳荣藩的《吴诗集览》作为最早的吴梅村诗歌笺注本,对吴梅村"诗史"的理解颇有代表性。《吴诗集览》沿袭《本事诗》中的"诗史"观念,详证梅

期刊

吴梅村《吴诗集览》“诗史”心态史Wu Meicunpoetry as historyWushiji Lanhistory of psycholog

颅内血肿粉碎针微创清除术治疗重症小脑出血52例分析

目的：探讨颅内血肿粉碎针微创清除术抢救重症小脑出血疗效.方法：按照头颅CT片定位,应用一次性血肿粉碎针,在手电钻帮助下穿刺进入面肿中心,抽吸后用生理盐水冲洗,然后用尿激酶

期刊

重症小脑出血颅内血肿粉碎针微创清除术Severe cerebellar hemorrhage Intracranial hematoma smash n

徐州-淮北地区张渠组层序地层格架

因新元古代地层缺少古生物化石,地层对比至今仍是难点.徐州-淮北是衔接我国南北新元古代地层对比中的关键地区,其中张渠组是新元古代地层对比中的关键层位.以露头界面识别和

期刊

张渠组层序地层海平面变化新元古代徐州-淮北地区Zhangqu Formationsequence stratigraphysea level ch

含铁硅钨杂多酸盐控制催化氧化环化乙酰丙酮

杂多酸化合物[γ-SiW10{Fe（OH2）}2O38]6-（简写为{Fe2SiW10}）在催化乙酰丙酮合成呋喃杂化衍生化合物2,5-二甲基-2,3-二羟基-3,4-二乙酰基-2,3-二氢呋喃（Ⅵ）时,同时起到了氧化催化剂

期刊

聚金属氧酸盐呋喃衍生物乙酰丙酮氧化环化polyoxometalatesFuran derivative acetylacetone oxidati

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

与本文相关的学术论文