面向多核处理器的内存竞争记录研究综述 study on memory race recording for multi-core processors.pdfVIP

第3卷第3期 智能计算机与应用 Vol_3No．3 2013年6月 INTELLIGENTCOMPUTERANDAPPLICATIONS Jun．2013 面向多核处理器的内存竞争记录研究综述 朱素霞1’2。季振洲1，李东2 (1哈尔滨工业大学计算机科学与技术学院，哈尔滨150001；2哈尔滨工业大学软件学院，哈尔滨150001) 摘 要：共享内存多线程编程是挖掘多核处理器并行性的重要方法，然而，共享内存的多线程程序在运行时存在不确定性，线程 间的内存竞争是导致不确定性的主要来源。内存竞争信息量大，记录时带来的开销大，实现内存竞争记录是确定性重演共享内存 多线程程序的关键。分别概括了现有软件实现的内存竞争记录机制和硬件实现的内存竞争记录机制，并对内存竞争记录的研究 现状进行了总结，指出了当前内存竞争记录技术面临的挑战。 关键词：多核处理器；多线程程序；确定性重演；内存冲突；内存竞争记录 中图分类号：TP303 文献标识码：A 文章编号：2095—2163(2013)03—0053—07 on Race forMulti--coreProcessors StudyMemoryRecording zHU Suxial，JIZhenzhoul，LI Do《 Institute Schoolof Scienceand of (1 Computer Technology，HarbinTechnology，HarbinIS0001，China； 2Schoolof Instituteof software，HarbinTechnology，Harbin150001，China) all muhithreadedbecome meansto the shared—memory important performance Abstract：Writing programs exploreparallel ofmulti—core arenondeterministicatrun．Inter—thread processorsystems．However，muhithreadedprograms memory raceisthemainsourceofthis racesare andcost race becomes nondeterminism．Memorylarge overhead．Memoryrecording the toachievedeterministicofmultithreaded summarizesthe software keytechnology replay programs．Thispaper existing race mechanismsandhardware race mechanisms．Andthe for race memoryrecording