Skip to content

Latest commit

 

History

History
19 lines (13 loc) · 783 Bytes

File metadata and controls

19 lines (13 loc) · 783 Bytes

It's Paxos-simple simulator, the stakeholders here: acceptors and proposers. The simulator generates n proposers and m acceptors and asks each proposer to propose different values.

How to build

You need java >= 11 and Maven >= 3. Run:

mvn package -Passembly

to produce assembly jar at ./target.

How to run

Run it with java -jar ./target/spaxos-with-dependencies.jar <pathToConfigFile>, where ConfigFile is yaml representation of Config.java If you run it without an argument java -jar ./target/spaxos-with-dependencies.jar default_cfg.yml will be used.

It'll print transactions' logs and result table of values of Resource Managers' state machines.