Deterministic replay for message-passing-based concurrent programs

Authors:
Mohamed Elwakil;Zijiang Yang
Affiliations:
Western Michigan University, Kalamazoo, MI;Western Michigan University, Kalamazoo, MI
Venue:
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
Year:
2012

Citing 11
Cited 0

Debugging race conditions in message-passing programs

SPDT '96 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
CLIP: a checkpointing tool for message-passing parallel programs

SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
Cyclic Debugging Using Execution Replay

ICCS '01 Proceedings of the International Conference on Computational Science-Part II
An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs

Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Dynamic partial-order reduction for model checking software

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ReVirt: enabling intrusion analysis through virtual-machine logging and replay

OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
ExtraVirt: detecting and recovering from transient processor faults

Proceedings of the twentieth ACM symposium on Operating systems principles
Scalable compression and replay of communication traces in massively parallel environments

Proceedings of the 2006 ACM/IEEE conference on Supercomputing
MPIWiz: subgroup reproducible replay of mpi applications

Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Software Profiling for Deterministic Replay Debugging of User Code

Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Scalable Communication Trace Compression

CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing

Quantified Score

Hi-index	0.00

Visualization

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.