Skip to main navigation Skip to search Skip to main content

Deterministic replay for message-passing-based concurrent programs

  • Mohamed Elwakil
  • , Zijiang Yang
  • Cairo University

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

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.

Original languageEnglish
Article number22
JournalACM Transactions on Design Automation of Electronic Systems
Volume17
Issue number3
DOIs
StatePublished - Jun 2012

Keywords

  • Debugging
  • Deterministic replay
  • MCAPI
  • Message race
  • Multicore programs

Fingerprint

Dive into the research topics of 'Deterministic replay for message-passing-based concurrent programs'. Together they form a unique fingerprint.

Cite this