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

摘要

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