Descriptif
Le principal objectif de ce cours est d'apprendre les techniques d'analyse des algorithmes distribués pour les systèmes réels combinant parallélisme avec des retards imprévisibles, tels que les multi-noyaux, réseaux sans fil, les systèmes distribués, et des protocoles Internet. Un accent particulier sera mis sur les méthodes de calcul mathématique fondées sur la topologie combinatoire.
Objectifs pédagogiques
Acquis d'apprentissageÀ l'issue de l'UE, l'élève sera capable de:
- Understand the basics of shared-memory distributed computing
- Describe a distributed computing models and protocols using the language of combinatorial topology.
- Learn how to reason about distributed computability and complexity using the properties of corresponding combinatorial structures.
Compétences de rattachement (et justification)
- BC1.1 – Analyser des systèmes existants de traitement des données, de communication et/ou d’organisation de l’information, en mobilisant les sciences et technologies (mathématiques, physique et informatique) dans un but d’audit ou d’optimisation; Justification : The course helps to represent a complex behavior of a distributed systems through simple and visually appealing combinatorial structures.
- BC10.3 – Analyser une résolution par des approches formelles ou mathématiques; Justification : The properties of a computing artifact (a shared-memory distributed system) is casred to the abstract mathematical space.
24 heures en présentiel
6 heures de travail personnel estimé pour l’étudiant.
Diplôme(s) concerné(s)
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade européenProgramme détaillé
Mots clés
Concurrency, shared-memory computing, simplicial topology, subdivision, connectivityMéthodes pédagogiques
We alternate lectures (cours) and exercise sessions (TDs), we also have a hands-on project (TP).The support includes the book by Herlihy et al., slides, exercises and solutions (all available on ecampus).
