libpaxos ErlangPaxos

libpaxos is a C library to create an open source implementation of the paxos algorithm that can be easily used from any application.

At the moment the project consists of:

· A C library (libpaxos) that can be linked from any C/C++ application. The library provides a minimal interface consisting of two calls: one to propose a new values to be distributed, the other one to learn values chosen so far. This implementation delivers messages via UDP multicast.
· An Erlang "simulator" (ErlangPaxos) which allows to experiment with a number of parameters and small protocol variations.

Product's homepage