Transactional-Turn Causal Consistency - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Transactional-Turn Causal Consistency

Résumé

Function-as-a-Service (FaaS, serverless) computing systems use an actor-like model that executes a function asynchronously, atomically and in an isolated context. However, a function must often also access state, e.g., memory or a database. This mixed model can break the actor guarantees, leading to bugs, crashes and data loss. To avoid this, we define Transactional-Turn Causal Consistency (TTCC). TTCC unifies the Turn of the actor model with the Transaction of the database model, under asynchronous, atomic and isolated execution, and guarantees mutual consistency of messages and memory. We define the model formally and present a reference implementation, along with preliminary experimental evaluation.
Fichier principal
Vignette du fichier
Transactional-Turn Causal Consistency Euro-Par2023_35 Martin-Prosperi-Shapiro.pdf (564.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04117344 , version 1 (09-06-2023)

Licence

Identifiants

  • HAL Id : hal-04117344 , version 1

Citer

Benoît Martin, Laurent Prosperi, Marc Shapiro. Transactional-Turn Causal Consistency. EURO-PAR 2023 - 29th International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus. ⟨hal-04117344⟩
77 Consultations
56 Téléchargements

Partager

More