【技术实现步骤摘要】
本专利技术涉及多核程序内存竞争记录的方法,具体涉及。
技术介绍
内存竞争的记录和重演是实现多核程序确定性重演的关键。当前多核程序确定性重演方法中只注重内存竞争记录的性能而忽略内存竞争重演的性能,导致重演时效率低下的问题。
技术实现思路
本专利技术解决了现有基于硬件的多核程序确定性重演方法中只注重内存竞争记录的性能而忽略内存竞争重演的性能,导致重演时效率低下的问题。本专利技术所述的包括如下步骤步骤一、在多核程序原始执行阶段,开启内存竞争记录功能,每个处理器核开始内存竞争记录;步骤二、当所有的处理器核的内存竞争记录完成后,进入多核程序重演阶段,开启内存竞争重演功能。在多核程序原始执行阶段,开启内存竞争记录功能,每个处理器核开始内存竞争记录操作步骤如下A、请求方发出指令,若该指令是读内存操作指令,则IC的值加1,所述的IC的值为指令计数值,将所读的内存块的地址添加到所有的读签名寄存器中,同时请求方发出共享内存请求消息到每个处理器的一致性协议机构,执行步骤B ;若该指令是写内存操作指令,则将要写的内存块的地址添加到所有的写签名寄存器中,同时请求方发出共享内存请求消息到每个处 ...
【技术保护点】
用签名实现的多核程序内存竞争记录及重演方法,其特征在于:它包括如下步骤:步骤一、在多核程序原始执行阶段,开启内存竞争记录功能,每个处理器核开始内存竞争记录;步骤二、当所有的处理器核的内存竞争记录完成后,进入多核程序重演阶段,开启内存竞争重演功能。
【技术特征摘要】
1.用签名实现的多核程序内存竞争记录及重演方法,其特征在于它包括如下步骤步骤一、在多核程序原始执行阶段,开启内存竞争记录功能,每个处理器核开始内存竞争记录;步骤二、当所有的处理器核的内存竞争记录完成后,进入多核程序重演阶段,开启内存竞争重演功能。2.根据权利要求1所述的用签名实现的多核程序内存竞争记录及重演方法,其特征在于步骤一所述的在多核程序原始执行阶段,开启内存竞争记录功能,每个处理器核开始内存竞争记录操作步骤如下A、请求方发出指令,若该指令是读内存操作指令,则IC的值加1,所述的IC的值为指令计数值,将所读的内存块的地址添加到所有的读签名寄存器中,同时请求方发出共享内存请求消息到每个处理器的一致性协议机构,执行步骤B ;若该指令是写内存操作指令,则将要写的内存块的地址添加到所有的写签名寄存器中,同时请求方发出共享内存请求消息到每个处理器的一致性协议机构,执行步骤B ;B、一致性机构收到共享内存请求消息后,将共享内存请求消息转发给其他处理器核, 即应答方,执行步骤C ;C、应答方根据接收到的共享内存请求消息的地址到读签名寄存器或写签名寄存器中查找,判断是否有内存竞争发生,若发生内存竞争,则将一个记录标志位和当前指令计数值连同内存块的内容一起发送给请求方,清空对应请求方的写签名寄存器和读签名寄存器;并将伪依赖关系记录到运行在该处理器核上的线程的内存竞争日志中,执行步骤D ;若没有发生内存竞争,则只将内存块的内容发送给请求方,执行步骤A ;D、请求方接收到应答消息后,检测内存竞争记录模块记录...
【专利技术属性】
技术研发人员:朱素霞,季振洲,陈志刚,吴昊,王庆,王晖,李聪,
申请(专利权)人:哈尔滨工业大学,
类型:发明
国别省市:
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。