search

vmware-archive / haret

A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.
461 stars 18 forks source link

Add RFC #1 for proposed view change optimizations #98

Closed andrewjstone closed 7 years ago

andrewjstone commented 7 years ago

Rendered

andrewjstone commented 7 years ago

That makes sense @evanmcc. Can you link the byzantine paper in here for me and others? I haven't read it yet. Thanks.

evanmcc commented 7 years ago

There are three, it looks like, depending on the rabbithole depth you're interested in, ordered by increasing expected hairyness/depth: A historical review: http://www.pmg.csail.mit.edu/papers/vr-to-bft.pdf (lengthy but mostly prose) A journal version: http://pmg.csail.mit.edu/papers/osdi99.pdf A PhD thesis: http://pmg.csail.mit.edu/~castro/thesis.pdf

Many, many more papers and resources can be found here (start from the bottom): http://www.pmg.csail.mit.edu/bft/

evanmcc commented 7 years ago

reading the review, it looks like: http://pmg.csail.mit.edu/~castro/osdi2000.pdf is a better link than the paper linked as "A journal version" above, which supposedly does not detail the complete protocol.

evanmcc commented 7 years ago

https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/osdi2000.pdf live link to the OSDI 2000 paper with the full protocol description.

evanmcc commented 7 years ago

live link to Castro's thesis: https://www.microsoft.com/en-us/research/wp-content/uploads/2017/01/thesis-mcastro.pdf

andrewjstone commented 7 years ago

Merged into rejected folder in favor of RFC 2.