Deadlock-Free Incremental Replay of Message-Passing Programs


To support incremental replay of message-passing applications, processes must periodically checkpoint and the content of some messages must be logged, to break dependencies of the current state of the execution on past events. This paper shows that known adaptive logging algorithms are likely to introduce deadlocks in replay, and we introduce a new… (More)
DOI: 10.1006/jpdc.2001.1703


2 Figures and Tables

Slides referencing similar topics