复制是分布式系统中容错的一种重要方法。多线程复制能够很好的利用多核CPU、多CPU资源,但也面临着如何保证确定性的问题。现有的几种多线程调度算法都在一定程度上支持多线程运行,但都采取了保守的方式来避免多线程所带来的不确定性,从而影响了多线程同步性的提高。本文在分析现有几种多线程调度算法之后,基于MAT算法提出改进算法—AMAT算法,该算法需要根据多线程运行期间提供的同步操作信息来对多线程进行调度。本文提出代码分析、转换的方式来达到这一目的。同时,代码分析、转换还能够完成对同步语句的截获,从而透明地完成非复制代码到复制代码的转换。这种方法可以避免修改底层操作系统、虚拟机所带来的复杂性,也不要求编程人员手动修改代码。本文提出一种多线程复制系统的确定性调度框架—MDSF,由两大部分组成:一个是在预编译阶段的代码分析模块和代码转换模块,另一个是运行时的线程调度模块。前者能够对多线程程序的源代码进行分析,并且根据分析结果修改源代码。修改过的源代码在编译之后部署到运行环境中,并与实现了AMAT算法的调度模块进行交互,调度模块会对多线程进行统一调度。经测试证明,该调度框架支持现有非复制代码的重用,并能实现多线程的高效调度。