Fever: optimal responsive view synchronisation

Lewis-Pye, Andrew and Abraham, Ittai (2024) Fever: optimal responsive view synchronisation. In: Bessani, Alysson, Défago, Xavier, Nakamura, Junya, Wada, Koichi and Yamauchi, Yukiko, (eds.) Proceedings of the 27th International Conference on Principles of Distributed Systems (OPODIS 2023). Leibniz International Proceedings in Informatics (LIPIcs). ACM Press. ISBN 9783959773089

Text (Lewis-Pye_Abraham__Optimal-responsive-view-synchronisation--published) - Published Version Available under License Creative Commons Attribution. Download (716kB)

• Author
• Scopus publication

Abstract

View synchronisation is an important component of many modern Byzantine Fault Tolerant State Machine Replication (SMR) systems in the partial synchrony model. Roughly, the efficiency of view synchronisation is measured as the word complexity and latency required for moving from being synchronised in a view of one correct leader to being synchronised in the view of the next correct leader. The efficiency of view synchronisation has emerged as a major bottleneck in the efficiency of SMR systems as a whole. A key question remained open: Do there exist view synchronisation protocols with asymptotically optimal quadratic worst-case word complexity that also obtain linear message complexity and responsiveness when moving between consecutive correct leaders? We answer this question affirmatively with a new view synchronisation protocol for partial synchrony assuming minimal clock synchronisation, called \emph{Fever}. If n is the number of processors and t is the largest integer <n/3, then Fever has resilience t, and in all executions with at most 0≤f≤t Byzantine parties and network delays of at most δ≤Δ after GST (where f and δ are unknown), Fever has worst-case word complexity O(fn+n) and worst-case latency O(Δf+δ).

Item Type:	Book Section
Official URL:	https://drops.dagstuhl.de/entities/volume/LIPIcs-v...
Additional Information:	© 2023 Association for Computing Machinery
Divisions:	Mathematics
Subjects:	Q Science > QA Mathematics
Date Deposited:	03 Nov 2023 14:39
Last Modified:	19 Feb 2024 12:06
URI:	http://eprints.lse.ac.uk/id/eprint/120631

Actions (login required)

View Item