SAEIDA ARDEKANI Masoud

doctorant à Sorbonne Université
Équipe : REGAL
http://www.masoud.io
http://www.masoud.io

Direction de recherche : Marc SHAPIRO

Co-encadrement : SUTRA Pierre

Le maintien de la cohérence dans les systèmes de stockage partiellement repliqués

Dans une première partie, nous étudions la cohérence dans les systèmes transactionnels, en nous concentrant sur le problème de réconcilier la scalabilité avec des garanties transactionnelles fortes. Nous identifions quatre propriétés critiques pour la scalabilité. Nous montrons qu’aucun des critères de cohérence forte existants n’assurent l’ensemble de ces propriétés. Nous définissons un nouveau critère, appelé Non-Monotonic Snapshot Isolation ou NMSI, qui est le premier à être compatible avec les quatre propriétés à la fois. Nous présentons aussi une mise en œuvre de NMSI, appelée Jessy, que nous comparons expérimentalement à plusieurs critères connus. Une autre contribution est un canevas permettant de comparer de façon non biaisée différents protocoles. Elle se base sur la constatation qu’une large classe de protocoles transactionnels distribués est basée sur une même structure, Deferred Update Replication(DUR). Les protocoles de cette classe ne diffèrent que par les comportements spécifiques d’un petit nombre de fonctions génériques. Nous présentons donc un canevas générique pour les protocoles DUR. La seconde partie de la thèse a pour sujet la cohérence dans les systèmes de stockage non transactionnels. C’est ainsi que nous décrivons Tuba, un stockage clef-valeur qui choisit dynamiquement ses répliques selon un objectif de niveau de cohérence fixé par l’application. Ce système reconfigure automatiquement son ensemble de répliques, tout en respectant les objectifs de cohérence fixés par l’application, afin de s’adapter aux changements dans la localisation des clients ou dans le débit des requête.

Soutenance : 16/09/2014

Membres du jury :

M. Willy Zwaenepoel, EPFL (Rapporteur)
M. Roberto Baldoni, Sapienza University (Rapporteur)
Mme. Maria Poto-Buturacu, UMPC
M. Nuno Preguiça, Universidade Nova de Lisboa
M. Doug Terry, Microsoft Research
M. Marc Shapiro, Inria & UPMC-LIP6
M. Pierre Sutra ,Université de Neuchâtel

Date de départ : 16/09/2014

Publications 2011-2016