基于SPARC架构面向确定性重演的多核访存竞争记录方法的研究-计算机科学与技术专业论文.docxVIP

Classified Index: TP302.1 U.D.C: 004.4 Dissertation for the Master Degree in Engineering RESEARCH OF MEMORY RACE RECORDING MECHANISM IN DETERMINISTIC MULTI- CORE REPLAY BASED ON SPARC ARCHITECTURE Candidate： Gu Fei Supervisor： Prof. Ji Zhenzhou Academic Degree Applied for： Master of Engineering Speciality： Computer Science and Technology Affiliation： School of Computer Science and Technology Date of Defence： June， 2013 Degree-Conferring-Institution： Harbin Institute of Technology 摘要 在电子信息技术的不断发展进步的今天，人们对高性能计算机的需求越来 越强。然而受材料、加工工艺和散热功耗等原因的限制，通过不断提高CPU主 频而提升处理器性能的设计模式变得愈来愈困难，因此业界逐渐转向了在单个 芯片上集成多个处理器的片上多核处理器结构。与此同时也带来了某些在单核 心处理器架构中不会出现的新问题，由多核系统的访存竞争导致的多核不确定 性问题就是其中之一，这个问题逐渐成为计算机多核系统结构与并行计算中研 究的热点领域之一。 现有的多核架构下的Cache一致性协议能有效的防止并行程序共享内存中 数据的不一致，但是对多线程间访存的顺序没有控制。也就是说如果程序员在 程序中对各处理器内部高速缓存的共享数据的访问未采取严格的同步措施，就 可能会使程序出现违反期望执行顺序的Bug，即在相同的输入情况下多次执行 的输出可能不同。为了解决这一难题，人们提出了确定性重演技术，该技术是 指在存在并发错误的并行程序的某次执行过程中记录必要的线程执行信息，然 后在程序的第二次执行过程中索引这些信息，并强制程序按照相同的方式或顺 序执行，以确保此次执行的结果和前次执行的相同。 本文在理解了了SPARC架构、Cache一致性协议的基础上，针对共享存储式 CMP架构的片上多核SPARC系统在并发地访问共享数据时出现访存竞争从而导致 的多核不确定性问题进行研究，提出了一种硬件辅助的面向确定性重演的访存 竞争记录方法——ERTR方法。该方法法采用了基于滑动窗口的分块约减竞争序 的思想，通过先对各个处理器线程的指令进行分块记录并约减掉冗余的竞争 序，再引入RTR方法中的滑动窗口思想进行替换性约减，因此能够实现对访存 竞争序更为高效的约减。最后，通过搭建SIMICS+GEMS的仿真测试平台，创建 UltraSPARC架构四核处理器虚拟机对ERTR方法进行验证测试，测试的项目是 SPLASH-2并行程序集，在日志记录空间大小、时间开销、带宽开销等方面与其 他方法进行对比测试，实验结果表明ERTR方法的是一种正确高效的访存冲突记 录方法。 关键词 多核不确定性；确定性重演；访存竞争；SPARC Abstract Nowadays, with the continuous advancement of electronic and information technology, the people’s demand for high-performance computers is growing more and more stronger. Limited by the development of material, processor manufacturing, power consumption, heat dissipation and some other reasons, the processor design pattern of increasing the frequency of CPU to increase the processor performance has encountered difficulties. Integrating the cores onto a single integrated circuit die has become the development of processor design pattern. However, at the same time, it also brought a number of new p