Techniques de réplication de données pour les systèmes répartis à grande échelle

par Philippe Quéinnec

Thèse de doctorat en Informatique

Sous la direction de Gérard Padiou.

Soutenue en 1994

à Toulouse, INPT .


  • Résumé

    A l'heure actuelle, on voit apparaitre de nouveaux types de systemes informatiques possedant des contraintes de disponibilite et de tolerance aux fautes toujours plus strictes, certains systemes critiques (controle aerien, controle de centrale nucleaire) exigeant moins de quelques secondes d'indisponibilite par an. Par ailleurs, la taille des systemes d'information ne cesse de s'accroitre, notamment avec l'interconnexion par reseaux a grande distance. Les systemes distribues possedent a priori des proprietes favorables a la construction de systemes fortement disponibles, dans la mesure ou ils permettent par exemple la replication des donnees ou des traitements, mais leur utilisation souleve de nouveaux problemes, comme l'accroissement du taux de fautes ou la complexite de la gestion de copies multiples. Dans ce cadre-la, nous avons etudie la construction d'un systeme fortement disponible base sur l'utilisation de la replication a grande echelle. L'utilisation de reseaux a grande distance et d'un nombre eleve de copies impose de nouvelles formes de diffusion. Nous avons donc etudie deux formes de diffusion adaptees a un tel environnement: d'une part, la diffusion par algorithmes probabilistes, qui permet d'obtenir une diffusion rapide mais partielle; d'autre part, un systeme hierarchique de diffusion base sur les vagues, fournissant differents degres de coherence, et permettant notamment la gestion de copies en coherence faible au travers de reseaux a grande distance. En depit d'etudes deja anciennes, les preuves de surete ou de vivacite d'algorithmes distribues restent toujours aussi delicates. Pour cela, nous avons utilise le formalisme unity et nous avons etudie comment extraire d'un algorithme distribue ses proprietes de fiabilite. Enfin, nous avons realise un service de memoire virtuelle repliquee en coherence faible, ce qui nous a permis d'etudier les algorithmes de diffusion developpes

  • Titre traduit

    Data replication technics for highly available systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 155 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 131-139. Index

Où se trouve cette thèse\u00a0?

  • Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 94INPT040H/1
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.