We found a bug in a verified file system! We ran Crashmonkey's suite of tests on MIT's FSCQ and found that it does not persist data on fdatasync properly. We emailed the authors, they have acked and fixed the bug.
Come see our paper at #osdi18!
Details: https://github.com/utsaslab/crashmonkey …https://twitter.com/vj_chidambaram/status/1045714072950501377 …
-
Show this thread
-
Replying to @vj_chidambaram
Nice work! We found a number of bugs in FSCQ using SibylFS as well (which was in the same sosp session, oddly enough);https://github.com/mit-pdos/fscq/issues …
1 reply 2 retweets 3 likes -
Replying to @avsm
Awesome! Were you able to test the UW verified file system as well?
2 replies 0 retweets 0 likes
Replying to @vj_chidambaram @avsm
We ran sibylfs during development - thanks for the awesome tool!
1:13 PM - 3 Oct 2018
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.