Direction de recherche : Mesaac MAKPANGOU

Co-encadrement : SHAPIRO Marc

Cohérence Causal Transactionnel par Tour

Les applications serverless sont construites à l'aide de frameworks asynchrones basés sur des messages qui permettent aux utilisateurs de composer de manière abstraite des fonctions dans le cloud. Ces fonctions serverless stockent leurs états dans une base de données distribuée.
Ce scénario architectural courant est fragile, car les garanties de cohérence des données pour la composition des messages et de la couche de base de données ne sont pas bien définies. Cela peut entraîner des incohérences, des pannes et des pertes de données. Les approches existantes sont ad hoc et ne garantissent pas la cohérence.
En nous basant sur un modèle bien connu basé sur les messages (acteurs) et un modèle à état (mémoire partagée transactionnelle), nous proposons un modèle de communication unifié, appelé Transactional Turn Causal Consistency (TTCC). TTCC est asynchrone et préserve l'isolation en interne et garantit que les messages et la vue de la mémoire sont mutuellement cohérents.

Publications 2020-2023

• 2023
  • B. Martin : “TTCC: Transaction Turn Causal Consistency”, soutenance de thèse, soutenance 21/04/2023, direction de recherche Makpangou, Mesaac, co-encadrement : Shapiro, Marc (2023)
  • B. Martin, L. Prosperi, M. Shapiro : “Transactional-Turn Causal Consistency”, Lecture Notes in Computer Science (LNCS), Limassol, Cyprus, (Springer) (2023)
• 2022
  • B. Martin, M. Shapiro : “Shared memory for the actor model”, COMPAS 2022 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Amiens, France (2022)
• 2020
  • B. Martin, L. Prosperi, M. Shapiro : “An environment for composable distributed computing”, EuroDW 2020 - 14^th EuroSys Doctoral Workshop, Heraklion / Virtual, Greece (2020)