Linux内核是基于C语言编写的,熟练掌握C语言是深入学习Linux内核的基本要求。
GCC的C编译器除了支持ANSI C标准之外,还对C语言进行了很多的扩充。
这些扩充对代码优化、目标代码布局以及安全检查等方面提供了很强的支持,因此支持GNU扩展的C语言称为GNU C语言。
Linux内核采用GCC编译器,所以Linux内核的代码自然使用了很多GCC的新扩充特性。
本章介绍一些GCC C语言扩充的新特性,希望读者在学习Linux内核时特别留意。
在GNU C语言中,括号里的复合语句可以看作一个表达式,称为语句表达式。
在一个语句表达式里,可以使用循环、跳转和局部变量等。这个特性通常用在宏定义中,可以让宏定义变得更安全,如比较两个值的大小。
#define max(a,b) ((a) > (b) ? (a) : (b))
上述代码会导致安全问题,a和b有可能会计算两次,比如a传入i++,b传入j++。在GNU C语言中,如果知道a和b的类型,可以这样写这个宏。
#define maxint(a,b) \
({int _a = (a), _b = (b); _a > _b ? _a : _b; })
如果你不知道a和b的类型,还可以使用typeof类转换宏。
#define min(x, y) ({ \
typeof(x) _min1 = (x); \
typeof(y) _min2 = (y); \
(void) (&_min1 == &_min2); \
_min1 < _min2 ? _min1 : _min2; })
typeof也是GNU C语言的一个扩充用法,可以用来构造新的类型,通常和语句表达式一起使用。
下面是一些例子。
typeof (*x) y;
typeof (*x) z[4];
typeof (typeof (char *)[4]) m;
GNU C语言允许使用变长数组,这在定义数据结构时非常有用。
struct pcpu_chunk {
struct list_head list;
unsigned long populated[]; /* 变长数组 */};
数据结构最后一个元素被定义为零长度数组,不占结构体空间。
这样,我们可以根据对象大小动态地分配结构的大小。
struct line {
int length;
char contents[0];
};
struct line *thisline = malloc(sizeof(struct line) +this_length);
thisline->length = this_length;
如上例所示,struct line数据结构定义了一个int length变量和一个变长数组contents[0],这个struct line数据结构的大小只包含int类型的大小,不包含contents的大小,也就是sizeof (struct line) =sizeof (int)。
创建结构体对象时,可根据实际的需要指定这个可变长数组的长度,并分配相应的空间,如上述实例代码分配了this_length 字节的内存,并且可以通过contents[index]来访问第index个地址的数据。
GNU C语言支持指定一个case的范围作为一个标签,如:
case low ...high:
case 'A' ...'Z':
这里low到high表示一个区间范围,在ASCII字符代码中也非常有用。下面是Linux内核中的代码例子。
static int local_atoi(const char *name)
{
int val = 0;
for (;; name++) {
switch (*name) {
case '0' ...'9':
val = 10*val+(*name-'0');
break;
default:
return val;
}
}
}
另外,还可以用整形数来表示范围,但是这里需要注意在“…”两边有空格,否则编译会出错。
static int at91sam9261_udc_init(struct at91_udc *udc)
{
for (i = 0; i < NUM_ENDPOINTS; i++) {
ep = &udc->ep[i];
switch (i) {
case 0:
ep->maxpacket = 8;
break;
case 1 ...3:
ep->maxpacket = 64;
break;
case 4 ...5:
ep->maxpacket = 256;
break;
}
}
}
标准C语言要求数组或结构体初始化值必须以固定顺序出现。但GNU C语言可以通过指定索引或结构体成员名来初始化,不必按照原来的固定顺序进行初始化。
结构体成员的初始化在 Linux 内核中经常使用,如在设备驱动中初始化 file_operations数据结构。下面是Linux内核中的一个代码例子。
static const struct file_operations zero_fops = {
.llseek = zero_lseek,
.read = new_sync_read,
.write = write_zero,
.read_iter = read_iter_zero,
.aio_write = aio_write_zero,
.mmap = mmap_zero,
};
如上述代码中的zero_fops的成员llseek初始化为zero_lseek函数,read成员初始化为new_sync_read函数,依次类推。当file_operations数据结构的定义发生变化时,这种初始化方法依然能保证已知元素的正确性,对于未初始化成员的值为0或者NULL。
在GNU C语言中,宏可以接受可变数目的参数,这主要运用在输出函数里。
#define pr_debug(fmt, ...) \
dynamic_pr_debug(fmt, ##__VA_ARGS__)
“…”代表一个可以变化的参数表,“VA_ARGS”是编译器保留字段,预处理时把参数传递给宏。当宏的调用展开时,实际参数就传递给dynamic_pr_debug函数了。
GNU C语言允许声明
以便编译器进行特定方面的优化和更仔细的代码检查。特殊属性语法格式为:
__attribute__ ((attribute-list))
GNU C语言里定义的函数属性有很多,如noreturn、format以及const等。
此外,还可以定义一些和处理器体系结构相关的函数属性,如ARM体系结构中可以定义interrupt、isr等属性,有兴趣的读者可以阅读GCC的相关文档。
下面是Linux内核中使用format属性的一个例子。
int libcfs_debug_msg(struct libcfs_debug_msg_data *msgdata,const char *format1, ...)
__attribute__ ((format (printf, 2, 3)));
libcfs_debug_msg()函数里声明了一个format函数属性,它会告诉编译器按照printf的参数表的格式规则对该函数参数进行检查。
数字2表示第二个参数为格式化字符串,
数字3表示参数“…”里的第一个参数在函数参数总数中排在第几个。
noreturn属性通知编译器,该函数从不返回值,这让编译器消除了不必要的警告信息。比如die函数,该函数不会返回。
void __attribute__((noreturn)) die(void);
const 属性会让编译器只调用该函数一次,以后再调用时只需要返回第一次结果即可,从而提高效率。
static inline u32 __attribute_const__read_cpuid_cachetype(void)
{
return read_cpuid(CTR_EL0);
}
Linux还有一些其他的函数属性,被定义在compiler-gcc.h文件中。
#define __pure
__attribute__((pure))
#define __aligned(x)
__attribute__((aligned(x)))
#define __printf(a, b)
__attribute__((format(printf, a, b)))
#define __scanf(a, b)
__attribute__((format(scanf, a, b)))
#define noinline
__attribute__((noinline))
#define __attribute_const__
__attribute__((__const__))
#define __maybe_unused
__attribute__((unused))
#define __always_unused
__attribute__((unused))
变量属性可以对变量或结构体成员进行属性设置。类型属性常见的属性有 alignment、packed和sections等。
alignment属性规定变量或者结构体成员的最小对齐格式,以字节为单位。
struct qib_user_info {
__u32 spu_userversion;
__u64 spu_base_info;
} __aligned(8);
在这个例子中,编译器以8字节对齐的方式来分配qib_user_info这个数据结构。
packed属性可以使变量或者结构体成员使用最小的对齐方式,对变量是以字节对齐,对域是以位对齐。
struct test{
char a;
int x[2] __attribute__ ((packed));
};
x成员使用了packed属性,它会存储在变量a后面,所以这个结构体一共占用9字节。
GNU C语言提供一系列内建函数进行优化,这些内建函数以“builtin”作为函数名前缀。
下面介绍Linux内核常用的一些内建函数。
#define __swab16(x) \
(__builtin_constant_p((__u16)(x)) ? \
___constant_swab16(x) : \
__fswab16(x))
#define LIKELY(x) __builtin_expect(!!(x), 1) //x很可能为真
#define UNLIKELY(x) __builtin_expect(!!(x), 0) //x很可能为假
如下面的prefetch()和prefetchw()函数的实现。
#define prefetch(x) __builtin_prefetch(x)
#define prefetchw(x) __builtin_prefetch(x,1)
下面是使用prefetch()函数进行优化的一个例子。
void __init __free_pages_bootmem(struct page *page,unsigned int order)
{
unsigned int nr_pages = 1 << order;
struct page *p = page;
unsigned int loop;
prefetchw(p);
for (loop = 0; loop < (nr_pages - 1); loop++, p++)
{
prefetchw(p + 1);
__ClearPageReserved(p);
set_page_count(p, 0);
}
…
}
在处理struct page数据之前通过prefetchw()预取到cache中,从而提升性能。
在标准C语言中,函数的形参在实际传入参数时会涉及参数存放问题。对于x86结构,函数参数和局部变量被一起分配到函数的局部堆栈里。
#define asmlinkage CPP_ASMLINKAGE __attribute__((regparm(0)))
attribute((regparm(0))):告诉编译器该函数不需要通过任何寄存器来传递参数,只通过堆栈来传递。
对于ARM来说,函数参数的传递有一套ATPCS标准,即通过寄存器来传递。ARM中的R0~R4寄存器存放传入参数,当参数超过5个时,多余的参数被存放在局部堆栈中。所以,ARM平台没有定义asmlinkage。
#define asmlinkage CPP_ASMLINKAGE
#define asmlinkage CPP_ASMLINKAGE
在Linux内核代码中,我们经常会看到一些数字的定义使用了UL后缀修饰。
数字常量会被隐形定义为int类型,两个int类型相加的结果可能会发生溢出,因此使用UL强制把int类型数据转换为unsigned long类型,这是为了保证运算过程不会因为int的位数不同而导致溢出。
《奔跑吧Linux内核》