Deterministic replay for message-passing-based concurrent programs-Reference-Cited by-同舟云学术

Deterministic replay for message-passing-based concurrent programs

Published:2012-06 Issue:3 Volume:17 Page:1-30
ISSN:1084-4309
Container-title:ACM Transactions on Design Automation of Electronic Systems
language:en
Short-container-title:ACM Trans. Des. Autom. Electron. Syst.

Author:

Elwakil Mohamed¹,Yang Zijiang¹

Affiliation:

1. Western Michigan University, Kalamazoo, MI

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications

Link

https://dl.acm.org/doi/pdf/10.1145/2209291.2209295

Reference28 articles.

1. Brehmer S. 2010. The multicore association communications API. http://www.multicore-association.org/workgroup/mcapi.php. {Online accessed 28-April-2011}. Brehmer S. 2010. The multicore association communications API. http://www.multicore-association.org/workgroup/mcapi.php. {Online accessed 28-April-2011}.

2. CLIP

3. Degive Enterprises. 2012. The multicore association. http://www.multicore-association.org. Degive Enterprises. 2012. The multicore association. http://www.multicore-association.org.

4. Fertré M. and Morin C. 2005. Transparent message-passing parallel applications checkpointing in Kerrighed. Res. rep. RR-5755 INRIA. Fertré M. and Morin C. 2005. Transparent message-passing parallel applications checkpointing in Kerrighed. Res. rep. RR-5755 INRIA.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deterministic Message Passing for Distributed Parallel Computing;IEICE Transactions on Information and Systems;2013