调试对于提高软件的可靠性是必不可少的，不幸运的是多线程程序的调试非常困难。由于线程交互时的不确定因素，某些错误只在特定的执行序下出现，普通的循环调试方法几乎不可行。Replay系统被认为是调试多线程程序的有效工具，它在记录阶段记录下所有的非确定事件，然后在重放阶段重现这些事件从而使得错误能够确定性的出现。此外，Replay系统在错误容忍、入侵检测、程序分析和计算机系统结构研究等其他许多方面都有着重要的应用。　　 二进制翻译系统是一个动态编译系统，它自身的错误可能导致生成不正确的本地码，这使得二进制翻译系统下多线程程序的执行表现出随机的错误。本文在二进制翻译系统中通过对源输入程序的确定性重放来重现错误，并由出错的本地码找到相应的翻译器代码从而实现调试二进制翻译系统的目的。　　 本文的贡献如下：　　 1．设计了动态二进制翻译器平台下针对源输入程序的确定性Replay系统。该系统可用于调试二进制翻译器的多线程错误，相对于其他的纯软件Replay系统(例如PinPlay)本文系统具有较好的性能。　　 2．提出了基于位标识的记录共享内存交互的算法。算法相对于FDR硬件方法的软件模拟(PinPlay采用)有一定的时间性能上的优势，相对于TR算法也有一定的时间和空间性能上的优势。　　 3．探索了基于访存指令插桩的纯软件的Replay系统的一些优化方法，这些优化方法对于提高本文Replay系统的性能起到了重要的作用。