Hi, Ryu users, We are glad to announce the new release (v0.1) of Earthquake, a Ryu-based framework of implementation level distributed system model checkers. http://osrg.github.io/earthquake/
Earthquakes permutes C/Java function calls, Ethernet packets, and injected fault events in various orders so as to find implementation-level bugs of distributed systems. In Earthquake v0.1, we added support for permutation of Ethernet packets using Ryu and Open vSwitch. We have successfully found an unknown distributed race condition bug (ZOOKEEPER-2212) of Apache ZooKeeper using Earthquake. You can easily try Earthquake to reproduce the bug with the Docker image osrg/earthquake-zookeeper-2212. https://registry.hub.docker.com/u/osrg/earthquake-zookeeper-2212/ host$ sudo modprobe openvswitch host$ docker run --privileged -t -i --rm osrg/earthquake-zookeeper-2212 guest$ ./000-prepare.sh [INFO] Starting Earthquake Ethernet Switch [INFO] Starting Earthquake Orchestrator [INFO] Starting Earthquake Ethernet Inspector [IMPORTANT] Please kill the processes (switch=1234, orchestrator=1235, and inspector=1236) after you finished all of the experiments [IMPORTANT] Please continue to 100-run-experiment.sh.. guest$ ./100-run-experiment.sh [IMPORTANT] THE BUG WAS REPRODUCED! guest$ kill -9 1234 1235 1236 We welcome your pull requests and issues on github. Feel free to join us: https://github.com/osrg/earthquake/ (Note) We also built a Docker image osrg/dind-ovs-ryu, which is the base image for osrg/earthquake-zookeeper-2212: https://registry.hub.docker.com/u/osrg/dind-ovs-ryu/ This container helps you connect Docker-in-Docker to Open vSwitch (-in-Docker) with Ryu via pipework. It might be useful when you want a single-container environment for testing or demonstration of your Ryu apps. Regards, Akihiro Suda ------------------------------------------------------------------------------ _______________________________________________ Ryu-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/ryu-devel
