Hacker News
- Elle: A transactional consistency checker for black-box databases https://github.com/jepsen-io/elle 8 comments
Linking pages
- Jepsen: MongoDB 4.2.6 http://jepsen.io/analyses/mongodb-4.2.6 404 comments
- Jepsen: PostgreSQL 12.3 http://jepsen.io/analyses/postgresql-12.3 168 comments
- Jepsen: MySQL 8.0.34 https://jepsen.io/analyses/mysql-8.0.34 156 comments
- Jepsen: Datomic Pro 1.0.7075 https://jepsen.io/analyses/datomic-pro-1.0.7075 115 comments
- Jepsen: RavenDB 6.0.2 https://jepsen.io/analyses/ravendb-6.0.2 94 comments
- Jepsen: Radix DLT 1.0-beta.35.1 https://jepsen.io/analyses/radix-dlt-1.0-beta.35.1 76 comments
- Jepsen: Redpanda 21.10.1 https://jepsen.io/analyses/redpanda-21.10.1 67 comments
- Jepsen: Dgraph 1.1.1 https://jepsen.io/analyses/dgraph-1.1.1 64 comments
- Database Isolation Is Broken and You Should Care https://materializedview.io/p/database-isolation-is-broken-you-should-care 52 comments
- Jepsen: Redis-Raft 1b3fbf6 https://jepsen.io/analyses/redis-raft-1b3fbf6 45 comments
- Jepsen: Scylla 4.2-rc3 https://jepsen.io/analyses/scylla-4.2-rc3 37 comments
- GitHub - jepsen-io/maelstrom: A workbench for writing toy implementations of distributed systems. https://github.com/jepsen-io/maelstrom 23 comments
- Elle: inferring isolation anomalies from experimental observations | the morning paper https://blog.acolyer.org/2020/11/23/elle/ 2 comments
- Who’s afraid of serializability? – Surfing Complexity https://surfingcomplexity.blog/2020/06/13/whos-afraid-of-serializability/ 0 comments
- Building an Automated Testing Framework Based on Chaos Mesh and Argo | Chaos Mesh https://chaos-mesh.org/blog/building_automated_testing_framework 0 comments
- GitHub - ligurio/elle-cli: command-line frontend to transactional consistency checkers for black-box databases https://github.com/ligurio/elle-cli 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
Linked pages
- Distributed Systems Safety Research http://jepsen.io/ 60 comments
- Jepsen: YugaByte DB 1.1.9 https://jepsen.io/analyses/yugabyte-db-1.1.9 43 comments
- Jepsen: TiDB 2.1.7 https://jepsen.io/analyses/tidb-2.1.7 40 comments
- Jepsen: YugaByte DB 1.3.1 https://jepsen.io/analyses/yugabyte-db-1.3.1 38 comments
- https://github.com/jepsen-io/elle/raw/master/paper/elle.pdf 0 comments
- GitHub - ligurio/elle-cli: command-line frontend to transactional consistency checkers for black-box databases https://github.com/ligurio/elle-cli 0 comments
- Isabelle https://isabelle.in.tum.de/ 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - jepsen-io/elle: Black-box transactional safety checker based on cycle detection
See how to search.