多线程程序数据竞争检测和验证方法研究综述

• 作者: 杨振 王甜甜 禹振 苏小红
• 来源期刊: 智能计算机与应用
• 学科: 工学
• 关键词: 多线程 数据竞争检测 数据竞争验证
• 年，卷（期）: 2017,（3）
• 页码范围: 123-126,129
• 页数: 5页
• 分类号: TP311
• 字数: 5280字
• 语种: 中文

摘要

随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来.数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能正常运行,或更为严重地导致程序直接崩溃.数据竞争产生的条件往往都比较隐蔽和苛刻,不仅需要特定的输入,而且还需要特定的线程执行交错.因此,数据竞争很难被检测出来.本文介绍了多线程数据竞争检测和验证相关的研究现状,并对已有的数据竞争检测和验证方法在检测能力以及检测效率等方面做出比较、分析以及归纳.同时,对未来数据竞争检测和验证相关的研究方向进行了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏小红	哈尔滨工业大学计算机科学与技术学院	152	1551	20.0	34.0
2	王甜甜	哈尔滨工业大学计算机科学与技术学院	53	371	11.0	17.0
3	禹振	哈尔滨工业大学计算机科学与技术学院	7	36	2.0	5.0
4	杨振	哈尔滨工业大学计算机科学与技术学院	12	22	3.0	4.0