面向多核程序确定性重演的内存竞争记录装置及其控制方法制造方法及图纸

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

【技术实现步骤摘要】

本专利技术涉及ー种内存竞争记录装置，特别涉及一种。
技术介绍
随着多核处理器的流行，多核程序的应用越来越广泛.然而，多核程序运行的结果存在不确定性，给程序调试、容错处理、入侵检测等应用带来了众多挑战，也制约了并行计算的发展。多核程序确定性重演通过记录多核程序运行时的不确定性信息，能够解决多核程序运行的不确定性。其中，内存竞争记录是实现多核程序确定性重演的关键技木。目前实现的内存竞争记录方法存在的性能成本大的问题。
技术实现思路
本专利技术的目的是为了解决实现内存竞争记录的方法成本高的问题，本专利技术提供一种。本专利技术的面向多核程序确定性重演的内存竞争记录装置，它包括多个处理器核和共享L2数据Cache，所述多个处理器核与共享L2数据Cache通过互联网络进行数据交換，处理器核还包括内存竞争记录模块MRR、私有LI数据Cache、私有LI指令Cache、Cache 一致性协议控制器和指令流水线；内存竞争记录模块MRR，用于检测内存竞争并记录；私有LI数据Cache，用于存放处理器核最近访问过的数据；私有LI指令Cache，用于存放处理器核最近访问过的指令；Cache 一致性协议控制器，本文档来自技高网...

【技术保护点】
面向多核程序确定性重演的内存竞争记录装置，它包括多个处理器核和共享L2数据Cache，所述多个处理器核与共享L2数据Cache通过互联网络进行数据交换，处理器核还包括内存竞争记录模块MRR、私有L1数据Cache、私有L1指令Cache、Cache一致性协议控制器和指令流水线；内存竞争记录模块MRR，用于检测内存竞争并记录；私有L1数据Cache，用于存放处理器核最近访问过的数据；私有L1指令Cache，用于存放处理器核最近访问过的指令；Cache一致性协议控制器，用于保证所有处理器核数据Cache中保留的共享数据的副本一致；指令流水线，用于在处理器核的各个寄存器同时工作时，控制寄存器处理数据...

【技术特征摘要】
1.面向多核程序确定性重演的内存竞争记录装置，它包括多个处理器核和共享L2数据Cache，所述多个处理器核与共享L2数据Cache通过互联网络进行数据交换， 处理器核还包括内存竞争记录模块MRR、私有LI数据Cache、私有LI指令Cache、Cache一致性协议控制器和指令流水线； 内存竞争记录模块MRR，用于检测内存竞争并记录； 私有LI数据Cache，用于存放处理器核最近访问过的数据； 私有LI指令Cache,用于存放处理器核最近访问过的指令； Cache 一致性协议控制器，用于保证所有处理器核数据Cache中保留的共享数据的副本一致； 指令流水线，用于在处理器核的各个寄存器同时工作时，控制寄存器处理数据的顺序; 所述内存竞争记录模块包括64bits指令计数器、56bits段计数器、(处理器核数目-l)*56bits段时戳向量SCV和控制逻辑模块；56bits段计数器，用于记录段时戳；64bits指令计数器，用于记录指令的数目； 段时戳向量SCV，用于存放着其他处理器核对应的段时戳，所述段时戳的数量为(处理器核数目-1); 所述私有LI数据Cache中的每个Cache块还包括一个字段段时戳SC ;所述段时戳SC，用于记录最新的内存竞争； 控制逻辑模块，用于控制内存竞争记录模块检测内存竞争并记录的流程。2.根据权利要求1所述的面向多核程序确定性重演的内存竞争记录装置的控制方法，其特征在于，所述控制逻辑模块的工作过程包括如下步骤 当提交的指令为内存操作指令时，更新64bits指令计数器IC的值，并设置对应内存操作的内存块的段时戳的步骤； 当接收到请求方一致性请求时，通过Cache —致性...

【专利技术属性】
技术研发人员：朱素霞，季振洲，陈志刚，吴昊，王庆，王晖，李聪，
申请(专利权)人：哈尔滨工业大学，
类型：发明
国别省市：