jepsen-io / knossos

Verifies the linearizability of experimentally accessible histories.

jepsen-io/knossos Issues

Unhelpful error message when trying to render failed portion of a history
Updated 4 years ago5
Is there a compatible OpenJDK version to play with knossos?
Closed 4 years ago2
Is it possible to test distrubuted file systems like HDFS using the existed models?
Updated 5 years ago1
Process already running and :info messages.
Closed 5 years ago1
Assertion errors from Java
Updated 5 years ago10
Visualization fails on latest master with README example
Updated 6 years ago4
Question about checking linearizability of a history with a custom model
Closed 6 years ago10
knossos.competition checker is blocked by linear/start-analysis
Updated 6 years ago6
Linearizability algorithms
Closed 7 years ago16
Is this an non linearizable result?
Closed 7 years ago4
java.lang.AssertionError: Assert failed: i
Updated 7 years ago6
More documentation about getting started?
Closed 7 years ago8
Should process ids be 64 bits long?
Updated 7 years ago1
linearizability checker incorrectly validates non-linear history
Closed 8 years ago20
Knossos seems to fail linearizable results
Closed 8 years ago1
README still mentions missing Redis example
Closed 8 years ago1
Feature Discussion: Propagating more information forward than :ok and :fail allow
Closed 8 years ago4
Handling of failed CAS and timeouts
Closed 10 years ago3
partial order reduction as an optimization?
Closed 10 years ago4