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