Document

Diferentemente da desabilitação de interrupções, a solução de variáveis do tipo trava é baseada em software e não em hardware.

A ideia se fundamenta na criação de uma variável que é iniciada com o valor 0. Sempre que um processo tem a necessidade de adentrar em sua região crítica, ele verifica o estado atual da variável e:

Se o valor é 0; o processo altera o valor para 1 e entra em sua região crítica.
Se o valor é 1; o processo aguarda até que se torne 0.
Ao sair da região crítica, o processo deve retornar o valor da variável para 0.

A estratégia de bloqueio de variáveis tem uma grande falha. Imagine, por exemplo, que um determinado processo verificou o estado da variável e este estava definido como “0”. Só que no milésimo de segundo entre a verificação do valor da variável e a sua alteração para 1, um outro processo teve a necessidade de também adentrar em sua região crítica e também efetuou uma consulta a variável de controle, obtendo o valor 0.

Nesta situação, os dois processos acessariam as suas regiões críticas ao mesmo tempo.