jepsen-io knossos issues

jepsen-io / knossos

Verifies the linearizability of experimentally accessible histories.

395 stars 31 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Unhelpful error message when trying to render failed portion of a history

#36 mpalmer opened 4 years ago
5
Is there a compatible OpenJDK version to play with knossos?

#35 danhaog closed 4 years ago
2
Add java.lang.Iterable instance for wgl/Op.

#34 stevana closed 4 years ago
4
Add test case showing wgl analysis throws AbstractMethodError.

#33 stevana closed 4 years ago
10
Is it possible to test distrubuted file systems like HDFS using the existed models?

#32 hexiecs opened 4 years ago
1
Process already running and :info messages.

#31 insumity closed 4 years ago
1
project: swap to [metametadata/multiset 0.1.1] which has the NPE fix

#30 acogoluegnes closed 5 years ago
3
analyzers: add :time-limit feature in opts map for linear, wgl, and competition

#29 mkcp closed 5 years ago
0
Assertion errors from Java

#27 itamararjuan opened 5 years ago
10
Question about checking linearizability of a history with a custom model

#26 metanet closed 5 years ago
10
knossos.competition checker is blocked by linear/start-analysis

#25 ttyusupov opened 6 years ago
6
Begh checker

#24 mkcp closed 6 years ago
1
Visualization fails on latest master with README example

#23 andrewjstone opened 6 years ago
4
migrate the rest of jepsen's models

#22 mkcp closed 6 years ago
0
analysis not falsey (truey???) may not mean valid analysis

#21 mkcp closed 6 years ago
1
adjust wgl-test and linear-test to support ensure-indexed behavior

#20 mkcp closed 6 years ago
1
Support histories with external indices and use to link linear.svg to timeline.html

#19 mkcp closed 6 years ago
2
Fix tests and add coverage

#18 mkcp closed 6 years ago
0
improve error handling for models that fail on the first op

#17 mkcp closed 6 years ago
0
Is this an non linearizable result?

#16 gaodq closed 6 years ago
4
Should process ids be 64 bits long?

#15 mstewartgallus opened 7 years ago
1
More documentation about getting started?

#14 mstewartgallus closed 7 years ago
8
Knossos seems to fail linearizable results

#13 gator1 closed 7 years ago
1
README still mentions missing Redis example

#11 Blaisorblade closed 7 years ago
1
linearizability checker incorrectly validates non-linear history

#10 johanatan closed 7 years ago
21
Add Tufte profiling instrumentation

#9 johanatan closed 7 years ago
7
java.lang.AssertionError: Assert failed: i

#8 balopat opened 8 years ago
6
Feature Discussion: Propagating more information forward than :ok and :fail allow

#7 jkni closed 7 years ago
4
Linearizability algorithms

#6 ahorn closed 6 years ago
16
Handling of failed CAS and timeouts

#5 ahorn closed 9 years ago
3
partial order reduction as an optimization?

#4 colin-scott closed 9 years ago
4
fix compilation issues

#3 abailly closed 10 years ago
1
add update util

#2 maxcountryman closed 10 years ago
1
simplify knossos.redis/log with update-in

#1 maxcountryman closed 10 years ago
4