Provides a persistent log type construct. Not to be used for high-reliability systems at this point.

An example for using the framework can be found in the package org.dancres.paxos.test.rest.

Backend.java implements a basic key/value store accessed via a RESTful API. It uses most features of the framework including clustering, checkpointing and recovery.

Detailed notes for the implementation of a service that uses the framework can be found in the javadoc for org.dancres.paxos.Paxos

Note: Not to be used for high-reliability systems until the LongTerm (see 'LongTerm.java') failure-simulation test is fully implemented and has run successfully across a substantial set of sequences.

To run the long-term test:

mvn clean compile mvn -Dmdep.outputFile=cp.txt dependency:build-classpath java -classpath $(cat cp.txt):target/classes:target/test-classes -Djava.util.logging.config.file=target/test-classes/logging.properties org.dancres.paxos.test.longterm.Main --calibrate --memory --cycles=100000

or:

java -classpath $(cat cp.txt):target/classes:target/test-classes -Djava.util.logging.config.file=target/test-classes/logging.properties org.dancres.paxos.test.longterm.Main --memory --cycles=200 --allowformation > log.long 2>&1

If you're on a Mac and running without a network connection, you may need to add a multicast route:

sudo route add -net 224.0.0.1/32 -interface lo0