make compile - compile make clean - remove compiled code
make run - run in single node make run SERVERS=n CLIENTS=m CONFIG=p - run with different numbers of servers, clients and - version of configuration file, arguments are optional
make up - make gen, then run in a docker network make up SERVERS= CLIENTS= CONFIG=
make gen - generate docker-compose.yml file make down - bring down docker network make kill - use instead of make down or if make down fails make show - list docker containers and networks
make ssh_up - run on real hosts via ssh (omitted) make ssh_down - kill nodes on real network (omitted) make ssh_show - show running nodes on real network (omitted)
---- CONFIG VARIABLES ---- In configuration.ex extra config variables added are: leader_sleep - boolean control for 'random wait' livelock prevention algorithm
livelock_prevention - boolean control for 'leader wait' livelock prevention algorithm
rand_sleep_max - max time to sleep when avoiding livelocks by random sleeps (in milliseconds)
leader_resp_wait_time - time leader waits for a leader_resp response (in milliseconds)