Anonymous Read/Write Memory: Leader Election and De-anonymization - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Anonymous Read/Write Memory: Leader Election and De-anonymization

Résumé

Anonymity has mostly been studied in the context where processes have no identity. A new notion of anonymity was recently introduced at PODC 2017, namely, this notion considers that the processes have distinct identities but disagree on the names of the read/write registers that define the shared memory. As an example, a register named A by a process p and a shared register named B by another process q may correspond to the very same register X, while the same name C may correspond to different registers for p and q. Recently, a memory-anonymous deadlock-free mutual exclusion algorithm has been proposed by some of the authors. This article addresses two different problems , namely election and memory de-anonymization. Election consists of electing a single process as a leader that is known by every process. Considering the shared memory as an array of atomic read/write registers SM [1..m], memory de-anonymization consists in providing each process pi with a mapping function map i () such that, for any two processes pi and pj and any integer x ∈ [1..m], map i (x) and map j (x) allow them to address the same register. Let n be the number of processes and α a positive integer. The article presents election and de-anonymization algorithms for m = α n + β registers, where β is equal to 1, n − 1, or belongs to a set denoted M (n) (which characterizes the values for which mutual exclusion can be solved despite anonymity). The de-anonymization algorithms are based on the use of election algorithms. The article also shows that the size of the permanent control information that, due to de-anonymization, a register must save forever, can be reduced to a single bit.
Fichier principal
Vignette du fichier
SIROCCO-2019.pdf (202.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02445121 , version 1 (19-02-2020)

Identifiants

Citer

Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld. Anonymous Read/Write Memory: Leader Election and De-anonymization. SIROCCO'19 - 26th International Colloquium on Structural Information and Communication Complexity, Jul 2019, L'Aquila, Italy. pp.246-261, ⟨10.1007/978-3-030-24922-9_17⟩. ⟨hal-02445121⟩
104 Consultations
169 Téléchargements

Altmetric

Partager

More