Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Poly initar etudiants Initiation à l ? algorithmique répartie Denis Conan Revision CSC Télécom SudParis Avril CInitiation à l ? algorithmique répartie Table des matières Initiation à l ? algorithmique répartie Denis Conan Télécom SudParis CSC Avril Licenc

Initiation à l ? algorithmique répartie Denis Conan Revision CSC Télécom SudParis Avril CInitiation à l ? algorithmique répartie Table des matières Initiation à l ? algorithmique répartie Denis Conan Télécom SudParis CSC Avril Licence Utilisation du cours Plan du document Éléments introductifs Modèle de système réparti Modèle de transitions Synchronisme Types de défaillances Conventions de codage des algorithmes répartis Relation arrivé avant ? aussi appelée précédence causale Lamport Algorithme de calcul des horloges scalaires de Lamport Algorithme de calcul des horloges vectorielles de Fidge Exercices Vague et traversée de graphe Algorithme de vague centralisé Écho de Segall Algorithme de vague décentralisé de Finn Exercices Élection Propriétés et vocabulaire Élection dans un anneau algorithme de Le Lann Élection avec l ? algorithme de vague Écho de Segall Exercice Di ?usion Spéci ?cation des di ?usions Di ?usion ?able Algorithme de di ?usion ?able Di ?usion FIFO Algorithme de di ?usion FIFO Di ?usion causale Algorithme de di ?usion causale construit à partir d ? un algorithme de di ?usion FIFO Algorithme de di ?usion causale à base d ? horloge vectorielle de Birman et Joseph Exercice Di ?usion atomique ou totale Relations entre les di ?usions Exercice Di ?usion atomique et consensus Résultat d ? impossibilité du consensus Algorithmes de di ?usion temporisée Propriété d ? uniformité Inconsistance et contamination Exclusion mutuelle Propriétés Algorithmes à base de permissions Structure informationnelle générique de Sanders Algorithme générique de Sanders Quelques algorithmes dérivés de l ? algorithme générique Télécom SudParis ?? Denis Conan ?? Avril ?? CSC CInitiation à l ? algorithmique répartie Algorithme à base de jeton de Ricart et Agrawala et de Suzuki et Kasami Exercice Interblocage Principaux modèles d ? interblocage Modèle d ? interblocage ET Modèle d ? interblocage OU ??ET Condition de déblocage Dé ?nition de l ? interblocage Trois stratégies contre l ? interblocage Prévention dans le modèle ET avec l ? algorithme de Rosenkrantz Stearns et Lewis Exercice Détection d ? interblocage Coupure cohérente Algorithme centralisé de construction de coupure cohérente de Chandy et Lamport Exercice Détection de terminaison Modèle OU de l ? interblocage Con ?gurations terminale et ?nale États actif et passif et algorithme de contrôle Algorithmes de détection de terminaison Détection par calcul du graphe d ? exécution Algorithme de Dijkstra et Scholten Exercice Détection par vagues dans un anneau Algorithme de Safra Exercice Bibliographie Index Fin Télécom SudParis ?? Denis Conan ?? Avril ?? CSC CInitiation à l ? algorithmique répartie ' Licence Ce document est une documentation libre placée sous la Licence de Documentation Libre GNU GNU Free Documentation License Copyright c - Denis Conan Permission est accordée de copier distribuer et ou modi ?er ce document selon les termes de la Licence de Documentation Libre GNU GNU Free Documentation License version ou toute version ultérieure publiée par la Free Software Foundation avec les Sections Invariables qui sont ? Licence ? avec les Textes de Première de Couverture qui sont ? Initiation à l ? algorithmique répartie ? et avec les