ARANTES Luciana

doctorant à Sorbonne Université - SRC
https://lip6.fr/Luciana.Arantes

Direction de recherche : Bertil FOLLIOT

Co-encadrement : SENS Pierre

Réalisation de mémoire partagée réparti dans les multi-réseaux

Les mémoires partagées réparties (MPR) fournissent l'abstraction d'une mémoire partagée pour des systèmes ayant des mémoires physiquement réparties. La plupart des MPRs ont été implantées sur des réseaux de stations. Nous proposons une MPR étendue pour un ensemble de grappes de stations interconnectées. Cependant, les plates-formes multi-grappes ont des caractéristiques physiques qui peuvent limiter fortement les performances des applications. Le coût des communications entre des machines de grappes différents peut être beaucoup plus élevé que celui entre des machines d'une même grappe. Par conséquent, une MPR sur une telle plate-forme doit réduire le coût des communications inter-grappe. Dans cette thèse, nous présentons d'une part une MPR pour des plates-formes multi-grappes, et d'autre part une horloge logique indépendante du nombre de sites servant de support au protocole de cohérence. Notre MPR utilise le modèle de cohérence relâchée paresseuse (LRC: Lazy Release Consistency). Nos concepts ont été mis en ?oeuvre en étendant la MPR TreadMarks. Dans la première partie, nous introduisons les horloges barrière-verrous, qui sont adaptées au comportement des protocoles de maintien de la cohérence relâchée. Dans l'implantation du protocole LRC, les horloges vectorielles permettent de contrôler la causalité des modifications des variables partagées. La propagation de ces modifications a lieu lors des opérations sur les verrous et les barrières. Notre horloge tire parti de cette propriété. Sa taille n'est plus dépendante du nombre de sites mais du nombre de variables de synchronisation. Les estampilles des horloges barrière-verrous incluent des informations sur les opérations de synchronisations. L'indépendance par rapport au nombre de sites et les propriétés sémantiques de l'horloge en font un support performant pour notre solution. Notre MPR, la CLRC, exploite la localité des accès aux variables partagées au sein d'une même grappe ainsi que les informations de contrôle du protocole LRC pour réduire le coût des échanges entre les grappes. Dans la seconde partie, nous décrivons une extension du protocole LRC pour l'interconnexion de grappes de stations. Pour cela, nous introduisons une gestion de cache au niveau de chaque grappe et nous adaptons les mécanismes de synchronisation à l'architecture multi-grappes.

Soutenance : 21/12/2000

Membres du jury :

Bertil FOLLIOT Directeur
Serge HADDAD Rapporteur
Thierry PRIOL Rapporteur
Guy BERNARD Examinateur
Eric GRESSIER-SOUDAN Examinateur
Friedemann MATTERN Examinateur
Pierre SENS Examinateur
Willy ZWAENPOEL Examinateur

→ Maitresse de Conférences

Neuf docteurs (2008 - 2023) à Sorbonne Université

Publications 1998-2024