Fiche de MARTIN Benoit

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Employeur: Sorbonne Université


Date de debut de thèse: 1 novembre 2019
Date soutenance de thèse: 21 avril 2023
Directeur de thèse: Mesaac MAKPANGOU (LIP6)
Directeur de thèse: Marc SHAPIRO (LIP6)
Sujet de thèse: A distributed runtime for composable distributed computing Thématique : Systèmes et réseaux



Soutenance de thèse

Données générales

Titre : TTCC: Transactional Turn Causal Consistency
Date : 21 avril 2023
Heure: 14:00
Résumé : 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. Les fonctions serverless stockent leurs état 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 se 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.
Lieu : 4 Place Jussieu, 75005, Paris étage 1 - 25-26/105-Grande Salle

Rapporteurs/ Rapporteuses

Personne Qualité Etablissement
M. Thomas Gaël Professeur des universités Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
M. Mostefaoui Achour Professeur des universités Laboratoire des Sciences du Numérique de Nantes, Univ. Nantes

Composition du jury

Personne Qualité Etablissement
M. Shapiro Marc Directeur de recherche (HDR) LIP6, Sorbonne Université
M. Makpangou Mesaac Chargé de recherche (HDR) LIP6, Sorbonne Université, INRIA
Mme. Bieniusa Annette Professeure des universités Technische Universität Kaiserslautern (TUK) (Allemagne)
Mme. Ferreira Carla Maîtresse de Conférences University of Lisbon (Portugal)
M. Van roy Peter Professeur des universités Department of Computer Science, UCLouvain (Belgique)
M. Thomas Gaël Professeur des universités Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
M. Mostefaoui Achour Professeur des universités Laboratoire des Sciences du Numérique de Nantes, Univ. Nantes
M. Amann Bernd Professeur des universités LIP6, Sorbonne Université