Linux kernel 中存在着太多的宏,虽说这样做有助于开发人员对内核代码的复用,但这无疑提高了你一窥内核的门槛。
我共选择参考了三个内核版本互作补充,它们是 2.6.11、2.6.34.5 以及 5.3.8。这样做的唯一原因便是,避开一些宏的依赖,以便你能立马执行从 kernel 中摘出的代码。
我需要再次强调的是,我们避开的仅仅是那些为了系统或是编译器优化而存在的宏(就像 WRITE_ONCE、prefetch(x) 这样的),而非大量关键的、必要的宏。也许日后的某一天,我们会讨论到它们。
只要是你在后面看到的内核代码,你都可以在 kernel.org 网站中免费下载。
同时接下来链表部分的代码,你都可在源代码目录的 include/linux/list.h
文件中找见他们。
内核链表的结构
首先你能从下面的定义中看出来的是,struct list_head
是一个双向链表,没错,它的定义就是下面这么简单。
struct list_head {
struct list_head *next, *prev;
};
不过它与你之前所学习的链表有一处不同,我相信你也会觉得它在哪里怪怪的,它没有数据域!乍看起来,它就好像没有操作系统的电脑一样,除了会占用空间好像并没什么用。
再来回忆一下,你之前学习的链表也许是这样定义的,
struct normal_list {
int data;
struct normal_list *next, *prev;
};
而在你对 kernel 提供给你的链表进行封装之后,便是这个样子:
后面的代码,我们就将对 struct fox
构成的链表进行操作。
struct fox {
int data;
struct list_head list;
};
这就是内核黑客们的高明之处了,你需要先将其嵌入到你所需要的数据结构中,而后使用。换句话说,你不是向链表这个结构内塞入数据,而是将 kernel 提供给你的这个链表节点塞入到你的数据中。
内核链表的构造
有了你的节点结构后,kernel 也提供给你了构造链表的宏 ,
LIST_HEAD(fox_list)
执行上述代码系统便为你定义并初始化了一个 struct list_head
类型的头节点 fox_list,只不过此时它仅仅还是只有一个节点的双向循环链表。
这里放上宏定义的源代码:
#define LIST_HEAD_INIT(name) { &(name), &(name) }
#define LIST_HEAD(name) \
struct list_head name = LIST_HEAD_INIT(name)
为其添加新节点
当然 kernel 不会仅仅给你一个节点的构造方案,它还提供给你了一整套链表的操作,这些也正是运行在世界上成千上万台 Linux 主机上的代码,首先你将看到的是