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
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é |