A seguir: Erros Acima: Questão 1 - 9 Anterior: Release
b) Todo processo, antes de alocar recursos (decrementar free_resources) verifica que há recursos suficientes para satisfazer o seu pedido e todas as operações (alocação, liberação, verificação do número de recursos livres) são feitas em regiões em que se garante a exclusão mútua entre os processos, logo, nunca haverá mais de R recursos em uso ao mesmo tempo.
Um processo, ao entrar na fila de pedidos, recebe uma prioridade igual ao número de de recursos requisitados (valores mais baixos têm preferência, de forma que quem requisita menos recursos tem chances de ser atendido primeiro). Este valor é decrementafdo a cada vez que ele perde uma disputa, de forma que, em um número finito de passos, ele terá um prioridade tão alta (valor baixo) que ele terá preferência até mesmo sobre os processos que requisitam apenas um recurso. Desta forma é garantido que um processo não ficará eternamente esperando para ser atendido.