jepsen.txn — jepsen.txn 0.1.1

Manipulates transactions. Transactions are represented as a sequence of micro-operations (mops for short).

ext-reads clj

(ext-reads txn)

Given a transaction, returns a map of keys to values for its external reads: values that transaction observed which it did not write itself.

ext-writes clj

(ext-writes txn)

Given a transaction, returns the map of keys to values for its external writes: final values written by the txn.

reduce-mops clj

(reduce-mops f init-state history)

Takes a history of operations, where each operation op has a :value which is a transaction made up of [f k v] micro-ops. Runs a reduction over every micro-op, where the reduction function is of the form (f state op [f k v]). Saves you having to do endless nested reduces.