Questão de Conhecimentos Específicos - Suporte · CESGRANRIO BANESE 01/2025 (nº 70)

Deadlock é um impasse onde processos ficam presos esperando recursos que nunca serão liberados. Para isso acontecer, quatro condições precisam existir simultaneamente: exclusão mútua (um recurso só pode ser usado por um processo por vez), posse e espera (um processo segura um recurso e espera por outro), não preempção (um recurso não pode ser tomado à força de quem o possui) e espera circular (uma cadeia fechada de processos, cada um esperando um recurso do próximo).

• (A) Incorreta: "Estagnação" é consequência do deadlock, não uma condição; "reentrância" é uma propriedade de código (poder ser executado concorrentemente), não uma condição de impasse.
• (B) Incorreta: "Estagnação" é um sintoma, não uma condição necessária; faltou "não preempção" e sobrou "estagnação".
• (C) Incorreta: "Estagnação" e "reentrância" são distratores; faltou "posse e espera" e "não preempção".
• (D) Incorreta: "Reentrância" não é condição de deadlock; faltou "exclusão mútua" e sobrou "reentrância".
• (E) Correta: As três condições restantes são exatamente exclusão mútua, posse e espera e não preempção, que, somadas à espera circular, formam as quatro condições de Coffman. A banca tentou confundir com "estagnação" (que é o efeito, não a causa) e "reentrância" (que é um conceito de programação concorrente, não de deadlock).