Structured Derivation of Semi-Synchronous Algorithms
The semi-synchronous model is an important middle ground between the synchronous and the asynchronous models of distributed computing. In this model, processes can detect (timeout) when other processes fail. However, since detection is done by timing out, it incurs a cost much higher than the typical delay of messages.
The paper presents a new communication primitive, Timely Announced Broadcast (TAB), and uses it in algorithms for consensus and set consensus in the semi-synchronous model. Separate implementations of TAB, withstanding different types of failures, allow to derive algorithms for consensus and set consensus under crash and omission failures.
The time bounds obtained by our algorithms asymptotically match, or improve, the previously known bounds.
Keywordssemi-synchronous systems timely announced broadcast terminating reliable broadcast set consensus
Unable to display preview. Download preview PDF.
- 6.Berman, P., Bharali, A.A.: Distributed consensus in semi-synchronous systems. In: IPPS, pp. 632–635 (1992)Google Scholar
- 12.Feldman, P., Micali, S.: Optimal algorithms for Byzantine agreement. In: Proceedings of the 20th Annual ACM Symposium on Theory of Computing, pp. 148–161 (1988)Google Scholar
- 13.Gafni, E.: Round-by-round fault detectors: unifying synchrony and asynchrony. In: Proceedings of the 18th Annual ACM Symposium on Principles of Distributed Computing, PODC 1998 (1998)Google Scholar
- 14.Herlihy, M.: Public communcation. minutes 9:28–9:37, http://www.youtube.com/watch?v=s6uEsO2T2lg
- 16.Herlihy, M., Rajsbaum, S., Tuttle, M.R.: Unifying synchronous and asynchronous message-passing models. In: Proceedings of the 18th Annual ACM Symposium on Principles of Distributed Computing (PODC 1998), pp. 133–142 (1998)Google Scholar
- 17.Michailidis, D.: Fast set agreement in the presence of timing uncertainty. In: Proceedings of the 18th Annual ACM Symposium on Principles of Distributed Computing (PODC 1999), pp. 249–256 (1999)Google Scholar
- 18.Ponzio, S.: Consensus in the presence of timing uncertainty: omission and byzantine failures. In: Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing (PODC 1991), pp. 125–138 (1991)Google Scholar