Phase clocks for transient fault repair

Phase clocks are synchronization tools that implement a form of logical tim e in distributed systems. For systems tolerating transient faults by self-r epair of damaged data, phase clocks can enable reasoning about the progress of distributed repair procedures. This paper presents a phase clock algori thm suited to the model of transient memory faults in asynchronous systems with read/write registers. The algorithm is self-stabilizing and guarantees accuracy of phase crocks within O(li) time following an initial state that is k-faulty. Composition theorems show how the algorithm can be used for t he timing of distributed procedures that repair system outputs.