-
题名多线程程序数据竞争检测和验证方法研究综述!
被引量：6
- 1
-
-
作者
禹振
杨振
苏小红
王甜甜
-
机构
哈尔滨工业大学计算机科学与技术学院
-
出处
《智能计算机与应用》
2017年第3期123-126,129,共5页
-
基金
国家自然科学基金(61173021
61202092)
-
文摘
随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来。数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能正常运行,或更为严重地导致程序直接崩溃。数据竞争产生的条件往往都比较隐蔽和苛刻,不仅需要特定的输入,而且还需要特定的线程执行交错。因此,数据竞争很难被检测出来。本文介绍了多线程数据竞争检测和验证相关的研究现状,并对已有的数据竞争检测和验证方法在检测能力以及检测效率等方面做出比较、分析以及归纳。同时,对未来数据竞争检测和验证相关的研究方向进行了展望。
-
关键词
多线程
数据竞争检测
数据竞争验证
-
Keywords
multithreaded program
data race detection
data race verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
