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