Asynchronous Message Orderings Beyond Causality - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Asynchronous Message Orderings Beyond Causality

Résumé

In the asynchronous setting, distributed behavior is traditionally studied through computations, the Happened-Before posets of events generated by the system. An equivalent perspective considers the linear extensions of the generated computations: each linear extension defines a sequence of events, called an execution. Both perspective were leveraged in the study of asynchronous point-to-point message orderings over computations; yet neither allows us to interpret message orderings defined over executions. Can we nevertheless make sense of such an ordering, maybe even use it to understand asynchronicity better? We provide a general answer by defining a topology on the set of executions which captures the fundamental assumptions of asynchronicity. This topology links each message ordering over executions with two sets of computations: its closure, the computations for which at least one linear extension satisfies the predicate; and its interior, the computations for which all linear extensions satisfy it. These sets of computations represent respectively the uncertainty brought by asynchronicity – the computations where the predicate is satisfiable – and the certainty available despite asynchronicity – the computations where the predicate must hold. The paper demonstrates the use of this topological approach by examining closures and interiors of interestingorderings over executions.
Fichier principal
Vignette du fichier
shimi_22157.pdf (588.71 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02617506 , version 1 (25-05-2020)

Identifiants

  • HAL Id : hal-02617506 , version 1

Citer

Adam Shimi, Aurélie Hurault, Philippe Quéinnec. Asynchronous Message Orderings Beyond Causality. The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20. ⟨hal-02617506⟩
46 Consultations
43 Téléchargements

Partager

More