Lara trabalha como administradora de banco de dados na empresa X. Ao efetuar um atendimento ao cliente in loco, identificou que, após a atualização de uma tabela, os dados estavam incorretos. Após a depuração do problema, viu que havia 3 processos em seção crítica. Lara verificou que a solução para o problema de seção crítica consiste em atender aos requisitos:
- A)progresso, locking e throughput;
Errada, porque progresso e locking não formam a tríade clássica de requisitos da seção crítica.
- B)limitação de buffer, espera limitada e preempção;
Errada, pois limitação de buffer e preempção não são requisitos do problema de seção crítica.
- C)throughput, limitação de buffer e espera circular;
Errada, já que throughput, limitação de buffer e espera circular não definem a solução clássica de exclusão de seção crítica.
- D)exclusão mútua, progresso e espera limitada;
Certa, porque reúne os três requisitos tradicionais da solução do problema da seção crítica: exclusão mútua, progresso e espera limitada.
- E)exclusão mútua, espera circular e preempção.
Errada, porque espera circular e preempção não são os requisitos clássicos exigidos para resolver seção crítica.
Gabarito: D
Quando falamos de seção crítica em Sistemas Operacionais e concorrência, a ideia central é simples: se vários processos tentam mexer ao mesmo tempo no mesmo recurso, alguém pode bagunçar tudo. A solução clássica para esse problema precisa garantir três coisas: exclusão mútua, progresso e espera limitada. A exclusão mútua impede que dois processos entrem na seção crítica ao mesmo tempo. O progresso garante que, se ninguém estiver dentro, a escolha de quem entra não fique travada sem motivo. Já a espera limitada evita a famigerada fome do processo, isto é, ninguém fica esperando para sempre enquanto outros passam na frente indefinidamente. É exatamente isso que a alternativa D traz. Esses são os requisitos tradicionais do problema da seção crítica, apresentados na doutrina clássica de Sistemas Operacionais, como em Tanenbaum e Stallings. A banca FGV costuma cobrar essa tríade de forma bem direta, às vezes trocando os nomes por termos parecidos para ver se você cai na tentação. Então, se a questão fala em solução para seção crítica, pense automaticamente nessa sequência: exclusão mútua, progresso e espera limitada. O resto costuma ser enfeite de prova para confundir quem mistura controle de concorrência com conceitos de armazenamento ou escalonamento.