a paradigm for distributed debugging
Three critical problems associated with distributed debugging are controlling the debugging process in the absence of a global clock; maintaining transparency so that the debugger does not change the order or timing of events, and reproducing an execution sequence to be able to verify that a fault has been corrected. A paradigm is put forward that successfully addresses these three problems. To demonstrate the feasibility of this paradigm, an instantiation has been constructed. A description is given of the resulting debugger for a dataflow language.
distributed debugging critic association control process global transparency change order timing event sequence fault forward demonstrate dataflow language