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
Diplôme(s) concerné(s)
- M1 Cyber - Cybersecurity
- M1 PDS - Parallel and Distributed Systems
- Programmes d'échange internationaux
- M1 HPDA - High Performance Data Analytics
- M2 PDS - Parallel and Distributed Systems
- M2 HPDA - High Performance Data Analytics
- MScT-Cybersecurity : Threats and Defenses
- M1 Système Cyber Physique
- M2 Système Cyber Physique
- M1 Fondements de l'Informatique MPRI
- Titre d’Ingénieur diplômé de l’École polytechnique
Parcours de rattachement
Pour les étudiants du diplôme M2 Système Cyber Physique
Vous devez avoir validé l'équation suivante : UE INF421
Format des notes
Numérique sur 20Littérale/grade réduitPour les étudiants du diplôme M2 Système Cyber Physique
Le rattrapage est autorisé (Note de rattrapage conservée)Pour les étudiants du diplôme M1 Fondements de l'Informatique MPRI
Pour les étudiants du diplôme M1 Système Cyber Physique
Pour les étudiants du diplôme M1 HPDA - High Performance Data Analytics
Le rattrapage est autorisé (Note de rattrapage conservée)- Crédits ECTS acquis : 4 ECTS
Pour les étudiants du diplôme Titre d’Ingénieur diplômé de l’École polytechnique
Le rattrapage est autorisé (Note de rattrapage conservée)- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M1 PDS - Parallel and Distributed Systems
Le rattrapage est autorisé (Note de rattrapage conservée)- Crédits ECTS acquis : 4 ECTS
Pour les étudiants du diplôme M1 Cyber - Cybersecurity
Le rattrapage est autorisé (Note de rattrapage conservée)- Crédits ECTS acquis : 4 ECTS
Pour les étudiants du diplôme Programmes d'échange internationaux
Le rattrapage est autorisé (Note de rattrapage conservée)- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 PDS - Parallel and Distributed Systems
Le rattrapage est autorisé (Note de rattrapage conservée)Pour les étudiants du diplôme M2 HPDA - High Performance Data Analytics
Le rattrapage est autorisé (Note de rattrapage conservée)Pour les étudiants du diplôme MScT-Cybersecurity : Threats and Defenses
Le rattrapage est autorisé (Note de rattrapage conservée)- Crédits ECTS acquis : 4 ECTS
Programme détaillé
- Modélisation de systèmes de réseaux distribués
- Algorithmes de vagues et de parcours
- Election du responsable
- Temps logique et global snapshots
- Détection de propriétés stables
- Synchornisateurs
- Algorithmes de liaison inversée