随着计算机的发展,软件的规模不断扩大,其复杂度也随之增加,程序并发执行已经成为提高程序工作效率的一种常用方法,而由并发程序引发的程序问题也越来越严重。其中死锁是并发程序中的典型问题之一,也是影响并发软件安全的主要问题。死锁会导致程序无法正常运行或终止,甚至崩溃,造成重大人身威胁和财产损失。同时死锁的运行状态空间庞大,难以重现和修正等问题使其成为软件领域的难题之一。因此,如何有效的检测并规避死锁,提高软件的可靠性和安全性,成为急需解决的问题。目前的死锁规避方法大部分都是基于动态分析的,基于动态分析的死锁规避方法需要在程序运行之后执行死锁规避算法,主要有两种策略,第一种是在死锁发生之前对有加锁操作的关键区代码进行串行执行,另一种是在死锁发生之后回滚到死锁发生之前的检查点后再继续执行。这两种死锁规避策略对源程序执行的效率影响较大,甚至直接导致程序的执行结果出现错误。针对这个问题,本文研究静态分析与动态分析相结合的死锁规避方法,提出一种基于未来锁集的死锁规避方法,其主要思想是根据静态插装的信息智能的区分可能发生死锁的关键区,并使它们串行从而规避死锁。具体完成了以下工作:首先在分析编译器前端Clang和死锁产生原因的基础上,研究了面向死锁规避的程序插装方法,提出了一种基于未来锁集的死锁规避算法。然后,根据前面的插装信息完成计算未来锁集,判断是否执行该加锁操作,建立全局锁分配图等工作,实现规避死锁的逻辑,并且保证在截取的过程是原子执行的。最后,设计实现了一个原型系统Flider,从死锁规避能力、死锁规避效率和工具的可扩展性等几个方面对系统进行了测试,测试结果表明该方法能够提高对死锁的规避能力,并且对源程序执行效率的影响较小。