Linux内核中常用的C语言技巧(一)

简介: Linux内核中常用的C语言技巧(一)

前言

Linux内核是基于C语言编写的,熟练掌握C语言是深入学习Linux内核的基本要求。

GNU C语言的扩展

GCC的C编译器除了支持ANSI C标准之外,还对C语言进行了很多的扩充。

这些扩充对代码优化、目标代码布局以及安全检查等方面提供了很强的支持,因此支持GNU扩展的C语言称为GNU C语言

Linux内核采用GCC编译器,所以Linux内核的代码自然使用了很多GCC的新扩充特性。

本章介绍一些GCC C语言扩充的新特性,希望读者在学习Linux内核时特别留意。

(1)语句表达式

在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类转换宏。

<include/linux/kernel.h>#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;
  • 第一句声明y是x指针指向的类型。
  • 第二句声明z是一个数组,其中数组的类型是x指针指向的类型。
  • 第三句声明m是一个指针数组,和char*m[4]声明是一样的。

(2)零长数组

GNU C语言允许使用变长数组,这在定义数据结构时非常有用。

<mm/percpu.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个地址的数据

(3)case范围

GNU C语言支持指定一个case的范围作为一个标签,如:

case low ...high:
case 'A' ...'Z':

这里low到high表示一个区间范围,在ASCII字符代码中也非常有用。下面是Linux内核中的代码例子。

<arch/x86/platform/uv/tlb_uv.c>
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;
}
}
}

另外,还可以用整形数来表示范围,但是这里需要注意在“…”两边有空格,否则编译会出错。

<drivers/usb/gadget/udc/at91_udc.c>
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;
}
}
}

(4)标号元素

标准C语言要求数组或结构体初始化值必须以固定顺序出现。但GNU C语言可以通过指定索引或结构体成员名来初始化,不必按照原来的固定顺序进行初始化。

结构体成员的初始化在 Linux 内核中经常使用,如在设备驱动中初始化 file_operations数据结构。下面是Linux内核中的一个代码例子。

<drivers/char/mem.c>
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。

(5)可变参数宏

在GNU C语言中,宏可以接受可变数目的参数,这主要运用在输出函数里。

<include/linux/printk.h>
#define pr_debug(fmt, ...) \
dynamic_pr_debug(fmt, ##__VA_ARGS__)

“…”代表一个可以变化的参数表,“VA_ARGS”是编译器保留字段,预处理时把参数传递给宏。当宏的调用展开时,实际参数就传递给dynamic_pr_debug函数了。

(6)函数属性

GNU C语言允许声明

  • 函数属性(Function Attribute)、
  • 变量属性(Variable Attribute)和
  • 类型属性(Type Attribute),

以便编译器进行特定方面的优化和更仔细的代码检查。特殊属性语法格式为:

__attribute__ ((attribute-list))

GNU C语言里定义的函数属性有很多,如noreturn、format以及const等。

此外,还可以定义一些和处理器体系结构相关的函数属性,如ARM体系结构中可以定义interrupt、isr等属性,有兴趣的读者可以阅读GCC的相关文档。

下面是Linux内核中使用format属性的一个例子。

<drivers/staging/lustru/include/linux/libcfs/>
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))

(7)变量属性和类型属性

变量属性可以对变量或结构体成员进行属性设置。类型属性常见的属性有 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字节。

(8)内建函数

GNU C语言提供一系列内建函数进行优化,这些内建函数以“builtin”作为函数名前缀。

下面介绍Linux内核常用的一些内建函数。

  • __builtin_constant_p(x):判断x是否在编译时就可以被确定为常量。如果x为常量,该函数返回1,否则返回0。
#define __swab16(x)        \
(__builtin_constant_p((__u16)(x)) ?  \
___constant_swab16(x) :      \
__fswab16(x))
  • __builtin_expect(exp, c):这里的意思是exp==c的概率很大,用来引导GCC编译器进行条件分支预测。开发人员知道最可能执行哪个分支,并将最有可能执行的分支告诉编译器,让编译器优化指令序列,使指令尽可能地顺序执行,从而提高CPU预取指令的正确率。
#define LIKELY(x) __builtin_expect(!!(x), 1) //x很可能为真
#define UNLIKELY(x) __builtin_expect(!!(x), 0) //x很可能为假
  • __builtin_prefetch(const void *addr, int rw, int locality):主动进行数据预取,在使用地址addr的值之前就把其值加载到cache中,减少读取的延迟,从而提高性能。该函数可以接受3个参数:
  • 第一个参数addr表示要预取数据的地址;
  • 第二个参数rw表示读写属性,1表示可写,0表示只读;
  • 第三个参数locality表示数据在cache中的时间局部性,其中0表示读取完addr的之后不用保留在cache中,而1~3表示时间局部性逐渐增强。

如下面的prefetch()和prefetchw()函数的实现。

<include/linux/prefetch.h>
#define prefetch(x) __builtin_prefetch(x)
#define prefetchw(x) __builtin_prefetch(x,1)

下面是使用prefetch()函数进行优化的一个例子。

<mm/page_alloc.c>
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中,从而提升性能。

(9)asmlinkage

在标准C语言中,函数的形参在实际传入参数时会涉及参数存放问题。对于x86结构,函数参数和局部变量被一起分配到函数的局部堆栈里。

<arch/x86/include/asm/linkage.h>
#define asmlinkage CPP_ASMLINKAGE __attribute__((regparm(0)))

attribute((regparm(0))):告诉编译器该函数不需要通过任何寄存器来传递参数,只通过堆栈来传递。

对于ARM来说,函数参数的传递有一套ATPCS标准,即通过寄存器来传递。ARM中的R0~R4寄存器存放传入参数,当参数超过5个时,多余的参数被存放在局部堆栈中。所以,ARM平台没有定义asmlinkage

<include/linux/linkage.h>
#define asmlinkage CPP_ASMLINKAGE
#define asmlinkage CPP_ASMLINKAGE

(10)UL

在Linux内核代码中,我们经常会看到一些数字的定义使用了UL后缀修饰。

数字常量会被隐形定义为int类型,两个int类型相加的结果可能会发生溢出,因此使用UL强制把int类型数据转换为unsigned long类型,这是为了保证运算过程不会因为int的位数不同而导致溢出。

  • 1 :表示有符号整型数字1
  • 1UL:表示无符号长整型数字1

参考资料

《奔跑吧Linux内核》

目录
相关文章
|
3天前
|
算法 Linux 开发者
深入探究Linux内核中的内存管理机制
本文旨在对Linux操作系统的内存管理机制进行深入分析,探讨其如何通过高效的内存分配和回收策略来优化系统性能。文章将详细介绍Linux内核中内存管理的关键技术点,包括物理内存与虚拟内存的映射、页面置换算法、以及内存碎片的处理方法等。通过对这些技术点的解析,本文旨在为读者提供一个清晰的Linux内存管理框架,帮助理解其在现代计算环境中的重要性和应用。
|
1天前
|
缓存 网络协议 Linux
Linux操作系统内核
Linux操作系统内核 1、进程管理: 进程调度 进程创建与销毁 进程间通信 2、内存管理: 内存分配与回收 虚拟内存管理 缓存管理 3、驱动管理: 设备驱动程序接口 硬件抽象层 中断处理 4、文件和网络管理: 文件系统管理 网络协议栈 网络安全及防火墙管理
18 4
|
3天前
|
人工智能 算法 大数据
Linux内核中的调度算法演变:从O(1)到CFS的优化之旅###
本文深入探讨了Linux操作系统内核中进程调度算法的发展历程,聚焦于O(1)调度器向完全公平调度器(CFS)的转变。不同于传统摘要对研究背景、方法、结果和结论的概述,本文创新性地采用“技术演进时间线”的形式,简明扼要地勾勒出这一转变背后的关键技术里程碑,旨在为读者提供一个清晰的历史脉络,引领其深入了解Linux调度机制的革新之路。 ###
|
5天前
|
算法 Linux 定位技术
Linux内核中的进程调度算法解析####
【10月更文挑战第29天】 本文深入剖析了Linux操作系统的心脏——内核中至关重要的组成部分之一,即进程调度机制。不同于传统的摘要概述,我们将通过一段引人入胜的故事线来揭开进程调度算法的神秘面纱,展现其背后的精妙设计与复杂逻辑,让读者仿佛跟随一位虚拟的“进程侦探”,一步步探索Linux如何高效、公平地管理众多进程,确保系统资源的最优分配与利用。 ####
28 4
|
6天前
|
缓存 负载均衡 算法
Linux内核中的进程调度算法解析####
本文深入探讨了Linux操作系统核心组件之一——进程调度器,着重分析了其采用的CFS(完全公平调度器)算法。不同于传统摘要对研究背景、方法、结果和结论的概述,本文摘要将直接揭示CFS算法的核心优势及其在现代多核处理器环境下如何实现高效、公平的资源分配,同时简要提及该算法如何优化系统响应时间和吞吐量,为读者快速构建对Linux进程调度机制的认知框架。 ####
|
8天前
|
缓存 Linux
揭秘Linux内核:探索CPU拓扑结构
【10月更文挑战第26天】
25 1
|
9天前
|
缓存 运维 Linux
深入探索Linux内核:CPU拓扑结构探测
【10月更文挑战第18天】在现代计算机系统中,CPU的拓扑结构对性能优化和资源管理至关重要。了解CPU的核心、线程、NUMA节点等信息,可以帮助开发者和系统管理员更好地调优应用程序和系统配置。本文将深入探讨如何在Linux内核中探测CPU拓扑结构,介绍相关工具和方法。
10 0
|
14天前
|
缓存 算法 安全
深入理解Linux操作系统的心脏:内核与系统调用####
【10月更文挑战第20天】 本文将带你探索Linux操作系统的核心——其强大的内核和高效的系统调用机制。通过深入浅出的解释,我们将揭示这些技术是如何协同工作以支撑起整个系统的运行,同时也会触及一些常见的误解和背后的哲学思想。无论你是开发者、系统管理员还是普通用户,了解这些基础知识都将有助于你更好地利用Linux的强大功能。 ####
25 1
|
15天前
|
缓存 编解码 监控
深入探索Linux内核调度机制的奥秘###
【10月更文挑战第19天】 本文旨在以通俗易懂的语言,深入浅出地剖析Linux操作系统内核中的进程调度机制,揭示其背后的设计哲学与实现策略。我们将从基础概念入手,逐步揭开Linux调度策略的神秘面纱,探讨其如何高效、公平地管理系统资源,以及这些机制对系统性能和用户体验的影响。通过本文,您将获得关于Linux调度机制的全新视角,理解其在日常计算中扮演的关键角色。 ###
42 1
|
6天前
|
缓存 算法 Linux
Linux内核中的内存管理机制深度剖析####
【10月更文挑战第28天】 本文深入探讨了Linux操作系统的心脏——内核,聚焦其内存管理机制的奥秘。不同于传统摘要的概述方式,本文将以一次虚拟的内存分配请求为引子,逐步揭开Linux如何高效、安全地管理着从微小嵌入式设备到庞大数据中心数以千计程序的内存需求。通过这段旅程,读者将直观感受到Linux内存管理的精妙设计与强大能力,以及它是如何在复杂多变的环境中保持系统稳定与性能优化的。 ####
13 0