公开(公告)号：CN107193661B

公开(公告)日：2020-08-21

申请号：CN201710339568.X

申请日：2017-05-15

Applicant: 哈尔滨工业大学(威海)

Inventor： 姬壮伟 ,  季振洲 ,  陈彬

IPC: G06F9/52 ,  G06F11/34

Abstract: 面向多核处理器确定性重演的优化分段式内存竞争记录系统及其方法，涉及一种内存竞争记录系统，为了解决现有分段式内存竞争记录方法的冗余和判断方式不足导致漏记的问题，通过设置段号寄存器，实现了多核处理器存在内存竞争的优化记录，所述的记录方法在检测到内存竞争冲突时与之前的竞争记录进行有效地比较，判断是否可以约减，判断是否可以利用相邻同向竞争关系进行人工访问冲突的设置，达到减少内存竞争记录的次数，优化内存竞争日志，降低硬件资源消耗的效果。它可扩展到容错处理、事后安全分析等更为广泛的应用模型中。

公开(公告)号：CN107193661A

公开(公告)日：2017-09-22

申请号：CN201710339568.X

申请日：2017-05-15

Applicant: 哈尔滨工业大学(威海)

Inventor： 姬壮伟 ,  季振洲 ,  陈彬

IPC: G06F9/52 ,  G06F11/34

CPC classification number: G06F9/52 ,  G06F11/34

Abstract: 面向多核处理器确定性重演的优化分段式内存竞争记录系统及其方法，涉及一种内存竞争记录系统，为了解决现有分段式内存竞争记录方法的冗余和判断方式不足导致漏记的问题，通过设置段号寄存器，实现了多核处理器存在内存竞争的优化记录，所述的记录方法在检测到内存竞争冲突时与之前的竞争记录进行有效地比较，判断是否可以约减，判断是否可以利用相邻同向竞争关系进行人工访问冲突的设置，达到减少内存竞争记录的次数，优化内存竞争日志，降低硬件资源消耗的效果。它可扩展到容错处理、事后安全分析等更为广泛的应用模型中。