On the Impossibility of Detecting Concurrency - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2018

On the Impossibility of Detecting Concurrency

Résumé

We identify a general principle of distributed computing: one cannot force two processes running in parallel to see each other. This principle is formally stated in the context of asynchronous processes communicating through shared objects, using trace-based semantics. We prove that it holds in a reasonable computational model, and then study the class of concurrent specifications which satisfy this property. This allows us to derive a Galois connection theorem for different variants of linearizability.
Fichier principal
Vignette du fichier
LIPIcs-DISC-2018-50.pdf (282.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02155495 , version 1 (13-06-2019)

Identifiants

Citer

Eric Goubault, Jérémy Ledent, Samuel Mimram. On the Impossibility of Detecting Concurrency. 32nd International Symposium on Distributed Computing (DISC 2018), 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩. ⟨hal-02155495⟩
102 Consultations
36 Téléchargements

Altmetric

Partager

More