Skip to content
This repository has been archived by the owner on Feb 10, 2023. It is now read-only.
/ go-jepsen Public archive

go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...

License

Notifications You must be signed in to change notification settings

xelabs/go-jepsen

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Build Status Go Report Card codecov.io

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

About

go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published