25 skills found
basho / Riak EnsembleMulti-Paxos framework in Erlang
luohaha / MyPaxosMy multi-paxos service implement :-)
cocagne / Multi Paxos ExampleExample multi-paxos application for those learning Paxos & multi-paxos
Azure / RSLReplicated State Library. RSL is the Azure Paxos implementation which is used by multiple products in Azure and Bing. It provides the traditional Paxos functionality in a real world implementation. RSL includes support for dynamic replica set reconfiguration, including dynamic growth/srinking of the cluster, and also service-healing (replica replacement). RSL automates the durability of the state (by means of both durable journal files, and periodic snapshots). RSL allows multi-rings per process, allowing a single process to be part of multiple rings at the same time. RSL is implemented in C/C++ and provides a C# wrapper that naturally integrates with C# applications. RSL is widely used in Azure for a large number of infrastructure components, ranging from Azure Fabric Controller, to Azure Storage.
trex-paxos / TrexEmbeddable multi-Paxos For The JVM
bigeasy / PaxosA Multi-Paxos implementation in pure JavaScript.
zzy590 / ZpaxosC++ header only multi-paxos library.
ReubenBond / Fast CaspaxosFast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit
enhancedformysql / BlogsExtract some insightful technical points from the book.
hiranya911 / MdccAn implementation of the MDCC (Multi-Data Center Commit) Protocol featuring Fast Paxos.
openacid / Mmp3multi-master-paxos with 3 nodes
seancribbs / PaxosMulti-Paxos for Erlang, based on "Paxos Made Moderately Complex" [PROTOTYPE]
nano-o / MultiPaxosMultiPaxos and Disk Paxos in TLA+ and PlusCal
donnie4w / RaftxRaftX: An Extended Implementation of the Raft Consensus Protocol
certichain / Network TransformationsA Framework for building Distributed Consensus Protocols
timgestson / Expaxosmulti paxos algorithm with master leases in elixir
pacheco / GlobalFSStrongly consistent, geo-distributed filesystem on top of Multi-Ring Paxos
dywsjtu / Multi PaxosImplementation of multi-paxos and paxos in go language
jkcso / Multi PaxosAn experimental approach to the iconic and fault-taulerant distributed algorithm "Paxos", as described in the scientific paper "Paxos Made Moderately Complex" included in this repo under the name MultiPaxos.pdf.
nbro / Multi PaxosAn implementation of Atomic Broadcast using Multi-Paxos.
