Try   HackMD

Sommaire Théorie et pratique de la concurrence

tags Sommaire M1 S1 Concurrence

Page du cour

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 ?