2 ms·
But the tool that jepsen uses to check whether a schedule is serializable would still be useful for any database that supports concurrent operations.
by grogers 4y ago
But the tool that jepsen uses to check whether a schedule is serializable would still be useful for any database that supports concurrent operations.
- jrockway 4y agoI agree with that. For example, Jepsen has analyzed non-replicated PostgreSQL: https://jepsen.io/analyses/postgresql-12.3 https://jepsen.io/analyses/postgresql-12.3 There are plenty of mistakes you can make in single-process code while implementing transactions.