jepsen.tests.causal

causal-register

(causal-register)

check

(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

(cw1 _ _)

cw2

(cw2 _ _)

inconsistent

(inconsistent msg)

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

inconsistent?

(inconsistent? model)

Is a model inconsistent?

Model

protocol

members

step

(step model op)

r

(r _ _)

ri

(ri _ _)

test

(test opts)