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 1 Initiation à l ? algorithmique répartie Denis Conan Rev 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 Liste des

Initiation à l ? algorithmique répartie Denis Conan Rev 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 Liste des QCM 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 Ordre causal Lamport Algorithme de calcul des dépendances causales de Lamport Algorithme de calcul des dépendances causales de Fidge 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 Di ?usion causale à base de vecteur d ? horloge vectorielle 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 Algorithme générique 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 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 Exercice Détection d ? interblocage Algorithme centralisé de construction de coupure cohérente Exercice Détection de terminaison Modèle OU d ? 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 Liste des QCM Éléments introductifs Élection Di ?usion Exclusion mutuelle Interblocage Terminaison 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 Textes de Quatrième de Couverture qui sont ? Fin ? Une copie de la présente Licence peut être