Kyle Kingsbury

Without knowing the caller it's tough for me to say!On Dec 16, 2022 16:40, Dmitry Sherstobitov ***@***.***> wrote: @aphyr why does checker/linearizable works then, shouldn't it use same input objects?...

I mean the code that's calling timeline/html's checker--it's not in the stacktrace you posted because we run those evaluations concurrently. This helps! I think it's a bug in independent/checker. I'm...

Ah, I apologize, I don't really know anything about kubernetes.On Mar 11, 2024 02:01, Sivakajan Sivaparan ***@***.***> wrote: cc: @aphyr —Reply to this email directly, view it on GitHub, or...

Yes--response times are graphed in `latency-raw.png`, and you'll also see overlays when the nemesis was active.

Entirely possible this is wrong--just going through the namespace again, this looks like it may have been a work-in-progress I was sketching out but never finished.

I have no plans to revisit that particular code right now.On Nov 16, 2022 01:55, Dong ***@***.***> wrote: ok, thanks for your reply! But is this ledger case will be...

This is likely due to an older JDK--anything after Java 21 should work. :-)

I'll betcha this is caused by missing :process fields--might need an explicit warning about that in jepsen.history

I'm afraid I haven't worked at all on causal or PL-2L yet--nobody's actually asked me to check those properties yet. There's a few definitions in consistency-models.clj, but that's just as...