Potete passare a vedere il compito giovedi' mattina (7/2).
Per quanto riguarda le soluzioni dei due esercizi:
Q1 chiede di partire da uno stato (potete verificare che e' safe), e verificare la soddisfacibilita' di due richieste. La prima non e' soddisfacibile (potete verificare che nessun processo puo' terminare), pertanto l'esecuzione di P1 viene sospesa, e lo stato rimane invariato. A questo punto, la seconda richiesta puo' essere soddisfatta.
Q4 e' una rivisitazione del noto problema dei
fumatori di sigarette; notate che il testo chiedeva di risolvere il problema usando i processi (e di conseguenza i semafori System V).