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.
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?
8 comments
[ 4.5 ms ] story [ 37.1 ms ] threadSorry Garrett, sorry Kyle, I blame the long pandemic.
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)
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?