Minimizing message size in stochastic communication patterns: fast self-stabilizing protocols with 3 bits

Lucas Boczkowski, Amos Korman, Emanuele Natale

Research output: Contribution to journalArticlepeer-review

Abstract

This paper considers the basic PULL model of communication, in which in each round, each agent extracts information from few randomly chosen agents. We seek to identify the smallest amount of information revealed in each interaction (message size) that nevertheless allows for efficient and robust computations of fundamental information dissemination tasks. We focus on the Majority Bit Dissemination problem that considers a population of n agents, with a designated subset of source agents. Each source agent holds an input bit and each agent holds an output bit. The goal is to let all agents converge their output bits on the most frequent input bit of the sources (the majority bit). Note that the particular case of a single source agent corresponds to the classical problem of Broadcast (also termed Rumor Spreading). We concentrate on the severe fault-tolerant context of self-stabilization, in which a correct configuration must be reached eventually, despite all agents starting the execution with arbitrary initial states. In particular, the specification of who is a source and what is its initial input bit may be set by an adversary. We first design a general compiler which can essentially transform any self-stabilizing algorithm with a certain property (called “the bitwise-independence property”) that uses ℓ-bits messages to one that uses only log ℓ-bits messages, while paying only a small penalty in the running time. By applying this compiler recursively we then obtain a self-stabilizing Clock Synchronization protocol, in which agents synchronize their clocks modulo some given integer T, within O~ (log nlog T) rounds w.h.p., and using messages that contain 3 bits only. We then employ the new Clock Synchronization tool to obtain a self-stabilizing Majority Bit Dissemination protocol which converges in O~ (log n) time, w.h.p., on every initial configuration, provided that the ratio of sources supporting the minority opinion is bounded away from half. Moreover, this protocol also uses only 3 bits per interaction.

Original languageEnglish
Pages (from-to)173-191
Number of pages19
JournalDistributed Computing
Volume32
Issue number3
DOIs
StatePublished - 1 Jun 2019
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2018, Springer-Verlag GmbH Germany, part of Springer Nature.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications
  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'Minimizing message size in stochastic communication patterns: fast self-stabilizing protocols with 3 bits'. Together they form a unique fingerprint.

Cite this