Papers of the day   All papers

Elle: Inferring Isolation Anomalies from Experimental Observations

Comments

Jepsen: I'm pleased to announce Elle, a black-box, linear-time checker for transactional (or single-key!) consistency models. I've been working on this with @palvaro for over a year now. Now you can use it too! http://arxiv.org/abs/2003.10554 http://github.com/jepsen-io/elle

10 replies, 622 likes


palvaro: words can't express how awesome and important Elle is

4 replies, 109 likes


Martin Kleppmann 🇪🇺: This looks terrific. Great work!

1 replies, 13 likes


Camille Fournier: This is just so cool

0 replies, 9 likes


Ethan Buchman: Databases beware! The new checker is ~linear (vs superlinear) in history length and ~constant (vs exponential!) in amount of concurrency. Can handle orders of magnitude more ops per history. Looks like very impressive work!

0 replies, 7 likes


Brecht De Rooms: An independent framework to test and find anomalies databases should always be applauded! 😀

1 replies, 2 likes


HotComputerScience: Most popular computer science paper of the day: "Elle: Inferring Isolation Anomalies from Experimental Observations" https://hotcomputerscience.com/paper/elle-inferring-isolation-anomalies-from-experimental-observations https://twitter.com/jepsen_io/status/1242934720654123014

0 replies, 1 likes


Content

Found on Mar 25 2020 at https://arxiv.org/pdf/2003.10554.pdf

PDF content of a computer science paper: Elle: Inferring Isolation Anomalies from Experimental Observations