Linux Sparse工具
阅读数:223 评论数:0
跳转到新版页面分类
Linux
正文
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.
相关推荐
一、概述
1、为什么Linus不使用GPLv3
在 PC 上，只要你得到了某个程序的源代码，就可以自行编译生成二进制程序，然后替换掉原有的二进制程序，你的程序自由很容易得到保证。然而 iPod、iPh
说明：这种方式只是用于方便阅读代码，因为可以在源代间快速索引跳跃。但是最后可能会有一些warning，可以不必关心，如果是强迫症，可以使用下面这种方式来去掉。
一、概述
在Linux系统中，/usr/bin和/usr/local/bin是两个常见的目录，用于存放可执行文件（二进制文件）。
很多应用都安装在/usr/local下面，先看一下automake工具
一、概述
vmstat命令是最常见的Linux/Unix监控工具，可以监控给定时间间隔服务器的CPU使用率、内存使用、IO情况。相比top命令，可以查看到整个机器的CPU、内存、IO的使用情况，而
一、概述
sar,System Activity Reporter。是目前 Linux 上最为全面的系统性能分析工具之一，可以从多方面对系统的活动进行报告，包括：文件的读写情况、系统调用的使用情况、磁
一、简介
简单来说awk就是把文件逐行的读入，以空格为默认分隔符将每行切片，切开的部分再进行各种分析处理。
二、使用方法
1、基本语法
awk '条件类型1 {动作1} 条件类型2{动作2} ...
一、概述
列出目标目录中所有的子目录和文件。
二、 语法
ls [选项] [目录名]
-a, –all 列出目录下的所有文件，包括以 . 开头的隐含文件
-A 同-a，但不列出“.”(表示当前目录)
一、概述
cd全称是change directory，用于切换当前工作目录。
注意的是，cd命令是一个内建命令，它是由 shell 提供的。因此，不同的 shell 可能会有一些差异，但基本的用法和功
一、概述
全称为print working directory，查看”当前工作目录“的完整路径，一般情况下不带任何参数
二、语法
pwd [选项]
-L
即logical，逻辑路径
-P
即
一、概述
通过 mkdir 命令可以实现在指定位置创建以 DirName(指定的文件名)命名的文件夹或目录。要创建文件夹或目录的用户必须对所创建的文件夹的父文件夹具有写权限。并且，所创建的文件夹(目录