TY - GEN
T1 - Brief announcement
T2 - 27th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
AU - Robinson, Peter
AU - Schmid, Ulrich
PY - 2008
Y1 - 2008
N2 - In this paper, we introduce the Asynchronous Bounded-Cycle (ABC) model, which considerably relaxes the Θ-Model proposed by Le Lann and Schmid. The ABC model just bounds the ratio of the number of forward and backward messages in certain cycles in the space-time diagram of an asynchronous execution. It hence avoids any reference to end-to-end delays, allows individual messages to have arbitrary delays, and does not involve global synchrony conditions. We show that clock synchronization and lock-step rounds can easily be implemented and proved correct in the ABC model, even in the presence of Byzantine failures. Moreover, we show that any correct Θ-algorithm also works correctly in the ABC model. Our proof is based on a novel technique for assigning message delays to asynchronous executions, which is of independent interest.
AB - In this paper, we introduce the Asynchronous Bounded-Cycle (ABC) model, which considerably relaxes the Θ-Model proposed by Le Lann and Schmid. The ABC model just bounds the ratio of the number of forward and backward messages in certain cycles in the space-time diagram of an asynchronous execution. It hence avoids any reference to end-to-end delays, allows individual messages to have arbitrary delays, and does not involve global synchrony conditions. We show that clock synchronization and lock-step rounds can easily be implemented and proved correct in the ABC model, even in the presence of Byzantine failures. Moreover, we show that any correct Θ-algorithm also works correctly in the ABC model. Our proof is based on a novel technique for assigning message delays to asynchronous executions, which is of independent interest.
KW - Algorithms
KW - Theory
UR - http://www.scopus.com/inward/record.url?scp=57549091415&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=57549091415&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:57549091415
SN - 9781595939890
T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
SP - 423
BT - PODC'08
Y2 - 18 August 2008 through 21 August 2008
ER -