Shared functions for performing forensic reconstruction of a nonlinearizable history's final moments.
Shared functions for performing forensic reconstruction of a nonlinearizable history's final moments.
(extend-path prefix ops)Given a path (a sequence of {:model ... :op} maps) and some operations, applies those operations to extend the path until hitting an inconsistent point.
Given a path (a sequence of {:model ... :op} maps) and some operations,
applies those operations to extend the path until hitting an inconsistent
point.(final-paths-for-config prefix final calls)Returns a set of final paths for a specific configuration, given a collection of concurrent calls.
Returns a set of final paths for a specific configuration, given a collection of concurrent calls.
(previous-ok history op)Given a history and an operation, looks backwards in the history to find the previous ok. Returns nil if there was none.
Given a history and an operation, looks backwards in the history to find the previous ok. Returns nil if there was none.
(previous-oks history op)Computes a sequence of operations up to but not including the given operation.
Computes a sequence of operations up to but not including the given operation.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |