...
首页> 外文期刊>Microprocessors and microsystems >CCTR: An efficient point-to-point memory race recorder implemented in chunks
【24h】

CCTR: An efficient point-to-point memory race recorder implemented in chunks

机译:CCTR:以块实现的高效点对点内存竞赛记录器

获取原文
获取原文并翻译 | 示例
           

摘要

Memory race recording is a key technology to replay multithreaded programming deterministically. Modern computers supply efficient communication mechanism and memory races occur frequently. So it is significant to develop an efficient memory race recording algorithm with low log growth rate and rapid replay speed. This paper proposes a new efficient point-to-point memory race recording algorithm, called CCTR, which writes a small race log with small hardware state, operates well as the number of cores per system scales, and can replay multithreaded programs at production run speed. CCTR uses a new relative indirect dependency to present each memory race instead of its precise dependency. In this dependency, CCTR need not store any timestamp for each memory block and detects memory races in chunks. Through simulation on 4-core chip multiprocessor (CMP), a good result is achieved which includes smallest log growth rate (~5 bytes per thousand memory instructions), small hardware state (~504 bytes per core), low runtime overhead (less than 2%), low bandwidth overhead (~7%) and good scalability.
机译:内存竞赛记录是确定性地重播多线程编程的一项关键技术。现代计算机提供了有效的通信机制,并且内存争用经常发生。因此,开发一种具有低对数增长速度和快速重放速度的有效内存竞赛记录算法具有重要意义。本文提出了一种新的高效点对点内存竞争记录算法,称为CCTR,该算法编写了一个具有较小硬件状态的小型竞争日志,在每个系统规模的内核数下运行良好,并且可以在生产运行速度下重播多线程程序。 CCTR使用新的相对间接依赖关系来表示每个内存竞争,而不是精确的依赖关系。在这种依赖性下,CCTR不需要为每个内存块存储任何时间戳,并且可以按块检测内存竞争。通过在4核芯片多处理器(CMP)上进行仿真,可以获得良好的结果,包括最小的日志增长率(每千条存储指令约5个字节),较小的硬件状态(每核约504个字节),较低的运行时开销(小于2%),低带宽开销(〜7%)和良好的可扩展性。

著录项

  • 来源
    《Microprocessors and microsystems》 |2012年第6期|p.510-519|共10页
  • 作者单位

    School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, People's Republic of China;

    School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, People's Republic of China;

    School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, People's Republic of China;

    School of Computer Science and Technology, Harbin Institute of Technology, Harbin 150001, People's Republic of China;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    multiprocessors; deterministic replay; memory race recording;

    机译:多处理器;确定性重放;记忆竞赛记录;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号