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

Abstract : 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.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02445121
Contributor : Damien Imbs <>
Submitted on : Wednesday, February 19, 2020 - 4:43:22 PM
Last modification on : Tuesday, February 25, 2020 - 8:08:14 AM

File

SIROCCO-2019.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

69

Files downloads

5