Descriptif
Students who complete this module (organized in two modules of 24h each) will learn how to design distributed algorithms, reason about their correctness, and derive matching complexity bounds. The primary focus of the module is on understanding of the foundations of distributed computing. The first module will discuss basics of synchronization, fault-tolerant shared-memory computations, consensus and transactional memory.
Objectifs pédagogiques
Acquis d'apprentissageÀ l'issue de l'UE, l'élève sera capable de:
- Explain the principles underlying fault-tolerant distributed systems
- Design concurrent data structures and distributed algorithms
- Understand inherent costs and impossibilities in distributed computing
Compétences de rattachement (et justification)
- BC1.5 – Réaliser un système complexe en mettant en œuvre les solutions technologiques nécessaires, en s’appuyant sur les ressources humaines, techniques, matérielles disponibles en faisant preuve de rigueur, d’esprit critique et d’adaptabilité; Justification : A distributed system is a complex combination of technologies, and our course gives a principled approach to deal with it.
- BC10.3 – Analyser une résolution par des approches formelles ou mathématiques; Justification : We focus on the foundations of distributed systems, by taking a formal approach based on precise specifications and proofs.
Diplôme(s) concerné(s)
- Echange international non diplomant
- M2 PDS - Parallel and Distributed Systems
- M1 PDS - Parallel and Distributed Systems
- M2 SETI - Systèmes embarqués et traitement de l'information
- Diplôme d'ingénieur
Parcours de rattachement
Pour les étudiants du diplôme M2 PDS - Parallel and Distributed Systems
basic knowledge of mathematics and classical algorithms, including complexity analysis, basic programming skills
Pour les étudiants du diplôme Diplôme d'ingénieur
connaissance de base en mathématiques et l'algorithmique classique, y compris des calculs de complexité.
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Diplôme d'ingénieur
Vos modalités d'acquisition :
The final grade is computed as 0.75*written exam grade + 0.25*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
- Crédit d'UE électives acquis : 2.5
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Echange international non diplomant
Vos modalités d'acquisition :
The final grade is computed as 0.75*written exam grade + 0.25*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M1 PDS - Parallel and Distributed Systems
Vos modalités d'acquisition :
The final grade is computed as 0.75*written exam grade + 0.25*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 PDS - Parallel and Distributed Systems
Vos modalités d'acquisition :
The final grade is computed as 0.75*written exam grade + 0.25*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 SETI - Systèmes embarqués et traitement de l'information
Vos modalités d'acquisition :
The final grade is computed as 0.75*written exam grade + 0.25*project grade
You also have extra bonuses for:
- participation/discussion of exercises
- bugs found in slides/lecture notes
- Crédits ECTS acquis : 2.5 ECTS
Mots clés
synchronization, shared memory, snapshot, storage systems, consensusMéthodes pédagogiques
We alternate lectures (cours) and exercise sessions (TDs), we also have two hands-on projects (TPs).Support pédagogique multimédia
