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 ce cours, 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)
UE de rattachement
- CSC_4SLS1_TP : Filière Systèmes logiciels répartis (créneau A) - Semestre 1
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 20Pour 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
- le rattrapage est obligatoire si :
- Note initiale < 10
Le coefficient de l'UE est : 1
L'UE est évaluée par les étudiants.
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
- le rattrapage est obligatoire si :
- Note initiale < 10
Le coefficient de l'UE est : 1
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
