paxos

An implementation of the Paxos ‘synod’ consensus algorithm based on the ‘Paxos made simple’ paper.
This solves a simple consensus problem of selecting an alphabet between ‘a’ and ‘z’ and attempts to verify the correctness of our implementation based on observed results

http://en.wikipedia.org/wiki/Paxos_(computer_science)

http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf

List of files submitted:

Report_Paxos.pdf : Summary Report

SourceCode : Source code directory

SampleOutput : Directory containing output logs

What is this Project about?

See the Report pdf for details

How to run this program?

Compile the Java code and run the .jar