I'm someone who's happy you put the proofs in there.
As soon as I read "has no designated leader" I stopped reading and skimmed through to make sure safety and liveness proofs were in there somewhere before I spent any significant time reading the rest.
This feels like it's probably a nice advancement over S-Paxos and I'm looking forward to getting through it -- thanks for making it accessible.
Also, this is awesome: "Copyright is held by the Owner/Author(s)"
That last awesomeness is SIGOPS: They bought out the copyright for all papers at SOSP'13 on behalf of the authors. three cheers. All of the SOSP papers are available -- already -- open-access: http://sigops.org/sosp/sosp13/program.html
(For the non-academics: SIGOPS is the chapter of the ACM for operating systems. It runs SOSP and similar things.)
As soon as I read "has no designated leader" I stopped reading and skimmed through to make sure safety and liveness proofs were in there somewhere before I spent any significant time reading the rest.
This feels like it's probably a nice advancement over S-Paxos and I'm looking forward to getting through it -- thanks for making it accessible.
Also, this is awesome: "Copyright is held by the Owner/Author(s)"