jepsen.tests.causal — jepsen 0.1.14

causal-register clj

(causal-register)

check clj

(check model)

A series of causally consistent (CC) ops are a causal order (CO). We issue a CO of 5 read (r) and write (w) operations (r w r w r) against a register (key). All operations in this CO must appear to execute in the order provided by the issuing site (process). We also look for anomalies, such as unexpected values

cw1 clj

(cw1 _ _)

cw2 clj

(cw2 _ _)

inconsistent clj

(inconsistent msg)

Represents an invalid termination of a model; e.g. that an operation could not have taken place.

inconsistent? clj

(inconsistent? model)

Is a model inconsistent?

Model clj protocol

step clj

(step model op)

r clj

(r _ _)

ri clj

(ri _ _)

test clj

(test opts)