jepsen-io/elle
View on GitHub ↗ ★ 713 Clojure
Black-box transactional safety checker based on cycle detection
12 mentions on Hacker News by 9 people: 5 stories, 7 comments · first 2020-03-26 · latest 2025-08-07
20082026
-
It does indeed! This is a part of https://github.com/jepsen-io/elle , which infers totally-connected components of the transaction dependency graph. :-)
comment by aphyr · 2025-08-07 · in Jepsen: Capela dda5892 -
…which is part of the Jepsen project but can be used independent of Jepsen, and now I'm happy. https://github.com/jepsen-io/elle I'm writing a DB storage engine, and was despairing about how I was going to test Tx consistency for…
comment by cmrdporcupine · 2023-12-22 · in Database Isolation Is Broken and You Should Care -
…It does a lot in primitives, using packed structures and bitmasks to avoid pointer chasing. https://github.com/jepsen-io/elle/blob/main/src/elle/BFSPath... There was actually a Clojure version of this earlier that got pretty close…
comment by aphyr · 2023-12-06 · in Why is Jepsen written in Clojure? -
also, https://github.com/jepsen-io/elle
comment by earleybird · 2021-08-09 · in Elle: A transactional consistency checker for black-box databases -
▲ 82
Elle: A transactional consistency checker for black-box databasesstory by wowi42 · 2021-08-09 · 8 comments
-
▲ 1
Elle: Inferring Isolation Anomalies from Experimental Observations [pdf]story by karsinkk · 2020-06-23 · 0 comments
-
…reading the source is actually kind of fun. Not what you'd expect for a project like this. [1]: https://github.com/jepsen-io/elle/blob/master/src/elle/txn.c...
comment by camgunz · 2020-06-12 · in Jepsen: PostgreSQL 12.3 -
▲ 2
Elle – Transactional consistency checker for black-box databasesstory by capableweb · 2020-05-16 · 0 comments
-
…Like, I burned hours one one lemma because it hinged on showing \forall x :: Nat, x \in N. https://github.com/jepsen-io/elle/tree/master/proof If you'd like to work on this, my email is aphyr@jepsen.io!
comment by aphyr · 2020-03-26 · in Elle: Inferring Isolation Anomalies from Experimental Observations -
Github code : https://github.com/jepsen-io/elle
comment by blopeur · 2020-03-26 · in Elle: Inferring Isolation Anomalies from Experimental Observations -
▲ 2
Elle: Black-box transactional safety checker based on cycle detection (Jespen)story by blopeur · 2020-03-26 · 1 comment
-
▲ 4
Elle: An open source transactional consistency checker for black-box databasesstory by ngaut · 2020-03-26 · 1 comment