uwplse/verdi-raft

Issues

• Trouble Building in Coq 8.10-8.12.2

  #89 opened 3 years ago by HazardousPeach
  2

• Proposal: verify Verdi Raft store interaction down to file system level

  #80 opened 5 years ago by palmskog
  0

• Proposal: store log count in log file

  #65 opened 7 years ago by palmskog
  0

• Proposal: verify Raft handlers down to machine code level

  #79 opened 5 years ago by palmskog
  0

• Allow any decidable type for request and client ids

  #70 opened 7 years ago by palmskog
  0

• Extracted code uses Coq Ascii internals

  #63 opened 7 years ago by palmskog
  0

• vard should signal when recovery from file fails

  #62 opened 7 years ago by palmskog
  0

• Crash during update of snapshot causes loss of data

  #51 opened 8 years ago by palmskog
  0

• Client-server marshaling allows users to inject commands and to crash the server

  #54 opened 8 years ago by palmskog
  0

• Server assumes that it can read the entire client request with a single recv call

  #53 opened 8 years ago by palmskog
  0

• Transient system call errors during recovery cause inconsistent re-initialization

  #52 opened 8 years ago by palmskog
  0

• Server is unable to recover when disk log is incomplete due to a crash while writing an entry

  #50 opened 8 years ago by palmskog
  0

• Server crashes when trying to produce large packets because of buffer overflow

  #49 opened 8 years ago by palmskog
  0

• Transfer-based correctness theorem for Raft is missing

  #48 opened 8 years ago by palmskog
  0

• VarDRaft.v belongs in systems directory

  #44 opened 8 years ago by palmskog
  0

• Node in singleton cluster never becomes leader

  #40 opened 8 years ago by tbg
  5

• vard cluster members might not use the same cluster size

  #35 opened 8 years ago by palmskog
  0

• Raft specification leader staleness

  #29 opened 8 years ago by spiliopoulos
  6

• Clients can livelock system

  #32 opened 8 years ago by palmskog
  0