Linux内核中链表的实现

开发Linux内核不需要天赋，不需要有什么魔法，连Unix开发者普遍长着的络腮胡子都不一定要有。                                                   Robert Love

内核中链表O(1)的添加、删除操作

Linux内核中标准链表实现上采用的是环形双向链表。链表结构的定义在<linux/list.h>中，

struct list_head {

         struct list_head *next, *prev;

}

在内核中，链表中的任何一个节点都可以作为头节点，从另外一个角度而言，也就是说，链表中没有头节点。

（1）       由于是双向链表，所以链表很容易实现向前或向后访问

（2）       由于是环形链表，所以我们很容易从任意一个节点开始遍历整个链表

（3）       由于是双向环形链表，我们很容易实现O(1)的链表添加、删除操作

链表的插入

/*

 * Insert a new entry between two known consecutive entries.

 *

 * This is only for internal list manipulation where we know

 * the prev/next entries already!

 */

static inline void __list_add(struct list_head *new,

                                  struct list_head *prev,

                                  struct list_head *next)

{

         next->prev = new;

         new->next = next;

         new->prev = prev;

         prev->next = new;

}

已知插入的位置，只需进行四次赋值就可完成链表元素的插入

双向链表的使用一般支持节点的前向插入和后向插入，通过上述__list_add我们都可以实现，例如，对于特定的头节点struct list_head *head，前向插入可以通过

__list_add(new, head->prev, head)

实现，后向插入可以通过

__list_add(new, head, head->next)

实现

链表的删除

/*

 * Delete a list entry by making the prev/next entries

 * point to each other.

 *

 * This is only for internal list manipulation where we know

 * the prev/next entries already!

 */

static inline void __list_del(struct list_head * prev, struct list_head * next)

{

         next->prev = prev;

         prev->next = next;

}

显然，上述插入和删除操作显然是O(1)的。

实际上，对于单项链表，我们也能够实现O(1)的插入和删除操作的

假设单向链表的定义为

struct list_node {

    int data;

         struct list_node *next;

}

对于单向链表，一般为了操作方便，会加上一个链表头，链表头指向链表的第一个元素，当链表头的next指针为0时，链表为空。

对于上述定义的单向链表，我们O(1)的插入和删除操作实现如下：

/*Insert a new node before specified node*/

static inline void __list_add(struct list_node *new,

                                  struct list_node *node)

{

         int tmp = node->data;

node->data = new->data;

new->data = tmp;

new->next = node->next;

node->next = new;

}

前向插入的难点在于单向链表中我们无法以O(1)的代价得到当前节点的前一个节点，但如果我们将new和node的内容交换以后，问题变成了在node后向插入一个节点，这个问题就会很简单。

删除操作

static inline void __list_del(struct list_node *head,

                                  struct list_node *node)

{

         if (head == node){

       return;

}else if (node->next == 0){

   struct list_node *tmp = head;

   while (tmp->next != node){

      tmp = tmp->next;

   }

   tmp->next = 0;

} else {

   struct list_node *tmp = node->next;

   node->data = tmp->data;

   node->next = tmp->next;

   free_node(tmp);

}

}

上述代码中，当被删除节点不是链表尾节点时，我们只需将被删除节点的后一个节点拷贝到被删除节点，然后释放掉后一个节点即可；当被删除节点是链表尾节点时，由于我们必须重置被删除节点的前一个节点的next指针为空，因此需要从头遍历链表。