AMECOS：一种用于并发对象规约的模块化事件驱动框架
分布式、并行与集群计算
2024-11-21 v2
摘要
在这项工作中，我们引入了一个用于规约分布式系统的模块化框架，称为 AMECOS。具体来说，我们的框架摒弃了传统的顺序规约用法，正如 Castañeda、Rajsbaum 和 Raynal 在 CACM 2023 中指出的那样，顺序规约在规约表达力和实现效率上对本质并发的对象存在局限性。我们的框架聚焦于各系统组件之间的交互，这些组件被规约为并发对象。交互通过对象事件序列来描述。这提供了一种规约分布式系统的模块化方式，并将合法性（对象语义）与一致性问题等其他问题分离开来。我们通过以下方式展示了框架的可用性：(i) 规约了各种众所周知的并发对象，如寄存器、共享内存、消息传递、可靠广播和共识；(ii) 提供了排序语义的层次结构（即一致性层次结构、内存层次结构和可靠广播层次结构）；以及 (iii) 提出了一个新颖的公理化证明，证明了众所周知的共识问题的不可能性。
引用
@article{arxiv.2405.10057,
title = {AMECOS: A Modular Event-based Framework for Concurrent Object Specification},
author = {Timothé Albouy and Antonio Fernández Anta and Chryssis Georgiou and Mathieu Gestin and Nicolas Nicolaou and Junlang Wang},
journal= {arXiv preprint arXiv:2405.10057},
year = {2024}
}