====== Visione compiti e soluzioni ======

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 [[wp>Cigarette_smokers_problem|fumatori di sigarette]]; notate che il testo chiedeva di risolvere il problema usando i processi (e di conseguenza i semafori System V).