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

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

单位：湖南大学软件学院 湖南长沙410082 湖南大学计算机与通信学院 湖南长沙410082