Elle: A transactional consistency checker for black-box databases (opens in new tab)

(github.com)

82 pointswowi424y ago8 comments

8 comments

dang4y 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)

Scramblejams4y 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?

earleybird4y ago

also, https://github.com/jepsen-io/elle

dang4y 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.

Groxx4y ago

It's loading for me now fwiw. But yeah - websites are better than direct video links, the change is still preferred IMO.

buryat4y ago

502, maybe needs some scaling first

Daishiman4y ago

They should try MongoDB, it's web-scale.

macintux4y 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.

j / k navigate · click thread line to collapse

8 comments

dang4y 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)

Scramblejams4y 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?

earleybird4y ago

also, https://github.com/jepsen-io/elle

dang4y 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.

Groxx4y ago

It's loading for me now fwiw. But yeah - websites are better than direct video links, the change is still preferred IMO.

buryat4y ago

502, maybe needs some scaling first

Daishiman4y ago

They should try MongoDB, it's web-scale.

macintux4y ago

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

j / k navigate · click thread line to collapse