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

摘要：

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

关键词：消息传递、通信死锁、Petri网、死锁预防

所属期刊栏目：34

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2009-02-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：50-52