Root/
1 | Chinese translated version of Documentation/sparse.txt |
2 | |
3 | If you have any comment or update to the content, please contact the |
4 | original document maintainer directly. However, if you have a problem |
5 | communicating in English you can also ask the Chinese maintainer for |
6 | help. Contact the Chinese maintainer if this translation is outdated |
7 | or if there is a problem with the translation. |
8 | |
9 | Chinese maintainer: Li Yang <leo@zh-kernel.org> |
10 | --------------------------------------------------------------------- |
11 | Documentation/sparse.txt 的中文翻译 |
12 | |
13 | 如果想评论或更新本文的内容,请直接联系原文档的维护者。如果你使用英文 |
14 | 交流有困难的话,也可以向中文版维护者求助。如果本翻译更新不及时或者翻 |
15 | 译存在问题,请联系中文版维护者。 |
16 | |
17 | 中文版维护者: 李阳 Li Yang <leo@zh-kernel.org> |
18 | 中文版翻译者: 李阳 Li Yang <leo@zh-kernel.org> |
19 | |
20 | |
21 | 以下为正文 |
22 | --------------------------------------------------------------------- |
23 | |
24 | Copyright 2004 Linus Torvalds |
25 | Copyright 2004 Pavel Machek <pavel@ucw.cz> |
26 | Copyright 2006 Bob Copeland <me@bobcopeland.com> |
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_request_t) 1, |
37 | PM_RESUME = (__force pm_request_t) 2 |
38 | }; |
39 | |
40 | 这样会使 PM_SUSPEND 和 PM_RESUME 成为位方式(bitwise)整数(使用"__force" |
41 | 是因为 sparse 会抱怨改变位方式的类型转换,但是这里我们确实需要强制进行转 |
42 | 换)。而且因为所有枚举值都使用了相同的类型,这里的"enum pm_request"也将 |
43 | 会使用那个类型做为底层实现。 |
44 | |
45 | 而且使用 gcc 编译的时候,所有的 __bitwise/__force 都会消失,最后在 gcc |
46 | 看来它们只不过是普通的整数。 |
47 | |
48 | 坦白来说,你并不需要使用枚举类型。上面那些实际都可以浓缩成一个特殊的"int |
49 | __bitwise"类型。 |
50 | |
51 | 所以更简单的办法只要这样做: |
52 | |
53 | typedef int __bitwise pm_request_t; |
54 | |
55 | #define PM_SUSPEND ((__force pm_request_t) 1) |
56 | #define PM_RESUME ((__force pm_request_t) 2) |
57 | |
58 | 现在你就有了严格的类型检查所需要的所有基础架构。 |
59 | |
60 | 一个小提醒:常数整数"0"是特殊的。你可以直接把常数零当作位方式整数使用而 |
61 | 不用担心 sparse 会抱怨。这是因为"bitwise"(恰如其名)是用来确保不同位方 |
62 | 式类型不会被弄混(小尾模式,大尾模式,cpu尾模式,或者其他),对他们来说 |
63 | 常数"0"确实是特殊的。 |
64 | |
65 | 获取 sparse 工具 |
66 | ~~~~~~~~~~~~~~~~ |
67 | |
68 | 你可以从 Sparse 的主页获取最新的发布版本: |
69 | |
70 | http://www.kernel.org/pub/linux/kernel/people/josh/sparse/ |
71 | |
72 | 或者,你也可以使用 git 克隆最新的 sparse 开发版本: |
73 | |
74 | git://git.kernel.org/pub/scm/linux/kernel/git/josh/sparse.git |
75 | |
76 | DaveJ 把每小时自动生成的 git 源码树 tar 包放在以下地址: |
77 | |
78 | http://www.codemonkey.org.uk/projects/git-snapshots/sparse/ |
79 | |
80 | 一旦你下载了源码,只要以普通用户身份运行: |
81 | |
82 | make |
83 | make install |
84 | |
85 | 它将会被自动安装到你的 ~/bin 目录下。 |
86 | |
87 | 使用 sparse 工具 |
88 | ~~~~~~~~~~~~~~~~ |
89 | |
90 | 用"make C=1"命令来编译内核,会对所有重新编译的 C 文件使用 sparse 工具。 |
91 | 或者使用"make C=2"命令,无论文件是否被重新编译都会对其使用 sparse 工具。 |
92 | 如果你已经编译了内核,用后一种方式可以很快地检查整个源码树。 |
93 | |
94 | make 的可选变量 CHECKFLAGS 可以用来向 sparse 工具传递参数。编译系统会自 |
95 | 动向 sparse 工具传递 -Wbitwise 参数。你可以定义 __CHECK_ENDIAN__ 来进行 |
96 | 大小尾检查。 |
97 | |
98 | make C=2 CHECKFLAGS="-D__CHECK_ENDIAN__" |
99 | |
100 | 这些检查默认都是被关闭的,因为他们通常会产生大量的警告。 |
101 |
Branches:
ben-wpan
ben-wpan-stefan
javiroman/ks7010
jz-2.6.34
jz-2.6.34-rc5
jz-2.6.34-rc6
jz-2.6.34-rc7
jz-2.6.35
jz-2.6.36
jz-2.6.37
jz-2.6.38
jz-2.6.39
jz-3.0
jz-3.1
jz-3.11
jz-3.12
jz-3.13
jz-3.15
jz-3.16
jz-3.18-dt
jz-3.2
jz-3.3
jz-3.4
jz-3.5
jz-3.6
jz-3.6-rc2-pwm
jz-3.9
jz-3.9-clk
jz-3.9-rc8
jz47xx
jz47xx-2.6.38
master
Tags:
od-2011-09-04
od-2011-09-18
v2.6.34-rc5
v2.6.34-rc6
v2.6.34-rc7
v3.9