2000/07/10 by Ted Herman, Herman, Ted
Computer Science · Engineering · #C.2.4 #D.4.5 #Distributed #Engineering and Test Systems #FOS: Computer and information sciences #Parallel #Software System Performance and Reliability #VLSI and Analog Circuit Testing #and Cluster Computing (cs.DC) #cs.DC
paper · pdf · doi:10.48550/arxiv.cs/0007015
22 pages, LaTeX
arxiv created 2000/07/10 · openalex publication_date 2000/07/10 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Phase clocks are synchronization tools that implement a form of logical time in distributed systems. For systems tolerating transient faults by self-repair of damaged data, phase clocks can enable reasoning about the progress of distributed repair procedures. This paper presents a phase clock algorithm 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 clocks within O(k) time following an initial state that is k-faulty. Composition theorems show how the algorithm can be used for the timing of distributed procedures that repair system outputs.