On the Impossibility of Detecting Concurrency - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

On the Impossibility of Detecting Concurrency


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
74 View
24 Download



Gmail Facebook Twitter LinkedIn More