基于SPARC架构面向确定性重演的多核访存竞争记录方法的研究.docxVIP

鉴于SPARC架构面向确定性重演的多核访存竞争记录方法的研 究 在电子信息技术的不断发展进步的今天，人们对高性能计算机的需求越来越 强。但是受材料、加工工艺和散热功耗等原因的限制，经过不断提高CPU主频而 提升办理器性能的设计模式变得愈来愈困难，因此业界渐渐转向了在单个芯片上 集成多个办理器的片上多核办理器构造。 与此同时也带来了某些在单核心办理器架构中不会出现的新问题，由多核系 统的访存竞争致使的多核不确定性问题就是其中之一，这个问题渐渐成为计算机 多核系统构造与并行计算中研究的热点领域之一。现有的多核架构下的Cache 一致性协议能有效的防备并行程序共享内存中数据的不一致，可是对多线程间访 存的次序没有控制。 也就是说如果程序员在程序中对各办理器内部高速缓存的共享数据的接见 未采取严格的同步举措，便可能会使程序出现违犯希望履行次序的Bug，即在相 同的输入情况下多次履行的输出可能不同。为认识决这一难题，人们提出了确定 性重演技术，该技术是指在存在并发错误的并行程序的某次履行过程中记录必要 的线程履行信息，然后在程序的第二次履行过程中索引这些信息，并强制程序按 照相同的方式或次序履行，以保证此次履行的结果和前次履行的相同。 本文在理解了了SPARC架构、Cache一致性协议的基础上，针对共享存储式 CMP架构的片上多核SPARC系统在并发地接见共享数据时出现访存竞争进而致使 的