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 -