近年来,由于多核处理器的快速发展,多线程编程技术已经越来越受重视,并得到了广泛的应用。然而,由于多线程执行顺序的不确定性,也为大型并发程序或软件中潜在错误的查找工作带来了一定的困扰和难度。其中,由数据竞争引发的错误较为常见。如何高效准确的检测并发程序中可能存在的数据竞争,并能够将并发程序确定性重放,将成为研究的重点。基于插桩和动态符号执行方案,分别实现了恶性和良性两种数据竞争的检测与重放。对于插桩方案,首先,解析源程序对应的中间指令文件格式,针对不同类型的共享变量定义和使用情况,进行合适的判断和插桩。然后,结合时间戳向量的方法,检测存在冲突的同步操作,并在其基础上添加恶性数据竞争判断机制,使得能够准确有效的检测出此次并发程序执行过程中所发生的数据竞争。在动态符号执行方案中,利用KLEE中实现的动态符号执行技术,虚拟执行中间指令文件。通过修改KLEE源码,添加监视虚拟执行过程和状态模块的方法,使得KLEE可以有效的监控整个程序的执行过程,并结合Happens-Before与Lockset的混合算法,对程序中所有可能存在的数据竞争进行分析和检测。最后,通过实验对两种实现方案的有效性进行了验证,并针对每个实验结果分析其原因。由实验结果可知,两种方案均可以有效准确的检测并发程序中的数据竞争。另外,为了了解两种方案的性能情况,对两种方案的性能也做了对比分析,并得出插桩方法的时间性能远高于KLEE方法,但KLEE方法具有较好的稳定性的结论。