Issues

• [Safety Bug] Lost Dependency During Recovery Under Asymmetric PreAccept Message Loss

  efficient/epaxos#29 · Filter by author SherlockShemol opened on Dec 10, 2025

• [Safety Bug] Non-durable PreAccept responses enable conflicting fast commits

  efficient/epaxos#28 · Filter by author SherlockShemol opened on Dec 9, 2025

• [Safety Bug] State Divergence Due to Unprotected EXECUTED Instances in handleCommit

  efficient/epaxos#27 · Filter by author SherlockShemol opened on Dec 1, 2025
  3

• [Liveness Bug] Execution Engine Deadlock in strongconnect Due to Unbounded Busy-Wait

  efficient/epaxos#26 · Filter by author SherlockShemol opened on Dec 1, 2025
  1

• Bug in scalability tests: index out of range [5]

  efficient/epaxos#24 · Filter by author PasinduTennage opened on Apr 12, 2023

• Possible bug in try-pre-accept

  efficient/epaxos#23 · Filter by author devu1997 opened on Feb 28, 2023

• Error in the replica message processing in mencius.go

  efficient/epaxos#21 · Filter by author PasinduTennage opened on Aug 5, 2021

• Still trying to solve the livelock problem.

  efficient/epaxos#19 · Filter by author drmingdrmer opened on May 21, 2020

• why commit a instance on fast-path that requires all replicas to be reply equal in preAcceptReply

  efficient/epaxos#16 · Filter by author pengsven opened on Dec 23, 2019
  9

• Another solution to livelock

  efficient/epaxos#14 · Filter by author drmingdrmer opened on Oct 21, 2019
  48

• epaxos.go doesn't correctly check for fast quorum on fast path

  efficient/epaxos#10 · Filter by author jiaochangyang opened on Nov 7, 2017
  1

• How does the file "state.go.1k" work

  efficient/epaxos#9 · Filter by author maple8846 opened on Jun 22, 2017

• GenPaxos not replying back to client

  efficient/epaxos#7 · Filter by author ibalajiarun opened on Apr 18, 2016

• What are valid values for instantiating the TLA+ model?

  efficient/epaxos#6 · Filter by author bts opened on Nov 8, 2015
  1

• Blocking on Communication

  efficient/epaxos#5 · Filter by author xiang90 opened on Dec 14, 2013