SQCK: a declarative file system checker

摘要: The lowly state of the art for file system checking and repair does not match what is needed to keep important data available users. Current checkers, such as e2fsck, are complex pieces imperfect code written in low-level languages. We introduce SQCK, a checker based on declarative query language; queries natural cross-checking that must be performed across many structures image. show SQCK able perform same functionality e2fsck with surprisingly elegant compact queries. also can easily more useful repairs than by combining information system. Finally, our prototype implementation achieves this improved comparable performance e2fsck.