NAIR Sreeja

doctorant à Sorbonne Université
Équipe : DELYS
https://lip6.fr/Sreeja.Nair

Direction de recherche : Marc SHAPIRO

Concevoir des applications distribuées sûres et hautement disponibles

La conception d'applications distribuées implique fondamentalement un compromis entre la sûreté et les performances. Nous nous concentrons sur les cas où la sûreté est la principale exigence.
Dans le cadre des systèmes distribués basés sur l'état, nous proposons une méthodologie de preuve pour établir qu'une application donnée maintient un invariant donné. Notre approche permet de raisonner sur les opérations individuelles séparément. Nous démontrons que nos règles sont correctes et, à l'aide d'un moteur de preuve, nous illustrons leur utilisation par quelques exemples représentatifs.
Pour les opérations conflictuelles, le développeur peut choisir entre la résolution de conflit ou la coordination. Nous présentons une nouvelle structure de données en forme d'arbre répliqué qui prend en charge les déplacements atomiques concurrents sans coordination et qui maintient l'invariant de l'arbre. Notre analyse identifie les cas où les déplacements concurrents sont intrinsèquement sûrs. Pour les autres cas, nous concevons un algorithme de résolution des conflits. La contrepartie est que dans certains cas, une opération de déplacement est "perdante".
Étant donné la coordination requise par certaines applications pour la sûreté, elle peut être implémentée de nombreuses façons différentes. Même en se limitant aux verrous, ceux-ci peuvent utiliser diverses configurations qui diffèrent par: la granularité, le type et le placement. La performance de chaque configuration dépend de la charge de travail. Nous étudions le "treillis de coordination", l'espace de conception des configurations de verrouillage, et définissons un ensemble de mesures pour y naviguer systématiquement.

Soutenance : 01/07/2021

Membres du jury :

M Carlos Baquero, Associate professor, Universidade do Minho [Rapporteur]
M Éric Gressier-Soudan, Professeur, Conservatoire National des Arts et Métiers [Rapporteur]
Mme Béatrice Bérard, Professeur, Sorbonne Université
Mme Carla Ferreira, Associate professor, Universidade Nova de Lisboa
M Bradley King, Co-founder & Field CTO, Scality
M Martin Kleppmann, Senior Research Associate and Affiliated Lecturer, University of Cambridge
M Gustavo Petri, Researcher, Arm Cambridge
M Marc Shapiro, Distinguished Research Scholar (Emeritus) Sorbonne Université-Inria

Date de départ : 31/08/2021

Publications 2017-2021