All the material associated to this course is HERE

FICHE MODULE SI5 / M2 IFI

TITRE : An algorithmic approach of Distributed systems

Le titre est en anglais ainsi que l'ensemble de la fiche si le cours est en anglais. L'enseignant a le choix de faire son cours en français ou en anglais. Ce choix doit être fait maintenant (et non pas après la première séance)

DUREE : 8 semaines (évaluation comprise)

RESPONSABLE : Francoise Baude
QUALITE/CV : MCF HDR, dept. informatique UFR Sciences UNS, Membre de l'equipe CNRS I3S-INRIA OASIS

Un seul responsable par cours

AUTRES INTERVENANTS ACADEMIQUES (Nom / Etablissement) : Ludovic Henrio / CR CNRS, EPI OASIS ; Fabrice Huet / MCF UNS, EPI OASIS ; Olivier Dalle / MCF UNS, EPI MASCOTTE
AUTRES INTERVENANTS EN ENTREPRISE (Nom / Entreprise) :

RESUME (5 lignes) : This course studies distributed systems that are characterized by distributed memory, no synchronisation, no native failure resilience, and grounds upon message-passing. Consequently, it is sometimes not trivial at all to build correct distributed applications without having a clear conceptual understanding about the underlying assumptions and their consequences on the distributed algorithms. The content of the course is thus to study how to solve the main problems that arise when many distributed and asynchronous activities are involved; typically, in order to reach a common, global and shared view or take a common and coherent decision.

OBJECTIFS : To gain the key principles and some more advanced concepts that underlie distributed systems, through an algorithmic oriented approach

CONTENU (1 ligne par séance si possible au format [Titre ] [Nature (C / TD / TP)] [Durée] [Intervenant] ) :

All courses consists in a mix of lectures, plus some exercices. It might happen that a few exercices translate into home work, including some of them turned as programming exercices to get a better understanding.

Introduction - Distributed (memory) systems: model, assumptions including fault models, algorithms representation - Leader Election as a first example
Distributed Snapshot and Global State Collection - application to Termination detection and Deadlock detection
Coordination algorithms (Election and Synchronizers) - Distributed Consensus (including impossibility result in presence of faults)
Time and Clocks - Application to Mutual Exclusion
Group Communication (emphasis on message ordering)
Fault tolerant systems: replication & consistency problems, recovery based on checkpointing & message-logging - Illustration on distributed transactions
Self-stabilization: concepts, revisit some of the classical problems
Final evaluation: individual exam, but some of the home works or in-class exercices will also contribute to the final mark

PREREQUIS : Some knowledge about programming multi-process/multi-threaded networked systems (sockets or RPC based), in C or Java -
Concurrency control key principles and tools for centralized systems (mutual exclusion and synchronization, monitor, semaphores, locks, deadlocks, starvation, ...)

BIBLIOGRAPHIE :

Distributed Systems : An Algorithmic Approach by Sukumar, Ghos book reference and web site for associated course
Distributed Systems: Principles and Paradigms by Andrew S. Tanenbaum and Maarten van Steen book reference here . Essentially chapters 5 to 7 material will be addressed
Distributed Systems: Concepts and Design, Edition 3, by George Coulouris, Jean Dollimore and Tim Kindberg book reference here . Essentially chapters 10 to 14 material will be addressed

SUPPORT de COURS :

	Site Web du Cours	Polycopié du cours	Copie des transparents
Support de cours	http://deptinfo.unice.fr/~baude/AlgoDist	Voir site web	Voir site web

MODE D’EVALUATION :

Quelque soit la langue du cours, c'est l'étudiant qui choisi la langue dans laquelle il sera évalué. La rédaction du sujet est dans la langue du cours (un cours en français aura un sujet en français, un cours en anglais aura un sujet en anglais).

	Présentation Orale	Ecrit en temps limtié	Livraison sur Site Web
Production Logicielle			X (implementation of some of the algorithms)
Rédaction d’un mémoire
Examen		X

Mettre une croix dans le mode d'évaluation choisi

AUTRES INFORMATIONS :

Si nous devions illustrer ces enseignements avec des visites d’entreprises locales, quelles seraient-elles ? :

Pour les quatre parcours suivants, quel est, selon vous, l’intérêt de votre module ?

PARCOURS	Sans intérêt	Peu d’intérêt	Beaucoup d’intérêt	Indispensable
SSR : Système, Sécurité et Réseaux				X
CID : Connaissance, Information, Décision		X
IAM : Informatique Ambiante et Mobile			X
VIM : Vision, Image et Multimédia	X
Ambiant Computing, Grid Computing and Network Computing (Ubinet)				X
Business Management and Information technology		X
Système d’information		X
Intéraction homme-machines	X

Les quatre premiers parcours correspondent à des spécialités habilitées, les quatres suivant correspondent à un affichage interne et à une possibilité de suivre cet ensemble de cours.

Y-a-t’il Club d’étudiants pour prolonger l’activité de ce module dans les activités extra-scolaires ? Si oui lequel ?

Y-a-t’il une compétition ouverte aux étudiants à laquelle prépare ce module ?