ongardie/raft.tla

Issues

• Additional AppendEntries Requests in HandleAppendEntriesRequest Reduce TLC Model Checking Efficiency

  #16 opened a month ago by liang636600
  2

• The efficiency of HandleAppendEntriesRequest in handling conflicts is low

  #17 opened a month ago by liang636600
  0

• Receive() can receive dropped messages

  #2 opened 2 months ago by dricketts
  8

• Only a higher term leader can receive a client request to add v to the log

  #11 opened 4 years ago by dawsonme
  3

• missing config

  #1 opened 10 years ago by joewilliams
  10

• Need to vote itself firstly when timeout

  #10 opened 3 years ago by dawsonme
  2

• source code

  #8 opened 6 years ago by TriveniSamineni
  1

• source code

  #7 opened 6 years ago by TriveniSamineni
  0

• Add check to AppendEntries

  #3 opened 8 years ago by dricketts
  1