AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915026883837952 |
|---|---|
| author | Albouy, Timothé Anta, Antonio Fernández Georgiou, Chryssis Gestin, Mathieu Nicolaou, Nicolas Wang, Junlang |
| author_facet | Albouy, Timothé Anta, Antonio Fernández Georgiou, Chryssis Gestin, Mathieu Nicolaou, Nicolas Wang, Junlang |
| contents | In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential specification, which presents limitations both on the specification expressiveness and implementation efficiency of inherently concurrent objects, as documented by Castañeda, Rajsbaum and Raynal in CACM 2023. Our framework focuses on the interactions between the various system components, specified as concurrent objects. Interactions are described with sequences of object events. This provides a modular way of specifying distributed systems and separates legality (object semantics) from other issues, such as consistency. We demonstrate the usability of our framework by (i) specifying various well-known concurrent objects, such as registers, shared memory, message-passing, reliable broadcast, and consensus, (ii) providing hierarchies of ordering semantics (namely, consistency hierarchy, memory hierarchy, and reliable broadcast hierarchy), and (iii) presenting a novel axiomatic proof of the impossibility of the well-known Consensus problem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_10057 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | AMECOS: A Modular Event-based Framework for Concurrent Object Specification Albouy, Timothé Anta, Antonio Fernández Georgiou, Chryssis Gestin, Mathieu Nicolaou, Nicolas Wang, Junlang Distributed, Parallel, and Cluster Computing In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential specification, which presents limitations both on the specification expressiveness and implementation efficiency of inherently concurrent objects, as documented by Castañeda, Rajsbaum and Raynal in CACM 2023. Our framework focuses on the interactions between the various system components, specified as concurrent objects. Interactions are described with sequences of object events. This provides a modular way of specifying distributed systems and separates legality (object semantics) from other issues, such as consistency. We demonstrate the usability of our framework by (i) specifying various well-known concurrent objects, such as registers, shared memory, message-passing, reliable broadcast, and consensus, (ii) providing hierarchies of ordering semantics (namely, consistency hierarchy, memory hierarchy, and reliable broadcast hierarchy), and (iii) presenting a novel axiomatic proof of the impossibility of the well-known Consensus problem. |
| title | AMECOS: A Modular Event-based Framework for Concurrent Object Specification |
| topic | Distributed, Parallel, and Cluster Computing |
| url | https://arxiv.org/abs/2405.10057 |