É possível salvar um estado de máquina para utilizar mais tarde
Sobre
O Algoritmo de Dekker é a primeira solução correta de exclusão mútua na programação concorrente. Este permite que duas linhas de execução compartilhem um recurso de uso exclusivo, sendo necessário somente uma área de memória compartilhada para as variáveis flag e vez.
O simulador possui a vantagem de permitir o usuário verificar o comportamento do algoritmo em todos os cenários onde o quantum possa ocorrer. O objetivo final é de que você se convença de que os dois processos nunca estarão na região crítica ao mesmo tempo.
O código fonte está disponível neste repositório do GitHub. Com isso, podem ficar tranquilos porque ninguém está minerando bitcoin na máquina de vocês! Nele também poderás encontrar detalhes a respeito da implementação.
Uso
redefine as variáveis para os valores originais e retorna para a primeira linha nos dois processos
realiza a simulação automaticamente executando a uma velocidade de 2 linhas por segundo. Note que o quantum pode ser ativado randomicamente a cada linha executada neste modo.
avança uma linha no processo corrente sem ativar o quantum
avança uma linha no processo que está inativo ao ativar o quantum