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

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

基于锁增广分段图的多线程程序死锁检测

死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息,分段图无法刻画锁的获取和释放操作与线程启动操作耦合而导致的段间依赖关系.上述问题导致了多种死锁的误报.为解决上述问题,对已有的锁图和分段图模型进行改进,在锁图基础上扩充语句的执行时序信息,在分段图的基础上扩充锁的获取和释放信息,对段进行更细粒度的划分以建模锁对象导致的段间依赖关系;最终,在上述锁增广分段图与时序增广锁图的基础上,提出一种新的死锁检测方法.所提方法能够有效消除前述各种误报,从而提高死锁检测的准确率.文中开发相应的原型系统,并结合多个程序实例对所提方法的有效性进行评估验证.