论文部分内容阅读
多核程序的执行存在不确定性，内存竞争记录是实现多核程序确定性重演的关键技术．针对现有内存竞争记录机制记录日志较大、重演速度受限等问题，提出了一种新型的循环式点到点内存竞争记录算法．该算法用当前发生序表示内存冲突，用硬件签名实现冲突检测，无需修改原有的cache结构；引入冲突方向检测机制，约减连续同向的当前发生序，记录循环发生序到内存竞争日志．该算法中，内存竞争日志中所记录的任意两线程间的内存竞争呈循环状，大大减少了冗余，并用增量计数器优化循环发生序，更大程度上减小了内存竞争日志．仿真结果表明该算法能够在引