Silberschatz, Galvin and Gagne 2002 7.1 Operating System Concepts Sincronizzazione fra processi Background Il problema della sezione critica Semafori Problemi.