Public | Automated Build

Last pushed: 2 years ago
Short Description
Earthquake Demo for
Full Description

Earthquake Demo for ZOOKEEPER-2212 (distributed race condition related to QV version)

Earthquake is a dynamic model checker (DMCK) for real implementations of distributed system (such as ZooKeeper).

Earthquakes permutes C/Java function calls, Ethernet packets, and injected fault events in various orders so as to find implementation-level bugs of the distributed system.

We have successfully found a distributed race condition bug (ZOOKEEPER-2212) of ZooKeeper using Earthquake.
This container can reproduce the bug we found.

For further information, please refer to


Available on Docker Hub: osrg/earthquake-zookeeper-2212

host$ sudo modprobe openvswitch
host$ docker run --privileged -t -i --rm osrg/earthquake-zookeeper-2212
guest$ ./
[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
guest$ ./
guest$ kill -9 1234 1235 1236

Environment Variables

  • DISABLE_EQ: disable Earthquake
Docker Pull Command
Source Repository