Linux内核中链表的实现

前言

曾经写过一篇《Linux内核中链表的使用》， 这篇文章只是参考LKD3e介绍了内核中链表的使用方法，并没详细介绍链表的具体实现和该链表的组织方式，本文将更深入学习内核中的链表相关的知识，并解答上述问题。

传统双向链表和内核中的双向链表的区别

Linux内核中实现的链表，和平时看到的链表不太一样，它不是把具体的数据结构塞入到链表中，而是把链表节点存放到用户的数据结构中。这个设计的主要目的是因为操作链表是相同的，但涉及到具体的数据结构的操作时是不同的，所以内核设计者要把相同的东西抽出来，而具体的数据操作由用户自己去实现。
传统双向链表如下图所示：

1. 有个单独的头结点(head)
2. 每个节点(node)除了包含必要的数据之外，还有2个指针(pre,next)
3. pre指针指向前一个节点(node)，next指针指向后一个节点(node)
4. 头结点(head)的pre指针指向链表的最后一个节点
5. 最后一个节点的next指针指向头结点(head)
   

传统的链表中每个node中的data1，data2等等都是不确定的(无论是个数还是类型)。linux中的链表巧妙的解决了这个问题，linux的链表不是将用户数据保存在链表节点中，而是将链表节点保存在用户数据中。这样的话，链表的节点将独立于用户数据之外，便于实现链表的共同操作。

如下图所示为内核中双向循环链表的组织形式，它们之前使用pre和next互相连接，但是不是指向数据本身，而是指向结构体中代表节点的统一的结构体成员，一般为struct list_head list。

内核中链表的具体实现

上面说了，内核中的链表实现是把链表节点放到具体的用户数据结构中的，这个链表节点是很关键的，它也是抽象出来共同的东西，实际上很简单，就是带两个指针的结构体变量。除了基本的数据结构外，链表的常用操作还有：初始化，增加，遍历，删除。当然还有一些高级的操作，如链表移动，合并，反向遍历就不一一列举了。

基本数据结构

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

初始化

在使用链表时，需要定义一个链表头，方便索引整个链表，由LIST_HEAD()实现，给定一个入参name，即链表头变量，把它定义为struct list_head，再把它的prev和next都指向自己。

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

#define LIST_HEAD(name) \
    struct list_head name = LIST_HEAD_INIT(name)

如初始化一个链表头addr_list

LIST_HEAD(addr_list);

如果已知是一个struct list_head变量，则使用如下函数初始化

void INIT_LIST_HEAD(struct list_head *list)
{
   
    list->next = list;
    list->prev = list;
}

链表增加

在进行增加之前，先自定义一个用户的数据结构，随便构造一个，注意的是里面一定要包含struct list_head成员。

struct ipstore{