MARTIN Benoît

PhD graduated
Team : DELYS
Departure date : 04/30/2023
https://lip6.fr/Benoit.Martin

Supervision : Mesaac MAKPANGOU

Co-supervision : SHAPIRO Marc

TTCC: Transaction Turn Causal Consistency

Today, stateful serverless functions are chained together through a message-based infrastructure and store their durable state in a separate database. This separation between storage and compute creates serious challenges that may lead to inconsistency and application crashes.
A unified consistency model for message passing and shared memory is required to avoid such errors. The model should ensure that multiple pieces of data remain mutually consistent whether data is sent using messages or shared in a distributed memory.
Based on a well-known message-based model (actors) and a state model (transactional shared memory), we propose a unified communication and persistence model called Transactional Turn Causal consistency (TTCC). TTCC is asynchronous, preserve isolation, and ensures that the message and memory view are mutually causally consistent.

Defence : 04/21/2023

Jury members :

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

Departure date : 04/30/2023

2020-2023 Publications

All Conference papers Thesis

2023
- B. Martin : “TTCC: Transaction Turn Causal Consistency”, thesis, defence 04/21/2023, supervision Makpangou, Mesaac, co-supervision : 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)