Anonymous processors with synchronous shared memory: Monte Carlo algorithms

Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Abstract

We consider synchronous distributed systems in which processors communicate by shared readwrite variables. Processors are anonymous and do not know their number n. The goal is to assign individual names by all the processors to themselves. We develop algorithms that accomplish this for each of the four cases determined by the following independent properties of the model: concurrently attempting to write distinct values into the same shared memory register either is allowed or not, and the number of shared variables either is a constant or it is unbounded. For each such a case, we give a Monte Carlo algorithm that runs in the optimum expected time and uses the expected number of O(n log n) random bits. All our algorithms produce correct output upon termination with probabilities that are 1-n-Ω(1), which is best possible when terminating almost surely and using O(n log n) random bits.

Original languageEnglish (US)
Title of host publication21st International Conference on Principles of Distributed Systems, OPODIS 2017
EditorsJames Aspnes, Joao Leitao, Alysson Bessani, Pascal Felber
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770613
DOIs
StatePublished - Mar 1 2018
Externally publishedYes
Event21st International Conference on Principles of Distributed Systems, OPODIS 2017 - Lisboa, Portugal
Duration: Dec 18 2017Dec 20 2017

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume95
ISSN (Print)1868-8969

Conference

Conference21st International Conference on Principles of Distributed Systems, OPODIS 2017
Country/TerritoryPortugal
CityLisboa
Period12/18/1712/20/17

Keywords

  • Anonymous processors
  • Monte Carlo algorithms
  • Naming
  • Read-write registers
  • Shared memory
  • Synchrony

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Anonymous processors with synchronous shared memory: Monte Carlo algorithms'. Together they form a unique fingerprint.

Cite this