Brief Announcement: On the Impossibility of Detecting Concurrency - École polytechnique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Brief Announcement: On the Impossibility of Detecting Concurrency

Jérémy Ledent
  • Fonction : Auteur
  • PersonId : 1048832

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)

Dates et versions

hal-04470455 , version 1 (21-02-2024)

Identifiants

Citer

Éric Goubault, Jérémy Ledent, Samuel Mimram. Brief Announcement: On the Impossibility of Detecting Concurrency. DISC, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.50⟩. ⟨hal-04470455⟩
5 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More