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

• 作者: 周志远 张大方 缪力
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: Java内存模型 模型检测 Java并发程序 多线程 软件测试
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 111-114,123
• 页数: 5页
• 分类号: TP311
• 字数: 5051字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.03.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张大方	湖南大学软件学院	295	2498	22.0	33.0
5	缪力	湖南大学软件学院	35	167	8.0	10.0
6	周志远	湖南大学软件学院	3	16	2.0	3.0