EREBUS: a debugger for asynchronous distributed computing systems
Résumé
This paper addresses the problem of debugging distributed programs executing 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.