I wanted Jepsen's Elle in CI without a JVM, so I wrote adya
Your database documentation says REPEATABLE READ. Your code assumes it. Have you ever checked? I spent the last stretch building adya, a black-box checker for transactional isolation. You give it a log of transactions a database ran, and it tells you which isolation guarantees held.
This is an AI-generated summary. ShortSingh links to the original source for the complete article.
Discussion (0)
Log in to join the discussion and vote.
Log in