linux内核编译入门,Linux内核入门（七）—— 必要的编译知识

男娘i 2023-01-20 01:53 204阅读 0赞

Linux内核入门(七)—— 必要的编译知识

所有的内核代码，基本都包含了include/linux/compile.h这个文件，所以它是基础，涵盖了分析内核所需要的一些列编译知识，本博就分析分析这个文件里的代码：

\#ifndef \_\_LINUX\_COMPILER\_H

\#define \_\_LINUX\_COMPILER\_H

\#ifndef \_\_ASSEMBLY\_\_

首先印入眼帘的是对\_\_ASSEMBLY\_\_这个宏的判断，这个变量实际是在编译汇编代码的时候，由编译器使用-D这样的参数加进去的，gcc会把这个宏定义为1。用在这里，是因为汇编代码里，不会用到类似于\_\_user这样的属性(关于 \_\_user这样的属性是怎么回子事，本博后面会提到)，因为这样的属性是在定义函数参数的时候加的，这样避免不必要的宏在编译汇编代码时候的引用。

\#ifdef \_\_CHECKER\_\_

接下来是一个对\_\_CHECKER\_\_这个宏的判断，这里需要讲的东西比较多，是本博的重点。

当编译内核代码的时候，使用make C=1或C=2的时候，会调用一个叫Sparse的工具，这个工具对内核代码进行检查，怎么检查呢，就是靠对那些声明过Sparse这个工具所能识别的特性的内核函数或是变量进行检查。在调用Sparse这个工具的同时，在Sparse代码里，会加上\#define \_\_CHECKER\_\_ 1的字样。换句话说，就是，如果使用Sparse对代码进行检查，那么内核代码就会定义\_\_CHECKER\_\_宏，否则就不定义。具体解释请访问：http://linux.die.net/man/1/sparse

例如：

\# define \_\_user  \_\_attribute\_\_((noderef, address\_space(1)))

这个宏是重点，用来检查是否属于用户空间！这里就能看出来，类似于\_\_attribute\_\_((noderef, address\_space(1)))这样的属性就是Sparse这个工具所能识别的了。

其他的那些个属性是用来检查什么的呢，我一个个地做介绍。

\_\_user 这个特性，即\_\_attribute\_\_((noderef, address\_space(1)))，是用来修饰一个变量的，这个变量必须是非解除参考(\_\_attribute\_\_((noderef))——no dereference)的，即这个变量地址必须是有效的，而且变量所在的地址空间必须是1(\_\_attribute\_\_((address\_space(1))))，即用户程序空间的。这里Sparse工具把程序空间分成了3个部分，0表示normal space，即普通地址空间，对内核代码来说，当然就是内核空间地址了。1表示用户地址空间，这个不用多讲，还有一个2，表示是设备地址映射空间，例如硬件设备的寄存器在内核里所映射的地址空间。

所以在内核函数里，�