A fault-resistant asynchronous clock function

Ezra N. Hoch, Michael Ben-Or, Danny Dolev

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


Consider an asynchronous network in a shared-memory environment consisting of n nodes. Assume that up to f of the nodes might be Byzantin (n > 12f), where the adversary is full-information and dynamic (sometimes called adaptive). In addition, the non-Byzantin nodes may undergo transient failures. Nodes advance in atomic steps, which consist of reading all registers, performing some calculation and writing to all registers. The three main contributions of the paper are: first, the clock-function problem is defined, which is a generalization of the clock synchronization problem. This generalization encapsulates previous clock synchronization problem definitions while extending them to the current paper's model. Second, a randomized asynchronous self-stabilizing Byzantin tolerant clock synchronization algorithm is presented. In the construction of the clock synchronization algorithm, a building block that ensures different nodes advance at similar rates is developed. This feature is the third contribution of the paper. It is self-stabilizing and Byzantin tolerant and can be used as a building block for different algorithms that operate in an asynchronous self-stabilizing Byzantin model. The convergence time of the presented algorithm is exponential. Observe that in the asynchronous setting the best known full-information dynamic Byzantin agreement also has an expected exponential convergence time.

Original languageAmerican English
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings
Number of pages16
StatePublished - 2010
Event12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010 - New York, NY, United States
Duration: 20 Sep 201022 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6366 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010
Country/TerritoryUnited States
CityNew York, NY

Bibliographical note

Funding Information:
Michael Ben-Or is the incumbent of the Jean and Helena Alfassa Chair in Computer Science, and he was supported in part by the Israeli Science Foundation (ISF) research grant. Danny Dolev is incumbent of the Berthold Badler Chair in Computer Science. Danny Dolev was supported in part by the Israeli Science Foundation (ISF) Grant number 0397373.


Dive into the research topics of 'A fault-resistant asynchronous clock function'. Together they form a unique fingerprint.

Cite this