6/11/08:
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.
11/11/08:
Algoritmo di mutua esclusione per due processori a registri con valori limitati, con e senza garanzia di assenza di blocco. Analisi di correttezza dell'algoritmo. 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 degli algoritmi presentati.