偶尔看下Linux Kernel的代码,上次就发现一个结构体的定义形式看不懂,后来才知道它用的不是标准的ANSI C,而是GCC的一些扩展。刚好看到《Linux内核修炼之道》中对GCC扩展有所描述,转载一下吧,对看kernel代码有所帮助。
3.5 内核代码的特点
Linux内核同时使用C语言和汇编语言实现,C语言编写的代码移植性较好、易于维护,而汇编语言编写的代码相当于针对特定的平台做了优化,速度较快,所以需要在它们之间寻找一定的平衡。
一般而言,在体系结构的底层或对执行时间要求严格的地方,会使用汇编语言,比如中断和异常处理的底层代码,初始化有关的部分代码等。内核其他部分则是用C语言编写。
3.5.1 GCC扩展(1)
Linux内核必须使用GNU的GCC编译器来编译,而GCC提供了很多的C语言扩展,这些扩展对优化、目标代码布局、更安全的检查等提供了很强的支持。因此,内核代码所使用的C语法并不完全符合ANSI C标准,实际上,只要有可能,内核开发者总是要用到GCC提供的C语言扩展部分。
这就为我们学习内核增加了一定的困难,因此,为了能够比较顺利地阅读内核代码,有必要对GCC扩展进行了解。
下面详细介绍Linux内核中常出现的、主要的GCC扩展。
1.语句表达式(statement-embedded expression)
GCC把包含在括号中的复合语句看作是一个表达式,称为语句表达式,它允许在一个表达式内使用循环、跳转、局部变量,并可以出现在任何允许表达式出现的地方。
位于括号中的复合语句的最后一句必需是一个以分号结尾的表达式,它的值将成为这个语句表达式的值。
计算最大值和最小值通常被定义为:
#define max(x, y) ((x) > (y) ? (x) : (y))
#define min(x, y) ((x) < (y) ? (x) : (y))
但是其中的x和y可能会分别被计算两次。当参数x和y带有副作用时,将会产生错误的结果。而内核则使用语句表达式将其定义为:
++++ include/linux/kernel.h
305 #define min_t(type,x,y) \
306 ({ type __x = (x); type __y = (y); __x < __y ? __x: __y; })
307 #define max_t(type,x,y) \
308 ({ type __x = (x); type __y = (y); __x > __y ? __x: __y; })
相比较来看,使用语句表达式只计算参数一次,避免了可能的错误。
如果对typeof加以利用,还可以定义更为通用的宏,针对最大值最小值的计算,内核的另外一种定义为:
++++ include/linux/kernel.h
287 #define min(x,y) ({ \
288 typeof(x) _x = (x); \
289 typeof(y) _y = (y); \
290 (void) (&_x == &_y);\
291 _x < _y ? _x : _y; })
292
293 #define max(x,y) ({ \
294 typeof(x) _x = (x); \
295 typeof(y) _y = (y); \
296 (void) (&_x == &_y);\
297 _x > _y ? _x : _y; })
其中typeof(x) 表示x的类型,第294行定义了一个与x类型相同的局部变量_x,并将其初始化为x,注意第290行的作用是检查参数x和y的类型是否相同。
2.零长度数组(flexible array)
在内核代码里经常出现类似下面的结构。
++++ include/linux/usb
199 struct usb_interface_cache {
200 unsigned num_altsetting; /* number of alternate settings */
201 struct kref ref; /* reference counter */
202
203 /* variable-length array of alternate settings for this interface,
204 * stored in no particular order */
205 struct usb_host_interface altsetting[0];
206 };
结构的最后一个元素usb_host_interface altsetting[0]就是GCC所谓的零长度数组,也可以称之为可变长数组,它并不占用结构的空间,但它意味着这个结构的长度充满了变数。创建该结构对象时,可以根据实际的需要指定这个可变长数组的长度,并分配相应的空间。
3.可变参数宏
1999年的ISO C标准里规定了可变参数宏,语法和函数类似,比如:
#define debug(format, ...) fprintf (stderr, format, __VA_ARGS__)
其中的"…"表示可变参数,实际调用时,它们会替代宏体里的__VA_ARGS__。GCC支持更复杂的形式,可以给可变参数取个名字,如下所示。
#define debug(format, args...) fprintf (stderr, format, args)
有了名字之后,代码显得更具有可读性。内核中的例子为:
++++ include/linux/kernel.h
244 #define pr_info(fmt,arg...) \
245 printk(KERN_INFO fmt,##arg)
其中的pr_info和上面的debug形式除了"##"外,几近相同。"##"主要针对参数为空的情况。既然称为可变参数,那传递空参数也是可以的。如果没有使用"##",传递空参数时,比如:
debug ("A message");
宏展开后,其中的字符串后面会多个多余的逗号,而"##"则会使预处理器去掉这个多余的逗号。
4.标号元素
在标准C里,数组或结构变量的初始化值必须以固定的顺序出现,而在GCC中,通过指定索引或结构域名,则允许初始化值以任意顺序出现。
指定数组索引的方法是在初始化值前写"[INDEX] =",还可以使用"[FIRST ... LAST] ="的形式指定一个范围,比如:
++++ arch/ia64/kernel/acpi.c
132 int platform_intr_list[ACPI_MAX_PLATFORM_INTERRUPTS] = {
133 [0 ... ACPI_MAX_PLATFORM_INTERRUPTS - 1] = -1
134 };
将数组platform_intr_list的任何元素都初始化为-1。
对于结构初始化,比如:
++++ fs/ext2/file.c
42 const struct file_operations ext2_file_operations = {
43 .llseek = generic_file_llseek,
44 .read = do_sync_read,
45 .write = do_sync_write,
46 .aio_read = generic_file_aio_read,
47 .aio_write = generic_file_aio_write,
48 .ioctl = ext2_ioctl,
49 #ifdef CONFIG_COMPAT
50 .compat_ioctl = ext2_compat_ioctl,
51 #endif
52 .mmap = generic_file_mmap,
53 .open = generic_file_open,
54 .release = ext2_release_file,
55 .fsync = ext2_sync_file,
56 .splice_read = generic_file_splice_read,
57 .splice_write = generic_file_splice_write,
58 };
将结构ext2_file_operations的元素llseek初始化为generic_file_llseek,元素rea初始化为genenric_file_read,依次类推。使用这种形式,当结构体的定义变化导致元素的偏移位置改变时,仍然可以确保已知元素的正确性。对于未出现在初始化中的元素,其初值为0。
3.5.1 GCC扩展(2)
5.特殊属性(__attribute__)
GCC允许声明函数、变量和类型的特殊属性,以便指示编译器进行特定方面的优化和更仔细的代码检查。使用方式为在声明后加上:
attribute__ (( ATTRIBUTE ))
其中ATTRIBUTE是属性的说明,多个说明之间以逗号分隔。GCC可以支持十几个属性,下面介绍一些比较常用的。
noreturn
属性noreturn用于函数,表示该函数从不返回。它能够让编译器生成较为优化的代码,消除不必要的警告信息。
format(archetype, string-index, first-to-check)
属性 format 用于函数,表示该函数使用printf、scanf、strftime或strfmon风格的参数,并可以让编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配。
archetype指定是哪种风格,string-index指定传入函数的第几个参数是格式化字符串,first-to-check指定从函数的第几个参数开始按照上述规则进行检查。比如:
++++ include/linux/kernel.h
164 static inline int printk(const char *s, ...)
165 __attribute__ ((format (printf, 1, 2)));
表示printk的第一个参数是格式化字符串,从第二个参数开始根据格式化字符串检查参数。
- unused
属性unused用于函数和变量,表示该函数或变量可能并不使用,这个属性能够避免编译器产生警告信息。
section ("section-name")
属性section用于函数和变量,比如:
++++ include/linux/init.h
43 #define __init __attribute__
((__section__ (".init.text"))) __cold
44 #define __initdata __attribute__
((__section__ (".init.data")))
45 #define __exitdata __attribute__
((__section__(".exit.data")))
46 #define __exit_call __attribute_used__ __
attribute__ ((__section__ (".exitcall. exit")))
通常编译器将函数放在.text节,变量放在.data或.bss节,而使用section属性,可以让编译器将函数或变量放在指定的节中。因此上面对__init的定义便表示将__init修饰的代码放在.init.text节。
连接器可以把相同节的代码或数据安排在一起,Linux 内核很喜欢使用这种技术,比如__init修饰的所有代码都会被放在.init.text节里,初始化结束后就可以释放这部分内存。
aligned (ALIGNMENT)
属性aligned用于变量、结构或联合,设定一个指定大小的对齐格式,以字节为单位,比如:
++++ drivers/usb/host/ohci.h
181 struct ohci_hcca {
182 #define NUM_INTS 32
183 __hc32 int_table [NUM_INTS]; /* periodic schedule */
184
185 /*
186 * OHCI defines u16 frame_no, followed by u16 zero pad.
187 * Since some processors can't do 16 bit bus accesses,
188 * portable access must be a 32 bits wide.
189 */
190 __hc32 frame_no; /* current frame number */
191 __hc32 done_head; /* info returned for an interrupt */
192 u8 reserved_for_hc [116];
193 u8 what [4]; /* spec only identifies 252 bytes */
194 } __attribute__ ((aligned(256)));
表示结构体ohci_hcca的成员以256字节对齐。
如果aligned后面不紧跟一个指定的数字值,那么编译器将依据目标机器情况使用最大、最有益的对齐方式。
需要注意的是,attribute属性的效果与你的连接器也有关,如果你的连接器最大只支持16字节对齐,那么此时定义32字节对齐也是无济于事的。
packed
属性packed用于变量和类型,用于变量或结构体成员时表示使用最小可能的对齐,用于枚举、结构体或联合类型时表示该类型使用最小的内存。
属性packed多用于定义硬件相关的结构时,使元素之间不会因对齐产生问题。比如:
++++ include/asm-i386/desc.h
295 struct usb_interface_descriptor {
296 __u8 bLength;
297 __u8 bDescriptorType;
298
299 __u8 bInterfaceNumber;
300 __u8 bAlternateSetting;
301 __u8 bNumEndpoints;
302 __u8 bInterfaceClass;
303 __u8 bInterfaceSubClass;
304 __u8 bInterfaceProtocol;
305 __u8 iInterface;
306 } __attribute__ ((packed));
其中__attribute__ ((packed))告诉编译器,usb_interface_descriptor的元素为1字节对齐,不要再添加填充位。因为这个结构的定义和usb spec里是完全一致的,包括各个字段的长度,如果不给编译器这个暗示,编译器就会依据平台的类型在结构的每个元素之间添加一定的填充位,使用这个结构时就不能达到预期的结果。
6.内建函数
GCC提供了大量的内建函数,其中很多是标准C库函数的内建版本,比如memcpy,它们与对应的C库函数功能相同,这里就不再进行介绍。
还有很多内建函数的名字通常以 __builtin开始,下面只对__builtin_expect进行分析并示例,其他__builtin_xxx函数的分析可参考这个分析过程。
__builtin_expect (long exp, long c)
遇到这类很陌生的使用方式,GCC参考手册是我们最好的参考资料。下面是GCC参考手册里对__builtin_expect的介绍。
long __builtin_expect (long exp, long c)
You may use __builtin_expect to provide the compiler
with branch prediction information. In general, you
should prefer to use actual profile feedback for
this ('-fprofile-arcs'), as programmers are
notoriously bad at predicting how their programs
actually perform. However, there are applications
in which this data is hard to collect.
The return value is the value of exp, which should be
an integral expression. The value of c must be a
compile-time constant. The semantics of the
built-in are that it is expected that exp == c. For example:
if (__builtin_expect (x, 0))
foo ();
would indicate that we do not expect to call foo,
since we expect x to be zero. Since
you are limited to integral expressions for exp,
you should use constructions such
as
if (__builtin_expect (ptr != NULL, 1))
error ();
when testing pointer or floating-point values.
大意是,由于大部分代码在分支预测方面做的比较糟糕,所以GCC提供了这个内建的函数来帮助处理分支预测、优化程序。它的第一个参数exp为一个整型的表达式,返回值也是这个exp。它的第二个参数c的值必须是一个编译期的常量。这个内建函数的意思就是exp的预期值为c,编译器可以根据这个信息适当地重排条件语句块的顺序,将符合这个条件的分支放在合适的地方。
具体到内核里,比如:
++++ include/linux/compiler.h
60 #define likely(x) __builtin_expect(!!(x), 1)
61 #define unlikely(x) __builtin_expect(!!(x), 0)
unlikely(x)用于告诉编译器,条件x发生的可能性不大,likely则相反。它们一般用在条件语句里,if语句不变,只是当if条件为1,即为真的可能性非常小的时候,可以在条件表达式外面包装一个unlikely(),那么这个条件块里语句的目标码可能就会被放在一个比较远的位置,以保证经常执行的目标码更紧凑。如果可能性非常大,则使用likely()包装。