使用执行重放的非侵入式动态数据竞争检测
Non-intrusive on-the-fly data race detection using execution replay
摘要：
本文提出了一种实用的并行程序中数据竞争检测的解决方案。该解决方案由执行重放（RecPlay）与自动动态数据竞争检测的组合组成。这种组合使我们能够在未更改的执行上执行数据争用检测（几乎没有探测效应）。此外，多级位图和监听矩阵时钟的使用限制了所使用的内存量。由于RecPlay的记录阶段非常高效，因此不需要关闭它，从而消除了Heisenbugs的可能性，因为跟踪可以一直保持。
英文摘要：
This paper presents a practical solution for detecting data races in parallel programs. The solution consists of a combination of execution replay (RecPlay) with automatic on-the-fly data race detection. This combination enables us to perform the data race detection on an unaltered execution (almost no probe effect). Furthermore, the usage of multilevel bitmaps and snooped matrix clocks limits the amount of memory used. As the record phase of RecPlay is highly efficient, there is no need to switch it off, hereby eliminating the possibility of Heisenbugs because tracing can be left on all the time.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
