侵入式链表，内核链表

链表

数组使用一块连续的存储单元来存储数据，而链表是用一组任意地址的存储单元来存储数据，且链表的长度是不固定的，这一特点使其可以非常方便地实现节点的插入和删除操作。

链表的每个元素称为一个节点，每个节点都可以存储在内存中的不同的位置，为了表示每个元素与后继元素的逻辑关系，以便构成“一个节点链着一个节点”的链式存储结构。

除了存储元素本身的信息外，还要存储其直接后继信息。因此，每个节点都包含两个部分，第一部分称为链表的数据域，用于存储元素本身的数据信息，这里用 data 表示，它不局限于一个成员数据，也可是多个成员数据。第二部分是一个结构体指针，称为链表的指针域，用于存储其直接后继的节点信息，这里用next表示，next的值实际上就是下一个节点的地址。

普通链表

struct foo_s {
	int				data;
	struct foo_s	*next;
};

链表 = 节点1 --> 节点2 -->… （前一个节点的指针域指向下一个节点的数据结构首地址）

节点 = data + next （每个节点都是使用的相同的数据结构）

侵入式链表

struct list_s {
	struct list_s *next;
};

struct foo_s {
	int		data;
	struct list_s	link;
};

链表 = 节点1 --> 节点2 --> … （前一个节点的指针域指向下一个节点的指针域）

节点 = data + next （节点可以使用不同的数据结构，如 struct foo_s、struct foo_s2，只要在它们内部都包含 struct list_s就可以了）

内核链表

内核中使用的链表大多数都是侵入式链表，不过要比上面的例子稍微复杂点，是侵入式双向循环链表，如下图

其数据结构如下，这里以 led_classdev 为例

struct list_head {
	struct list_head *next, *prev;
};

struct led_classdev {
	const char		*name;
	enum led_brightness	 brightness;
	enum led_brightness	 max_brightness;
	int			 flags;
...
	struct list_head	 node;			/* LED Device list */
...
}

从上面结构体可以看出，链表(list_head)是嵌(侵)入在其它宿主数据结构(led_classdev)中的，这些宿主数据结构可以不相同。并且，这些宿主数据结构中可以包含多个链表。

侵入式链表(内核链表)的好处

如果我们有一种数据结构 foo，并且需要维持一个这种数据结构的双链队列，最简单的、也是最常用的办法就是在这个数据结构的类型定义中加入两个指针，例如：

typedef struct foo {
	struct foo *prev;
	struct foo *next;
	....
} foo;

然后为这种数据结构写一套用于各种队列操作的子程序。由于用来维持队列的这两个指针的类型是固定的（都指向 foo 数据结构），这些子程序不能用于其它数据结构的队列。换言之，需要维持多少种数据结构的队列，就得有多少套的队列操作子程序。对于使用队列较少的应用程序或许不是个大问题，但对于使用大量队列的内核就成问题了。所以，Linux 内核中采用了一套通用的、一般的、可以用到各种不同数据结构的队列操作。为此，代码的作者们把指针 prev 和 next 从具体的“宿主”数据结构中抽象出来成为一种数据结构 list_head，这种数据结构既可以“寄宿”在具体的宿主数据结构内部，成为该数据结构的一个“连接件”；也可以独立存在而成为一个队列的头。这个数据结构的定义在 include/linux/list.h 中

实例解析

我们以用于内存页面管理的 page 数据结构为例：

typedef struct page {
	struct list_head list;
...
	struct list_head lru;
...
} mem_map_t;

可见，在 page 数据结构中寄宿了两个 list_head 结构，或者说有两个队列操作的连接件，所以 page 结构可以同时存在于两个双链队列中。

一个疑问

有些小伙伴可能发问了：队列操作都是通过 list_head 进行的，但是那不过是个连接件，如果我们手上有宿主结构，那当然知道它的某个 list_head 在哪里，从而以此为参数调用 list_add() 或 list_del()；可是，反过来，当我们顺着一个队列取得其中一项的 list_head 结构时，又怎样找到其宿主结构呢？在 list_head 结构中并没有指向宿主结构的指针啊。毕竟，我们真正关心的是宿主结构，而不是连接件。

这就要提到内核中 offsetof、container_of 这两个神奇的宏了，使用这两个宏，在给定链表结构地址时，我们能够获取其宿主结构的地址。这样就能开心地操作宿主结构了。这里我们只给出它们的定义，后面再专门写文章介绍他们。

include/linux/kernel.h

#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)

#define container_of(ptr, type, member) ({			\
	const typeof(((type *)0)->member) * __mptr = (ptr);	\
	(type *)((char *)__mptr - offsetof(type, member)); })