Young

Is tests in jepsen 0.1.* including bank, long-fork, adya, etc. valid in jepsen 0.2.*?

2

I noticed that jepsen version 2.0 introduced pure function generator. Do the previous tests been adapted for the pure generator? In other words, if I want to take the long-fork,...

Starting client failed Launching server in version 2.0.271 with clojure-lsp failed

3

It seems that I upgrade this extension by accident. I can not use clojure-lsp. The output in vscode reports : ```bash [Error - 3:53:07 PM] Starting client failed Launching server...

Elle may miss two types of transaction anomalies:

4

During my testing, I found the following two anomalies may be ignored by elle. 1. Cycle of wr-process-wr This case comes from transactional causal consistency: ``` clojure (def h [{:process...

IvorySQL和HGDB对 postgresql 版本的兼容程度

1

## Enhancement 我们团队目前在做数据库相关的研究，注意到 IvorySQL 和 HGDB 都是在 PG 开源的基础上更新的。由于后者不开源，因此想借这个 issue board 请问一下有关事务隔离级别的问题。 简单来说，我们在 HGDB 6 上发现了一个 wrikte-skew 的异常，这是否是被允许的？据我所知这个 bug 在 pg 12.4 上被修复，但是似乎在 HGDB 上还是存在的。  在 serializable 的隔离级别下运行。抽象来说，有 3...

I notice you mentioned that in your test report for [MongoDB 3.6.4](https://jepsen.io/analyses/mongodb-3-6-4) > We implemented a new kind of Jepsen test to check causal consistency, adapted from Bouajjani, Enea, Guerraoui,...

Whether it can be tested in docker-compose

7

I tried to test MongoDB by Jepsen in docker-compose which introduced in [tutorial](https://github.com/jepsen-io/jepsen/blob/master/docker/README.md) I can run etcdemo successfully. But I failed in this case > OpenJDK 64-Bit Server VM warning:...