C语言GNU扩展语法

《C语言GNU扩展语法》由会员分享，可在线阅读，更多相关《C语言GNU扩展语法（12页珍藏版）》请在装配图网上搜索。

1、-GNU C 9条扩展语法GNC CC是一个功能非常强大的跨平台C编译器，它对标准C语言进展了一系列扩展，以增强标准C的功能，这些扩展对优化、目标代码布局、更平安的检查等方面提供了很强的支持。本文把支持GNU扩展的C语言称为GNU C。Linu*内核代码使用了大量的GNU C扩展，以至于能够编译Linu*内核的唯一编译器是GNU CC，以前甚至出现过编译Linu*内核要使用特殊的GNU CC版本的情况。本文是对Linu*内核使用的GNU C扩展的一个汇总，希望当你读内核源码遇到不理解的语法和语义时，能从本文找到一个初步的解答，更详细的信息可以查看gcc.info。文中的例子取自 Linu* 2

2、.4.18。1、 零长度和变量长度数组GNU C允许使用零长度数组，在定义变长对象的头构造时，这个特性非常有用。例如：/include/linu*/mini*_fs.hstruct mini*_dir_entry _u16 inode;char name0;构造的最后一个元素定义为零长度数组，它不占构造的空间。在标准C中则需要定义数组长度为1，分配时计算对象大小比拟复杂。GNU C 允许使用一个变量定义数组的长度，比方：int n=0;scanf(%d,&n);int arrayn;2、 case范围GNU C允许在一个case标号中指定一个连续范围的值，例如：/arch/i386/kerne

3、l/irq.ccase 0 . 9: c -= 0; break;case a . f: c -= a-10; break;case A . F: c -= A-10; break;3、语句表达式GNUC把包含在括号中的复合语句看做是一个表达式，称为语句表达式，它可以出现在任何允许表达式的地方，你可以在语句表达式中使用循环、局部变量等，原本只能在复合语句中使用。例如：/include/linu*/kernel.h#define min_t(type,*,y) ( type _* = (*); type _y = (y); _* window_clamp,tcp_full_space(sk);复

4、合语句的最后一个语句应该是一个表达式，它的值将成为这个语句表达式的值。这里定义了一个平安的求最小值的宏，在标准C中，通常定义为：#define min(*,y) (*) (y) (*) : (y)这个定义计算*和y分别两次，当参数有副作用时，将产生不正确的结果，使用语句表达式只计算参数一次，防止了可能的错误。语句表达式通常用于宏定义。4、typeof 关键字使用前一节定义的宏需要知道参数的类型，利用typeof可以定义更通用的宏，不必事先知道参数的类型，例如：/include/linu*/kernel.h#define min(*,y) ( /const typeof(*) _* = (*);

5、 /const typeof(y) _y = (y); /(void) (&_* = &_y); /_* _y _* : _y; )这里typeof(*)表示*的值类型，第3行定义了一个与 * 类型一样的局部变量 _* 并初使化为 *，注意第5行的作用是检查参数*和y的类型是否一样。typeof 可以用在任何类型可以使用的地方，通常用于宏定义。5、可变参数宏在GNU C中，宏可以承受可变数目的参数，就象函数一样，例如：/include/linu*/kernel.h#define pr_debug(fmt,arg.) printk(KERN_DEBUG fmt,#arg)这里arg表示其余的参数

6、，可以是零个或多个，这些参数以及参数之间的逗号构成arg的值，在宏扩展时替换arg，例如：pr_debug(%s:%d,filename,line)扩展为printk( %s:%d, filename, line)使用#的原因是处理arg不匹配任何参数的情况，这时arg的值为空，GNUC预处理器在这种特殊情况下，丢弃#之前的逗号，这样pr_debug(success!/n)扩展为 printk( success!/n)注意最后没有逗号。6、标号元素标准C要求数组或构造变量的初使化值必须以固定的顺序出现，在GNU C中，通过指定索引或构造域名，允许初始化值以任意顺序出现。指定数组索引的方法是在初

7、始化值前写 INDE* =，要指定一个范围使用FIRST . LAST =的形式，例如：/arch/i386/kernel/irq.cstatic unsigned long irq_affinity NR_IRQS = 0 . NR_IRQS-1= 0UL ;将数组的所有元素初使化为0UL，这可以看做是一种简写形式。要指定构造元素，在元素值前写FIELDNAME:，例如：/fs/e*t2/file.cstruct file_operations e*t2_file_operations = llseek: generic_file_llseek,read: generic_file_read

8、,write: generic_file_write,ioctl: e*t2_ioctl,mmap: generic_file_mmap,open: generic_file_open,release: e*t2_release_file,fsync: e*t2_sync_file,;将构造e*t2_file_operations的元素llseek初始化为generic_file_llseek，元素read初始化为genenric_file_read，依次类推。我觉得这是GNU C扩展中最好的特性之一，当构造的定义变化以至元素的偏移改变时，这种初始化方法仍然保证元素的正确性。对于未出现在初始化

9、中的元素，其初值为 0。标准C要求数组或构造体的初始化值必须以固定的顺序出现，在GNU C中，通过指定索引或构造体成员名，允许初始化以任意顺序出现。unsigned char dataMA* =0=10,10=100,;struct file_operations e*t2_file_operations=open:e*t2_open,close:e*t2_close,;在linu* 2.6中推荐如下方式：struct file_operations e*t2_file_operations=.read=e*t2_read,.write=e*t2_write,;7、当前函数名GNU C中预定义

10、两个标志符保存当前函数的名字，_FUNCTION_保存函数在源码中的名字，_PRETTY_FUNCTION_保存带语言特色的名字。在C函数中这两个名字是一样的。在C+函数中，_PRETTY_FUNCTION_包括函数返回类型等额外信息，Linu*内核只使用了_FUNCTION_。/fs/e*t2/super.cvoid e*t2_update_dynamic_rev(struct super_block *sb)struct e*t2_super_block *es = E*T2_SB(sb)-s_es;if (le32_to_cpu(es-s_rev_level) E*T2_GOOD_OLD

11、_REV)return;e*t2_warning(sb, _FUNCTION_,updating to rev %d because of new feature flag, running e2fsck is remended,E*T2_DYNAMIC_REV);这里_FUNCTION_将被替换为函数名e*t2_update_dynamic_rev。虽然_FUNCTION_ 看起来类似于标准C中的_FILE_，但实际上_FUNCTION_是被编译器替换的，不象 _FILE_被预处理器替换。在C99中支持_func_宏，因此建议使用_func_替代_FUNCTION_8、特殊属性声明GNU C

12、允许声明函数、变量和类型的特殊属性，以便进展手工的代码优化和定制代码检查的方法。要指定一个声明属性，只需要在声明后添加_attribute_(ATTRIBUTE)。其中ATTRIBUTE为属性说明，如果存在多个属性，则以逗号分隔。GNU C 支持noreturn、format、section、aligned、packed等十个属性。这里介绍最常用的：noreturn属性用于函数，表示该函数从不返回。这可以让编译器生成稍微优化的代码，最重要的是可以消除不必要的警告信息比方未初使化的变量。例如：/include/linu*/kernel.h#define ATTRIB_NORET _attribu

13、te_(noreturn) .asmlinkage NORET_TYPE void do_e*it(long error_code) ATTRIB_NORET;format (ARCHETYPE, STRING-INDE*, FIRST-TO-CHECK)属性用于函数，表示该函数使用printf, scanf或strftime风格的参数，使用这类函数最容易犯的错误是格式串与参数不匹配，指定 format 属性可以让编译器根据格式串检查参数类型。例如：/include/linu*/kernel.hasmlinkage int printk(const char * fmt, .)_attribu

14、te_ (format (printf, 1, 2);表示第一个参数是格式串，从第二个参数起根据格式串检查参数。unused属性用于函数和变量，表示该函数或变量可能不使用，这个属性可以防止编译器产生警告信息。section (section-name)属性用于函数和变量，通常编译器将函数放在.te*t区，变量放在.data区或.bss区，使用section属性，可以让编译器将函数或变量放在指定的节中。例如：/include/linu*/init.h#define _init _attribute_ (_section_ (.te*t.init)#define _e*it _attribute_

15、 (unused,_section_(.te*t.e*it)#define _initdata _attribute_ (_section_ (.data.init)#define _e*itdata _attribute_ (unused, _section_(.data.e*it)#define _initsetup _attribute_ (unused,_section_(.setup.init)#define _init_call _attribute_ (unused,_section_(.initcall.init)#define _e*it_call _attribute_ (

16、unused,_section_(.e*itcall.e*it)连接器可以把一样节的代码或数据安排在一起，Linu*内核很喜欢使用这种技术，例如系统的初始化代码被安排在单独的一个节，在初始化完毕后就可以释放这局部内存。aligned (ALIGNMENT)属性用于变量、构造或联合类型，指定变量、构造域、构造或联合的对齐量，以字节为单位，例如：/include/asm-i386/processor.hstruct i387_f*save_struct unsigned short cwd;. _attribute_ (aligned (16);表示该构造类型的变量以16字节对齐。通常编译器会选择

17、适宜的对齐量，显示指定对齐通常是由于体系限制、优化等原因。packed属性用于变量和类型，用于变量或构造域时表示使用最小可能的对齐，用于枚举、构造或联合类型时表示该类型使用最小的内存。例如：/include/asm-i386/desc.hstruct *gt_desc_struct unsigned short size;unsigned long address _attribute_(packed);域address将紧接着size分配。属性packed的用途大多是定义硬件相关的构造，使元素之间没有因对齐而造成的空洞。9、内建函数GNU C提供了大量的内建函数，其中很多是标准C库函数的内建

18、版本，例如memcpy，它们与对应的C库函数功能一样，本文不讨论这类函数，其他内建函数的名字通常以_builtin开场。内建函数_builtin_return_address(LEVEL)返回当前函数或其调用者的返回地址，参数LEVEL指定调用栈的级数，如0表示当前函数的返回地址，1表示当前函数调用者的返回地址，依此类推。例如：/kernel/sched.cprintk(KERN_ERR schedule_timeout: wrong timeout value %l* from %p/n, timeout,_builtin_return_address(0);内建函数_builtin_con

19、stant_p(E*P)用于判断一个值是否为编译时常数，如果参数E*P的值是常数，函数返回 1，否则返回 0。/ include/asm-i386/bitops.h#define test_bit(nr,addr) /(_builtin_constant_p(nr) /constant_test_bit(nr),(addr) : /variable_test_bit(nr),(addr)很多计算或操作在参数为常数时有更优化的实现，在GNU C中用上面的方法可以根据参数是否为常数，只编译常数版本或非常数版本，这样既不失通用性，又能在参数是常数时编译出最优化的代码。内建函数_builtin_e*p

20、ect(E*P, C)用于为编译器提供分支预测信息，其返回值是整数表达式E*P的值，C的值必须是编译时常数。例如：/include/linu*/piler.h#define likely(*) _builtin_e*pect(*),1)#define unlikely(*) _builtin_e*pect(*),0)/ kernel/sched.cif (unlikely(in_interrupt() printk(Scheduling in interrupt/n);BUG();这个内建函数的语义是E*P的预期值是C，编译器可以根据这个信息适当地重排语句块的顺序，使程序在预期的情况下有更高的

21、执行效率。上面的例子表示处于中断上下文是很少发生的，第6-7行的目标码可能会放在较远的位置，以保证经常执行的目标码更紧凑。假设不想使用GNU C扩展，则只需要在gcc参数后面加上-ansi -pedantic即可，使用上述参数后，所有GNC C扩展语法局部将会有编译警报。linu* gcc的属性解析GNU C的一大特色却不被初学者所知就是_attribute_机制。_attribute_可以设置函数属性Function Attribute、变量属性Variable Attribute和类型属性Type Attribute。_attribute_书写特征是：_attribute_前后都有两个下划

22、线，并切后面会紧跟一对原括弧，括弧里面是相应的_attribute_参数。_attribute_语法格式为：_attribute_ (attribute-list)其位置约束为：放于声明的尾部；之前。函数属性Function Attribute函数属性可以帮助开发者把一些特性添加到函数声明中，从而可以使编译器在错误检查方面的功能更强大。_attribute_机制也很容易同非GNU应用程序做到兼容之成效。GNU CC需要使用Wall编译器来击活该功能，这是控制警告信息的一个很好的方式。下面介绍几个常见的属性参数。_attribute_ format该_attribute_属性可以给被声明的函数加

23、上类似printf或者scanf的特征，它可以使编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配。该功能十分有用，尤其是处理一些很难发现的bug。format的语法格式为：format (archetype, string-inde*, first-to-check)format属性告诉编译器，按照printf, scanf, strftime或strfmon的参数表格式规则对该函数的参数进展检查。archetype指定是哪种风格；string-inde*指定传入函数的第几个参数是格式化字符串；first-to-check指定从函数的第几个参数开场按上述规则进展检查。具体使用格式

24、如下：_attribute_(format(printf,m,n)_attribute_(format(scanf,m,n)其中参数m与n的含义为：m：第几个参数为格式化字符串format string；n：参数集合中的第一个，即参数里的第一个参数在函数参数总数排在第几，注意，有时函数参数里还有隐身的呢，后面会提到；在使用上，_attribute_(format(printf,m,n)是常用的，而另一种却很少见到。下面举例说明，其中myprint为自己定义的一个带有可变参数的函数，其功能类似于printf：/m=1；n=2e*tern void myprint(const char *form

25、at,.) _attribute_(format(printf,1,2);/m=2；n=3e*tern void myprint(int l，const char *format,.) _attribute_(format(printf,2,3);需要特别注意的是，如果myprint是一个函数的成员函数，则m和n的值可有点悬乎了，例如：/m=3；n=4e*tern void myprint(int l，const char *format,.) _attribute_(format(printf,3,4);其原因是，类成员函数的第一个参数实际上一个隐身的this指针。有点C+根底的都知道点th

26、is指针，不知道你在这里还知道吗？这里给出测试用例：attribute.c，代码如下：e*tern void myprint(const char *format,.) _attribute_(format(printf,1,2);void test()myprint(i=%d,6); myprint(i=%s,6); myprint(i=%s,abc);myprint(%s,%d,%d,1,2);运行$gcc Wall c attribute.c attribute后，输出结果为：attribute.c: In function test:attribute.c:7: warning: fo

27、rmat argument is not a pointer (arg 2)attribute.c:9: warning: format argument is not a pointer (arg 2)attribute.c:9: warning: too few arguments for format如果在attribute.c中的函数声明去掉_attribute_(format(printf,1,2)，再重新编译，即运行$gcc Wall c attribute.c attribute后，则并不会输出任何警告信息。注意，默认情况下，编译器是能识别类似printf的标准库函数。_attr

28、ibute_ noreturn该属性通知编译器函数从不返回值，当遇到类似函数需要返回值而却不可能运行到返回值处就已经退出来的情况，该属性可以防止出现错误信息。C库函数中的abort()和e*it()的声明格式就采用了这种格式，如下所示：e*tern void e*it(int) _attribute_(noreturn);e*tern void abort(void) _attribute_(noreturn);为了方便理解，大家可以参考如下的例子：e*tern void mye*it();int test(int n)if ( n 0 ) mye*it();/* 程序不可能到达这里*/ el

29、se return 0;编译显示的输出信息为：$ gcc Wall c oreturn.c: In function test:noreturn.c:12: warning: control reaches end of non-void function警告信息也很好理解，因为你定义了一个有返回值的函数test却有可能没有返回值，程序当然不知道怎么办了！加上_attribute_(noreturn)则可以很好的处理类似这种问题。把e*tern void mye*it()修改为：e*tern void mye*it() _attribute_(noreturn)之后，编译不会再出现警告信息。_

30、attribute_ const该属性只能用于带有数值类型参数的函数上。当重复调用带有数值参数的函数时，由于返回值是一样的，所以此时编译器可以进展优化处理，除第一次需要运算外，其它只需要返回第一次的结果就可以了，进而可以提高效率。该属性主要适用于没有静态状态static state和副作用的一些函数，并且返回值仅仅依赖输入的参数。为了说明问题，下面举个非常糟糕的例子，该例子将重复调用一个带有一样参数值的函数，具体如下：e*tern int square(int n) _attribute_(const);. for (i = 0; i 100; i+ ) total += square(5)

31、+ i; 通过添加_attribute_(const)声明，编译器只调用了函数一次，以后只是直接得到了一样的一个返回值。事实上，const参数不能用在带有指针类型参数的函数中，因为该属性不但影响函数的参数值，同样也影响到了参数指向的数据，它可能会对代码本身产生严重甚至是不可恢复的严重后果。并且，带有该属性的函数不能有任何副作用或者是访问全局或静态变量，所以，类似getchar()或time()的函数是不适合使用该属性的。同时使用多个属性可以在同一个函数声明里使用多个_attribute_，并且实际应用中这种情况是十分常见的。使用方式上，你可以选择两个单独的_attribute_，或者把它们写在

32、一起，可以参考下面的例子：/* 把类似printf的消息传递给stderr 并退出 */e*tern void die(const char *format, .)_attribute_(noreturn)_attribute_(format(printf, 1, 2);或者写成e*tern void die(const char *format, .)_attribute_(noreturn, format(printf, 1, 2);如果带有该属性的自定义函数追加到库的头文件里，则所以调用该函数的程序都要做相应的检查。和非GNU编译器的兼容性庆幸的是，_attribute_设计的非常巧妙，

33、很容易作到和其它编译器保持兼容，也就是说，如果工作在其它的非GNU编译器上，可以很容易的忽略该属性。即使_attribute_使用了多个参数，也可以很容易的使用一对圆括弧进展处理，例如：/* 如果使用的是非GNU C, 则就忽略_attribute_ */#ifndef _GNUC_#define_attribute_(*) /*NOTHING*/#endif需要说明的是，_attribute_适用于函数的声明而不是函数的定义。所以，当需要使用该属性的函数时，必须在同一个文件里进展声明，例如：/* 函数声明 */void die(const char *format, .) _attribut

34、e_(noreturn) _attribute_(format(printf,1,2);void die(const char *format, .) /* 函数定义 */变量属性Variable Attributes关键字_attribute_也可以对变量variable或构造体成员structure field进展属性设置。这里给出几个常用的参数的解释，更多的参数可参考本文给出的连接。在使用_attribute_参数时，你也可以在参数的前后都加上_两个下划线，例如，使用_aligned_而不是aligned，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。alig

35、ned (alignment)该属性规定变量或构造体成员的最小的对齐格式，以字节为单位。例如：int * _attribute_ (aligned (16) = 0;编译器将以16字节注意是字节byte不是位bit对齐的方式分配一个变量。也可以对构造体成员变量设置该属性，例如，创立一个双字对齐的int对，可以这么写：struct foo int *2 _attribute_ (aligned (8); ;如上所述，你可以手动指定对齐的格式，同样，你也可以使用默认的对齐方式。如果aligned后面不紧跟一个指定的数字值，则编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如：short a

36、rray3 _attribute_ (aligned);选择针对目标机器最大的对齐方式，可以提高拷贝操作的效率。aligned属性使被设置的对象占用更多的空间，相反的，使用packed可以减小对象占用的空间。需要注意的是，attribute属性的效力与你的连接器也有关，如果你的连接器最大只支持16字节对齐，则你此时定义32字节对齐也是无济于事的。packed使用该属性可以使得变量或者构造体成员使用最小的对齐方式，即对变量是一字节对齐，对域field是位对齐。下面的例子中，*成员变量使用了该属性，则其值将紧放置在a的后面：struct testchar a;int *2 _attribute_

37、(packed);其它可选的属性值还可以是：cleanup，mon，nomon，deprecated，mode，section，shared，tls_model，transparent_union，unused，vector_size，weak，dllimport等，详细信息可参考：gcc.gnu.org/onlinedocs/gcc-4.0.0/gcc/Variable-Attributes.html#Variable-Attributes类型属性Type Attribute关键字_attribute_也可以对构造体struct或共用体union进展属性设置。大致有六个参数值可以被设定，即：

38、aligned, packed, transparent_union, unused, deprecated 和 may_alias。在使用_attribute_参数时，你也可以在参数的前后都加上_两个下划线，例如，使用_aligned_而不是aligned，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。aligned (alignment)该属性设定一个指定大小的对齐格式以字节为单位，例如：struct S short f3; _attribute_ (aligned (8);typedef int more_aligned_int _attribute_ (al

39、igned (8);该声明将强制编译器确保尽它所能变量类型为struct S或者more-aligned-int的变量在分配空间时采用8字节对齐方式。如上所述，你可以手动指定对齐的格式，同样，你也可以使用默认的对齐方式。如果aligned后面不紧跟一个指定的数字值，则编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如：struct S short f3; _attribute_ (aligned);这里，如果sizeofshort的大小为2byte，则，S的大小就为6。取一个2的次方值，使得该值大于等于6，则该值为8，所以编译器将设置S类型的对齐方式为8字节。aligned属性使被设置

40、的对象占用更多的空间，相反的，使用packed可以减小对象占用的空间。需要注意的是，attribute属性的效力与你的连接器也有关，如果你的连接器最大只支持16字节对齐，则你此时定义32字节对齐也是无济于事的。packed使用该属性对struct或者union类型进展定义，设定其类型的每一个变量的内存约束。当用在enum类型定义时，暗示了应该使用最小完整的类型it indicates that the smallest integral type should be used。下面的例子中，my-packed-struct类型的变量数组中的值将会紧紧的靠在一起，但内部的成员变量s不会被pack

41、，如果希望内部的成员变量也被packed的话，my-unpacked-struct也需要使用packed进展相应的约束。struct my_unpacked_struct char c; int i;struct my_packed_struct char c; int i; struct my_unpacked_struct s;_attribute_ (_packed_);变量属性与类型属性举例下面的例子中使用_attribute_属性定义了一些构造体及其变量，并给出了输出结果和对结果的分析。程序代码为：struct p int a; char b; char c;_attribute_(

42、aligned(4) pp;struct q int a; char b; struct p qn; char c;_attribute_(aligned(8) qq;int main() printf(sizeof(int)=%d,sizeof(short)=%d.sizeof(char)=%dn,sizeof(int),sizeof(short),sizeof(char); printf(pp=%d,qq=%d n, sizeof(pp),sizeof(qq); return 0;输出结果：sizeof(int)=4,sizeof(short)=2.sizeof(char)=1pp=8,q

43、q=24分析：sizeof(pp):sizeof(a)+ sizeof(b)+ sizeof(c)=4+1+1=623=8= sizeof(pp)sizeof(qq):sizeof(a)+ sizeof(b)=4+1=5sizeof(qn)=8 ;即qn是采用8字节对齐的，所以要在a，b后面添3个空余字节，然后才能存储qn，4+1+3+8+1=17因为qq采用的对齐是8字节对齐，所以qq的大小必定是8的整数倍，即qq的大小是一个比17大又是8的倍数的一个最小值，由此得到1724+8=24= sizeof(qq)Linu*内核使用的GNU C扩展和Uni*一样，Linu*内核也是用C语言实现的。

44、谈到C，几乎所有的人都会立即想到ANSI C标准。但是Linu*内核的实现，其实并不完全符合ANSI C标准。实际上，内核开发者总会使用许多gcc提供的C语言的扩展局部。内核开发者使用的C语言涵盖了ISO C99标准和GNU C的扩展特性，我想，其中让人感兴趣的，应该不在于C99标准上，而是在于它的GNU C扩展特性上。下面，我们就一起来学学内核使用的GNU C扩展特性吧。1. 内联函数GNU的C编译器支持内联函数，这一点和ANSI标准完全不一样。在ANSI C中是没有inline这个关键字的。内联函数会在函数调用的地方直接把函数体展开，这样就可以减少函数调用的开销了存放器的保存和恢复。而且，

45、由于编译器会把调用函数的代码和函数本身的代码放在一起优化，所以也会有进一步优化代码的可能。当然，天底下没有白吃的午餐，这样做也是有代价的，那就是生成的代码会变长，这就意味着你必须使用更多的内存空间或更多的指令缓存来执行代码。内核开发者通常把那些对时间要求较高，而本身长度又较短的函数定义成内联函数。当然了，对于大块头的程序，你想把它定义成内联函数也没人反对。只不过，有这必要么？定义一个内联函数，需要使用static作为关键字，并且用inline限定它。如：static inline void foo() .内联函数必须在使用之前就定义好，否则编译器没法儿将之展开。由于使用static关键字进展限

46、制，编译时不会为内联函数单独建立一个函数体。内联函数一般定义在头文件中，当然了，如果你仅仅在*个源文件中使用内联函数，也可以把它定义在源文件的开头局部。在内核中，为了类型平安的原因，优先使用内联函数而不是复杂的宏。2. 内联汇编gcc支持在C函数中嵌入汇编指令。当然，在内核编程的时候，只有知道对应的体系构造，才能使用这个功能。因为，不同的体系构造，其汇编指令往往是有很大差异的。Linu*的内核混合使用了C和汇编语言。在偏近体系构造的底层或对执行时间要求严格的地方，一般使用的是汇编语言。而内核其他局部的大局部代码则都是C语言写的。内嵌汇编的语法如下：_asm_(汇编语句模板:输出局部:输入局部:

47、破坏描述局部)共四个局部：汇编语句模板，输出局部，输入局部，破坏描述局部，各局部使用:格开，汇编语句模板必不可少，其他三局部可选，如果使用了后面的局部，而前面局部为空，也需要用:格开，相应局部内容为空。例如：_asm_ _volatile_(cli: : :memory)1、汇编语句模板汇编语句模板由汇编语句序列组成，语句之间使用;、n或nt分开。指令中的操作数可以使用占位符引用C语言变量，操作数占位符最多10个，名称如下：%0，%1，%9。指令中使用占位符表示的操作数，总被视为long型4个字节，但对其施加的操作根据指令可以是字或者字节，当把操作数当作字或者字节使用时，默认为低字或者低字节。

48、对字节操作可以显式的指明是低字节还是次字节。方法是在%和序号之间插入一个字母，b代表低字节，h代表高字节，例如：%h1。2、输出局部输出局部描述输出操作数，不同的操作数描述符之间用逗号格开，每个操作数描述符由限定字符串和C语言变量组成。每个输出操作数的限定字符串必须包含=表示他是一个输出操作数。例：_asm_ _volatile_(pushfl ; popl %0 ; cli:=g (*) )描述符字符串表示对该变量的限制条件，这样GCC就可以根据这些条件决定如何分配存放器，如何产生必要的代码处理指令操作数与C表达式或C变量之间的联系。3、输入局部输入局部描述输入操作数，不同的操作数描述符之间

49、使用逗号格开，每个操作数描述符由限定字符串和C语言表达式或者C语言变量组成。例如：_asm_ _volatile_ (lidt %0 : : m (real_mode_idt);4、限制字符4.1、限制字符列表限制字符有很多种，有些是与特定体系构造相关，此处仅列出常用的限定字符和i386中可能用到的一些常用的限定符。它们的作用是指示编译器如何处理其后的C语言变量与指令操作数之间的关系。分类限定符描述通用存放器a将输入变量放入ea*，这里有一个问题：假设ea*已经被使用，那怎么办？其实很简单：因为GCC知道ea*已经被使用，它在这段汇编代码的起始处插入一条语句pushl %ea*，将ea*内容保

50、存到堆栈，然后在这段代码完毕处再增加一条语句popl %ea*，恢复ea*的内容b将输入变量放入eb*c将输入变量放入ec*d将输入变量放入ed*s将输入变量放入esid将输入变量放入ediq将输入变量放入ea*，eb*，ec*，ed*中的一个r将输入变量放入通用存放器，也就是ea*，eb*，ec*，ed*，esi，edi中的一个A把ea*和ed*合成一个64位的存放器(use long longs)内存m内存变量o操作数为内存变量，但是其寻址方式是偏移量类型，也即是基址寻址，或者是基址加变址寻址V操作数为内存变量，但寻址方式不是偏移量类型缺操作数为内存变量，但寻址方式为自动增量p操作数是一个

51、合法的内存地址指针存放器或内存g将输入变量放入ea*，eb*，ec*，ed*中的一个或者作为内存变量*操作数可以是任何类型立即数I0-31之间的立即数用于32位移位指令J0-63之间的立即数用于64位移位指令N0-255之间的立即数用于out指令i立即数n立即数，有些系统不支持除字以外的立即数，这些系统应该使用n而不是i匹配0,1. 9表示用它限制的操作数与*个指定的操作数匹配，也即该操作数就是指定的那个操作数，例如0去描述1操作数，则%1引用的其实就是%0操作数，注意作为限定符字母的09与指令中的09的区别，前者描述操作数，后者代表操作数。&该输出操作数不能使用过和输入操作数一样的存放器操作

52、数类型=操作数在指令中是只写的输出操作数+操作数在指令中是读写类型的输入输出操作数浮点数f浮点存放器t第一个浮点存放器u第二个浮点存放器G标准的80387浮点常数%该操作数可以和下一个操作数交换位置例如addl的两个操作数可以交换顺序当然两个操作数都不能是立即数#局部注释，从该字符到其后的逗号之间所有字母被忽略*表示如果选用存放器，则其后的字母被忽略5、破坏描述局部破坏描述符用于通知编译器我们使用了哪些存放器或内存，由逗号格开的字符串组成，每个字符串描述一种情况，一般是存放器名；除存放器外还有memory。例如：%ea*，%eb*，memory等。3. 分支声明对于条件选择语句，gcc内建了一

53、条指令用于优化，在一个条件经常出现的时候，或者该条件很少出现的时候，编译器可以根据这条指令对分支进展优化。内核把这条指令封装成了宏，比方likely()和unlikely()，这样使用起来非常方便。例如，下面是一个条件选择语句：if (foo) /* . */如果我们要把这个选择标记成绝少发生的分支，我们可以这样做：/* 我们认为foo绝大局部时间都会为0 */if (unlikely(foo) /* . */相反，如果我们要把这个选择标记成绝大局部时间都会发生的分支，可以这样做：/* 我们认为foo通常都不会为0 */if (likely(foo) /* . */在想要对*个条件选择语句进展优化之前，一定要搞清楚其中是不是存在这么一个条件，在绝大多数情况下都会成立。这点十分重要：如果你的判断正确，这个条件确实占压倒性的地位，则性能就会提升，相反，如果你搞错了，性能反而会下降。在对一些错误条件进展判断的时候，常常会用到likely()和unlikely()宏。我们看到，unlikely()在内核中得到了广泛的应用，因为if语句往往用于判断一种特殊情况，而这种情况是绝少发生的。. z.