当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency
arXiv - CS - Programming Languages Pub Date : 2021-08-26 , DOI: arxiv-2108.11679
Juan José González-Abril, Germán Vidal

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.

中文翻译:

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

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