Os Sistemas Operacionais estão sujeitos a um fenômeno denominado deadlock. Para que ...

Gabarito: a) Para que ocorra um deadlock, quatro condições devem estar presentes simultaneamente no sistema. Essas condições são conhecidas como condições necessárias para deadlock.

A primeira é a exclusão mútua, que significa que pelo menos um recurso deve estar em modo não compartilhável, ou seja, apenas um processo pode usá-lo por vez.

A segunda condição é a monopolização de recursos (hold and wait), onde um processo está segurando pelo menos um recurso e está esperando para adquirir recursos adicionais que estão sendo mantidos por outros processos.

A terceira é a não preempção, que indica que os recursos não podem ser retirados à força dos processos que os possuem; eles devem ser liberados voluntariamente.

Por fim, a espera circular, que ocorre quando existe um conjunto de processos {P1, P2, ..., Pn} tal que P1 está esperando por um recurso que P2 possui, P2 está esperando por um recurso que P3 possui, e assim por diante, até Pn estar esperando por um recurso que P1 possui, formando um ciclo.

As outras alternativas mencionam termos que não são condições para deadlock, como thrashing (transferência excessiva de páginas), superposição de processos e falha de escalonamento, que são problemas diferentes em sistemas operacionais.

Portanto, a alternativa correta é a letra a, que lista corretamente as quatro condições necessárias para que um deadlock ocorra.