并发序列切片

文万志 程实

摘 要：传统的静态程序切片和动态程序切片技术很难有效解决并发程序中数据共享错误定位问题。文中基于扩展的定义使用关系构造静态并发序列切片和动态并发序列切片，并通过实例验证了并发序列切片在定位数据共享错误上的有效性。

关键词：并发序列切片；程序切片；数据共享错誤