Date : 1994
Editeur / Publisher : [S.l] : [s.n] , 1994
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Systèmes informatiques -- Mesures de sûreté
Codes correcteurs d'erreurs (théorie de l'information)
Résumé / Abstract : 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