Stage #6: Conception et preuves d’algorithmes distribués pour les systèmes de gestion de données autonomes

Contributeur

Louann Coste (stagiaire PLR ENS de Lyon)

Encadrement: Élise Jeanneau

Dates

Du 10 mars au 11 juillet 2025

Site

Laboratoire de l’Informatique du Parallélisme (LIP), ENS Lyon

Synopsis

Le PLR consistera à proposer un algorithme capable de résoudre le problème du consensus (ou une approximation de consensus, comme dans l’algorithme de Paxos [4]) dans un système SkyData, en s’appuyant sur les spécificités du modèle SkyData. Il s’agira ensuite de prouver formellement la validité de l’algorithme proposé dans notre modèle. Si le temps le permet, on complémentera cette validation théorique par une validation expérimentale à l’aide du prototype de système SkyData déjà développé dans l’équipe.

Dans un contexte d’agents autonomes, un algorithme de consensus s’appuie nécessairement sur les propriétés fournies par les algorithmes de migration et de réplication, qui régissent la connectivité entre les agents. Pour accomplir les objectifs du PLR, il sera donc nécessaire dans un premier temps de proposer des versions déterministes (fournissant des garanties plus fortes, mais moins de performances) des algorithmes de migration et de réplication.