Is This Consensus?

The specification for consensus is every bit follows. The kickoff 2 are security properties, the finally i a liveness property. …

Linearizable Quorum Reads Inwards Paxos

While in that place has been a lot of piece of work on Paxos protocols , in that place has non been whatever written report that …

Newspaper Review. A Generalized Solution To Distributed Consensus

This newspaper (by Heidi Howard as well as Richard Mortier) proposes a framework for consensus that uses immutable set down to s…

Paper Review. Asynchronous Consensus Without Rounds

This newspaper past times Robbert van Renesse appeared on Arxiv  two weeks ago. (Update: Huh, I missed this earlier, exactly the …

Modeling An Atomic Version Of Texel: An Asynchronous Consensus Algorithm Without Rounds

I had written nigh my preliminary impressions nigh Texel , an asynchronous consensus algorithm without rounds. Over the in conc…

Modeling A Read-Write Version Of Texel: An Asynchronous Consensus Algorithm Without Rounds

In the previous post service I gave a model of atomic Texel , where a node tin atomically read all other nodes' determination…

Avalanche Is A Descendent Of Texel

When I get-go skimmed Avalanche , as well as noted those inwards the 3rd paragraph of my review . But I had missed the footnote i…

Teaching Paxi

Paxos household unit of measurement of protocols (which I refer to equally Paxi) is immensely useful for edifice distributed sys…