计算有互斥机制的并发程序的程序切片

摘要：

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

关键词： 程序切片 并发程序 互斥机制 程序分析

作者: 缪力 张大方 杨学东

作者单位: 湖南大学计算机与通信学院(湖南长沙)

会议类型: 国内会议

会议名称: 第十届全国容错计算机学术会议

会议地点: 北京

会议语种:中文

页码: 62-67

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