Linux内核研究-内核开发工具-Sparse

Sparse是C语言的语义检查器。

类型检查

"__bitwise"是一个类型属性，所以你需要这么做：

typedef int __bitwise pm_request_t;

enum pm_request {
        PM_SUSPEND = (__force pm_request_t) 1,
        PM_RESUME = (__force pm_request_t) 2
};

这样就使PM_SUSPEND和PM_RESUME是位整数（__force是强制进行转换）。

在gcc中__bitwise和__force在哪里都可以运行，所以上面可以

typedef int __bitwise pm_request_t;

#define PM_SUSPEND ((__force pm_request_t) 1)
#define PM_RESUME ((__force pm_request_t) 2)

需要注意：整数0是特殊的，这是因为bitwise是用来保证类型的正确性（小端vs大端vs cpu 或者其它）。

使用sparse用于lock检查

下面的宏在gcc中没有定义，而定义在sparse中。这些标志用来表示已经获取了一个锁。

__must_hold，在进出函数时都需要保持的锁。

__acquires，只在函数退出时才保持的锁

__releases，只在函数进入时保持的锁

获取sparse

你可以从https://sparse.wiki.kernel.org/index.php/Main_Page下载到最新的sparse，也可以通过git下载

git://git.kernel.org/pub/scm/devel/sparse/sparse.git

make
make install

使用sparse

编译内核时使用“make C=1”来运行sparse于重新编译的C文件，或者“make C=2”来运行sparse于那些是否需要重新编译的文件。如果源码树中已经编译过了，后一种方法更快。

make 的变量CF可以用来向sparse传递参数，编译系统使用-Wbitwise可以自动运行sparse.

 

最后欢迎大家访问我的个人网站：1024s​​​​​​​