并发序列切片

2015-05-30 10:48:04文万志程实

科技创新与应用 2015年35期

文万志程实

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

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

科技创新与应用2015年35期

科技创新与应用的其它文章: 浅谈如何加强建设项目工程造价控制; 肉类食品中猪源性成分检测方法之探讨; 食品检测技术简介; 小议数据统计分析中信息化钻井系统的应用; 试论自动化技术在水文监测方面的应用; 浅谈CORS系统在城镇地籍调查中的应用