# Elle: inferring isolation anomalies from experimental observations

DevFeed: [Elle: inferring isolation anomalies from experimental observations](<https://devfeed.tech/articles/elle-inferring-isolation-anomalies-from-experimental-observations-28592.md>)

Original publisher: [Read original article](<https://blog.acolyer.org/2020/11/23/elle/>)

Author: adriancolyer

Published: 2020-11-23T13:56:00Z

Content type: article

Language: en

Sources: [Adrian Colyer](<https://devfeed.tech/sources/adrian-colyer.md>)

Topics: [Databases](<https://devfeed.tech/topics/databases.md>), [Transactions](<https://devfeed.tech/topics/transactions.md>), [Concurrency](<https://devfeed.tech/topics/concurrency.md>), [test](<https://devfeed.tech/topics/test.md>), [SQL](<https://devfeed.tech/topics/sql.md>), [graph-database](<https://devfeed.tech/topics/graph-database.md>), [NoSQL](<https://devfeed.tech/topics/nosql.md>)

Tags: [concurrency](<https://devfeed.tech/tags/concurrency.md>), [database](<https://devfeed.tech/tags/database.md>), [evaluation](<https://devfeed.tech/tags/evaluation.md>), [graph-database](<https://devfeed.tech/tags/graph-database.md>), [sql](<https://devfeed.tech/tags/sql.md>), [systems](<https://devfeed.tech/tags/systems.md>), [test](<https://devfeed.tech/tags/test.md>), [transactions](<https://devfeed.tech/tags/transactions.md>), [uncategorized](<https://devfeed.tech/tags/uncategorized.md>)

## AI overview

This article discusses the Elle checker from the Jepsen project, which infers database isolation anomalies from experimental execution histories. Elle can check histories involving hundreds of thousands of transactions in tens of seconds and was evaluated on SQL, document, and graph databases, where it found unexpected anomalies. The article notes that Elle supports many anomaly types and reproducible bug reports but does not guarantee completeness.

## Source excerpt

Elle: inferring isolation anomalies from experimental observations, Kingsbury & Alvaro, VLDB'20 Is there anything more terrifying, and at the same time more useful, to a database vendor than Kyle Kingsbury's Jepsen? As the abstract to today's paper choice wryly puts it, "experience shows that many databases do not provide the isolation guarantees they claim." Jepsen captures ... Continue reading Elle: inferring isolation anomalies from experimental observations