Teste de Automação da Historia

Considere uma variante do algoritmo "Consenso de inundação" que

aceita uma mensagem DECIDIDA de qualquer processo p (contanto que decisão = ⊥), mesmo que

p ̸∈ correto. Esse algoritmo pode violar a propriedade do contrato. Na sequência,

descrevemos uma execução com pelo menos três processos que demonstram isso.

Pode ocorrer que p decida na rodada 1 e depois trava. Nenhum outro processo fornece

a mensagem PROPOSTA de p da primeira rodada, mas a mensagem DECIDIDA de p,

enviado usando a transmissão de melhor esforço, ainda pode alcançar outras pessoas posteriormente. Todos os outros

processos detectam que p travou e avançam para a rodada 2 sem receber um

Mensagem de PROPOSTA de p, portanto p p caiu e p ̸∈ recebido de [1] por eles.

Observe que p pode ter decidido seu próprio valor v, que é menor que qualquer outro

valor proposto e nenhum outro processo ainda está ciente de v. Como p foi detectado pelo

falha do detector de falhas, os outros processos podem prosseguir sem esperar pela

quaisquer outras mensagens da p. Suponha que algum processo correto q decida um valor v ′ ̸ = v

(o fato de que p decidiu v não viola a propriedade do contrato porque p não é

corrigir). Se a mensagem DECIDIDA de p agora atingir um terceiro processo r que não foi

ainda decidido, então r decide v. Isso viola o acordo porque q e r estão corretos.

///////

: O processo com a classificação mais baixa t, com classificação N e transmissões por último,

não precisa transmitir sua mensagem. De fato, o único processo que usa o valor de transmissão de t é o próprio t. Portanto, o processo t decide sua proposta imediatamente antes de ter

transmiti-lo (não quando o entregou).