Gabarito disponível
Em sistemas computacionais, a exclusão mútua impede que dois ou mais processos acessem um mesmo recurso simultaneamente. Diversas soluções foram propostas para garantir a exclusão mútua de processos. Uma delas apresenta a solução para o problema da exclusão mútua entre dois processos que se alternam na execução de suas seções críticas (região crítica) e seções remanescentes, requerendo que dois processos compartilhem dois itens de dados. Nessa solução, além das variáveis de condição (CA e CB), que indicam o desejo de cada processo entrar em sua região crítica, é introduzida outra variável (chamada Vez) para resolver os conflitos gerados pela concorrência, indicando de quem é a vez de entrar em sua seção crítica (região crítica). Antes de acessar a região crítica, o processo sinaliza esse desejo através da variável de condição, assim, o processo cede o uso do recurso ao outro processo, indicado pela variável “Vez”. Desse modo, além da garantia da exclusão mútua, o bloqueio indefinido de um dos processos no loop nunca ocorrerá, já que a variável “Vez” sempre permitirá a continuidade da execução de um dos processos. Assinale a opção que apresenta a solução descrita.
Resolução comentada
Variáveis CA, CB e Vez caracterizam o algoritmo de Peterson.
O algoritmo de Peterson usa variáveis de condição de interesse e uma variável Vez para desempatar conflitos. Isso garante exclusão mútua sem bloqueio indefinido. O processo sinaliza o desejo e cede a vez ao outro.
Análise das alternativas
A) O primeiro algoritmo usa apenas a variável da vez. B) Test-and-set é uma instrução de hardware. C) Dekker também resolve o problema, mas a descrição com cessão da vez após sinalizar corresponde ao de Peterson. E) O algoritmo do padeiro de Lamport serve para n processos.
Referência: MACHADO; MAIA. Arquitetura de Sistemas Operacionais – Exclusão mútua (soluções de software).
Resolução comentada do VaiConcursos.