随着计算机硬件的不断发展,多核处理器的出现频率越来越高,使用并发程序的场景越来越多。并发程序相比于传统的顺序程序有很多优势,它有更高的运行效率和更充分的资源利用率,但是它也存在一些不足。由于并发程序中线程调度的复杂性和程序运行时的不确定性等问题容易产生并发缺陷,这些并发缺陷如果不能及时地被修复,必将会造成严重的后果。并发缺陷与传统缺陷不同,有时只会出现在某些特殊的调度中且需要使用合适的补丁来修复,所以传统的方法在这一领域并不适用。修复并发缺陷的过程十分耗时耗力,如果程序员能使用一种自动化的修复方法,必将会减少很多工作量。在本论文中,我们提出了一种自动化修复方法去修复Java并发程序中非死锁型的并发缺陷,方法名为PFIX,其核心思想是推断出程序中合理的加锁策略从而系统地修复并发缺陷,它结合了动态运行与静态分析。我们首先通过Java Path Finder记录程序的运行信息,并从运行信息中筛选出读写操作,再根据读写操作抽象出内存访问模式,之后对内存访问模式进行排序。我们使用内存访问模式来表示常见的非死锁型并发缺陷。然后,我们通过添加锁和信号量的方式来修复程序。当需要加锁时,我们先通过推断加锁策略的方式来决定添加何种锁修复程序。当我们可以使用程序中的旧锁时,我们通过收集程序中锁的使用信息来推断加锁策略,决定具体使用哪一把旧锁。当我们无法使用程序中的旧锁时,我们通过构建抽象语法森林的方式来推断加锁策略,从而添加合适的新锁。之后,我们在加锁策略和内存访问模式的基础上设计相应的修复方法,向程序中添加合适的补丁进行修复。我们借助抽象语法树和Soot对我们添加的补丁进行调整,使得补丁更加的合理。最后,我们再使用Java Path Finder动态运行修复后的程序来检验它是否修复成功。我们整理了一套可供Java Path Finder运行的并发程序,并将其作为本文的数据集,总共有32个并发程序。我们将文中的方法应用在数据集上并成功修复了32个并发程序中的29个,对未能成功修复的程序,我们都进行了人工分析。