随着单核技术向多核技术的转变,并发程序越来越难以编写和调试。数据竞争是常见的并发程序错误:在共享内存的并发程序中,当有两个线程同时访问(至少有一个访问是写操作)同一个内存地址,并且这两个访问缺乏锁同步时,这两个线程将可能发生数据竞争。如何检测数据竞争一直是计算机技术的热门研究领域,尽管针对数据竞争检测的研究超过了30年,但是当今的并发程序仍然存在着许多有害的数据竞争。本文提出了一种检测C/C++数据竞争的算法,根据数据竞争的定义提出了两个线程不可能发生数据竞争的四个条件,其中每个条件都是两个线程不会发生数据竞争的允分条件；然后针对这四个条件提出了四个分析算法：别名分析、逃逸分析、锁集合分析以及并发分析,并在DTS_CPP框架的基础上实现了数据竞争检测框架。该框架基于抽象解释,采用线程摘要的方式描述每个线程的访问行为；通过线程摘要的计算,把并发程序转化为由多个线程执行序列组成的模型,最后在该模型上,首先采用笛卡尔积的形式获取所有可能的数据竞争语句对,之后根据四个不可能发生数据竞争的条件进行一一删减,得到最终可能发生数据竞争的语句对集合。本文最后使用该数据竞争检测方法对几个实际例子进行检测,并对检测结果进行分析讨论,说明了基于线程摘要的数据竞争检测的有效性。