CASPaxos: Replicated State Machines without logs · HackerPapers discussions

CASPaxos: Replicated State Machines without logs — mentioned by grogers

Fri, 07 Jan 2022 03:01:10 GMT

In case anyone wants to read more about the RMW variant, this is called CASPaxos: https://arxiv.org/abs/1802.07000 I first learned about this as a project called gryadka and I had trouble believing that extending Paxos from consensus (write once) to a full linearizable register worked until model checking a TLA+ spec for it that I wrote.

Paper and discussion history. A mention is not an endorsement.

CASPaxos: Replicated State Machines without logs — mentioned by siliconc0w

Sat, 25 Jan 2020 04:50:09 GMT

Anyone have a link to the actual whitepaper? The one in the OP 404s. Edit: it's https://arxiv.org/pdf/1802.07000.pdf

Paper and discussion history. A mention is not an endorsement.

CASPaxos: Replicated State Machines without logs — mentioned by hardwaresofton

Thu, 08 Nov 2018 06:33:03 GMT

This is something I've noticed recently -- more and more researchers are starting to write reference implementation code for networking and distributed systems in Golang. In my own head, it makes sense -- golang is simple to read if not verbose, doesn't require crazy formatting, has excellent standard library support, and has relatively painless concurrency, and can be run as a scripting language. No it's not as easy to get started with as Python, Ruby or Perl, but only one of those has easy-to-spawn native threads, nevermind lightweight coroutines (and the one with native threads encourages…

Paper and discussion history. A mention is not an endorsement.

CASPaxos: Replicated State Machines without logs — HN submission

Fri, 23 Feb 2018 11:19:12 GMT

CASPaxos: Lightweight Replicated State Machines

7 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

CASPaxos: Replicated State Machines without logs — HN submission

Wed, 21 Feb 2018 17:28:04 GMT

CASPaxos: Replicated State Machines Without Logs

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.