A simple Multi-Paxos protocol over HTTP, using python3 asyncio/aiohttp. This is just a proof of concept implementation, for my study of distributed systems, and also for me to not forget about asyncio.

Configuration

A paxos.yaml config file is needed for the nodes to run. A sample is as follows:

nodes:
    - host: localhost
      port: 30000
    - host: localhost
      port: 30001
    - host: localhost
      port: 30002
    - host: localhost
      port: 30003
    - host: localhost
      port: 30004
    - host: localhost
      port: 30005

loss%: 0

skip: 10

heartbeat:
    ttl: 20
    interval: 10

election_slice: 10

sync_interval: 10

misc:
    network_timeout: 10

Run the nodes

for i in {0..5}; do ./node.py -i $i &; done

Send request to any one of the nodes

e.g. curl -vLX POST --data '{ "id": [0,0], "data": "helloworld"}' http://localhost:30000/request The id here is a tuple of (client_id, seq_id), data is whatever data in string format.

Run the clients

for i in {0...3}; do python client.py -id $i -nm 15 &; done

Check the consistency

for i in .*.dump; do hash $i; done