DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently
DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently
复制标题
DOI：
10.1145/1394608.1382146
复制
发表时间：
2008-06
期刊：
影响因子：
--
通讯作者：
Pablo Montesinos;L. Ceze;J. Torrellas
中科院分区：
文献类型：
--
作者：
Pablo Montesinos;L. Ceze;J. Torrellas
支持多线程执行的确定性重播可以极大地帮助查找并发错误。为了获得最高有效性，重播方案应（i）以生产速度记录，（ii）保持其记录要求分钟，（iii）重播的速度与初始执行的速度相似。在本文中，我们提出了一个新的基材来确定性重播，该基材沿这些轴提供了重大进展。在我们的建议中，处理器在原子上执行指令块，例如在交易内存或投机性多线程中，并且系统只需要记录这些块的提交顺序。我们称我们的计划DeLorean。我们的结果表明，DeLorean记录的执行速度与发布一致性（RC）执行的速度相似，并以其速度的82％重录。相反，大多数当前方案仅以顺序一致性（SC）执行的速度记录。此外，Delorean仅需要最先进的方案所需的日志大小的7.5％。最后，可以将DeLorean配置为仅需要最先进方案的日志大小的0.6％，而录制的成本为RCPSILAS执行速度的86％ - 仍然比SC快。在这种配置中，估计每天仅20GB约20GB。
Support for deterministic replay of multithreaded execution can greatly help in finding concurrency bugs. For highest effectiveness, replay schemes should (i) record at production-run speed, (ii) keep their logging requirements minute, and (iii) replay at a speed similar to that of the initial execution. In this paper, we propose a new substrate for deterministic replay that provides substantial advances along these axes. In our proposal, processors execute blocks of instructions atomically, as in transactional memory or speculative multithreading, and the system only needs to record the commit order of these blocks. We call our scheme DeLorean. Our results show that DeLorean records execution at a speed similar to that of release consistency (RC) execution and replays at about 82% of its speed. In contrast, most current schemes only record at the speed of Sequential Consistency (SC) execution. Moreover, DeLorean only needs 7.5% of the log size needed by a state-of-the-art scheme. Finally, DeLorean can be configured to need only 0.6% of the log size of the state-of-the-art scheme at the cost of recording at 86% of RCpsilas execution speed - still faster than SC. In this configuration, the log of an 8-processor 5-GHz machine is estimated to be only about 20GB per day.