|
p1a@a(i, i, num) :~ p1aTimeout(), LeaderExpired(), id(i), NewBallot(num), acceptors(a) |
p1aTimeout and iAmLeaderCheckTimeout must both trigger simultaneously to trigger a p1a. This clearly works (otherwise Paxos would do nothing) but isn't intended behavior; only p1aTimeout should need to trigger.
autocomp/rust/examples/multipaxos/leader.rs
Line 271 in a066d50
p1aTimeoutandiAmLeaderCheckTimeoutmust both trigger simultaneously to trigger a p1a. This clearly works (otherwise Paxos would do nothing) but isn't intended behavior; onlyp1aTimeoutshould need to trigger.