Describes DDB (Distributed Debugger), a debugger for distributed and multithreaded programs running under Mach operating systems based on the well-known technique of instant replay.