Questão de Sistemas Operacionais — Deadlock — FUNDATEC 2026
Sistemas Operacionais›Deadlock
Código
qg685993
Banca
FUNDATEC
Órgão
IFC-SC
Ano
2026
Nível
Superior
Cargo
Professor EBTT - Informática: Hardware e Redes
Sobre deadlocks em sistemas operacionais, analise as assertivas a seguir:I. Para que ocorra um deadlock, quatro condições devem estar presentes simultaneamente no sistema: exclusão mútua, retenção e espera, inexistência de preempção e espera circular.II. A prevenção de deadlocks assegura que pelo menos uma das quatro condições necessárias não possa ocorrer, restringindo como as solicitações de recursos podem ser feitas. Seus efeitos colaterais incluem baixa utilização dos dispositivos e redução do throughput (taxa de processamento).III. Um estado inseguro implica necessariamente que o sistema está em deadlock no momento em que é identificado.IV. A maioria dos sistemas operacionais modernos, incluindo Linux e Windows, adota como política geral não implementar mecanismos abrangentes de prevenção, evasão ou detecção de deadlocks, transferindo a responsabilidade de lidar com o problema para os desenvolvedores de aplicações.Quais estão corretas?
AApenas I e III.
BApenas II e IV.
CApenas I, II e III.
DApenas I, II e IV.
EApenas II, III e IV.
Revelar gabarito e comentário▾
GabaritoD — Apenas I, II e IV.
Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.
Deadlock em Sistemas Operacionais
Gabarito: letra D — corretas I, II e IV. As assertivas I e II descrevem corretamente as quatro condições necessárias para deadlock e a estratégia de prevenção, respectivamente. A assertiva IV reflete a prática da maioria dos SOs modernos, que optam por ignorar o problema (algoritmo do avestruz). Já a assertiva III é falsa, pois um estado inseguro não implica deadlock imediato; é apenas um estado onde pode ocorrer deadlock se não houver gerenciamento adequado.
O tema é clássico em sistemas operacionais. As quatro condições (Coffman) são: exclusão mútua, retenção e espera, não preempção e espera circular. A prevenção ataca uma dessas condições, mas com custos de desempenho. A detecção e recuperação são possíveis, mas raramente implementadas em SOs de propósito geral.
Critério
Prevenção de Deadlock
Estado Inseguro
Definição
Garante que pelo menos uma das quatro condições de Coffman não ocorra
Estado onde existe uma sequência de requisições que pode levar a deadlock
Relação com deadlock
Impede que o deadlock ocorra
Não implica deadlock imediato; é um estado potencial
Efeito colateral
Baixa utilização de recursos e redução do throughput
Pode ou não evoluir para deadlock, dependendo do gerenciamento
Assertiva I — ✅ Correta
Afirma corretamente as quatro condições necessárias para deadlock, conhecidas como Condições de Coffman. São elas:
Exclusão mútua: cada recurso só pode ser usado por um processo por vez.
Retenção e espera (hold and wait): processo retém recursos alocados enquanto espera por outros.
Inexistência de preempção (no preemption): recursos não podem ser retirados à força.
Espera circular: existe um ciclo de processos onde cada um espera por um recurso retido pelo próximo.
O texto-base enumera essas mesmas condições: "Condição de exclusividade mútua", "Condição de posse-e-espera", "Condição de não-preempção" e "Condição de espera circular". Portanto, a assertiva está perfeita.
Assertiva II — ✅ Correta
A prevenção de deadlock garante que pelo menos uma das quatro condições seja violada, impedindo o deadlock. Exemplos: exigir que o processo solicite todos os recursos de uma vez (elimina retenção e espera) ou impor uma ordem de solicitação (elimina espera circular). Essas restrições podem causar baixa utilização de recursos e redução do throughput, como afirmado. É um trade-off conhecido. A assertiva está correta.
Assertiva III — ❌ Incorreta ⟵ GABARITO (única falsa)
Um estado inseguro é aquele em que existe uma sequência de requisições que pode levar a deadlock, mas o sistema não está necessariamente em deadlock naquele momento. O sistema pode ainda evitar o deadlock com um escalonamento adequado. Deadlock é apenas um subconjunto dos estados inseguros. Portanto, a afirmação de que estado inseguro implica deadlock é falsa.
NÃO CAIA NESSA!
A banca explora a confusão entre estado inseguro e deadlock. O candidato pode pensar que todo estado inseguro já é deadlock, mas não: ele é uma condição de risco, não a certeza. Lembre-se: deadlock é um estado inseguro, mas nem todo estado inseguro é deadlock.
Assertiva IV — ✅ Correta
A maioria dos sistemas operacionais modernos (Linux, Windows, macOS) adota o chamado algoritmo do avestruz: ignorar o deadlock, pois sua ocorrência é rara e as soluções (prevenção, evasão, detecção) impõem alta sobrecarga ao sistema. A responsabilidade de lidar com deadlocks é transferida para os desenvolvedores de aplicações, que devem usar boas práticas (como ordenação de locks). O texto-base menciona essa estratégia como "Algoritmo do avestruz (ignorar a situação)". A assertiva está correta.
PEGA ESSA DICA!
Para fixar: as quatro condições são como uma "receita" para deadlock. Se qualquer uma faltar, não há deadlock. Prevenção remove uma; evasão (como o algoritmo do banqueiro) evita estados inseguros; detecção permite recuperação. Mas, na prática, a maioria dos SOs prefere ignorar — e você só precisa saber isso para a prova.
Conclusão: corretas I, II e IV. A alternativa que as reúne é a letra D.