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.
You need java >= 11 and Maven >= 3. Run:
mvn package -Passembly
to produce assembly jar at ./target
.
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.