Considera un sistema avente m risorse dello stesso tipo e 3 processi A, B e C hanno picchi richiesti di 3,4 e 6 rispettivamente.
Quale dovrebbe essere il valore di m tale che il deadlock non si verifichi?
La mia analisi:
Se consideriamo il caso peggiore, le risorse 2 per A, 3 per B e 5 per C (2 + 3 + 5 = 10) sono attualmente assegnate. In aggiunta a ciò, un'altra risorsa se assegnata a uno qualsiasi dei processi impedirà il verificarsi di deadlock.
Quindi la risposta è 11 . È corretto ? o c'è qualche altra risposta che contraddice sopra