Bref descriptif du laboratoire
Le LIP6 est un laboratoire de recherche sous tutelle de l'Université Pierre
& Marie Curie, et du CNRS Avec 128 chercheurs permanents et 231 docto- rants, il est l'un des principaux laboratoires de recherche en informatique en France.
Le laboratoire couvre un large spectre d'activités regroupées au sein de cinq départements : Calcul Scientique ; DEcision, Systèmes Intelligents et Recherche opérationnelle ; Données et Apprentissage Articiel ; Réseaux et Systèmes Répartis ; Systèmes Embarqués sur Puce En complément de la re- cherche académique, le LIP6 a une longue tradition de coopération avec des partenaires industriels dans de très nombreux projets nationaux, européens ou internationaux Deux centres R&D ont été créés : le CERME, Centre Eu- ropéen de Recherche en Micro-Electronique sur les systèmes embarqués, et Euronetlab, sur l'internet et les réseaux de télécommunication Le LIP6 est également impliqué dans les pôles de compétitivité de l'Ile-de-France : Cap Digital sur le contenu numérique et System@tic sur les systèmes embarqués.
Il a également des équipes communes avec l'INRIA sur les thématiques du calcul formel et des systèmes répartis La coopération internationale est une constante pour les activités du laboratoire Le LIP6 est membre de plusieurs réseaux d'excellence et développe également des relations suivies avec des universités au Brésil, aux États-Unis, au Japon, et dans de nombreux pays européens Le laboratoire est largement ouvert aux projets de coopération et à l'accueil de visiteurs scientiques Le laboratoire est impliqué dans des enseignements liés à la recherche, qui sont dispensés au Master "Sciences et technologie" à l'Université Pierre et Marie Curie L'EDITE de Paris (EcoleDoctorale d'Informatique, Télécommunication et Electronique de Paris) ac- cueille ses doctorants.
REGAL (Répartition et Gestion des Applications à Large échelle) est une équipe commune avec l'INRIA Rocquencourt L'objectif de l'équipe est la gestion de ressources dans le cadre très dynamique de grands réseaux RE- GAL s'intéresse aux techniques de déploiement d'applications (code et don- nées) adaptées aux environnements extrêmement distribués de grande taille (nombre de processeurs, distances), fortement dynamiques, hétérogènes, sans possibilité simple de gestion centralisée et/ou instantanée de la connaissance mutuelle L'approche de REGAL repose sur des techniques de réplication et d'adaptation dynamique dans lesquelles un code applicatif et ses don- nées sont dupliqués sur plusieurs sites ce qui permet de tolérer les fautes,d'augmenter la disponibilité et réduire les temps d'accès du service rendu par l'application Cet ộquipe ộtudie la faỗon dont les systốmes peuvent ga- rantir une qualité de service en termes de abilité, disponibilité et cohérence.
Problématique et objectifs du rapport
Il existe de nombreux algorithmes pour assurer la cohérence des réplicats des données partagées dans un système réparti Il a besoin d'une solution pour que tous les instances partagées aient les mêmes décisions ou bien les mêmes décisions en même ordre.
L'objectif de ce stage est d'étudier ces algorithmes du problème d'ac- cord Ce sont le consensus et la diusion atomique En suite on observe le code source libre Appia qui a déjà implémenté ces algorithmes en langageJAVA On va déployer l'Appia sur le cluster du LIP6 En n, on mesure la performance de l'algorithme de la diusion atomique : nombre de messages,nombre des rounds, temps d'exécution.
Annonce de plan
Ce rapport se compose 4 sections principales La section 1 introduit de l'objetif du stage et un bref descriptif du laboratoire LIP6 La section 2 rap- pelle les notations très connues dans un système reparti La section 3 présente les problèmes d'accord Dans cette part, on concentre au consensus et à la diusion atomique Ces problèmes d'accord sont observés sur l'environne- ment d'un système asynchrone avec le détecteur parfait des défaillances La section 4 montre mon travaux Je vais déployer l'implémentation des algo- rithmes du consensus et de la diusion atomique sur un cluster En suite je mesure la performance de ce système : le nombre de messages échangés, le nombre de rounds, le temps d'exécution Les sections suivantes sont les conclusions, les perspectives et les bibliographies.
Système réparti
Horloge logique
L'horloge logique est dénie comme l'assignation un nombre du temps ó l'événement s'est produit De manière plus précise, une horloge C i lié à un processus P i est une fonction qui assigne un nombre C i (a) à n'importe quel événement adans ce processus.
Dans cette fonction, l'événement a s'exécuté avant l'événement b siC(a)