1 Copyright 2004 Linus Torvalds
2 Copyright 2004 Pavel Machek <pavel@ucw.cz>
3 Copyright 2006 Bob Copeland <me@bobcopeland.com
4
5 .. include:: ../disclaimer-zh_CN.rst
6
7 :Original: Documentation/dev-tools/sparse.rst
8
9 :翻译:
10
11 Li Yang <leoyang.li@nxp.com>
12
13 :校译:
14
15 司延腾 Yanteng Si <siyanteng@loongson.cn>
16
17 .. _cn_sparse:
18
19 Sparse
20 ======
21
22 Sparse是一个C程序的语义检查器；它
23 于sparse的概述，请参见https://lwn.net/
24 一些针对内核的sparse信息。
25 关于sparse的更多信息，主要是关于
26 https://sparse.docs.kernel.org。
27
28 使用 sparse 工具做类型检查
29 ~~~~~~~~~~~~~~~~~~~~~~~~~~
30
31 "__bitwise" 是一种类型属性，所以你
32
33 typedef int __bitwise pm_request_t;
34
35 enum pm_request {
36 PM_SUSPEND = (__force pm_reque
37 PM_RESUME = (__force pm_reques
38 };
39
40 这样会使 PM_SUSPEND 和 PM_RESUME 成为
41 是因为 sparse 会抱怨改变位方式的
42 换）。而且因为所有枚举值都使用
43 会使用那个类型做为底层实现。
44
45 而且使用 gcc 编译的时候，所有的 _
46 看来它们只不过是普通的整数。
47
48 坦白来说，你并不需要使用枚举类
49 __bitwise"类型。
50
51 所以更简单的办法只要这样做::
52
53 typedef int __bitwise pm_request_t;
54
55 #define PM_SUSPEND ((__force pm_reques
56 #define PM_RESUME ((__force pm_request
57
58 现在你就有了严格的类型检查所需
59
60 一个小提醒：常数整数"0"是特殊的
61 不用担心 sparse 会抱怨。这是因为"b
62 式类型不会被弄混（小尾模式，大
63 常数"0"确实 **是** 特殊的。
64
65 使用sparse进行锁检查
66 --------------------
67
68 下面的宏对于 gcc 来说是未定义的
69 跟踪功能，应用于锁定。 这些注释
70 退出。
71
72 __must_hold - 指定的锁在函数进入和
73
74 __acquires - 指定的锁在函数退出时
75
76 __releases - 指定的锁在函数进入时
77
78 如果函数在不持有锁的情况下进入
79 需要注释。
80 上面的三个注释是针对sparse否则会
81
82 获取 sparse 工具
83 ~~~~~~~~~~~~~~~~
84
85 你可以从 Sparse 的主页获取最新的
86
87 https://www.kernel.org/pub/software/de
88
89 或者，你也可以使用 git 克隆最新
90
91 git://git.kernel.org/pub/scm/devel/spa
92
93 一旦你下载了源码，只要以普通用
94
95 make
96 make install
97
98 如果是标准的用户，它将会被自动
99
100 使用 sparse 工具
101 ~~~~~~~~~~~~~~~~
102
103 用"make C=1"命令来编译内核，会对所
104 或者使用"make C=2"命令，无论文件是
105 如果你已经编译了内核，用后一种
106
107 make 的可选变量 CHECKFLAGS 可以用来
108 动向 sparse 工具传递 -Wbitwise 参数。
109
110 注意sparse定义了__CHECKER__预处理器
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.