Theorie et pratique de la concurrence

Master 1 Ingénierie Informatique de Paris 7

La présentation officielle du cours dans la maquette du Master1.

Une présentation résumée et actualisée :

Pré-requis :

système, logique

Objectif :

raisonner sur des programmes concurrents
construire des programmes concurrents corrects
connaître quelques solutions classiques (exclusion mutuelle, sémaphores, régions critiques, moniteurs)

Plan du cours (voir aussi le calendrier) :

Propriétés des programmes séquentiels (rappels)
Abstraction des programmes concurrents
Propriétés et sémantique des programmes concurrents
Exclusion mutuelle : problème, algorithmes (Dekker, Petterson, Lamport), applications, implémentation.
Sémaphores : notations, sémantique, implémentation, utilisation pour l'exclusion mutuelle, les producteurs/consommateurs, le dîner des philosophes, le lecteurs/écrivains.
Régions critiques : notations, sémantique, implémentation, utilisation pour le IPC.
Moniteurs : notations, sémantique, implémentation, utilisation pour le barbier endormi, ordonnancement.
Concurrence dans les systèmes distribues : échange de messages asynchrones, rendez-vous, RPC.
Langages dédiés : Java, Occam, Ada, Linda.

Bibliographie et liens :

M. Ben-Ari, Principles of Concurrent and Distributed Programming, Addison-Wesley 2005
(version incomplete en francais : M. Ben-Ari, Processus concurrents --- introduction à la programmation parallèle, Masson 1986)
G. Andrews, Concurrent Programming --- Principles and Practice, The Benjamin-Cummings 1991
G. Andrews, Fondations of Multithread, Parallel, and Distributed Programming, Addison Wesley 2000
M. Raynal, Algorithms for Mutual Exclusion, MIT Press 1986
G. Roussel et E. Duris, Java et Internet, Vuibert 2000.
Spin Model Checker (Xspin installé sur nivose et lenteja), promela mode pour emacs.
CADP Model Checker.

La responsable du cours est Mihaela Sighireanu (adresse e-mail Mihaela.Sighireanu@liafa.jussieu.fr, bureau 6A7).
Le responsable des TD est Laurent Van Begin
L'enseignement a lieu le 2eme semestre. Le premier cours a lieu la semaine du 16 janvier, le premier TD la semaine du 23 janvier. L'horaire du cours et des TD est le suivant :

jour heure salle

cours jeudi 10h30 J8

TD mercredi 14h30 J4 ou 56-66 108
Évaluation : La note finale est calculée comme (2*Ex + CC)/3 ou Ex est la note de l'examen et CC est la note pour le contrôle continu.

	jour	heure	salle
cours	jeudi	10h30	J8
TD	mercredi	14h30	J4 ou 56-66 108

Attention, ce calendrier est sujet à des modification. Consultez-le régulièrement!

Semaine du	Cours	TD	Observations
16 jan.	C-1 (introduction, abstraction des programmes concurrents)	-
23 jan.	C-2 (propriétés et sémantique des programmes concurrents)	TD-1	exemples en Spin
30 jan.	C-3 (exclusion mutuelle - algorithmes)	C-4 (verification de l'exclusion mutuelle)	exemples en Spin
6 fev.	C-5 (implementation noyau concurent)	TD-3 (exclusion mutuelle)	-
13 fev.	C-6 (sémaphores - sémantique, exemples, implémentation)	TD-4	-
20 fevr.	TD-6	TD-5	cours remplacé par TD
27 fev.	C-7 (fin semaphores)	TD-7	-
24 avril	C-8 (moniteurs - notations, sémantique, implémentation)	TD-8 (moniteurs)	C et TD inverses
1 mai	C-9 (moniteurs en Java, communication par messages)	C-10 (rendez-vous, RPC)	devoir optionnel
8 mai	C-11 (Linda)	TP-9 (moniteurs en Java)	rendu devoir
15 mai	C-12 (introduction a l'algorithmique distribuee)	TD-10	-
22 mai	-	TP-11	-

Pour toute information sur les cours et les TD contactez les enseignants.

Dernière modification : Fri Jan 20 09:07:00 CET 2006
URL: http://www.liafa.jussieu.fr/~sighirea/cours/concur/index.html