Search results

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

Status: Open.

#80 In uwplse/verdi-raft;

· palmskog opened on Oct 14, 2019

Proposal: verify Raft handlers down to machine code level

Status: Open.

#79 In uwplse/verdi-raft;

· palmskog opened on Oct 14, 2019

Proposal: store log count in log file

Status: Open.

#65 In uwplse/verdi-raft;

· palmskog opened on Sep 28, 2017

vard should signal when recovery from file fails

Status: Open.

#62 In uwplse/verdi-raft;

· palmskog opened on Aug 14, 2017

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

Status: Open.

#54 In uwplse/verdi-raft;

· palmskog opened on May 21, 2017

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

Status: Open.

#53 In uwplse/verdi-raft;

· palmskog opened on May 21, 2017

Transient system call errors during recovery cause inconsistent re-initialization

Status: Open.

#52 In uwplse/verdi-raft;

· palmskog opened on May 21, 2017

Crash during update of snapshot causes loss of data

Status: Open.

#51 In uwplse/verdi-raft;

· palmskog opened on May 21, 2017

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

Status: Open.

#50 In uwplse/verdi-raft;

· palmskog opened on May 21, 2017

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

Status: Open.

#49 In uwplse/verdi-raft;

· palmskog opened on May 21, 2017

Transfer-based correctness theorem for Raft is missing

Status: Open.

#48 In uwplse/verdi-raft;

· palmskog opened on May 21, 2017

Node in singleton cluster never becomes leader

Status: Open.

#40 In uwplse/verdi-raft;

· tbg opened on Apr 4, 2017