Linux 内核里的数据结构 | 双向循环链表 list_head

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 主机上的代码，首先你将看到的是：

static inline void