De gauche à droite :  M. REZGUI SAMI et  M. LEMLOUMA TAYEB.

 

 Une photo prise le dimanche 27 juin 1999 à l'Institut d'Informatique Université des Sciences et de la Technologie Houari Boumediene ( U.S.T.H.B ) Bab-Ezzouar Alger Algérie.

"La soutenance de mon  mémoire restera dans ma mémoire"  

Et voilà un petit résumé de ce projet :

     Dans un système informatique réparti, une application donnée peut être amenée à manipuler des informations localisées sur des sites distincts. La mise en cohérence de ces informations est un problème complexe qui était le sujet de plusieurs travaux de recherche.

  La tolérance aux défaillances pour conserver la cohérence des bases de données, est parmi les problèmes survenus à cause de l’aspect distribué des systèmes informatiques répartis. Tolérer les pannes lors de la validation atomique d’une transaction revient à prendre une décision consistante même en présence de sites défaillants.

     L’opération de validation d’une transaction T, concerne tous les sites participants dans le traitement, et par conséquent le gestionnaire de données du site initiateur de T, doit passer l’opération de validation à tous les sites où se trouve une donnée accédée par T. Ce qui est vrai pour l’opération de validation reste vrai pour l’opération d’annulation. Donc, le traitement d’une seule action logique (Valider ou Annuler ) doit avoir lieu dans plusieurs sites dans le système de gestion de base de données distribuées, c’est cela qui diffère essentiellement ; le traitement distribué d’un traitement centralisé dans les systèmes transactionnels.

   Le problème est plus compliqué par rapport à ce qu’il peut apparaître à première vue. L’envoi de l’opération Valider –par le gestionnaire des transactions distribué- à tous les sites est insuffisant, car une transaction n’est pas validée par l’action d’envoi, (du gestionnaire de transactions) mais plutôt par l’action d’exécution de la validation (par le gestionnaire de données). Il est possible que le gestionnaire de données envoie un "Valider" au scheduler mais ce dernier le rejette et par conséquent annule la transaction. Dans ce cas, si la base de données est distribuée, la transaction doit être annulée sur tous les sites qui contiennent des données utilisées durant sa vie d’exécution. Un gestionnaire de données locale, exécute la décision finale (Valider ou bien Annuler), qui est prise par le site participant à la fin de l’exécution d’un algorithme appelé protocole de validation atomique.

   Un protocole de validation atomique est un ensemble d’algorithmes qui permet aux participants de valider (ou bien d’annuler) d’un accord commun, une transaction distribuée.

     Dans le mémoire, nous avons étudié deux types de protocoles qui résolvent le problème de la validation dans les systèmes répartis : le protocole de validation en deux phases, et un protocole de validation basé sur le consensus. Le premier protocole étudié est le protocole le plus connu et plus utilisé (exemple : le système CA-OpenIngres l’utilise dans la validation distribuée[ZER 96]). Le protocole permet d’effectuer la validation en deux étapes : une étape de vote et une autre de décision. L’inconvénient majeur d’un tel protocole est qu’il peut mener à un état de blocage total du système si seulement un site tombe en panne. Cela a encouragé la recherche dans le domaine des algorithmes tolérants aux pannes.

    Parmi les paradigmes permettant de simplifier la construction des applications tolérantes aux défaillances dans les systèmes répartis, le problème du consensus est sans doute l’un des plus intéressants, dans la mesure où il permet d’abstraire plusieurs problèmes d’accord. Toute solution au problème de consensus peut servir comme une brique de base pour résoudre les problèmes d’accord [BAD 98]. Le chapitre 2 du mémoire a été consacré à l’étude de la validation atomique en se basant sur l’utilisation du consensus.

     La solution du problème de consensus, utilisée dans la validation est celle introduite par Chandra et Toueg en utilisant la classe de détecteur de défaillances àS [CHA 96a].

  L’utilisation du consensus nous a permis de comprendre comment un tel paradigme permet de résoudre le problème de validation atomique non-bloquante. En effet, le protocole obtenu n’est pas bloquant, malgré la présence de pannes dans le réseau, le protocole fonctionne et les sites opérationnels finissent leurs exécutions par la prise d’une décision de consensus qui est soit une validation ou une annulation de la transaction distribuée.

     L’étude des deux protocoles de validation introduits dans le mémoire, nous a permis de mieux connaître  les aléas de la programmation système dans un environnement réparti et de bien maîtriser le fonctionnement des algorithmes distribués. Cette étude nous a permis aussi d’approfondir nos connaissances dans le domaine de l’exploitation du problème de consensus, et plus spécifiquement son utilisation dans les applications tolérantes aux défaillances qui reste encore un sujet de recherche.                       

  Comme perspectives à notre travail, nous avons proposé une étude comparative entre le 2PC et les protocoles basés sur le consensus en utilisant les classes à S et S, par une étude expérimentale sur un réseau réel (à un grand nombre de sites) et l’évaluation des performances en se basant sur l’étude que nous avons réalisé, pour valider les résultats auxquels nous avons abouti.

    Enfin, nous pouvons dire que " la recherche dans le domaine de la validation atomique dans les systèmes répartis et l’exploitation du paradigme de consensus " reste un domaine largement ouvert.

Remarque : le logiciel du projet a été fait par le langage C sous le système UNIX.

De gauche à droite : ( M. REZGUI SAMI, M. LEMLOUMA TAYEB, M. HAMADI ALI, ainsi qu'un 4ème collègue). une photo inoubliable !!

 

 Une photo prise le dimanche 27 juin 1999 à l'Institut d'Informatique Université des Sciences et de la Technologie Houari Boumediene ( U.S.T.H.B ) Bab-Ezzouar Alger Algérie.

N.B : Pour plus amples informations sur ce projet, ou sur son sujet, veuillez me contacter sur:

rezguisami@yahoo.fr

Appuyez ici pour plus de photos.

Retour à la page principale.