一种基于类的Java多线程程序数据竞争静态检测算法

• 作者: 宋东海 张志祥 贲可荣
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 多线程程序 数据竞争 程序切片 静态分析 竞争检测
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 高性能计算
• 页码范围: 233-237
• 页数: 5页
• 分类号: TP311.55
• 字数: 4358字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2014.02.008

摘要

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义.将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争.实例表明,该算法可用于指导修复程序中的竞争缺陷.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贲可荣	海军工程大学计算机工程系	96	531	13.0	18.0
2	张志祥	海军工程大学计算机工程系	31	94	6.0	8.0
3	宋东海	海军工程大学计算机工程系	1	6	1.0	1.0