Sommaire Théorie et pratique de la concurrence

tags Sommaire M1 S1 Concurrence

Page du cour

• Sommaire Théorie et pratique de la concurrence
  • cour théorie
    • Cour 1
    • Cour 2
    • Cour 3
    • Cour 4
    • Cour 5
    • Cour 6
    • Cour 7
    • Cour 8
    • Cour 9
    • Cour 10
  • cour pratique
    • Cour Pratique
  • TD
    • TD 1
    • TP 1
    • TD 2
    • TD 3
    • TP 2

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 ?