公开(公告)号：CN103020003A

公开(公告)日：2013-04-03

申请号：CN201210590026.7

申请日：2012-12-31

Applicant: 哈尔滨工业大学

Inventor： 朱素霞 ,  季振洲 ,  陈志刚 ,  吴昊 ,  王庆 ,  王晖 ,  李聪

IPC: G06F15/167

Abstract: 面向多核程序确定性重演的内存竞争记录装置及其控制方法，涉及一种内存竞争记录装置，为了解决实现内存竞争记录的方法成本高的问题。它为基于Cache一致性协议的多核处理器系统，实现了多核程序运行时内存竞争的记录，所述记录的方法不直接记录内存竞争对应的依赖关系，而是记录用竞争发生时由竞争双方所在处理器核的当前指令表示的间接依赖关系，为每个线程记录一个由间接依赖关系构成的内存竞争日志；记录内存竞争的间接依赖关系，无需为每个内存块保存对应内存操作指令的指令计数值，而是为每条指令存储一个具有更小尺寸的段时戳。同时使用分段方法实现内存竞争日志的约减，大大降低了硬件资源消耗。它用于多核程序调试、入侵检测和容错。

公开(公告)号：CN103019829A

公开(公告)日：2013-04-03

申请号：CN201210593408.5

申请日：2012-12-31

Applicant: 哈尔滨工业大学

Inventor： 朱素霞 ,  季振洲 ,  陈志刚 ,  吴昊 ,  王庆 ,  王晖 ,  李聪

IPC: G06F9/46 ,  G06F9/50

Abstract: 用签名实现的多核程序内存竞争记录及重演方法，涉及用签名实现的多核程序内存竞争记录及重演方法。它为了解决现有基于硬件的多核程序确定性重演方法中只注重内存竞争记录的性能而忽略内存竞争重演的性能，导致重演时效率低下的问题。签名实现的多核程序内存竞争记录及重演方法为：步骤一、在多核程序原始执行阶段，开启内存竞争记录功能，每个处理器核开始内存竞争记录；步骤二、当所有的处理器核的内存竞争记录完成后，进入多核程序重演阶段，开启内存竞争重演功能。本发明应用在多核程序调试、入侵检测、容错等领域。