Sommaire Théorie et pratique de la concurrence
Page du cour
cour théorie
Note de cour François Laroussinie
9 sept 2020
- introduction
- définitions
- communication par mémoire partager
- hypothèse d'atomicité
- sémantique d'entrelacement
- exclusion mutuelle
23 sept 2020
- Algo de Dekker
- Logique temporelle
- Filter Lock
30 sept 2020
- Algorithme de la boulangerie pour n processus (lamport, 1974)
- Vérification automatique des algorithmes d’exclusion mutuelle
- Algo basé sur l’envoie de message
- Algorithme de Lamport 1978
7 oct 2020
- Algo basé sur l’envoie de message
- Algorithme de Lamport 1978
- Algorithme de Ricart-Agrawala (1981)
14 oct 2020
- sémaphore
- probleme de précédence
- producteur / consomateur
- Les philosophes
- algorithme de Freidberg - Peterson (1987)
théorique 4 nov 2020
finir
16 nov 2020
17 nov 2020
25 nov 2020
2 dec 2020
cour pratique
16 sept 2020
et 22 sept 2020
et 21 oct 2020
- class Thread
- Interface Runnable
- Lecture et écriture (atomicité)
- Verrous / lock
- synchronization
TD
15 sept 2020
- diagramme d'état
- enigme
- algorithme de Dekker
22 sept 2020
29 sept 2020
- LTL
- diagramme d'état
- algo pour n processus
- Peterson pour n processus (tournoi)
6 oct 2020
22 sept 2020