Estou implementando o Paxos em um aplicativo de simulador de cluster, usando a documentação disponível em Wikipedia. Infelizmente, deixa várias portas abertas à interpretação e não fornece muita informação sobre os principais problemas de implementação. Não é claro e incompleto.

Assumindo um cluster dividido em 3 regiões, cada uma contendo 3 nós (total = 9 nós). O que acontece se a comunicação for interrompida entre regiões? Não há como qualquer líder alcançar o quorum (que é 5

Paxos não vai entrar em um loop infinito? Acho que não se deve iniciar o Paxos se não for possível se comunicar com pelo menos um quorum de nó

Na fase 1b: ' Se o número da proposta N for maior que qualquer proposta anterior, cada Aceitante promete não aceitar propostas menores que N e enviao valor que foi aceito pela última vez paraesta instância ao proponente '.

Qual é o último valor aceito? Existe algum número de proposta anterior do proponente? A que 'instância' se refere exatamente neste caso?

Na Fase 1a: inclui-se o valor para concordar com a mensagem Preparar ou isso é diferido para Aceitar! mensagem? Ou isso importa?

Na fase 2a: ' Se algum dos Aceitadores já tiver aceito um valor, o líder deveEscolha um valor com o número máximo da proposta N '.

O que é valor aqui? É o número da proposta? Acredito que não, mas esta frase não é clara.

Na fase 2a: 'Caso contrário, o proponente poderá escolher qualquer valor'. O que isto significa? Um valor para quê? Para o número da proposta?

Paxos parece confiar em um valor crescente de N (número da proposta) para funcionar? Isso está correto?

A entrada da Wikipedia não discute os valores iniciais que um nó deve definir antes de começar a participar do Paxos. Quem são esses

P.S .: Não tenho reputação suficiente para criar uma tag 'Paxos' (algum voluntário?)