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

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

ADA程序通信死锁的动态检测方法

针对ＡＤＡ并发多任务程序的特点，文中提出一个新的ＡＤＡ程序动态死锁检测方案，并且在这个理论的基础上实现了一个动态死锁测试工具ＤＤＴＴ（ｄｙｎａｍｉｃｄｅａｄｌｏｃｋｔｅｓｔｉｎｇｔｏｏｌ）．此工具能够正确检测ＡＤＡ多任务程序由于通信关系不当而造成的死锁．文中详细介绍了动态死锁测试工具ＤＤＴＴ所依赖的全部概念及判定规则，以及它的工作原理．

分析仪器中ⅡC总线异常的自动恢复

在很多分析仪器产品中,ⅡC通信占了很大的比例。然而在产品的设计过程中,开发人员常会碰到因为一些特殊操作而导致ⅡC通信异常死锁的现象。这种情况一旦产生,仪器仍然可以正常运行,但是板间ⅡC通信已经中断,在用户不知情下,影响了数据的实时性和有效性,造成严重的后果。因此,该文就产品实际开发过程中遇到的问题及解决过程,对ⅡC机理进行了剖析和研究,并提出了一种在不影响正常通信情况下软件方法实现的自动恢复功能,旨在使开发人员在遇到类似问题时能得到一定的帮助。