Elle: A transactional consistency checker for black-box databases

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.

Re: Elle: A transactional consistency checker for black-box databases

#5

Post by dang » Mon, Aug 09, 2021, 9:42 PM UTC

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)

Re: Elle: A transactional consistency checker for black-box databases

#6

Post by Scramblejams » Tue, Aug 10, 2021, 12:13 AM UTC

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?

Re: Elle: A transactional consistency checker for black-box databases

#7

Post by Daishiman » Tue, Aug 10, 2021, 1:35 AM UTC

buryat wrote: post #3

502, maybe needs some scaling first

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

Re: Elle: A transactional consistency checker for black-box databases

#8

Post by Groxx » Tue, Aug 10, 2021, 1:42 AM UTC

dang wrote: post #4

earleybird wrote: post #2

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

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.

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

Re: Elle: A transactional consistency checker for black-box databases

#9

Post by macintux » Tue, Aug 10, 2021, 3:59 AM UTC

Daishiman wrote: post #7

buryat wrote: post #3

502, maybe needs some scaling first

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

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.