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

摘要

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