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

扫描二维码关注公众号,回复: 170575 查看本文章
make
make install

使用sparse

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

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

猜你喜欢

转载自blog.csdn.net/CHS007chs/article/details/80224478