arrow
Return

Time-Optimal and Energy-Efficient Deterministic Consensus

delete2026-01-01
delete0
PRE
AI
S
Shachar Meir
H
Hugo Mirault
D
David Peleg *
P
Peter Robinson *
DOI:10.4230/LIPIcs.OPODIS.2025.15delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
We study fault-tolerant consensus in a variant of the synchronous message passing model, where, in each round, every node can choose to be awake or asleep. This is known as the sleeping model (Chatterjee, Gmyr, Pandurangan PODC 2020) and defines the awake complexity (also called energy complexity), which measures the maximum number of rounds that any node is awake throughout the execution. Only awake nodes can send and receive messages in a given round and all messages sent to sleeping nodes are lost. We present new deterministic consensus algorithms that tolerate up to f < n crash failures, where n is the number of nodes. Our algorithms match the optimal time complexity lower bound of f + 1 rounds. For multi-value consensus, where the input values are chosen from some possibly large set, we achieve an energy complexity of O(Gamma f(2)/nSIC) rounds, whereas for binary consensus, we show an algorithm to achieve O(Gamma f/v root nSIC) energy complexity.
Keywords:
Distributed computing
Crash faults
Consensus
Energy complexity
Sleeping model

Journal

2
29TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2025
IF:
0
Papers:
35
Citations:
0

Organization

U
university system of georgia
Scholars:
7.3W
Papers: 6.5W
Citations: 101
W
Weizmann Institute of Science
Scholars:
1.3W
Papers: 1.1W
Citations: 2.3W