摘要：程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序。

关键词：程序切片 互斥 并发程序 

单位：湖南大学软件学院; 湖南长沙410082; 长沙民政职业技术学院; 湖南长沙410012