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