Linux内核中的算法和数据结构

╰半橙微兮° 2023-08-17 15:56 79阅读 0赞

算法和数据结构纷繁复杂，但是对于Linux Kernel开发人员来说重点了解Linux内核中使用到的算法和数据结构很有必要。

在一个国外问答平台[stackexchange.com][]的Theoretical Computer Science子板有一篇讨论实际使用中的算法和数据结构，Vijay D做出了详细的解答，其中有一部分是Basic Data Structures and Algorithms in the Linux Kernel对Linux内核中使用到的算法和数据结构做出的归纳整理。详情参考[这里][Link 1]。

同时有一篇中文翻译在[https://linux.cn/article-2317-1.html][https_linux.cn_article-2317-1.html]可以找到。

下面就以Vijay D的回答作为蓝本进行学习总结。

# 测试方法准备 #

由于需要在内核中进行代码测试验证，完整编译安装内核比较耗时耗力。准备采用module形式来验证。

Makefile

<table> 
 <tbody> 
  <tr> 
   <td> <p>obj-m:=linked-list.o</p> <p>KERNELBUILD:=/lib/modules/$(shell uname -r)/build</p> <p>default:<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; make -C ${KERNELBUILD} M=$(shell pwd) modules<br>clean:<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; rm -rf *.o *.cmd *.ko *.mod.c .tmp_versions</p> </td> 
  </tr> 
 </tbody> 
</table>

linked-list.c

<table> 
 <tbody> 
  <tr> 
   <td> <p>#include &lt;linux/module.h&gt;<br>#include &lt;linux/init.h&gt;<br>#include &lt;linux/list.h&gt;</p> <p>int linked_list_init(void)<br>{ <br>&nbsp;&nbsp;&nbsp; printk("%s\n", __func__);<br>&nbsp;&nbsp;&nbsp; return 0;<br>}</p> <p>void linked_list_exit(void)<br>{ <br>&nbsp;&nbsp;&nbsp; printk("%s\n", __func__);<br>}</p> <p>module_init(linked_list_init);<br>module_exit(linked_list_exit);<br>MODULE_AUTHOR("Arnold Lu");<br>MODULE_LICENSE("GPL");<br>MODULE_DESCRIPTION("Linked list test");</p> </td> 
  </tr> 
 </tbody> 
</table>

安装module

<table> 
 <tbody> 
  <tr> 
   <td>sudo insmod linked-list.ko</td> 
  </tr> 
 </tbody> 
</table>

查找安装情况

<table> 
 <tbody> 
  <tr> 
   <td>lsmod | grep linked-list</td> 
  </tr> 
 </tbody> 
</table>

执行log

<table> 
 <tbody> 
  <tr> 
   <td> <p>&lt;4&gt;[621267.946711] linked_list_init<br>&lt;4&gt;[621397.154534] linked_list_exit</p> </td> 
  </tr> 
 </tbody> 
</table>

删除module

<table> 
 <tbody> 
  <tr> 
   <td>sudo rmmod linked-list</td> 
  </tr> 
 </tbody> 
</table>

# 链表、双向链表、无锁链表 #

<table> 
 <tbody> 
  <tr> 
   <td> <p><a href="https://github.com/mirrors/linux-2.6/blob/master/lib/llist.c" rel="nofollow">Linked list</a>,&nbsp;<a href="https://github.com/mirrors/linux-2.6/blob/master/include/linux/list.h" rel="nofollow">doubly linked list</a>,&nbsp;<a href="https://github.com/mirrors/linux-2.6/blob/master/include/linux/llist.h" rel="nofollow">lock-free linked list</a>.</p> </td> 
  </tr> 
 </tbody> 
</table>

有一篇关于内核链表《[深入分析Linux内核链表][Linux]》值得参考。

链表是一种常用的组织有序数据的数据结构，它通过指针将一系列数据节点连接成一条数据链，是线性表的一种重要实现方式。相对于数组，链表具有更好的动态性，建立链表时无需预先知道数据总量，可以随机分配空间，可以高效地在链表中的任意位置实时插入或删除数据。链表的开销主要是访问的顺序性和组织链的空间损失。

通常链表数据结构至少应包含两个域：数据域和指针域，数据域用于存储数据，指针域用于建立与下一个节点的联系。按照指针域的组织以及各个节点之间的联系形式，链表又可以分为单链表、双链表、循环链表等多种类型.

[![image001][]][image001 1]

通过设计前驱和后继两个指针域，双链表可以从两个方向遍历，这是它区别于单链表的地方。如果打乱前驱、后继的依赖关系，就可以构成"二叉树"；如果再让首节点的前驱指向链表尾节点、尾节点的后继指向首节点（如图2中虚线部分），就构成了循环链表；如果设计更多的指针域，就可以构成各种复杂的树状数据结构。

[![image002][]][image002 1]

循环链表的特点是尾节点的后继指向首节点。前面已经给出了双循环链表的示意图，它的特点是从任意一个节点出发，沿两个方向的任何一个，都能找到链表中的任意一个数据。如果去掉前驱指针，就是单循环链表。

## Simple doubly linked list ##

数据结构：

<table> 
 <tbody> 
  <tr> 
   <td> <p>struct list_head { <br>&nbsp;&nbsp;&nbsp; struct list_head *next, *prev;<br>};</p> </td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td> <p>声明和初始化：<br>static inline void INIT_LIST_HEAD(struct list_head *list)</p> <p>在表头插入和在表尾插入：<br>static inline void list_add(struct list_head *new, struct list_head *head)</p> <p>static inline void list_add_tail(struct list_head *entry, struct list_head *head)</p> <p>删除，被删除的节点prev、next分别被设为LIST_POISON2、LIST_POISON1，当访问此节点时会引起叶故障。保证不在链表中的节点项不可访问。<br>static inline void list_del(struct list_head *entry)</p> <p>static inline void list_del_init(struct list_head *entry)&nbsp;&nbsp;将entry从链表解下来，重新初始化，就可以访问节点。</p> <p>将节点从一个链表搬移到另一个链表，根据插入表头和表位分两种：<br>static inline void list_move(struct list_head *list, struct list_head *head)</p> <p>static inline void list_move_tail(struct list_head *list, struct list_head *head)</p> <p>用新节点替换纠结点：<br>static inline void list_replace(struct list_head *old, struct list_head *new)</p> <p>将list插入到head：<br>static inline void list_splice(const struct list_head *list, struct list_head *head)</p> <p>static inline void list_splice_tail(struct list_head *list, struct list_head *head)</p> <p>static inline void list_splice_init(struct list_head *list, struct list_head *head)&nbsp;将list设为空链表</p> <p>static inline void list_splice_tail_init(struct list_head *list, struct list_head *head)&nbsp;将list设为空链表</p> <p><a href="http://images2015.cnblogs.com/blog/1083701/201704/1083701-20170414151628392-928907647.gif" rel="nofollow"><img title="image004" src="https://images2015.cnblogs.com/blog/1083701/201704/1083701-20170414151629048-48639693.gif" alt="image004" width="571" height="174"></a></p> <p>static inline void list_cut_position(struct list_head *list, struct list_head *head, struct list_head *entry)</p> <p>遍历宏：<br>list_entry(ptr, type, member)</p> <p>list_first_entry(ptr, type, member)</p> <p>list_last_entry(ptr, type, member)</p> <p>list_next_entry(pos, member)</p> <p>list_prev_entry(pos, member)</p> <p>list_for_each(pos, head)</p> <p>list_for_each_prev(pos, head) 反向操作</p> <p>list_for_each_safe(pos, n, head) 安全操作</p> <p>list_for_each_entry(pos, head, member) 遍历链表是获取链表节点</p> <p>list_for_each_entry_safe(pos, n, head, member) 安全操作</p> <p>list_for_each_entry_reverse(pos, head, member) 反向操作</p> <p>判断链表是否为空：<br>static inline int list_empty(const struct list_head *head)</p> </td> 
  </tr> 
 </tbody> 
</table>

## Doubly linked list with a single pointer list head ##

linux内核里边除了著名的list双向循环链表以外，还有一个重要的数据结构，就是哈希链表。哈希链表也在很多重要的地方有所使用，比如linux内核的dentry，进程查询，文件系统等，可以说，弄明白hlist对于理解linux内核具有重要的意义。

<table> 
 <tbody> 
  <tr> 
   <td> <p>struct hlist_head { <br>&nbsp;&nbsp;&nbsp; struct hlist_node *first;<br>};</p> <p>struct hlist_node { <br>&nbsp;&nbsp;&nbsp; struct hlist_node *next, **pprev;<br>};</p> </td> 
  </tr> 
 </tbody> 
</table>

linux内核的hash链表有两个数据结构组成，一个是hlist\_head是hash表的表头，一个是hlist\_node是hash标的后续节点。

在使用的时候，一般定义一个struct hlist\_head xxx\[100\]数组（100只是一个代表的数字，视具体情况而定），采取哈希函数来将键值与数组的对应的地址联系起来，如果出现冲突的话，就在hlist\_head的后边继续添加。  
hlist\_head的成员first指针指向后续的第一个节点，如果哈希链表是空的话，就为NULL。  
为什么hlist\_head不弄成双向链表呢，因为为了节约空间，如果一个指针的话，一个哈希数组的空间消耗就会减半。  
hlist\_node的成员next指向后续的节点的地址，如果为空就是NULL，另一个成员pprev是二级指针，指向前一个节点的next成员的地址，如果前一个成员是hlist\_head的话，pprev的值就是前一个的first指针的地址。

<table> 
 <tbody> 
  <tr> 
   <td> <p>#define HLIST_HEAD(name) struct hlist_head name = {&nbsp; .first = NULL }&nbsp;&nbsp;定义并且初始化。</p> <p>#define INIT_HLIST_HEAD(ptr) ((ptr)-&gt;first = NULL)&nbsp;在定义之后，需要初始化，不然使用会导致错误。</p> <p>static inline void INIT_HLIST_NODE(struct hlist_node *h)&nbsp;初始化node节点</p> <p>static inline int hlist_empty(const struct hlist_head *h) 判断hash链表是否为空</p> <p>static inline void hlist_del(struct hlist_node *n) 删除节点，并且将节点next、pprev指针修改为LIST_POSITION1和LIST_POSITION2。</p> <p>static inline void hlist_del_init(struct hlist_node *n) 此种方法更安全，删除然后再初始化节点。</p> <p>static inline void hlist_add_head(struct hlist_node *n, struct hlist_head *h) 将节点插入到hash链表的头结点后边。</p> <p>static inline void hlist_add_before(struct hlist_node *n, struct hlist_node *next) 将一个节点插入到next前面。</p> <p>static inline void hlist_add_behind(struct hlist_node *n, struct hlist_node *prev) 将一个节点插入到prev后面。</p> <p>遍历访问节点：</p> <p>hlist_for_each(pos, head)</p> <p>hlist_for_each_safe(pos, n, head)</p> <p>#define hlist_entry(ptr, type, member) container_of(ptr,type,member)</p> <p>hlist_entry_safe(ptr, type, member)</p> <p>hlist_for_each_entry(pos, head, member)</p> <p>hlist_for_each_entry_safe(pos, n, head, member)</p> </td> 
  </tr> 
 </tbody> 
</table>

# #

## Lock-less NULL terminated single linked list ##

无锁链表定义在include/linux/llist.h。

数据结构如下：

<table> 
 <tbody> 
  <tr> 
   <td> <p>struct llist_head { <br>&nbsp;&nbsp;&nbsp; struct llist_node *first;<br>};</p> <p>struct llist_node { <br>&nbsp;&nbsp;&nbsp; struct llist_node *next;<br>};</p> </td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td> <p>#define LLIST_HEAD(name)&nbsp;&nbsp;&nbsp; struct llist_head name = LLIST_HEAD_INIT(name)</p> <p>static inline void init_llist_head(struct llist_head *list)</p> <p>llist_entry(ptr, type, member)</p> <p>llist_for_each(pos, node)</p> <p>static inline bool llist_empty(const struct llist_head *head)</p> <p>static inline struct llist_node *llist_next(struct llist_node *node)</p> <p>static inline bool llist_add(struct llist_node *new, struct llist_head *head)</p> <p>bool llist_add_batch(struct llist_node *new_first, struct llist_node *new_last, struct llist_head *head)</p> <p>static inline struct llist_node *llist_del_all(struct llist_head *head)</p> <p>struct llist_node *llist_del_first(struct llist_head *head)</p> </td> 
  </tr> 
 </tbody> 
</table>

llist\_add、llist\_add\_batch、llist\_del\_first都是基于cmpxchg原子操作来实现，整个操作是原子的；llist\_del\_all是基于xchg来实现的。

cmpxchg(void\* ptr, int old, int new)，如果ptr和old的值一样，则把new写到ptr内存，否则返回ptr的值，整个操作是原子的。在Intel平台下，会用lock cmpxchg来实现，这里的lock个人理解是锁住内存总线，这样如果有另一个线程想访问ptr的内存，就会被block住。

# B+树 #

<table> 
 <tbody> 
  <tr> 
   <td> <p><a href="https://github.com/mirrors/linux-2.6/blob/39caa0916ef27cf1da5026eb708a2b8413156f75/lib/btree.c" rel="nofollow">B+ Trees</a>&nbsp;with comments telling you what you can't find in the textbooks.</p> 
    <blockquote> 
     <p>A relatively simple B+Tree implementation. I have written it as a learning exercise to understand how B+Trees work. Turned out to be useful as well.</p> 
     <p>...</p> 
     <p>A tricks was used that is not commonly found in textbooks. The lowest values are to the right, not to the left. All used slots within a node are on the left, all unused slots contain NUL values. Most operations simply loop once over all slots and terminate on the first NUL.</p> 
    </blockquote> </td> 
  </tr> 
 </tbody> 
</table>

关于B树及B树衍生树有篇介绍不错《[从B树、B+树、B\*树谈到R 树][B_B_B_R]》。

B树诞生的背景：

> 在大规模数据存储中，实现索引查询这样一个实际背景下，树节点存储的元素数量是有限的，这样就会导致二叉树结构由于树的深度过大而造成磁盘I/O读写过于频繁，进而导致查询效率低下。  
> 那么如何减少树的深度，一个基本的想法是采用多叉树结构。  
> 因为磁盘的操作费时费资源，那么如何提高效率，即如何避免频繁的读取呢？根据磁盘查找存取的次数往往由树的高度决定，所以只要通过较好的结构降低树的高度。根据平衡二叉树的启发，自然就想到平衡多叉树结构。

几个算法时间复杂度度量：

> O(n) 表示某函数值(未列出)是 n 的常数倍；亦即他们增长的速度相当.称 大O,big O (发音 "欧" 英文字母 O )  
> 同理:O(logN):是 logN 的常数倍；O(nlogn):是 nlogn 的常数倍

# 优先排序列表 #

<table> 
 <tbody> 
  <tr> 
   <td><a href="https://github.com/mirrors/linux-2.6/blob/master/include/linux/plist.h" rel="nofollow">Priority sorted lists</a>&nbsp;used for&nbsp;<a href="https://github.com/mirrors/linux-2.6/blob/b3a3a9c441e2c8f6b6760de9331023a7906a4ac6/include/linux/rtmutex.h" rel="nofollow">mutexes</a>,&nbsp;<a href="https://github.com/mirrors/linux-2.6/blob/f0d55cc1a65852e6647d4f5d707c1c9b5471ce3c/drivers/powercap/intel_rapl.c" rel="nofollow">drivers</a>, etc.</td> 
  </tr> 
 </tbody> 
</table>

plist有两个重要结构体struct plist\_head和struct plist\_node，分别用来表示plist表头和plist节点。

<table> 
 <tbody> 
  <tr> 
   <td>struct plist_head { <br>&nbsp;&nbsp;&nbsp; struct list_head node_list;<br>}；<br><br>struct plist_node { <br>&nbsp;&nbsp;&nbsp; int prio;<br>&nbsp;&nbsp;&nbsp; struct list_head prio_list;<br>&nbsp;&nbsp;&nbsp; struct list_head node_list;<br>};</td> 
  </tr> 
 </tbody> 
</table>

相关函数：

<table> 
 <tbody> 
  <tr> 
   <td>PLIST_HEAD(head) 初始化plist表头<br>PLIST_NODE_INIT(node, __prio) 初始化plist节点<br><p>static inline void plist_head_init(struct plist_head *head) 初始化plist表头</p> <p>static inline void plist_node_init(struct plist_node *node, int prio) 初始化plist节点</p> <p>添加节点、删除节点：<br>extern void plist_add(struct plist_node *node, struct plist_head *head); 通过plist_add添加到head的node是按照prio优先级由高到低顺序在node_list上排列。<br>extern void plist_del(struct plist_node *node, struct plist_head *head);<br>extern void plist_requeue(struct plist_node *node, struct plist_head *head);&nbsp;是plist_del的优化版本</p> <p>遍历plist：<br>plist_for_each(pos, head)</p> <p>判断head是否为空：<br>static inline int plist_head_empty(const struct plist_head *head)</p> <p>判断当前node是否在node_list上：<br>static inline int plist_node_empty(const struct plist_node *node)</p> <p>获取前一、后一节点：<br>plist_next(pos)<br>plist_prev(pos)</p> <p>获取首节点、尾节点：<br>static inline struct plist_node *plist_first(const struct plist_head *head)<br>static inline struct plist_node *plist_last(const struct plist_head *head)</p> </td> 
  </tr> 
 </tbody> 
</table>

下面是对plist进行的一些验证：

<table> 
 <tbody> 
  <tr> 
   <td> <p>static dump_list(void)<br>{ <br>&nbsp;&nbsp;&nbsp; struct plist_node *node_pos, *first_node, *last_node;<br>&nbsp;&nbsp;&nbsp; int i;</p> <p>&nbsp;&nbsp;&nbsp; printk(KERN_DEBUG "%s start\n", __func__);<br>&nbsp;&nbsp;&nbsp; printk("node_list: ");<br>&nbsp;&nbsp;&nbsp; list_for_each_entry(node_pos, &amp;test_head.node_list, node_list) { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; printk("%d ", node_pos-&gt;prio);<br>&nbsp;&nbsp;&nbsp; }<br>&nbsp;&nbsp;&nbsp; printk("\n");</p> <p>&nbsp;&nbsp;&nbsp; first_node = plist_first(&amp;test_head);<br>&nbsp;&nbsp;&nbsp; last_node = plist_last(&amp;test_head);<br>&nbsp;&nbsp;&nbsp; printk("prio_list: %d ", first_node-&gt;prio);<br>&nbsp;&nbsp;&nbsp; list_for_each_entry(node_pos, &amp;first_node-&gt;prio_list, prio_list) { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; printk("%d ", node_pos-&gt;prio);<br>&nbsp;&nbsp;&nbsp; }<br>&nbsp;&nbsp;&nbsp; printk("\n");</p> <p>#if 0<br>&nbsp;&nbsp;&nbsp; for (i = 0; i &lt; ARRAY_SIZE(test_node); i++) { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; if(!plist_node_empty(test_node+i))<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; printk(KERN_DEBUG "(test_node+%d)-&gt;prio=%d\n", i, (test_node+i)-&gt;prio);<br>&nbsp;&nbsp;&nbsp; }<br>#endif<br>&nbsp;&nbsp;&nbsp; printk(KERN_DEBUG "MIN(prio)=%d MAX(prio)=%d\n", first_node-&gt;prio, last_node-&gt;prio);<br>&nbsp;&nbsp;&nbsp; printk(KERN_DEBUG "%s end\n", __func__);<br>}</p> <p>static int&nbsp; __init plist_test(void)<br>{ <br>&nbsp;&nbsp;&nbsp; int nr_expect = 0, i, loop;<br>&nbsp;&nbsp;&nbsp; unsigned int r = local_clock();</p> <p>&nbsp;&nbsp;&nbsp; printk(KERN_DEBUG "start plist test\n");<br>&nbsp;&nbsp;&nbsp; plist_head_init(&amp;test_head);<br>&nbsp;&nbsp;&nbsp; for (i = 0; i &lt; ARRAY_SIZE(test_node); i++)<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_node_init(test_node + i, 0);</p> <p>&nbsp;&nbsp;&nbsp; for (loop = 0; loop &lt; 10; loop++) { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; r = r * 193939 % 47629;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; i = r % ARRAY_SIZE(test_node);<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; if (plist_node_empty(test_node + i)) { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; r = r * 193939 % 47629;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test_node[i].prio = r % 10;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_add(test_node + i, &amp;test_head);<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; nr_expect++;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; } else { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_del(test_node + i, &amp;test_head);<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; nr_expect--;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; }<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_test_check(nr_expect);<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; if (!plist_node_empty(test_node + i)) { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_test_requeue(test_node + i);<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_test_check(nr_expect);<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; }<br>&nbsp;&nbsp;&nbsp; }</p> <p>&nbsp;&nbsp;&nbsp; dump_list();</p> <p>&nbsp;&nbsp;&nbsp; for (i = 0; i &lt; ARRAY_SIZE(test_node); i++) { <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; if (plist_node_empty(test_node + i))<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; continue;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_del(test_node + i, &amp;test_head);<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; nr_expect--;<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; plist_test_check(nr_expect);<br>&nbsp;&nbsp;&nbsp; }</p> <p>&nbsp;&nbsp;&nbsp; printk(KERN_DEBUG "end plist test\n");<br>&nbsp;&nbsp;&nbsp; return 0;<br>}</p> </td> 
  </tr> 
 </tbody> 
</table>

通过初始化不超过10个node节点，优先级为0-9。然后查看node\_list和prio\_list两链表的节点情况：

<table> 
 <tbody> 
  <tr> 
   <td> <p>[22050.404475] start plist test<br>[22050.404481] dump_list start<br>[22050.404482] node_list: 0 0 1 1 2 6 8 8 9 9&nbsp;<br>[22050.404486] prio_list: 0 1 2 6 8 9&nbsp;<br>[22050.404488] MIN(prio)=0 MAX(prio)=9<br>[22050.404489] dump_list end<br>[22050.404491] end plist test<br>[22050.947810] start plist test<br>[22050.947816] dump_list start<br>[22050.947817] node_list: 0 1 1 2 2 3 3 3 8 8&nbsp;<br>[22050.947820] prio_list: 0 1 2 3 8&nbsp;<br>[22050.947822] MIN(prio)=0 MAX(prio)=8<br>[22050.947823] dump_list end<br>[22050.947825] end plist test<br>[22051.491245] start plist test<br>[22051.491254] dump_list start<br>[22051.491256] node_list: 0 1 2 3 3 3 6 9 9 9&nbsp;<br>[22051.491262] prio_list: 0 1 2 3 6 9&nbsp;<br>[22051.491266] MIN(prio)=0 MAX(prio)=9<br>[22051.491267] dump_list end<br>[22051.491271] end plist test</p> </td> 
  </tr> 
 </tbody> 
</table>

可以看出node\_list上的节点按照优先级由高到低排序，优先级可能会重复；在prio\_list上是不同优先级的节点。如下所示：

<table> 
 <tbody> 
  <tr> 
   <td> <p>* pl:prio_list (only for plist_node)<br>* nl:node_list<br>*HEAD|&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; NODE(S)<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ||------------------------------------|<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; ||-&gt;|pl|&lt;-&gt;|pl|&lt;---------------&gt;|pl|&lt;-|<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; |10|&nbsp;&nbsp; |21|&nbsp;&nbsp; |21|&nbsp;&nbsp; |21|&nbsp;&nbsp; |40|&nbsp;&nbsp; (prio)<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp;&nbsp;&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |&nbsp;&nbsp; |&nbsp; |<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | -&gt;|nl|&lt;-&gt;|nl|&lt;-&gt;|nl|&lt;-&gt;|nl|&lt;-&gt;|nl|&lt;-&gt;|nl|&lt;-|<br>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; |-------------------------------------------------|</p> </td> 
  </tr> 
 </tbody> 
</table>

# 红黑树 #

<table> 
 <tbody> 
  <tr> 
   <td> <p><a href="https://github.com/mirrors/linux-2.6/blob/master/include/linux/rbtree.h" rel="nofollow">Red-Black trees</a>&nbsp;are&nbsp;<a href="http://lwn.net/Articles/184495/" rel="nofollow">used</a>&nbsp;for scheduling, virtual memory management, to track file descriptors and directory entries,etc.</p> </td> 
  </tr> 
 </tbody> 
</table>

转载于:https://www.cnblogs.com/Ph-one/p/11236825.html

[stackexchange.com]: https://stackexchange.com/
[Link 1]: https://cstheory.stackexchange.com/questions/19759/core-algorithms-deployed
[https_linux.cn_article-2317-1.html]: https://linux.cn/article-2317-1.html
[Linux]: https://www.ibm.com/developerworks/cn/linux/kernel/l-chain/index.html
[image001]: /images/20230810/57550e80455047ecb5153c3e05e6f6c7.png
[image001 1]: http://images2015.cnblogs.com/blog/1083701/201704/1083701-20170414151626064-422643994.gif
[image002]: /images/20230810/99336881a3ab4b5887a8c65d95346052.png
[image002 1]: http://images2015.cnblogs.com/blog/1083701/201704/1083701-20170414151627626-1260380324.gif
[B_B_B_R]: http://blog.csdn.net/v_july_v/article/details/6530142