search

nruth / gaoler

Class project implementing HA Paxos / Erlang/OTP locking service.
3 stars 1 forks source link

Bug: failing to retrieve highest round on acceptor recovery #30

Open archie opened 12 years ago

archie commented 12 years ago

If the acceptors accepts and votes for a value with a higher round number without having made a promise for it first and then crashes, when it resumes, it will not set the highest promise made in it's state for that election. Although it will remember the highest round,vote made. It just wont set the state properly.

nruth commented 12 years ago

While this makes sense to do, I don't think it's critical to correctness. The majority who did send the promise will have persisted it, and that's enough for less-than-majority failures without losing the record of the round and being able to do something illegal like reuse it.

On 3 December 2011 15:32, Marcus Ljungblad reply@reply.github.com wrote:

If the acceptors accepts and votes for a value with a higher round number without having made a promise for it first and then crashes, when it resumes, it will not set the highest promise made in it's state for that election. Although it will remember the highest round,vote made. It just wont set the state properly.

Reply to this email directly or view it on GitHub: https://github.com/nruth/gaoler/issues/30