Packet Efficient Implementation of the Omega Failure Detector
Quentin Bramas (LINCS, UPMC, LIP6, NPA), Dianne Foreback, Mikhail, Nesterenko, S\'ebastien Tixeuil (IUF, LINCS, UPMC, LIP6, NPA)

TL;DR
This paper investigates the feasibility and efficiency of implementing the Omega Failure Detector in multi-hop networks, introducing concepts like message and packet efficiency, and providing conditions and a construction for such implementations.
Contribution
It introduces the notions of message, packet, and super packet efficiency for Omega implementations and establishes necessary and sufficient conditions for their existence in various channel models.
Findings
Multi-hop Omega implementation increases leader stability probability.
Packet efficiency is achievable under certain channel conditions.
A deterministic packet efficient Omega implementation is constructed under specific assumptions.
Abstract
We assume that a message may be delivered by packets through multiple hops and investigate the feasibility and efficiency of an implementation of the Omega Failure Detector under such an assumption.To motivate the study, we prove that the existence and sustainability of a leader is exponentially more probable in a multi-hop Omega implementation than in a single-hop one.An implementation is: \emph{message efficient} if all but finitely many messages are sent by a single process; \emph{packet efficient} if the number of packets used to transmit a message in all but finitely many messages is linear w.r.t the number of processes, packets of different messages may potentially use different channels, thus the number of used channels is not limited; \emph{super packet efficient} if the number of channels used by packets to transmit all but finitely many messages is linear.We present the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Petri Nets in System Modeling · Optimization and Search Problems
