jepsen.tests.bank — jepsen 0.1.14

Helper functions for doing bank tests, where you simulate transfers between accounts, and verify that reads always show the same balance. The test map should have these additional options:

:accounts A collection of account identifiers. :total-amount Total amount to allocate. :max-transfer The largest transfer we'll try to execute.

by-node clj

(by-node test history)

Groups operations by node.

check-op clj

(check-op accts total negative-balances? op)

Takes a single op and returns errors in its balance

checker clj

(checker checker-opts)

Verifies that all reads must sum to (:total test), and, unless :negative-balances? is true, checks that all balances are non-negative.

diff-transfer clj

Transfers only between different accounts.

err-badness clj

(err-badness test err)

Takes a bank error and returns a number, depending on its type. Bigger numbers mean more egregious errors.

generator clj

(generator)

A mixture of reads and transfers for clients.

ok-reads clj

(ok-reads history)

Filters a history to just OK reads. Returns nil if there are none.

plotter clj

(plotter)

Renders a graph of balances over time

points clj

(points history)

Turns a history into a seqeunce of [time total-of-accounts] points.

read clj

(read _ _)

A generator of read operations.

test clj

(test)

(test opts)

A partial test; bundles together some default choices for keys and amounts with a generator and checker. Options:

:negative-balances? if true, doesn't verify that balances remain positive

transfer clj

(transfer test process)

Generator of a transfer: a random amount between two randomly selected accounts.