Mutua Esclusione
-
6/11/07:
-
Modello di calcolo a memoria condivisa: definizione del modello
asincrono, eventi computazionali. Definizione del problema della mutua
esclusione .
-
Il problema della mutua esclusione con registri Read/Write. Algoritmo del
fornaio
per n processori con 2n registri Read/Write illimitati.
-
Analisi di correttezza dell'algoritmo del fornaio. Problema della crescita
illimitata dei valori nei registri.
-
Algoritmo di mutua esclusione per due processori con registri a valori limitati senza garanzia di assenza di blocco di un processore.
Dispense: 37,
38,
39,
40,
43,
44,
45,
46,
-
8/11/07:
-
Approfondimento: Esecuzione attraverso un esempio dell'algoritmo del fornaio.
Dimostrazione di garanzia di attesa limitata dell'algoritmo del fornaio.
-
13/11/07:
-
Algoritmo di mutua esclusione per due processori a registri con valori limitati, con e senza garnzia di assenza di blocco. Analisi di correttezza dell'algoritmo.
Dispense:
47,
48,
49,
50,
51,
-
15/11/07:
-
Algoritmo di mutua esclusione per n processori con O(n) registri
a valori limitati. Analisi di correttezza dell'algoritmo
-
Approfondimento: Dimostrazione di non garanzia di attesa limitata
dell'algoritmo.
Dispense:
52,
53,
54,