MARTIN Benoît

Docteur
Équipe : DELYS
Date de départ : 30/04/2023
https://lip6.fr/Benoit.Martin

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.

Soutenance : 21/04/2023

Membres du jury :

Achour Mostefaoui, Professeur, Université de Nantes [Rapporteur]
Gaël Thomas, Professeur, Telecom SudParis [Rapporteur]
Bernd Amann, Professeur, Sorbonne Université, LIP6
Annette Bieniusa, Professeure, Université Technique de Kaiserslautern
Carla Ferreira, Maîtresse de Conférences, Université NOVA de Lisbon
Peter Van Roy, Professeur, Université Catholique de Louvain
Marc Shapiro, Directeur de Recherche Emérite, SU, LIP6, Inria
Mesaac Makpangou, Directeur de Recherche, SU, LIP6, Inria

Date de départ : 30/04/2023

Publications 2020-2023

Toutes Conférences Thèse

2023
- B. Martin : “TTCC: Transaction Turn Causal Consistency”, 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)