Paxos vs. Raft: Have we reached consensus on distributed consensus?

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by jganetsk on Monday April 27, 2020 @04:29PM (#22999677)

Heidi Howard is incredible and her work on distributed consensus is illuminating. I think she has actually successfully cracked the cookie of "making consensus easy". https://www.youtube.com/watch?v=KTHOwgpMIiU

[ Parent | on HN ]

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by dnautics on Monday April 27, 2020 @11:52PM (#23003175)

That was fantastic! Do you know what happened with her ios project?

[ Parent | on HN ]

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by heidihoward on Tuesday April 28, 2020 @05:12AM (#23005146)

Whilst working on Ios, I started work on a theoretical result which became known as Flexible Paxos[1]. Unfortunately, I never had time to go back to working on Ios. Maybe someday.

[1] https://drops.dagstuhl.de/opus/volltexte/2017/7094/pdf/LIPIc...

[ Parent | on HN ]

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by dnautics on Wednesday April 29, 2020 @12:04AM (#23015222)

I'm a huge fan of your videos. Do you have a spec for ios? I'd love to give a crack at it in erlang/elixir.

[ Parent | on HN ]

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by gitgudnubs on Monday April 27, 2020 @10:32PM (#23002719)

The part I found non-obvious is how to snapshot the unbounded vectors of immutable registers, which is a requirement for any real system. But I never gave it a whole lot of thought either.

To snapshot, I either need to find an epoch such that no older epoch could ever have relevant information for the current node, or I need the nodes to agree on a snapshot. Both seem complicated.

[ Parent | on HN ]

Re:Paxos vs. Raft: Have we reached consensus on distributed ... by sudofail on Monday April 27, 2020 @09:27PM (#23002320)

This was a very good talk. Thanks for sharing!

[ Parent | on HN ]