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 language||American English|
|Title of host publication||Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings|
|Number of pages||16|
|State||Published - 2010|
|Event||12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010 - New York, NY, United States|
Duration: 20 Sep 2010 → 22 Sep 2010
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Conference||12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010|
|City||New York, NY|
|Period||20/09/10 → 22/09/10|
Bibliographical noteFunding 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.