Paxos derived
muratbuffalo.blogspot.com
Paxos derived
1–10 of 16 posts
Re: Paxos derived
#2Similarly, Max Zorn used to ask people whether they recalled what Zorn's Lemma was introduced as a lemma to. (I haven't a clue, and I doubt most of them did either.)
Re: Paxos derived
#3Blogspot? Now there's a TLD I haven't seen in years...
Re: Paxos derived
#4Murat's blog is underappreciated. One of the most approachable writers on distributed systems. Check out his full archives.
Re: Paxos derived
#5Wow, that's amazing. On the topic of fault tolerance and consensus, here's a short but well done article on it:
https://ug93tad.github.io/consensus/
And on the topic of Paxos, some recent HN discussion:
https://news.ycombinator.com/item?id=16003662 - WPaxos: a wide area network Paxos protocol
https://news.ycombinator.com/item?id=13923949 - Paxos in 25 Lines
https://news.ycombinator.com/item?id=13950493 - Gryadka is not Paxos, so it's probably wrong [RETRACTED]
Re: Paxos derived
#6Blogspot? Now there's a TLD I haven't seen in years...
And you haven't seen it as a TLD now, either.
(The TLD is “com”, which you probably see fairly often in that role.)
Re: Paxos derived
#7Are we there yet? Do we need paxos-like consensus protocols? Hardware is becoming cheaper and commoditised and with all the hype around blockchain, it looks like people are ready to pay extra for the redundant hardware needed for 100% fault tolerance.
Still, it feels to me to in almost all cases, including financial transactions, it's good enough to be right 99.999% of the time and just amortise the costs of the very rare bit flip...
Re: Paxos derived
#8I took Murat's distributed system course at UB, awesome professor and really enjoyed his lectures.
Re: Paxos derived
#9Are we there yet? Do we need paxos-like consensus protocols? Hardware is becoming cheaper and commoditised and with all the hype around blockchain, it looks like people are ready to pay extra for the redundant hardware needed for 100% fault tolerance. Still, it feels to me to in almost all cases, including financial transactions, it's good enough to be right 99.999% of the time and just amortise the costs of the very…
>Do we need paxos-like consensus protocols?
...yes.
Re: Paxos derived
#10Similarly, Max Zorn used to ask people whether they recalled what Zorn's Lemma was introduced as a lemma to. (I haven't a clue, and I doubt most of them did either.)
Page 82 of https://www.sciencedirect.com/science/article/pii/0315086078... has some information.
Zorn introduced a "maximal principle" as an axiom. It appears Tukey called a generalization of it Zorn's Lemma for unknown reasons, though there is some version of the statement that really is proved, but apparently by Chevalley (a fact Zorn knew).