Università di Bologna - Facoltà di Informatica - Corso di Sistemi Operativi
Docente: Renzo Davoli

Lezione 10 - Martedì 26 Ottobre 2010

31:30 Algoritmo di Peterson
48:36 Peterson - Dimostrazione (mutua esclusione)
51:19 Peterson - Dimostrazione (assenza di deadlock)
53:21 Peterson - Dimostrazione (assenza di ritardi non necessari e di starvation)
55:16 Peterson - Generalizzazione per N processi
1:01:30 Lettori e Scrittori
1:06:15 Vita dei lettori e degli scrittori
1:09:39 Lettori e scrittori - Soluzione
1:19:50 Come derivare una soluzione basata su semafori
1:26:05 Trasformazione await - semafori
1:36:00 R/W trasformato
1:40:45 R/W trasformato (SIGNAL ridotto)
1:45:54 R/W Priorità agli scrittori

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…