基于Petri网并行程序通信死锁的检测和预防

作     者：崔焕庆 刘强 CUI Huan-qing;LIU Qiang

作者机构：山东科技大学信息科学与工程学院青岛266510 

基　　金：国家自然科学基金资助项目(70673098) 山东省泰山学者建设工程基金资助项目 山东省中青年科学家科研奖励基金博士基金资助项目(2006BS01019) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2008年第34卷第23期

页      码：50-52页

摘      要：无死锁是并行程序正确性的主要条件之一,已有研究成果关注于死锁检测,但对死锁预防研究较少。该文在对消息传递模式并行程序各种通信过程进行分类介绍的基础上,借助Petri网进行建模,提出程序死锁与Petri网死标识的对应关系,给出通信死锁检测算法,进而针对2种引起通信死锁的原因提出了3种预防方法,通过比较提出最佳方案。该方法既有较好的通用性,又可用于并行算法设计阶段的死锁预防以提高并行编程效率。

主 题 词：消息传递 通信死锁 Petri网 死锁预防 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2008.23.019

馆 藏 号：203486765...