Descriptif

Objectifs:

Les systèmes de distributions sont composés de plusieurs unités de calcul, appelées processus, qui s'exécutent de manière simultanée et indépendante, sans aucun contrôle central. Des difficultés supplémentaires sont introduites par l'asynchronisme () et par connaissances locales limitées (). Les algorithmes répartis sont des algorithmes conçus pour s'exécuter dans ce contexte assez difficile. Ils dans un large éventail d'applications, dont les télécommunications, Internet, le système pair à pair, la technologie blockchain...

Ce cours vise à donner une introduction détailée au domaine des algorithmes répartis. Une série d'algorithmes significatifs sera présentée pour des systèmes de réseaux asynchroniques, avec un accent mis sur leurs preuves de correction. Les algorithmes seront analysés selon différentes mesures d'intérêt (par ex. complexités temporelles et spatiales, coûts de communication). Nous présenterons également quelques résultats "négatifs", c'est-à-dire des théorèmes impossibilités et bornes inférieures, car ils jouent un rôle utile pour le concepteur d'un système afin de déterminer quels problèmes peuvent être résolus et à quel coût.

Langue: Le support du cours est en anglais. Les cours peuvent être donnés en français ou en anglais, à la convenance des étudiants

Evaluation: Cours en laboratoire notés + examen final écrit