Seções Críticas em Programação Concorrente: De Tentativas Falhas ao Algoritmo de Peterson
2025-07-14
Este capítulo investiga a implementação de seções críticas em programação concorrente. Começa introduzindo o conceito e a importância das seções críticas, e depois avança por meio de várias tentativas falhas (por exemplo, bloqueio ingênuo e mecanismos baseados em sinalizadores), destacando problemas como condições de corrida e deadlocks. O capítulo culmina com o algoritmo de Peterson, uma solução elegante que garante exclusão mútua e progresso, reconhecendo ao mesmo tempo a complexidade de sua prova de correção e os desafios práticos, como operações não atômicas e reordenação de instruções.
Leia mais