基于控制流的多线程程序的静态切片算法

摘要：

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.

关键词：多线程程序、程序依赖图、程序切片、切片算法

所属期刊栏目：41

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

资助基金：国家自然科学基金60073041

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

页数：共6页

页码：481-486