Deterministic Replay for Message-Passing-Based Concurrent Programs

作者：Elwakil Mohamed^*; Yang Zijiang

来源：ACM Transactions on Design Automation of Electronic Systems, 2012, 17(3): 22.

DOI：10.1145/2209291.2209295

• Reliability
• MCAPI
• message race
• multicore programs
• debugging
• deterministic replay

The Multicore Communications API (MCAPI) is a new message-passing API that was released by the Multicore Association. MCAPI provides an interface designed for closely distributed embedded systems with multiple cores on a chip and/or chips on a board. Similar to parallel programs in other domains, debugging MCAPI programs is a challenging task due to their nondeterministic behavior. In this article we present a tool that is capable of deterministically replaying MCAPI program executions, which provides valuable insight for MCAPI developers in case of failure.

• 出版日期2012-6