详解Linux内核之双向循环链表

1、双循环链表传统实现：

在传统的双循环链表实现中，如果创建某种数据结构的双循环链表，通常采用的办法是在这个数据结构的类型定义中加入两个（指向该类型对象的）指针next和prev。例如：

引用:

typedef struct foo {

…

struct foo *prev;

struct foo *next;

…

} foo_t;

这里给出了对应的节点结构、空的双循环链表和非空的双循环链表示意图。

2、Linux内核中双循环链表实现

在linux内核中，有大量的数据结构需要用到双循环链表，例如进程、文件、模块、页面等。若采用双循环链表的传统实现方式，需要为这些数据结构维护各自的链表，并且为每个链表都要设计插入、删除等操作函数。因为用来维持链表的next和prev指针指向对应类型的对象，因此一种数据结构的链表操作函数不能用于操作其它数据结构的链表。

在Linux源代码树的include/linux/list.h文件中，采用了一种类型无关的双循环链表实现方式。其思想是将指针prev和next从具体的数据结构中提取出来构成一种通用的"双链表"数据结构list_head。如果需要构造某类对象的特定链表，则在其结构（被称为宿主数据结构）中定义一个类型为list_head类型的成员，通过这个成员将这类对象连接起来，形成所需链表，并通过通用链表函数对其进行操作。其优点是只需编写通用链表函数，即可构造和操作不同对象的链表，而无需为每类对象的每种列表编写专用函数，实现了代码的重用。

list_head结构

引用:

-----------struct list_head{}及初始化宏---------

struct list_head

{

struct list_head *next, *prev;

};

当用此类型定义一个独立的变量时，其为头结点；

当其为某个结构体的一个成员时，其为普通结点。

尽管形式一样，但表达的意义不同，是否应该定义为两个类型list_head和list_node？？？无法分开，空链表时指向了自己

list_head成员作为"连接件"，把宿主数据结构链接起来。如下图所示：

在Linux内核中的双循环链表实现方式下：

1. list_head类型的变量作为一个成员嵌入到宿主数据结构内；

2. 可以将链表结构放在宿主结构内的任何地方；

3. 可以为链表结构取任何名字；

4. 宿主结构可以有多个链表结构；

5. 用list_head中的成员和相对应的处理函数来对链表进行遍历；

6. 如果想得到宿主结构的指针，使用list_entry可以算出来。

3、定义和初始化

引用:

--LIST_HEAD_INIT()--LIST_HEAD()--INIT_LIST_HEAD()------

#define LIST_HEAD_INIT(name) { &(name), &(name) }

#define LIST_HEAD(name) \

struct list_head name = LIST_HEAD_INIT(name)

需要注意的是，Linux 的每个双循环链表都有一个链表头，链表头也是一个节点，只不过它不嵌入到宿主数据结构中，即不能利用链表头定位到对应的宿主结构，但可以由之获得虚拟的宿主结构指针。

LIST_HEAD()宏可以同时完成定义链表头，并初始化这个双循环链表为空。

静态定义一个list_head 类型变量，该变量一定为头节点。name为struct list_head{}类型的一个变量，&(name)为该结构体变量的地址。用name结构体变量的始地址将该结构体变量进行初始化。

引用:

#define INIT_LIST_HEAD(ptr) do { \

(ptr)->next = (ptr); (ptr)->prev = (ptr); \

} while (0)

动态初始化一个已经存在的list_head对象，ptr为一个结构体的指针，这样可以初始化堆栈以及全局区定义的list_head对象。ptr使用时候，当用括号，(ptr)，避免ptr为表达式时宏扩展带来的异常问题。此宏很少用于动态初始化内嵌的list对象，主要是链表合并或者删除后重新初始化头部。若是在堆中申请了这个链表头，调用INIT_LIST_HEAD()宏初始化链表节点，将next和prev指针都指向其自身，我们就构造了一个空的双循环链表。

2.6内核中内联函数版本如下：

引用:

static inline void INIT_LIST_HEAD(struct list_head *list)

{

list->next = list;

list->prev = list;

}

此时的参数有明确的类型信息struct list_head，同时可以看出其为指针，list无须象宏中那样（），即使参数为表达式，其也是求值后再作为参数传入的。内联函数有严格的参数类型检查，同时不会出现宏函数扩展带来的异常问题，但是运行效率和空间效率与宏函数一致。