List view

• Coded Raft (dynamic membership)

  The CRaft paper (https://www.usenix.org/system/files/fast20-wang_zizhong.pdf) describes the use of RS codes in Raft, but does not explicitly model how to safely add members to a CRaft cluster. This milestone represents dynamic cluster membership for a CRaft cluster.

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• Coded Raft (static membership)

  The CRaft paper (https://www.usenix.org/system/files/fast20-wang_zizhong.pdf) describes a method for using RS codes in a Raft cluster to improve latency and storage use without sacrificing fault-tolerance. This milestone represents adding this functionality to LeifDB.

  No due date

  •2/3 issues closed
  66% complete1 open2 closed

• Core Raft functionality (dynamic membership)

  This milestone represents functionality described in Section 6 of the Raft paper (https://raft.github.io/raft.pdf) for safely changing the membership of a cluster.

  No due date

  •1/3 issues closed
  33% complete2 open1 closed

• Core Raft functionality (static membership)

  This milestone represents core functionality described in the Raft paper (https://raft.github.io/raft.pdf). In summary: leader election, log shipping and commit, and log compaction. Dynamic cluster membership is also discussed in that paper, but is a large and distinct enough topic of its own as to warrant a separate milestone, so this represents the contents of the paper excepting Section 6.

  No due date

  •9/11 issues closed
  81% complete2 open9 closed