EREBUS: a debugger for asynchronous distributed computing systems

This paper addresses the problem of debugging distributed programs executed on distributed memory parallel computers with message-passing interprocess communication. The main issues of debugging such programs are exposed. Principles for designing and implementing a debugger for programs specified in the Estelle language are presented. All the described solutions have been implemented in a distributed debugger called EREBUS.<
>