面向监听一致性协议的并发内存竞争记录算法

作     者：朱素霞 陈德运 季振洲 孙广路 张浩 Zhu Suxia;Chen Deyun;Ji Zhenzhou;Sun Guanglu;Zhang Hao

作者机构：哈尔滨理工大学计算机科学与技术学院博士后流动站哈尔滨150080 哈尔滨理工大学计算机科学与技术学院哈尔滨150080 哈尔滨工业大学计算机科学与技术学院哈尔滨150001 中国科学院计算技术研究所北京100190 

基　　金：国家自然科学青年基金项目(61502123) 国家自然科学基金项目(61173024) 国家"九七三"重点基础研究发展计划基金项目(2011CB302501) 黑龙江省青年科学基金项目(QC2015084) 中国博士后科学基金项目(2015M571429)~~ 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2016年第53卷第6期

页      码：1238-1248页

摘      要：内存竞争记录是解决多核程序执行不确定性的关键技术,然而现有点到点的内存竞争记录机制带来的硬件开销大,难以应用到实际的片上多核处理器系统中.以降低点到点内存竞争记录方式的硬件开销为出发点,为采用监听一致性协议的片上多核处理器(chip multiprocessor,CMP)系统设计了基于并发记录策略的点到点内存竞争记录算法.该记录算法将两两线程间点到点的内存竞争关系扩展到所有线程,采用分布式记录方法为每个线程记录一个由内存竞争关系的一方构成的内存竞争日志;重演时采用简化的生产者消费者模型,确保了确定性重演的实现,有效降低了硬件消耗和带宽开销.在8核处理器系统中的仿真结果表明,该并发式点到点内存竞争记录算法为每个处理器核添加硬件资源约171B,每千条内存操作指令记录日志大小约2.3B,记录和重演阶段均添加不到1.5%的带宽开销.

主 题 词：片上多核处理器 多核程序 确定性重演 内存竞争记录 内存冲突检测 监听一致性协议 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.7544/issn1000-1239.2016.20150100

馆 藏 号：203185720...