一种粗粒度并发程序切片方法

摘要

并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对Ada任务机制讨论通信Petri网的基础上,分析了由任务间的同步活动所引起的控制依赖关系,提出了一种粗粒度的切片方法,为人们从较高的抽象层次上理解并发程序提供了一种有效的手段。