并发程序切片技术的研究.pdfVIP

摘要 并发程序切片是一种重要的并发程序分析技术。不同并发单元中可并发执行语句问的数据依赖使得并 发程序语句问的依赖关系具有不可传递性，直接遍历并发程序依赖图会引入儿余语句，切片精度较低。目 前某些切片方法已解决了部分依赖关系不可传递性问题，fEi朱能从根本上解决依赖关系不可传递性问题， 切片精度仍有待提高。当并发程序巾包含子程序时，除依赖关系不可传递性问题外，采用上下文敏感的顺 序予程序问切片方法遍历并发程序依赖图，其切片结果是上下文不敏感的。 为解决．卜述问题，在前期工作中，我们提出基于线程交互可达图(T1RG)的并发程序切片方法。本文在 此工作基础上，针对多线程共享变量通信机制，通过程序分析工具CodeSurfer获取程序基本信息，实现了 基于程序可达图的并发程序切片原型系统R-Slicer，并进行一‘些切片实验，主要取得了如卜．的研究成果： (1)实现基于程序可达图的并发子程序内切片系统。该方法首先生成TIRG图，然后从仝局对并发程 序中的依赖关系进行分析，构造以碰序状态和语句二元组为节点的、依赖关系具有可传递性质的 并发程序依赖图(MSDG)，再通过遍历MSDG图计算并发程序切片。实验结果表明，该方法可从 根本卜．解决依赖关系小可