Race Condition em SMV
Condições de conclusão
Aberto: sexta-feira, 27 set. 2013, 17:45
Vencimento: sexta-feira, 4 out. 2013, 08:45
Specificar em SMV um protocolo em SMV para o problema do race condition (regiao critica). O Protocolo deve garantir que sempre alguem quer entrar na regiao critica, ele eventualmente entra.