Algorithmique parallèle et distribuée / Parallel and distributed algorithmic

Objectifs :
- Comprendre la complexité de gestion des systèmes distribués
- Étudier et analyser quelques algorithmes classiques
- Comprendre la difficulté d'observation et de vérification des systèmes distribués

Vise à  : Apprendre aux étudiants la notion d'abstraction, un modèle abstrait de système distribué, l'approche algorithmique.

Plan :

- Modèle asynchrone d'un système distribué
- Algorithme de vague
- Algorithme d'élection
- Gestion de ressources et exclusion mutuelle distribuée
- État global
- Analyse et preuve de correction des algorithmes
- Programmation

Objectives:
- Understand the complexity of distributed systems.
- Study and analyze some classical algorithms.
- Understand the difficulty of observing and verifying distributed systems

Goals : Teach students the notion of abstraction, an abstract model of distributed system, the algorithmic approach.

Outline:

- Asynchronous model of a distributed system
- Wave algorithm
- Election
- Resource management and mutual exclusion
- Global state and snapshots
- Analysis and correction proof
- Programming

Notions de systèmes, systèmes distribués et réseau

Notions of systems, distributed systems and networks

- "Introduction to Distributed Algorithms" Gerard Tel

- "Distributed Algorithms" Nancy Ann Lynch