1. 9
    Making Paxos work in a dynamic environment compsci distributed rystsov.info
    rystsov avatar via rystsov 2 years ago | cached | 2 comments

  1.  

  2. 1
    icefall avatar icefall 2 years ago | link

    I’m really interested in the TLA+ follow-up!

    1. 1
      rystsov avatar rystsov 2 years ago | link

      The algorithm happened to have reliability issues, so I adjusted Raft’s joint consensus approach to Single Decree Paxos - https://lobste.rs/s/r8sbvh/