前言
曾经写过一篇《Linux内核中链表的使用》, 这篇文章只是参考LKD3e介绍了内核中链表的使用方法,并没详细介绍链表的具体实现和该链表的组织方式,本文将更深入学习内核中的链表相关的知识,并解答上述问题。
传统双向链表和内核中的双向链表的区别
Linux内核中实现的链表,和平时看到的链表不太一样,它不是把具体的数据结构塞入到链表中,而是把链表节点存放到用户的数据结构中。这个设计的主要目的是因为操作链表是相同的,但涉及到具体的数据结构的操作时是不同的,所以内核设计者要把相同的东西抽出来,而具体的数据操作由用户自己去实现。
传统双向链表如下图所示:
- 有个单独的头结点(head)
- 每个节点(node)除了包含必要的数据之外,还有2个指针(pre,next)
- pre指针指向前一个节点(node),next指针指向后一个节点(node)
- 头结点(head)的pre指针指向链表的最后一个节点
- 最后一个节点的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{
unsigned long time;
unsigned int