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

• 作者: 刘强 崔焕庆
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 消息传递 通信死锁 Petri网 死锁预防
• 年，卷（期）: 2008,（23）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 50-52
• 页数: 3页
• 分类号: TP311
• 字数: 3202字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.23.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘强	山东科技大学信息科学与工程学院	47	87	6.0	6.0
2	崔焕庆	山东科技大学信息科学与工程学院	30	107	7.0	8.0