go-jepsen
go-jepsen is a toolset for distributed systems verification(MySQL protocol only), now supports:
- Snapshot Isolation Verification (SIV)
Build
$git clone https://github.com/xelabs/go-jepsen
$cd go-jepsen
$make build
$./bin/jepsen -h
Usage
$ ./bin/jepsen -h
A tool for distributed systems verification
Usage:
jepsen [command]
Available Commands:
prepare prepare jepsen tables and datas
cleanup cleanup jepsen tables and datas
snapshot Snapshot Isolation Verification (SIV)
Flags:
--max-request uint limit for total requests, including write and read(Default 0, means no limits)
--max-time int limit for total execution time in seconds(Default 3600) (default 3600)
--mysql-host string MySQL server host(Default NULL)
--mysql-password string MySQL password(Default jepsen) (default "jepsen")
--mysql-port int MySQL server port(Default 3306) (default 3306)
--mysql-table-engine string storage engine to use for the jepsen table {tokudb,innodb,...}(Default innodb) (default "innodb")
--mysql-user string MySQL user(Default jepsen) (default "jepsen")
--table-size int The total number of the jepsen table(Default 10000) (default 10000)
Examples
Prepare
./bin/jepsen --mysql-host=192.168.0.3 --mysql-user=jepsen --mysql-password=jepsen prepare
prepare.create.the.table.jepsen_si(engine=innodb) ...
prepare.the.datas[10000].for.table.jepsen_si...
Cleanup
./bin/jepsen --mysql-host=192.168.0.3 --mysql-user=jepsen --mysql-password=jepsen cleanup
Snapshot Isolation Verification
./bin/jepsen --mysql-host=192.168.0.3 --mysql-user=jepsen --mysql-password=jepsen --max-time=60 snapshot
... ...
time thds w-ops r-ops error(s) total-ops
[57s] [r:16,u:1] 20000 1010000 0 59640000
time thds w-ops r-ops error(s) total-ops
[58s] [r:16,u:1] 30000 1130000 0 60800000
time thds w-ops r-ops error(s) total-ops
[59s] [r:16,u:1] 30000 1140000 0 61970000
time thds w-ops r-ops error(s) total-ops
[60s] [r:16,u:1] 30000 890000 0 62890000
the columns:
time: verification uptime
thds: read threads and update threads, here we use 16-threads for table scan and 1-thread for updating the whole table
w-ops: the number of rows affected by an UPDATE query
r-ops: the number of rows affected by an SELECT query
errors: the number of verification failed
total-ops: the total number of verification
Notes:
If the column of error(s) is not zero, the distributed systems does not satisfy its claims of Snapshot Isolation, reads are inconsistent.
To find out more about Snapshot Isolation, please visit [Jepsen: MariaDB Galera Cluster](https://aphyr.com/posts/327-jepsen-mariadb-galera-cluster)
License
go-jepsen is released under the GPLv3. See LICENSE