http://rystsov.com/ 2016-04-16T18:30:00Z Denis Rystsov https://twitter.com/rystsov rystsov.denis@gmail.com http://rystsov.com/2020/06/27/pacified-consensus.html

A leaderless consensus protocol built in a modular way on top of known consensus protocol. Its modularity helps in understanding and retrofitting into existing solutions.

Sat, 27 Jun 2020 00:00:00 +0000 Sat, 27 Jun 2020 00:00:00 +0000 http://rystsov.com/2018/10/01/tso.html

Clock can be seen as a device to measure time or a source of monotonic increasing sequence. In this post we see it as the latter and design fault-tolerant contention-free distributed clock.

Mon, 01 Oct 2018 00:00:00 +0000 Mon, 01 Oct 2018 00:00:00 +0000 http://rystsov.com/2018/07/20/fast-jepsen.html

'Testing shared memories' paper contains a way to test linearizability in linear time, let's apply it to Jepsen.

Fri, 20 Jul 2018 00:00:00 +0000 Fri, 20 Jul 2018 00:00:00 +0000 http://rystsov.com/2017/07/16/linearizability-testing.html

It's well known in the distributed system community that linearizability testing is NP-complete; luckily in some cases, it's possible to do it in O(n ln n).

Sun, 16 Jul 2017 00:00:00 +0000 Sun, 16 Jul 2017 00:00:00 +0000 http://rystsov.com/2017/02/15/simple-consensus.html

The modern landscape of consensus protocols is dominated by Raft; despite being understandable it isn't simple and has performance penalty. The post focuses on an alternative which has better performance characteristics and is simple enough to be implemented in 500 lines of code

Wed, 15 Feb 2017 00:00:00 +0000 Wed, 15 Feb 2017 00:00:00 +0000 http://rystsov.com/2016/05/01/paxos.html

Step-by-step visualization of a Single Decree Paxos based distributed state machine

Sun, 01 May 2016 00:00:00 +0000 Sun, 01 May 2016 00:00:00 +0000 http://rystsov.com/2016/04/07/ramp.html

Step-by-step visualization of Non Blocking Read Committed distributed transactions

Thu, 07 Apr 2016 00:00:00 +0000 Thu, 07 Apr 2016 00:00:00 +0000 http://rystsov.com/2016/03/02/cross-shard-txs.html

Step-by-step visualization of cross shard transactions

Wed, 02 Mar 2016 00:00:00 +0000 Wed, 02 Mar 2016 00:00:00 +0000 http://rystsov.com/2016/01/05/raft-paxos.html

Adapting the Raft's joint consensus membership change algorithm to work with Single Decree Paxos

Tue, 05 Jan 2016 00:00:00 +0000 Tue, 05 Jan 2016 00:00:00 +0000 http://rystsov.com/2015/12/30/read-write-quorums.html

About read write quorums in plain Paxos

Wed, 30 Dec 2015 00:00:00 +0000 Wed, 30 Dec 2015 00:00:00 +0000 http://rystsov.com/2015/09/16/how-paxos-works.html

A memo on how Paxos works

Wed, 16 Sep 2015 00:00:00 +0000 Wed, 16 Sep 2015 00:00:00 +0000 http://rystsov.com/2015/08/26/sharded-paxos.html

How to run an instance of paxos variable per key to build a key value storage and how to shard it on the fly without loosing consistency

Wed, 26 Aug 2015 00:00:00 +0000 Wed, 26 Aug 2015 00:00:00 +0000 http://rystsov.com/2015/08/24/dpp-variable.html

Updates distributed variable to work in the dynamic environment

Mon, 24 Aug 2015 00:00:00 +0000 Mon, 24 Aug 2015 00:00:00 +0000 http://rystsov.com/2015/08/23/paxos-variable.html

How to update the write-once distribted switch into a distributed variable with a compare-and-set (CAS) concurrency control mechanism

Sun, 23 Aug 2015 00:00:00 +0000 Sun, 23 Aug 2015 00:00:00 +0000 http://rystsov.com/2015/08/22/paxos-register.html

Design of the write-once distributed switch

Sat, 22 Aug 2015 00:00:00 +0000 Sat, 22 Aug 2015 00:00:00 +0000 http://rystsov.com/2015/07/19/dynamic-plain-paxos.html

Dynamic Plain Paxos is an extension and a drop-in replacement for the classic Paxos algorithm that allows to change the membership during the reaching of consensus

Sun, 19 Jul 2015 00:00:00 +0000 Sun, 19 Jul 2015 00:00:00 +0000 http://rystsov.com/2012/09/01/cas.html

How to do multi-key optimistic transactions if the storage supports only per-key CAS

Sat, 01 Sep 2012 00:00:00 +0000 Sat, 01 Sep 2012 00:00:00 +0000 http://rystsov.com/2009/05/01/uniquation.html

A math search engine

Fri, 01 May 2009 00:00:00 +0000 Fri, 01 May 2009 00:00:00 +0000