# Sommaire Théorie et pratique de la concurrence

###### tags `Sommaire` `M1 S1` `Concurrence`
[**Page du cour**](https://www.irif.fr/~francoisl/m1tpc.html)

[TOC]

## cour théorie

==__[Note de cour François Laroussinie](https://www.irif.fr/~francoisl/DIVERS/poly-tpc-1112.pdf)__==

### [Cour 1](/hkQL_-GXTG6nXzaiRtdNtg)
> [time= 9 sept 2020]
- introduction
- définitions
- communication par mémoire partager
- hypothèse d'atomicité
- sémantique d'entrelacement
- exclusion mutuelle

### [Cour 2](/_24sdF4rT7uqUo-gfwI6QA)
> [time= 23 sept 2020]
- Algo de Dekker
- Logique temporelle
- Filter Lock

### [Cour 3](/hH2Gad18QOOHxIbJMKa81A)
> [time= 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](/WyOYasmPQPKvNqlL6rrtHw)
> [time= 7 oct 2020]
- Algo basé sur l’envoie de message
- Algorithme de Lamport 1978
- Algorithme de Ricart-Agrawala (1981)

### [Cour 5](/78FFRUo9ScK4k4xJd35U_Q)
> [time= 14 oct 2020]
- sémaphore
- probleme de précédence
- producteur / consomateur
- Les philosophes
- algorithme de Freidberg - Peterson (1987)

### [Cour 6](/8fXQvoHKStSKRTgkzMP_Zw)
> théorique [time= 4 nov 2020]
- moniteur
>> finir

### [Cour 7](/ZHmOjsJlRYOKfLbqo68auw)
> [time= 16 nov 2020]
- barriere

### [Cour 8](/649giqL8QLiq-FSo63MZ_w)
> [time= 17 nov 2020]
- semaphore

### [Cour 9](/cuayVCyISUGr0ZotgDEX9A)
> [time= 25 nov 2020]

### [Cour 10](/QCVLRCCJQMW6GLAeGYDgzQ)
> [time= 2 dec 2020]

## cour pratique
### [Cour Pratique](/mV8jbrFtTVi2Hgvi_9a5NQ)
> [time= 16 sept 2020]
> et [time= 22 sept 2020]
> et [time= 21 oct 2020]
- class Thread
- Interface Runnable
- Lecture et écriture (atomicité)
- Verrous / lock
- synchronization

## TD
### [TD 1](/f6CK5YQQTWavIgqvi-WdHA)
> [time= 15 sept 2020]
- diagramme d'état
- enigme
- algorithme de Dekker

### [TP 1](/RpUWVt-cQia47uVZPBVsKA)
> [time= 22 sept 2020]
- TP java
- thread
- synchronized

### [TD 2](/bAJa0viuQp68XN74HxpVJA)
> [time= 29 sept 2020]
- LTL
- diagramme d'état
- algo pour n processus
- Peterson pour n processus (tournoi)

### [TD 3](/iY_FNmymS_CCw4oYwcZ2ZQ)
> [time= 6 oct 2020]
- TP SPIN

### [TP 2](/EGsK81ghQBaDNHp33yBmFA)
> [time= 22 sept 2020]
- [ ] ajouter les corrections / ou crée un repo ?