随着多核处理器的普及和移动互联网的蓬勃发展,并发程序变得越来越流行。而由于并发程序的复杂性,并发缺陷广泛存在与并发程序之中,并且已经在世界上带来了重大的经济损失和人身伤害。为了克服并发缺陷,提高并发程序的可靠性,研究人员与相关从业者已经在并发缺陷的暴露,检测,定位和修复上取得了巨大的进步,但依然存在一些棘手的问题没有解决。在并发缺陷定位方向,如何高效快速准确定位导致并发缺陷的根源依旧是个难题。尤其是对于基于动态模式检测的方法,会产生大量可疑模式,需要程序员花费大量时间确认错误,而利用自动程序筛选可疑模式,存在筛选成功率低,筛选效果不明显的问题。本文提出了一种基于约束求解的并发缺陷定位方法,能够高效准确筛选可疑模式,定位到导致并发程序失败的根源。本文提出的方法接受一个具有并发缺陷的并发程序,通过随机调度,多次控制并发程序执行,并记录所有的程序执行轨迹。从所有程序执行轨迹中,提取出正确和错误的执行轨迹各一条,并从这两条轨迹中,提取各自的内存访问模式集合,然后计算两个集合的差集。接下来,利用静态程序分析的方法,将差集中的内存访问模式按照其相关性分组,并按照顺序,依次利用约束求解生成打断一组内存访问模式的可执行调度。最后按照调度执行并发程序,根据执行结果确定导致错误的内存访问模式组,返回这些内存访问模式涉及的代码行作为最终的结果。为了验证方法的准确性和有效性,我们基于MCR实现了针对Java程序的并发缺陷定位工具CLC,利用CLC对37个具有并发缺陷的并发程序进行定位,并与目前比较先进方法进行对比。实验结果证明我们的方法能快速准确定位到并发错误的根源,同时本文方法的效果也明显优于对比的方法。