efficient / epaxos

http://efficient.github.io/epaxos/

efficient/epaxos Issues

Bug in scalability tests: index out of range [5]
Updated a year ago
Possible bug in try-pre-accept
Updated a year ago
Error in the replica message processing in mencius.go
Updated 3 years ago
Question: How does epaxos ensure that a committed value can be recovered correctly?
Closed 4 years ago2
Another solution to livelock
Updated 4 years ago48
Still trying to solve the livelock problem.
Updated 4 years ago
epaxos-exec.go: func strongconnect never return false
Closed 4 years ago
why commit a instance on fast-path that requires all replicas to be reply equal in preAcceptReply
Updated 4 years ago9
question about the proof of Lemma 2. The recovery procedure for Thrifty Egalitarian Paxos can always make progress (as long as the system is live)
Closed 4 years ago2
Why is the fast-quorum for base epaxos N-1
Closed 5 years ago4
Why does epaxos need `seq`?
Closed 5 years ago4
How to prove that `seq` of two command in a strong connected component are different?
Closed 5 years ago3
epaxos.go doesn't correctly check for fast quorum on fast path
Updated 6 years ago1
What are valid values for instantiating the TLA+ model?
Updated 6 years ago1
How does the file "state.go.1k" work
Updated 7 years ago
GenPaxos not replying back to client
Updated 8 years ago
Blocking on Communication
Updated 11 years ago