Deadlock – Recuperação e Espera Circular
Gabarito: letra E. Ambas as asserções estão corretas, mas a segunda não justifica a primeira. A eliminação de processos quebra a espera circular porque libera recursos, e não porque os processos não podem ser recuperados.
A banca testa o conhecimento sobre as condições de deadlock e as técnicas de recuperação. A espera circular é uma das quatro condições necessárias para o deadlock; ao remover um ou mais processos da cadeia, a condição é desfeita.
Asserção I – ✅ Correta
Eliminar um ou mais processos envolvidos no deadlock e desalocar seus recursos de fato quebra a espera circular. Isso ocorre porque o recurso antes retido pelo processo eliminado é liberado, rompendo o ciclo de espera. É uma técnica comum de recuperação: abortar processos para liberar recursos.
Asserção II – ✅ Correta
Processos eliminados (abortados) não podem ser recuperados – a execução é encerrada de forma irreversível. Todo o estado do processo é perdido. Isso é verdadeiro, mas não é a razão pela qual a espera circular é quebrada. A quebra ocorre pela liberação dos recursos, não pela irrecuperabilidade.
Relação entre as asserções – ❌ Não há relação de justificativa
A segunda asserção (processos eliminados não podem ser recuperados) é uma consequência da eliminação, mas não explica por que a espera circular se desfaz. A justificativa correta seria: "porque os recursos alocados aos processos eliminados são liberados, permitindo que outros processos prossigam". Portanto, ambas estão corretas, mas a II não é uma justificativa adequada da I.
Conclusão: Asserção I verdadeira, Asserção II verdadeira, mas a II não justifica a I. Gabarito: letra E.