HackMD
Sommaire Théorie et pratique de la concurrence
tags Sommaire M1 S1 Concurrence
cour théorie
Note de cour François Laroussinie
Cour 1
9 sept 2020
- introduction
- définitions
- communication par mémoire partager
- hypothèse d'atomicité
- sémantique d'entrelacement
- exclusion mutuelle
Cour 2
23 sept 2020
- Algo de Dekker
- Logique temporelle
- Filter Lock
Cour 3
30 sept 2020
- Algorithme de la boulangerie pour n processus (lamport, 1974)
- Vérification automatique des algorithmes d’exclusion mutuelle
- SPIN
- PRISM
- Algo basé sur l’envoie de message
- Algorithme de Lamport 1978
Cour 4
7 oct 2020
- Algo basé sur l’envoie de message
- Algorithme de Lamport 1978
- Algorithme de Ricart-Agrawala (1981)
Cour 5
14 oct 2020
- sémaphore
- probleme de précédence
- producteur / consomateur
- Les philosophes
- algorithme de Freidberg - Peterson (1987)
Cour 6
théorique 4 nov 2020
- moniteur
finir
Cour 7
16 nov 2020
- barriere
Cour 8
17 nov 2020
- semaphore
Cour 9
25 nov 2020
Cour 10
2 dec 2020
cour pratique
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
TD 1
15 sept 2020
- diagramme d'état
- enigme
- algorithme de Dekker
TP 1
22 sept 2020
- TP java
- thread
- synchronized
TD 2
29 sept 2020
- LTL
- diagramme d'état
- algo pour n processus
- Peterson pour n processus (tournoi)
TD 3
6 oct 2020
- TP SPIN
TP 2
22 sept 2020
- ajouter les corrections / ou crée un repo ?
