#algorithmes #fr #distributedalgorithms #sorbonne
Algorithmique repartie
Système réparti:
Ensemble interconnecté d'entités autonomes qui communiquent via un medium de communication -- G. Tel
Canaux de communication 2b2-communication-channels
Caractérisation d'un calcul réparti
- non séquentiel. deux instructions peuvent être exécutées simultanément.
- non centralisé. Les paramètres décrivant l'état du système sont répartis.
- non déterministe. deux actions concurrentes peuvent être exécutées dans n'importe quel ordre.
But d'un système réparti
- technique. mise en commun des ressources matérielles de plusieurs machines
- Factorisation des coûts
- Partage de charge
- Tolerance aux pannes 2b3-failures
- fonctionnel. mise en commun d'information entre plusieurs utilisateurs en systèmes.
- Travail coopératif entre utilisateurs
- Automatisation de chaînes de traitement
Classification des applications répartis 2b1-distributed-apps-classification
Modèles temporelles 2b4-temporal-models
Critères d'evaluation 2b5-evaluation-criteria
Verification d'un algorithme réparti 2b6-distributed-algorithms-verification
Algorithmes à vagues 2b7-wave-algorithms
Exclusion mutuelle 2b8-distributed-mutex
Detection de la terminaison 2b9-termination-detection
table d'hachage distribuée 2b11-hash-table