并发序列切片

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

科技创新与应用 2015年35期

文万志程实

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

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

科技创新与应用2015年35期

科技创新与应用的其它文章: 基于单片机的多功能节能电风扇的设计; 企业数据中心超融合架构的特点和发展趋势研究; 基于CH365芯片的PCI总线控制卡的设计与实现; 中原油田Y5—1236井钻井液固化试验及分析; 工业4.0背景下智能化LED的研究进展; 基于社区网格的人口空间化分布研究