基于跟踪的消息传递Go程序的运行时间分析
Trace-Based Run-time Analysis of Message-Passing Go Programs
摘要：
我们认为，通过观察他们的运行时间的行为来分析消息传递程序的任务。我们引入了一个纯粹的基于库的检测方法来跟踪执行过程中的通信事件。可以构建事件之间的依赖关系模型以识别潜在的错误。与向量时钟方法相比，我们的方法简单得多，并且通常具有显著较低的运行时间开销。另一个优点是，我们还可以跟踪无法提交的事件。因此，我们可以推断替代通信。这为用户提供了识别潜在错误的附加信息。我们已经在Go程序设计语言中完全实现了我们的方法，并提供了一些例子来证明我们的主张。
英文摘要：
We consider the task of analyzing message-passing programs by observing their run-time behavior. We introduce a purely library-based instrumentation method to trace communication events during execution. A model of the dependencies among events can be constructed to identify potential bugs. Compared to the vector clock method, our approach is much simpler and has in general a significant lower run-time overhead. A further advantage is that we also trace events that could not commit. Thus, we can infer alternative communications. This provides the user with additional information to identify potential bugs. We have fully implemented our approach in the Go programming language and provide a number of examples to substantiate our claims.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
