linux - 如何验证/测试/基准测试 EXT4 文件系统上的功能集

Question

我想验证/测试/基准测试我添加到 ext4 kernel_tree/fs 的功能集。

我遇到了 Spruce Linux 文件系统驱动程序验证。特别是对于文件系统。

项目托管于@ https://code.google.com/p/spruce/wiki/GettingStarted .这是针对 x86 的。

我在 arm target 上工作，在开始之前我有几个问题。

1. 有没有人之前在 Spruce 上工作过。

2. 如何使用 ARM 的 Spruce 项目，是否需要为 ARM 移植？

3. 是直接交叉编译还是需要做任何更改。

我已经阅读了这篇论文:http://syrcose.ispras.ru/2012/files/submissions/25_syrcose2012_submission_21.pdf

没有关于 ARM 及其支持的信息。

请对 Spruce 项目有任何工作经验/知识的人解释/帮助。

Answer 1

1. Spruce 旨在按如下方式工作。它提供了一组测试，使给定文件系统的内核模块在代码中执行尽可能多的路径。它允许使用一些外部分析器(例如来自 KEDR framework 的工具)来检测不同类型的错误:内存泄漏等。

   所有这些主要用于 x86。

   虽然可以将测试本身移植到 ARM，但也需要选择在该平台上运行的分析器。 KEDR 工具目前仅适用于 x86，但可以尝试 Kmemleak , Fault injection facilities和 ARM 上的其他工具。

2. Spruce 似乎仍在进行中。我明白了，你在他们的问题跟踪器中开了一张关于 ARM 支持的票，我认为这是正确的做法。

3. 我还建议看一下 Phoronix Test Suite .它目前广泛用于测试和基准测试，包括文件系统内核模块的分析。参见 this article例如。它seems to work on ARM尽管我自己还没有在那里尝试过。