Skip to content

ed-w-lee/cs244b-testing

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

57 Commits
 
 
 
 
 
 

Repository files navigation

cs244b-testing

(Ideally deterministic) testing framework for distributed systems

  • probably only on Linux x86_64

Testing Raft Implementation

  1. Go to experiments/event-processing-test/.
  2. Build orchestrator with make.
  3. Deploy 1000 experiments in 200 separate orchestrators using the visited heuristic:
./deploy/deploy_orch.py --yaml ./deploy/tcp_mvp.yaml -t 1000 -p 200 -s 0 --mode visited
  1. If there are any bugs, replay the failed seed {failed_seed} while outputting stderr using
./deploy/deploy_orch.py --yaml ./deploy/tcp_mvp.yaml --mode replay --input-file /tmp/replay_orch_{failed_seed} --enable-stderr 
  1. Logs for nodes should exist at /tmp/filter_{addr} and clients at /tmp/client_{idx}. Logs for the orchestrator itself should exist at /tmp/trace_NONE.

Note: You may need to rebuild the Raft implementation, which you can do by first installing Rust, cloning this repository and running

cargo build --example tcp_mvp

About

(Ideally deterministic) general testing framework for distributed systems

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published