Hacker News new | ask | show | jobs
Elle: A transactional consistency checker for black-box databases (github.com)
82 points by wowi42 1768 days ago
4 comments
dang 1767 days ago
A couple of previous comments, both of which point to the related paper, which is at https://arxiv.org/abs/2003.10554.

Elle: Black-box transactional safety checker based on cycle detection (Jespen) - https://news.ycombinator.com/item?id=22692162 - March 2020 (1 comment)

Elle: An open source transactional consistency checker for black-box databases - https://news.ycombinator.com/item?id=22690299 - March 2020 (1 comment)

link
Scramblejams 1767 days ago
Could this be straightforwardly extended to validating correctness of filesystems?

I'm thinking of the case of developing a FUSE-based filesystem -- it'd be nice to have a test suite you can run that guarantees you haven't broken your filesystem's consistency.

Or are there already tools for this that every budding filesystem developer should look to?

link
earleybird 1767 days ago
also, https://github.com/jepsen-io/elle
link
dang 1767 days ago
Thanks - we've switched the URL to that from https://aphyr.com/media/talks/2021/vldb.mp4, which is not responding at the moment and is presumably a video.
link
Groxx 1767 days ago
It's loading for me now fwiw. But yeah - websites are better than direct video links, the change is still preferred IMO.
link
buryat 1767 days ago
502, maybe needs some scaling first
link
Daishiman 1767 days ago
They should try MongoDB, it's web-scale.
link
macintux 1767 days ago
I had to stop and think, because through pure dumb luck I happen to know both the creator of that classic video and the creator of Jepsen, and upon reading your comment I briefly convinced myself they were one and the same.

Sorry Garrett, sorry Kyle, I blame the long pandemic.

link