Issues

• MoreUpToDateCorrectInv in etcdraft.tla is false

  etcd-io/raft#515 · Filter by author letFunny opened on Sep 10, 2026

• Proposal: Include Scenario Tests

  etcd-io/raft#473 · Filter by author zeu5 opened on Jul 15, 2026

• [Spec Bug] TLA+ Raft model permits split-brain during joint/membership changes due to missing log guard

  etcd-io/raft#456 · Filter by author CharlieQiu2017 opened on Jun 22, 2026
  4

• ConfChange silently converted to no-op without error notification

  etcd-io/raft#354 · Filter by author SherlockShemol opened on Nov 30, 2025
  3

• Remove hardcoded execution count in benchmark functions

  etcd-io/raft#313 · Filter by author nu1lspaxe opened on Jul 23, 2025
  6

• Async storage has really noisy logs

  etcd-io/raft#307 · Filter by author ajroetker opened on Jun 17, 2025

• Improve trace validation test experience

  etcd-io/raft#203 · Filter by author joshuazh-x opened on Jun 13, 2024
  1

• Proposal: Trace validation roadmap

  etcd-io/raft#201 · Filter by author joshuazh-x opened on May 30, 2024
  2

• Discussion: follower panics due to a regression in the commit index.

  etcd-io/raft#197 · Filter by author shaj13 opened on Apr 23, 2024

• optimization：add preTermLastlog index to accelerate the find hintIndex

  etcd-io/raft#180 · Filter by author 1797818494 opened on Mar 8, 2024

• tracker: split Progress into internal and public

  enhancement
  etcd-io/raft#175 · Filter by author pav-kv opened on Mar 4, 2024

• Question about LeaseRead

  question
  etcd-io/raft#166 · Filter by author boringhello opened on Feb 15, 2024
  9

• invariants gap: committing a stale snapshot

  enhancement
  etcd-io/raft#157 · Filter by author pav-kv opened on Feb 6, 2024
  1

• optimization: Leader log sampled handshake

  enhancement
  etcd-io/raft#150 · Filter by author pav-kv opened on Feb 1, 2024
  2

• Revisit tests

  enhancement
  etcd-io/raft#146 · Filter by author pav-kv opened on Jan 31, 2024
  7

• The notion of Term is overloaded

  enhancement
  etcd-io/raft#144 · Filter by author pav-kv opened on Jan 30, 2024

• raftLog: decouple log data structure and flow control

  enhancement
  etcd-io/raft#142 · Filter by author pav-kv opened on Jan 27, 2024
  19

  

• Lagging follower commit after message drops

  enhancement
  etcd-io/raft#138 · Filter by author pav-kv opened on Jan 25, 2024
  2

  

• Extended Raft algorithm with witness support

  etcd-io/raft#133 · Filter by author joshuazh-x opened on Jan 25, 2024
  10

• Remove redundant MsgApp sends

  enhancement
  etcd-io/raft#131 · Filter by author pav-kv opened on Jan 24, 2024
  1

  

• Flow control for MsgApp messages

  enhancement
  etcd-io/raft#130 · Filter by author pav-kv opened on Jan 22, 2024
  2

  

• Clean up and improve snapshot handling

  etcd-io/raft#124 · Filter by author erikgrinaker opened on Jan 9, 2024 · v4.0.0

• TLA+ spec and trace validation for raft consensus algorithm in etcd implementation

  etcd-io/raft#111 · Filter by author joshuazh-x opened on Nov 23, 2023
  24

• Memory storage loading snapshot bug

  etcd-io/raft#108 · Filter by author ds-testing-user opened on Oct 20, 2023

• node type arbiter?

  etcd-io/raft#100 · Filter by author tamalsaha opened on Sep 13, 2023
  2