Goubault, Éric
[Verfasser:in];
Ledent, Jérémy
[Verfasser:in];
Mimram, Samuel
[Verfasser:in]
;
Éric Goubault and Jérémy Ledent and Samuel Mimram
[Mitwirkende:r]
Brief Announcement: On the Impossibility of Detecting Concurrency
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
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.