Liking cljdoc? Tell your friends :D
jepsen.tests.causal
causal-registerclj
(causal-register)checkclj
(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
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
cw1clj
(cw1 _ _)cw2clj
(cw2 _ _)inconsistentclj
(inconsistent msg)Represents an invalid termination of a model; e.g. that an operation could not have taken place.
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?
Is a model inconsistent?
Modelcljprotocol
stepclj
(step model op)rclj
(r _ _)riclj
(ri _ _)testclj
(test opts)cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close