2024/05/24 by Julian Haas, Haas, Julian, Ragnar Mogk +5 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Data Mining Algorithms and Applications #Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #Semantic Web and Ontologies #and Cluster Computing (cs.DC)
paper · doi:10.48550/arxiv.2405.15578
openalex publication_date 2024/05/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Mixed-consistency programming models assist programmers in designing applications that provide high availability while still ensuring application-specific safety invariants. However, existing models often make specific system assumptions, such as building on a particular database system or having baked-in coordination strategies. This makes it difficult to apply these strategies in diverse settings, ranging from client/server to ad-hoc peer-to-peer networks. This work proposes a new strategy for building programmable coordination mechanisms based on the algebraic replicated data types (ARDTs) approach. ARDTs allow for simple and composable implementations of various protocols, while making minimal assumptions about the network environment. As a case study, two different locking protocols are presented, both implemented as ARDTs. In addition, we elaborate on our ongoing efforts to integrate the approach into the LoRe mixed-consistency programming language.