You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When an Acceptor receives a prepare msg, it replies with a promise msg which should include the last accepted proposal it has received.
When a proposer receives majority promise msgs, it should set the value to the value in the last accepted proposal with highest proposal number. If all last accepted proposals are null, it can set the value to its originally proposed value.
However, the current code doesn't include the last accepted proposal:
Describe the Bug
When an Acceptor receives a prepare msg, it replies with a promise msg which should include the last accepted proposal it has received.
When a proposer receives majority promise msgs, it should set the value to the value in the last accepted proposal with highest proposal number. If all last accepted proposals are null, it can set the value to its originally proposed value.
However, the current code doesn't include the last accepted proposal:
paxos-rs/src/main.rs
Lines 114 to 115 in 3679111
To Reproduce
Below is an error trace. The server plays both Proposer and Acceptor role, but it does not send a Prepare msg to itself, it might be another bug.
If we separate the Proposer and Acceptor role, the bug trace helps us better understand the issue:
The text was updated successfully, but these errors were encountered: