knossos

knossos copied to clipboard

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

5

Hi, I'm using Knossos to verify linearizability on a history generated by a distributed system that is, for now, modelling a register. The checker is reporting that the history is...

mpalmer

Is it possible to test distrubuted file systems like HDFS using the existed models?

1

Well, I want to test the linearizability of my own distributed file system, which is similar to HDFS. And I have seen there are some useful models already such as...

hexiecs

Assertion errors from Java

10

Hi @aphyr - Thank you for the amazing framework you've supplied us with to test out our databases I have a working repo with Jepsen testing out our Blockchain Go...

itamararjuan

Visualization fails on latest master with README example

4

I get the following when trying to run the example in the README. I'm on Ubuntu 17.10 with oracle jdk 9. I also tried on OSX previously and got the...

andrewjstone

knossos.competition checker is blocked by linear/start-analysis

6

As I understand the idea of `knossos.competition` checker is to run `linear` and `wgl` checkers in parallel. But actually `linear/start-analysis` is blocking calling thread on `knossos.model.memo/memo` function call, which seems...

ttyusupov

java.lang.AssertionError: Assert failed: i

6

Hi, Every now and then, the execution of knossos after jepsen tests throws the exception below. I copied the history as well. Am I doing something stupid? Thanks, Balint I'm...

balopat

Should process ids be 64 bits long?

1

I use the `pthread_self` function for the `:process` id for events. However, these pointers are 64 bits long and so don't fit for some of the uses Clojure does. I...

mstewartgallus