面向多线程程序的确定性重演研究-软件工程专业论文.docxVIP

大连理工大学学位论文独创性声明作者郑重声明：所呈交的学位论文，是本人在导师的指导下进行研究 大连理工大学学位论文独创性声明 作者郑重声明：所呈交的学位论文，是本人在导师的指导下进行研究 工作所取得的成果。尽我所知，除文中已经注明引用内容和致谢的地方外， 本论文不包含其他个人或集体已经发表的研究成果，也不包含其他已申请 学位或其他用途使用过的成果。与我一同工作的同志对本研究所做的贡献 均已在论文中做了明确的说明并表示了谢意。 若有不实之处，本人愿意承担相关法律责任。 学位论文题目： 亘自垒垡猩猩庄鲍煎塞丝重渲亟窒 一 作者签名： 土昭蠹弘 曰期：丝l≤年—￡月上曰 万方数据 大连理工大学硕士学位论文摘 大连理工大学硕士学位论文 摘 要 随着多核时代的来临，多线程编程模型成为提高软件性能的主要编程模型之一。然 而，多线程程序的执行具有不确定性，给程序的调试和容错带来挑战。确定性重演是一 种解决并行程序调试问题的有效方法。程序首次执行时，该方法记录不确定性因素；然 后索引记录并强制程序重现记录阶段的执行过程。因为记录过程会产生大量运行开销从 而影响原始程序的执行真实性，所以如何高效地记录线程执行过程是确定性重演技术亟 待解决的问题。 本文针对多线程共享内存读写关系提出有效的记录算法，使用虚拟读写缓存记录所 有共享内存写操作和写操作执行前每条线程最后执行的共享内存读操作，然后根据线程 确定的执行序列分析得出完整读写依赖关系，从而减少记录过程的时空开销以及记录日 志的大小。此外，本文定义多线程程序的执行模型和操作依赖关系，详细描述记录与重 演的算法实现，并从记录开销与重演准确度两方面分析确定性重演的性能。为了验证确 定行重演方案的正确性，本文使用形式化方法证明重演阶段读写关系与记录阶段保持一 致。 本文实现了基于ASM结构和JVM TI API的Java多线程程序轻量级确定性重演工 具，并详细描述了确定性重演工具的设计框架以及代码实现。为了更好地比较本方案的 优越性，本文选择真实世界的Java服务器程序作为测试集与己实现的LEAP进行对比实 验；此外，本文设计自定义测试程序测试并分析影响确定性重演方案的相关因素。最终 得出结论，本文提出的确定性重演方案在记录开销和日志大小方面具有一定优越性，其 中共享变量写操作的执行次数是影响记录时空开销的主要因素。 关键词：多核处理器；多线程；确定性重演；共享内存 万方数据 面向多线程程序的确定性重演研究Research 面向多线程程序的确定性重演研究 Research on Deterministic Replay of Multithread Programs Abstract Multithread programming model has become one of the most important programming models to improve the performance of software、析m the advent of multicore era．However， multithread non-determinism brings challenges to program debugging and fault tolerance． Deterministic replay is an effective way to solve the problem of multithread programs debugging．When a program is executed firstly，some nondeterministic actions are logged． Then the program is forcedly enforced in the same way according to the log．There is a large number of runtime overhead when logging，which has big influence on the execution of lhe original program．So the research of deterministic replay aims at how to record efficiently the sequence of actions． A record algorithm for the relationship between write actions and read actions is presented to achieve all efficient deterministic replay．The main idea is