libpaxos-cpp 0.6.1

Leon Mergen

Distributed under the 3-Clause BSD License. (See accompanying file COPYING or copy at http://opensource.org/licenses/BSD-3-Clause)

Table of Contents

Getting started
Tutorial
Eventual consistency
Reference
Revision history

Introduction

libpaxos-cpp is a C++ implementation of the Paxos distributed consensus protocol, and is distributed under the 3-clause BSD license. It aims to provide the simplest interface possible and hides much of the "gnarly stuff". As such, it currently provides the following functionality:

Completely asynchronous, based on Boost.Asio;
Automated leader election, based on Chang and Roberts' algorithm;
Eventual consistency: a temporarely disconnected node is automatically recovered using a catch-up algorithm;
Durable storage backend for the eventual consistency based on SQLite;
Uses modern C++11 standards
All guarantees that the Paxos protocol provides are provided by this library.

Of course, there are a few limitations and assumptions:

The network is secure: everyone that is able to communicate with the libpaxos-cpp processes are trusted;
There are no weird routing issues inside the quorum;
At the moment, it only implements the Basic Paxos protocol, Multi Paxos is scheduled for a future release.

Support

There is a Google Groups mailinglist for libpaxos-cpp to which you can subscribe and ask your questions:

http://groups.google.com/group/libpaxos-cpp