Após a atualização de uma tabela, observou-se que os dados estavam incorretos. Realizada a depuração do problema, percebeu-se que havia três processos em seção crítica. A solução para o problema de seção crítica consiste em atender aos requisitos:
- A exclusão mútua, progresso e espera limitada.
- B throughput, progresso e locking.
- C throughput, limitação de buffer e espera circular.
- D exclusão mútua, espera circular e preempção.