一种对象粒度的Java程序并发错误检测框架

• 作者: 周曦 杨珉 王笛
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 对象粒度 Java 多变量 不变式检测 程序并发错误
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 1295-1300
• 页数: 6页
• 分类号: TP311
• 字数: 8590字
• 语种: 中文

摘要

由于多线程程序执行的复杂性和不确定性,Java程序中的并发错误难以被检测和修复.不变式检测方法作为目前最为有效的检测手段,采用提取正确程序行为的方式,能自动识别程序并发错误.但是,传统的不变式检测方法基于单个字段分析程序行为,不考虑程序中的关联变量间的依赖关系,所以无法检测多个关联变量引发的并发错误.针对这一问题,本文实现了一个对象粒度的不变式检测框架OBJ-D,基于对象操作分析程序行为.OBJ-D通过记录对象的读写依赖,能反映同一对象中多个变量间的依赖关系,为检测多变量并发错误创造了条件.测试表明,在不影响训练敏感度和性能开销的前提下,OBJ-D能同时有效检测单变量和多变量引发的并发错误,并只引入很少的假阳性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨珉	复旦大学软件学院	44	456	10.0	20.0
2	王笛	复旦大学软件学院	6	33	4.0	5.0
3	周曦	复旦大学软件学院	5	6	1.0	2.0