The execution of concurrent programs generally involves some degree of nondeterminism, mostly due to the relative speeds of the concurrent processes. As a consequence, reproducibility is often challenging. This problem has been traditionally tackled by a combination of tracing and replay. In this paper, we introduce a program instrumentation for "prefix-based tracing" that combines both tracing and replay. In the general case, the program is instrumented with a partial trace, so that the execution first follows the partial trace (replay) and, then, proceeds nondeterministically, eventually producing a trace of the complete execution as a side effect. Observe that traditional tracing and replay are particular cases of our approach when an empty trace is provided (pure tracing) and when a full trace is provided (pure replay), respectively.

中文翻译：

---

用于消息传递并发中基于前缀的跟踪的程序检测

并发程序的执行通常涉及一定程度的不确定性，主要是由于并发进程的相对速度。因此，重现性通常具有挑战性。这个问题传统上是通过跟踪和重放的组合来解决的。在本文中，我们介绍了一种用于“基于前缀的跟踪”的程序检测，它结合了跟踪和重放。在一般情况下，程序使用部分跟踪进行检测，因此执行首先遵循部分跟踪（重播），然后非确定性地进行，最终产生完整执行的跟踪作为副作用。请注意，当提供空跟踪（纯跟踪）和提供完整跟踪（纯重放）时，传统跟踪和重放是我们方法的特殊情况。