面向多核处理器确定性重演的内存竞争记录机制研究-计算机系统结构专业毕业论文.docxVIP

Classified Index: TP303 U.D.C: 681.004.2 Dissertation for the Doctoral Degree in Engineering RESEARCH ON MEMORY RACE RECORDING MECHANISM FOR DETERMINISTIC MULTIPROCESSOR REPLAY Candidate： Zhu Suxia Supervisor： Prof. Ji Zhenzhou Academic Degree Applied for： Doctor of Engineering Speciality： Computer Architecture Affiliation： School of Computer Science and Technology Date of Defence： June, 2013 Degree-Conferring-Institution： Harbin Institute of Technology - - I - 摘 要 摘 要 随着多核处理器的流行，共享内存多线程程序成为挖掘多核处理器系统 并行性的重要手段。然而，共享内存多线程程序在执行时存在不确定性，即 在相同输入下，同一程序在同一台多核处理器系统上运行多次，运行的结果 可能会不同。这种执行时的不确定性给共享内存多线程程序的编写、调试和 应用等都带来了很大挑战。 划分为记录和重演两个阶段的确定性重演机制是解决共享内存多线程程 序执行不确定性的有效手段。确定性重演机制通过在记录阶段记录程序运行 时存在的不确定性信息，在重演阶段使用所记录的不确定性信息强迫程序再 现原始的执行结果。内存竞争作为不确定性信息的主要来源，记录的信息量 大、记录时带来的开销大，使得内存竞争记录成为实现多核处理器确定性重 演的关键。本文研究高效的、硬件实现的内存竞争记录机制，针对当前硬件 实现的内存竞争记录机制面临的挑战，力求在内存竞争日志、硬件资源消耗、 带宽开销、重演速度等方面取得好的研究成果。 首先，本文提出了分段式内存竞争记录机制。点到点的内存竞争记录方 式在重演方面具有优势，具有良好的应用前景，但其硬件实现带来了较大的 硬件资源消耗。因此，本文开展了低硬件消耗的点到点内存竞争记录方式的 研究，提出了支持并发重演的分段式内存竞争记录机制。该机制用当前发生 序—冲突发生时冲突双方所在处理器核的当前指令计数值构成的依赖关系表 示冲突，无需保存冲突双方对应内存操作的指令计数值；采用分段的可推导 约减算法，约减掉可以被已记录的当前发生序推导出来的冲突；对于已被替 换出 cache 的内存块对应的冲突，则使用最大近似段时戳法进行检测。在硬 件实现中，该机制为每个内存块存储一个用具有更小尺寸的段号标记的 cache 块时戳，降低了硬件消耗；同时，采用间隔指令计数值替换指令计数值，进 一步优化了内存竞争日志。仿真结果表明，该机制带来的硬件消耗低，也减 小了内存竞争日志，降低了带宽开销。 其次，本文提出了基于签名的循环式内存竞争记录机制。通过在 cache 中增加时戳字段实现内存竞争记录功能，会影响系统原有的 cache 结构，给 多核处理器的设计带来很大挑战。因此，为了所添加的内存竞争记录功能不 影响原有系统的 cache 结构，本文研究了基于签名的循环式内存竞争记录机 制。签名是一种高效的硬件实现机制，在内存竞争检测方面可以获得较好的 - - II - 摘要 时间和空间效率。该记录机制仅为每个处理器核添加若干个小尺寸的读签名 和写签名，通过使用签名的插入和查找操作实现冲突的检测，在无需更改原 有 cache 结构的同时，进一步降低了硬件消耗。在此基础上，该机制又采用 循环发生序约减连续同向的当前发生序，在能够实现并发确定性重演的前提 下，进一步优化了内存竞争日志。在硬件实现中，该记录机制采用一种简洁 的方向检测机制检测连续同向的当前发生序，无需添加太多额外的硬件资源 就可以实现循环发生序的记录。仿真结果表明，该机制相比已有的点到点内 存竞争记录机制，在无需更改原有 cache 结构的前提下，硬件消耗、内存竞 争日志和带宽开销都得到了很大改善。 第三，本文提出了同步敏感的内存竞争记录机制。内存竞争只是内存冲 突的一部分，也并非所有的内存竞争都影响确定性重演，因此，如果在内存 竞争记录时过滤掉不影响确定性重演的冲突，将会有效减小内存竞争日志。 因此，本文研究了同步敏感的内存竞争记录机制。该机制通过离线的方式分 析同步操作带来的冲突对确定性重演的影响，将同步操作引入的冲突划分为 有害的同步冲突和无害的同步冲突，无害的同步冲突不会影响确定性重演， 可以不予记录。该机制通过添加两条新的指令能够识别常