Condiçoes de Corrida

Condições de Corrida e Regiões Críticas
Soluções:
Inibição de Interrupções:
Essa solução usa um par de instruções do tipo DI = disable interrupt / EI = enable interrupt. Esse processo desativa todas as interrupções imediatamente antes de entrar na região crítica.Este mecanismo só deve ser utilizado dentro do sistema operativo em secções críticas de curta duração.
Se o programa se esquecer de chamar abrir(), as interrupções ficam inibidas e o sistema fica parado
• Não funciona em multiprocessadores.
Instrução TSL:
Solução de hardware em ambiente de múltiplos processadores.
– O processador executando TSL bloqueia o barramento
A instrução TSL lê e compara o conteúdo de uma variável e escreve um valor diferente de zero caso esteja zerada.
As Instruções TSL permitem testar e modificar uma palavra de memória atomicamente (sem interrupções).
Variável de Bloqueio:
Essa variável indica se a região crítica está ou não em uso. Turn = 0: livre e turn = 1: ocupada.
Essa variável nao confirma exclusão mútua.Os processos podem entrar ao mesmo tempo em região crítica, pois dois processos podem testar turn antes de setá-la para true.
Alternância Estrita:
Essa alternância assegura a exclusão mútua entre dois processos alternando a execução entre as regiões críticas. A variável turn indica qual processo está na vez de executar e quando um processo estiver fora da sua região crítica ele bloqueia a execução do outro.
O acesso a região crítica é de acordo com a sua velocidade de processo.
Algoritmo de Decker:
Edsger Dijkstra criou um o algoritmo de Decker na década de 60 que permitia que dois processos ou threads compartilhasse um recurso sem conflito. Era um algoritmo de programaçao concorrente para exclusão mútua.
Se ambos os processos tentam acessar a seção crítica ao mesmo tempo, o algoritmo escolhe um processo de acordo com uma mudança de variável.
Algoritmo de Peterson:
O algoritmo de Peterson é um algoritmo de programação concorrente para exclusão mútua,