Thèse Cohérence des Données Causalité et Communication Hybride dans les Pipelines Serverless Élastiques H/F

Doctorat.Gouv.Fr

Cette thèse de doctorat vise à concevoir et implémenter un framework garantissant la cohérence des données, la causalité et la communication hybride au sein de pipelines serverless élastiques. Pour ce faire, le projet aborde trois verrous scientifiques interconnectés :
1. La cohérence multi-canal (cross-channel consistency) : maintenir des garanties causales globales lorsque le stockage et les messages directs sont utilisés simultanément, afin d'éviter les violations dues à des pertes de messages ou à la réplication asynchrone.
2. Le routage des données sous élasticité dynamique : gérer dynamiquement le routage et le re-partitionnement de l'espace des clés pour les opérations à état, sans perte, duplication ni violation de causalité.
3. L'orchestration serverless orientée état : gérer la migration progressive d'état et optimiser le placement (colocalisation) des instances sans dépendre d'une passerelle centrale perdant la visibilité sur les flux directs entre fonctions.

La méthodologie proposée comprend :
- La formalisation théorique du modèle de cohérence hybride couvrant à la fois la messagerie directe et le stockage partagé sous un déploiement dynamique.
- La définition de protocoles de métadonnées causales légères, de stratégies de routage déterministes et de protocoles de transfert d'état progressif.
- L'implémentation de ces protocoles dans une plateforme serverless open-source existante et leur évaluation expérimentale (correction, surcoût et passage à l'échelle) sur l'infrastructure nationale SLICES-FR. See document enclosed.