From fa63aa1fde4b9ed81b8cd646f6a008e18db3467e Mon Sep 17 00:00:00 2001 From: Akihiro Suda Date: Thu, 20 Aug 2015 11:21:43 +0900 Subject: [PATCH] Release v0.1.1 * rewrite orchestrator in golang * netfilter-based inspector * MongoDB event history storage --- README.md | 7 ++++--- inspector/java/base/pom.xml | 2 +- libearthquake/main.go | 2 +- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 89787dc..fab8070 100644 --- a/README.md +++ b/README.md @@ -8,16 +8,17 @@ Earthquake is a dynamic model checker (DMCK) for real implementations of distrib [http://osrg.github.io/earthquake/](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 the distributed system. -When Earthquake finds a bug, Earthquake automatically records [the event history](example/zk-found-bug.ryu_pyeq/example-output/3.REPRODUCED/json) and helps you to analyze which permutation of events triggers the bug. +When Earthquake finds a bug, Earthquake automatically records [the event history](example/zk-found-2212.ryu) and helps you to analyze which permutation of events triggers the bug. Basically, Earthquake permutes events in a random order, but you can write your [own state exploration policy](doc/arch.md) (in Go or Python) for finding deep bugs efficiently. ## News -We have successfully found a distributed race condition bug of ZooKeeper using Earthquake. + * Earthquake will be presented at the poster session of [ACM Symposium on Cloud Computing (SoCC)](http://acmsocc.github.io/2015/). (August 27-29, 2015, Hawaii) + * We have successfully found a distributed race condition bug of ZooKeeper using Earthquake. Please refer to [example/zk-found-2212.ryu](example/zk-found-2212.ryu) for further information. ## Quick Start -NOTE: [v0.1](https://github.com/osrg/earthquake/releases/tag/v0.1) might be stabler than the master branch. +NOTE: [v0.1.1](https://github.com/osrg/earthquake/releases/tag/v0.1.1) might be stabler than the master branch. * How to set up the environment: [doc/how-to-setup-env.md](doc/how-to-setup-env.md) * Example: Finding a distributed race condition bug of ZooKeeper([ZOOKEEPER-2212](https://issues.apache.org/jira/browse/ZOOKEEPER-2212)): [example/zk-found-2212.ryu](example/zk-found-2212.ryu) diff --git a/inspector/java/base/pom.xml b/inspector/java/base/pom.xml index 466fb10..dd78b7a 100644 --- a/inspector/java/base/pom.xml +++ b/inspector/java/base/pom.xml @@ -4,7 +4,7 @@ net.osrg earthquake - 0.0.1 + 0.1.1 jar Earthquake Inspector (Java) diff --git a/libearthquake/main.go b/libearthquake/main.go index d0720e1..9733972 100644 --- a/libearthquake/main.go +++ b/libearthquake/main.go @@ -23,7 +23,7 @@ import ( ) func main() { - c := cli.NewCLI("earthquake", "0.0.0") + c := cli.NewCLI("earthquake", "0.1.1") c.Args = os.Args[1:] c.Commands = map[string]cli.CommandFactory{ "tools": toolsCommandFactory,