Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms

03/06/2022
by   Damien Imbs, et al.
0

This article addresses election in fully anonymous systems made up of n asynchronous processes that communicate through atomic read-write registers or atomic read-modify-write registers. Given an integer d∈{1,…, n-1}, two elections problems are considered: d-election (at least one and at most d processes are elected) and exact d-election (exactly d processes are elected). Full anonymity means that both the processes and the shared registers are anonymous. Memory anonymity means that the processes may disagree on the names of the shared registers. That is, the same register name A can denote different registers for different processes, and the register name A used by a process and the register name B used by another process can address the same shared register.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/08/2018

Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion

The notion of an anonymous shared memory (recently introduced in PODC 20...
research
08/10/2020

Fully Read/Write Fence-Free Work-Stealing with Multiplicity

Work-stealing is a popular technique to implement dynamic load balancing...
research
09/30/2020

t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems

An immediate snapshot object is a high level communication object, built...
research
03/28/2019

Mutex-based Desanonymization of an Anonymous Read/Write Memory

Anonymous shared memory is a memory in which processes use different nam...
research
09/17/2021

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent

We show the equivalence of two distributed computing models, namely reco...
research
08/17/2021

Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version)

We show the equivalence of two distributed computing models, namely reco...
research
05/10/2022

Reaching Agreement Among k out of n Processes

In agreement problems, each process has an input value and must choose t...

Please sign up or login with your details

Forgot password? Click here to reset