Just found a bug in jepsen.tests.long-fork which (often) allowed it to declare histories containing long-fork anomalies as valid, instead of invalid. Jepsen 0.1.14-SNAPSHOT, available on Clojars, contains a fix.https://github.com/jepsen-io/jepsen/commit/5517595082129066cfe1166718102b8e6837f431 …
Usual disclaimer applies; this isn't a proof that long-fork *can't* happen; just that this particular checker bug doesn't seem to have caused us to miss issues. There *was* an instance of long fork in the original Dgraph report, but it was actually identified by a different test!
-
-
I am constantly amazed by your thoroughness and transparency... Way to go dude!!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.