Many file-system applications such as defragmentation tools, file-system checkers, or data recovery tools, operate at the storage layer. Today, developers of these file-system aware storage applications require detailed knowledge of the file-system format, which requires significant time to learn, often by trial and error, due to insufficient documentation or specification of the format. Furthermore, these applications perform ad-hoc processing of the file-system metadata, leading to bugs and vulnerabilities. We propose Spiffy, an annotation language for specifying the on-disk format of a file system. File-system developers annotate the data structures of a file system, and we use these annotations to generate a library that allows identifying, parsing, and traversing file-system metadata, providing support for both offline and online storage applications. This approach simplifies the development of storage applications that work across different file systems because it reduces the amount of file-system--specific code that needs to be written. We have written annotations for the Linux Ext4, Btrfs, and F2FS file systems, and developed several applications for these file systems, including a type-specific metadata corruptor, a file-system converter, an online storage layer cache that preferentially caches files for certain users, and a runtime file-system checker. Our experiments show that applications built with the Spiffy library for accessing file-system metadata can achieve good performance and are robust against file-system corruption errors.

中文翻译：

---

漂亮的

许多文件系统应用程序，如碎片整理工具、文件系统检查器或数据恢复工具，都在存储层运行。今天，这些文件系统感知存储应用程序的开发人员需要详细了解文件系统格式，这需要大量时间来学习，通常是通过反复试验，因为文档或格式规范不足。此外，这些应用程序执行文件系统元数据的临时处理，从而导致错误和漏洞。我们提出 Spiffy，一种用于指定文件系统的磁盘格式的注释语言。文件系统开发人员注释文件系统的数据结构，我们使用这些注释生成一个库，允许识别、解析和遍历文件系统元数据，为离线和在线存储应用程序提供支持。这种方法简化了跨不同文件系统工作的存储应用程序的开发，因为它减少了需要编写的文件系统特定代码的数量。我们为 Linux Ext4、Btrfs 和 F2FS 文件系统编写了注释，并为这些文件系统开发了多个应用程序，包括特定类型的元数据损坏器、文件系统转换器、优先缓存文件的在线存储层缓存用户和运行时文件系统检查器。我们的实验表明，使用 Spiffy 库构建的用于访问文件系统元数据的应用程序可以获得良好的性能，并且对文件系统损坏错误具有鲁棒性。这种方法简化了跨不同文件系统工作的存储应用程序的开发，因为它减少了需要编写的文件系统特定代码的数量。我们为 Linux Ext4、Btrfs 和 F2FS 文件系统编写了注释，并为这些文件系统开发了多个应用程序，包括特定类型的元数据损坏器、文件系统转换器、优先缓存文件的在线存储层缓存用户和运行时文件系统检查器。我们的实验表明，使用 Spiffy 库构建的用于访问文件系统元数据的应用程序可以获得良好的性能，并且对文件系统损坏错误具有鲁棒性。这种方法简化了跨不同文件系统工作的存储应用程序的开发，因为它减少了需要编写的文件系统特定代码的数量。我们为 Linux Ext4、Btrfs 和 F2FS 文件系统编写了注释，并为这些文件系统开发了多个应用程序，包括特定类型的元数据损坏器、文件系统转换器、优先缓存文件的在线存储层缓存用户和运行时文件系统检查器。我们的实验表明，使用 Spiffy 库构建的用于访问文件系统元数据的应用程序可以获得良好的性能，并且对文件系统损坏错误具有鲁棒性。我们为 Linux Ext4、Btrfs 和 F2FS 文件系统编写了注释，并为这些文件系统开发了多个应用程序，包括特定类型的元数据损坏器、文件系统转换器、优先缓存文件的在线存储层缓存用户和运行时文件系统检查器。我们的实验表明，使用 Spiffy 库构建的用于访问文件系统元数据的应用程序可以获得良好的性能，并且对文件系统损坏错误具有鲁棒性。我们为 Linux Ext4、Btrfs 和 F2FS 文件系统编写了注释，并为这些文件系统开发了多个应用程序，包括特定类型的元数据损坏器、文件系统转换器、优先缓存文件的在线存储层缓存用户和运行时文件系统检查器。我们的实验表明，使用 Spiffy 库构建的用于访问文件系统元数据的应用程序可以获得良好的性能，并且对文件系统损坏错误具有鲁棒性。