多线程程序数据竞争检测和验证方法研究综述
随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来.数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能正常运行,或更为严重地导致程序直接崩溃.数据竞争产生的条件往往都比较隐蔽和苛刻,不仅需要特定的输入,而且还需要特定的线程执行交错.因此,数据竞争很难被检测出来.本文介绍了多线程数据竞争检测和验证相关的研究现状,并对已有的数据竞争检测和验证方法在检测能力以及检测效率等方面做出比较、分析以及归纳.同时,对未来数据竞争检测和验证相关的研究方向进行了展望.
多线程、数据竞争检测、数据竞争验证
7
TP311(计算技术、计算机技术)
国家自然科学基金61173021,61202092
2017-08-16(万方平台首次上网日期,不代表论文的发表时间)
共5页
123-126,129