linux内核链表分析与实践

喜欢ヅ旅行 2022-08-09 09:58 181阅读 0赞

linux内核中有很多用的很经典的数据结构，链表就算其中之一，还有队列，

哈希查找，红黑树查找等等，链表的设计很经典，就连很多开发内核的黑客们

都觉得内核中链表的设计是他们引以自豪的一部分。我觉得内核链表的好主要

体现为两点，1是可扩展性，2是封装。可扩展性肯定是必须的，内核一直都是

在发展中的，所以代码都不能写成死代码，要方便修改和追加。将链表常见的

操作都进行封装，使用者只关注接口，不需关注实现。分析内核中的链表我们

可以做些什么呢？我觉得可以将其复用到用户态编程中，以后在用户态下编程

就不需要写一些关于链表的代码了，直接将内核中list.h中的代码拷贝过来用。

也可以整理出my\_list.h，在以后的用户态编程中直接将其包含到C文件中。  
\-------------------------------------------------------------------------------------------  
1，链表的创建和初始化。  
     内核的链表一般都是双向循环链表，学过数据结构的人都知道，双向循环

链表的效率是最高的，找头节点，尾节点，直接前驱，直接后继时间复杂度都是O(1)，而使用单链表，单向循环链表或其他形式的链表是不能完成的。  
其实内存中开辟出一个头节点然后将其初始化好就完成了链表的创建。

1.  static inline void INIT\_LIST\_HEAD(struct list\_head \*list)  
    
2.  \{   
    
3.      list\->next = list;  
    
4.      list\->prev = list;  
    
5.  \}

开辟好头节点后，然后将结构体中的next域和prev域都指向自己即OK。  
例如：（用户态下一个例子）

1.  struct stu \{   
    
2.      int num;  
    
3.      char name\[20\];  
    
4.      struct list\_head list;  
    
5.  \};

1.        
    
2.  struct stu \*head = (struct stu \*)malloc(sizeof(struct stu));  
    
3.  if (head == NULL) \{   
    
4.      printf("file,%s line,%d:malloc error!\\n",\_\_FILE\_\_,\_\_LINE\_\_);  
    
5.      exit(1);  
    
6.  \}  
    
7.  INIT\_LIST\_HEAD(&head\->list);

上面的代码就完成了一个双向循环链表的创建。图示如下：  
[![27033491_1343805797X4qP.png][]][27033491_1343805797X4qP.png]  
\-------------------------------------------------------------------------------------------  
2.链表的节点的插入。上面建立的只是一个空链表，肯定要向链表中插入一些

节点，插入的方式很多，下面主要分析list\_add\_tail函数，该函数实现的是

“尾插”。

1.  static inline void \_\_list\_add(struct list\_head \*new,  
    
2.                     struct list\_head \*prev,  
    
3.                      struct list\_head \*next)  
    
4.  \{   
    
5.        next\->prev = new;  
    
6.        new\->next = next;  
    
7.        new\->prev = prev;  
    
8.        prev\->next = new;  
    
9.  \}  
    
10.   
    
11. /\*\*  
    
12.  \* list\_add\_tail \- add a new entry  
    
13.  \* @new: new entry to be added  
    
14.  \* @head: list head to add it before  
    
15.  \*  
    
16.  \* Insert a new entry before the specified head.  
    
17.  \* This is useful for implementing queues.  
    
18.  \*/  
    
19.  static inline void list\_add\_tail(struct list\_head \*new, struct list\_head \*head)  
    
20.  \{   
    
21.       \_\_list\_add(new, head\->prev, head);  
    
22.  \}

其实，双向循环链表插入节点很简单，也不需要辅助指针，就几个指针变来变去的，画个图就清楚了  
如果光靠脑子还不好想。示意图如下：  
[![27033491_1343806165PWJA.png][]][27033491_1343806165PWJA.png]  
  
\-------------------------------------------------------------------------------------------  
3，链表的遍历。  
      遍历就是使用线性表的方式吧链表上的每个节点都走一遍，内核中定

义了一个宏来实现。

1.  \#define list\_for\_each(pos, head) \\  
    
2.       for (pos = (head)\->next; prefetch(pos\->next), pos != (head); \\  
    
3.               pos = pos\->next)

可以看出，使用了辅助指针pos,pos是从第一节点开始的，并没有访问头节点，

直到pos到达头节点指针head的时候结束。

1.  /\*\*  
    
2.    \* list\_entry \- get the struct for this entry  
    
3.    \* @ptr: the &struct list\_head pointer.  
    
4.    \* @type: the type of the struct this is embedded in.  
    
5.    \* @member: the name of the list\_struct within the struct.  
    
6.    \*/  
    
7.  \#define list\_entry(ptr, type, member) \\  
    
8.         container\_of(ptr, type, member)

1.  \#ifndef container\_of  
    
2.  /\*\*  
    
3.   \* container\_of \- cast a member of a structure out to the containing structure  
    
4.   \*   
    
5.   \* @ptr: the pointer to the member.  
    
6.   \* @type: the type of the container struct this is embedded in.  
    
7.   \* @member: the name of the member within the struct.  
    
8.   \*  
    
9.   \*/  
    
10. \#define container\_of(ptr, type, member) (\{  \\  
    
11.          const typeof( ((type \*)0)\->member ) \*\_\_mptr = (ptr); \\  
    
12.           (type \*)( (char \*)\_\_mptr \- offsetof(type,member) );\})  
    
13. \#endif

list\_entry主要是实现从内层结构体返回到外层结构体，就拿上面的struct stu

结构体来说吧，现在假如知道struct stu内部list结构体的指针pos,如何来获得

该结构体对应的struct stu的结构体指针？这儿主要是使用container\_of这个宏

来实现的，该宏主要是用了一个技巧，主要是求出内层结构体字段到外层的偏移量，计算的方式是，将外层结构体的地址设置为0，然后就有，该字段的地址 =

该字段到外层结构体的偏移量。

更详细的解释见：  
[http://www.kroah.com/log/linux/container\_of.html][http_www.kroah.com_log_linux_container_of.html]  
示意图如下：  
[![27033491_1343808198Ff23.png][]][27033491_1343808198Ff23.png]

遍历的时候都是遍历pos,然后再由pos返回到pnode。然后就可以访问

strudent中的任何一个字段了。  
  
\------------------------------------------------------------------------------------------  
4，链表的释放。  
     由于链表的节点都是动态开辟的空间，必须要释放，不然容易造成内存泄漏。  
 释放也是一个节点一个节点的释放，故也需要遍历链表。

1.  /\*\*  
    
2.   \* list\_for\_each\_safe \- iterate over a list safe against removal of list entry  
    
3.   \* @pos: the &struct list\_head to use as a loop cursor.  
    
4.   \* @n: another &struct list\_head to use as temporary storage  
    
5.   \* @head: the head for your list.  
    
6.   \*/  
    
7.  \#define list\_for\_each\_safe(pos, n, head) \\  
    
8.      for (pos = (head)\->next, n = pos\->next; pos != (head); \\  
    
9.          pos = n, n = pos\->next)

该遍历链表和一般的链表遍历不一样，这时候是释放整条链表，必须要重

新引入一个辅助指针n,如果使用list\_for\_each就会出错。

1.  static inline void \_\_list\_del(struct list\_head \* prev, struct list\_head \* next)  
    
2.  \{   
    
3.       next\->prev = prev;  
    
4.       prev\->next = next;  
    
5.  \}  
    
6.    
    
7.    
    
8.  static inline void list\_del(struct list\_head \*entry)  
    
9.  \{   
    
10.      \_\_list\_del(entry\->prev, entry\->next);  
    
11.      entry\->next = LIST\_POISON1;  
    
12.      entry\->prev = LIST\_POISON2;  
    
13. \}

list\_del将会将该节点与外界的“联系”切断，然后就可以使用free释放了

（如果是内核态就用kfree或vfree）。  
  
最后将会只剩下头节点，再将头节点释放，将完成了整条链表的释放。  
\-------------------------------------------------------------------------------------------  
5，用户态使用内核链表的实例：（完整代码）  
[![rar.gif][] kernel\_list\_for\_user.rar ][rar.gif_kernel_list_for_user.rar]    
  
\--------------------------------------------------------------------------------------------  
6,参考：  [http://kernelnewbies.org/FAQ/LinkedLists][http_kernelnewbies.org_FAQ_LinkedLists]

[27033491_1343805797X4qP.png]: http://blog.chinaunix.net/attachment/201208/1/27033491_1343805797X4qP.png
[27033491_1343806165PWJA.png]: http://blog.chinaunix.net/attachment/201208/1/27033491_1343806165PWJA.png
[http_www.kroah.com_log_linux_container_of.html]: http://www.kroah.com/log/linux/container_of.html
[27033491_1343808198Ff23.png]: http://blog.chinaunix.net/attachment/201208/1/27033491_1343808198Ff23.png
[rar.gif]: http://blog.chinaunix.net/blog/image/attachicons/rar.gif
[rar.gif_kernel_list_for_user.rar]: http://blog.chinaunix.net/attachment/attach/27/03/34/912703349187ea299086260ac629bbf544b3405004.rar
[http_kernelnewbies.org_FAQ_LinkedLists]: http://kernelnewbies.org/FAQ/LinkedLists