Quali sono le quattro condizioni per il verificarsi di un deadlock?

Mutua esclusione: almeno una delle risorse coinvolte è utilizzata in modo mutuamente esclusivo dai processi. Possesso e attesa: un processo che possiede delle risorse si mette in attesa per averne altre. Nessun rilascio anticipato: il sistema operativo non può forzare il rilascio di risorse assegnate ai processi. Attesa circolare: n processi attendono in modo che P1 attende P2, P2 attende P3, ..., Pn attende P1.