基于Java内存模型的并发程序模型检测

摘要：

为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,缓存技术也会造成共享数据的更新顺序与本来的执行顺序不同.在多线程Java并发程序中,这些乱序执行会引起很多难以发现的错误.现有的Java程序模型检测技术并没有考虑这些顺序改变的问题。因此,提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型,并利用模型检测工具进行穷举检测的算法。该算法可以发现原有技术无法发现的新问题,更好地检测高可靠性要求的Java并发程序.

关键词： 内存模型 模型检测 并发程序 多线程 软件测试

作者: 周志远 张大方 缪力 赵丹 黄谷

作者单位: 湖南大学软件学院,湖南长沙,410082 湖南大学软件学院,湖南长沙,410082 湖南大学计算机与通信学院,湖南长沙,410082 湖南大学计算机与通信学院,湖南长沙,410082

会议类型: 国内会议

会议名称: 第五届中国测试学术会议

会议地点: 苏州

会议语种:中文

页码: 195-199

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