Godbach

引用链接：http://www.kerneltravel.net/jiaoliu/kern-rbtree.html

红黑树是平衡二叉树的一种，它有很好的性质，树中的结点都是有序的，而且因为它本身就是平衡的，所以查找也不会出现非常恶劣的情况，基于二叉树的操作的时间复杂度是O(log(N))。Linux内核在管理vm_area_struct时就是采用了红黑树来维护内存块的。

先到include/linux/rbtree.h中看一下红黑树的一些定义，如下：

1. struct rb_node
   
2. {
   
3.         unsigned long  rb_parent_color;
   
4. #define        RB_RED                0
   
5. #define        RB_BLACK        1
   
6.         struct rb_node *rb_right;
   
7.         struct rb_node *rb_left;
   
8. } __attribute__((aligned(sizeof(long))));

复制代码

struct rb_root只是struct rb_node*的一个包装，这样做的好处是看起来不用传递二级指针了。不错，很简单。再看一下下面几个重要的宏，细心的你一定会发现，rb_parent_color其实没那么简单，Andrea Arcangeli在这里使用了一个小的技巧，不过非常棒。正如名字所暗示，这个成员其实包含指向parent的指针和此结点的颜色！它是怎么做到的呢？很简单，对齐起了作用。既然是sizeof(long)大小的对齐，那么在IA-32上，任何rb_node结构体的地址的低两位肯定都是零，与其空着不用，还不如用它们表示颜色，反正颜色就两种，其实一位就已经够了。

这样，提取parent指针只要把rb_parent_color成员的低两位清零即可：

1. #define rb_parent(r) ((struct rb_node *)((r)->rb_parent_color & ~3))

复制代码

取颜色只要看最后一位即可：

1. #define rb_color(r) ((r)->rb_parent_color & 1)

复制代码

测试颜色和设置颜色也是水到渠成的事了。需要特别指出的是下面的一个内联函数：

1. static inline void rb_link_node(struct rb_node * node, struct rb_node * parent, struct rb_node ** rb_link);

复制代码

它把parent设为node的父结点，并且让rb_link指向node。

我们把重点集中在lib/rbtree.c上，看看一些和红黑树相关的重要算法。开始之前我们一起回忆一下红黑树的规则：


1. 每个结点要么是红色要么是黑色；

2. 根结点必须是黑色；

3. 红结点如果有孩子，其孩子必须都是黑色；

4. 从根结点到叶子的每条路径必须包含相同数目的黑结点。

这四条规则可以限制一棵排序树是平衡的。

__rb_rotate_left是把以root为根的树中的node结点进行左旋，__rb_rotate_right是进行右旋。这两个函数是为后面的插入和删除服务，而不是为外部提供接口。

新插入的结点都设为叶子，染成红色，插入后如果破坏了上述规则，通过调整颜色和旋转可以恢复，二叉树又重新平衡。插入操作的接口函数是

1. void rb_insert_color(struct rb_node *node, struct rb_root *root);

复制代码

它把已确定父结点的node结点融入到以root为根的红黑树中，具体算法的分析可以参考[1]中第14.3节，这里的实现和书中的讲解几乎完全一样。怎么确定node的父结点应该在调用rb_insert_color之前通过手工迭带完成。值得指出的一点是，虽然插入操作需要一个循环迭代，但是总的旋转次数不会超过两次！所以效率还是很乐观的。

删除操作多多少少都有点麻烦，它要先执行像普通二叉查找树的“删除”，然后根据删除结点的颜色来判断是否执行进一步的操作。删除的接口是：

1. void rb_erase(struct rb_node *node, struct rb_root *root);

复制代码

其实它并没有真正删除node，而只是让它和以root为根的树脱离关系，最后它还要判断是否调用__rb_erase_color来调整。具体算法的讲解看参考[1]中第13.3和14.4节，__rb_erase_color对应书中的RB-DELETE-FIXUP，此处的实现和书上也基本上一致。

其余的几个接口就比较简单了。

1. struct rb_node *rb_first(struct rb_root *root);

复制代码

在以root为根的树中找出并返回最小的那个结点，只要从根结点一直向左走就是了。

1. struct rb_node *rb_last(struct rb_root *root);

复制代码

是找出并返回最大的那个，一直向右走。

1. struct rb_node *rb_next(struct rb_node *node);

复制代码

返回node在树中的后继，这个稍微复杂一点。如果node的右孩子不为空，它只要返回node的右子树中最小的结点即可；如果为空，它要向上查找，找到迭带结点是其父亲的左孩子的结点，返回父结点。如果一直上述到了根结点，返回NULL。

1. struct rb_node *rb_prev(struct rb_node *node);

复制代码

返回node的前驱，和rb_next中的操作对称。

1. void rb_replace_node(struct rb_node *victim, struct rb_node *new, struct rb_root *root);

复制代码

用new替换以root为根的树中的victim结点。

红黑树接口使用的一个典型例子如下：

1. static inline struct page * rb_search_page_cache(struct inode * inode,
   
2.                                                  unsigned long offset)
   
3. {
   
4.         struct rb_node * n = inode->i_rb_page_cache.rb_node;
   
5.         struct page * page;
   
6. 
   
7.         while (n)
   
8.         {
   
9.                 page = rb_entry(n, struct page, rb_page_cache);
   
10. 
    
11.                 if (offset < page->offset)
    
12.                         n = n->rb_left;
    
13.                 else if (offset > page->offset)
    
14.                         n = n->rb_right;
    
15.                 else
    
16.                         return page;
    
17.         }
    
18.         return NULL;
    
19. }
    
20. 
    
21. static inline struct page * __rb_insert_page_cache(struct inode * inode,
    
22.                                                    unsigned long offset,
    
23.                                                    struct rb_node * node)
    
24. {
    
25.         struct rb_node ** p = &inode->i_rb_page_cache.rb_node;
    
26.         struct rb_node * parent = NULL;
    
27.         struct page * page;
    
28. 
    
29.         while (*p)
    
30.         {
    
31.                 parent = *p;
    
32.                 page = rb_entry(parent, struct page, rb_page_cache);
    
33. 
    
34.                 if (offset < page->offset)
    
35.                         p = &(*p)->rb_left;
    
36.                 else if (offset > page->offset)
    
37.                         p = &(*p)->rb_right;
    
38.                 else
    
39.                         return page;
    
40.         }
    
41. 
    
42.         rb_link_node(node, parent, p);
    
43. 
    
44.         return NULL;
    
45. }
    
46. 
    
47. static inline struct page * rb_insert_page_cache(struct inode * inode,
    
48.                                                  unsigned long offset,
    
49.                                                  struct rb_node * node)
    
50. {
    
51.         struct page * ret;
    
52.         if ((ret = __rb_insert_page_cache(inode, offset, node)))
    
53.                 goto out;
    
54.         rb_insert_color(node, &inode->i_rb_page_cache);
    
55. out:
    
56.         return ret;
    
57. }

复制代码

因为红黑树的这些良好性质和实现中接口的简易性，它被广泛应用到内核编程中，大大提高了内核的效率。



参考资料：


1. Introduction to Algorithms, Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest, MIT Press.

2. Understanding the Linux Kernel, 3rd Edition, Daniel P. Bovet, Marco Cesati, O'Reilly.

3. Linux Kernel 2.6.19 source code.

[ 本帖最后由 Godbach 于 2009-2-25 16:34 编辑 ]

Godbach

转过来一篇介绍内核中红黑树接口的文章。

scutan

学习了，谢谢版主。

Godbach

呵呵，这两天因为要使用，所以得研究一下。大家一起交流。

Godbach

如果哪位朋友使用内核的红黑树接口写了一些程序，方便的话拿上来大家一起学习一下

Godbach

2.4.20内核中使用红黑树的好像就mmap等。2.6中使用的更广泛一些

emmoblin

红黑树在内核中有很多应用。
数据库中也应用的很多

Godbach

是啊。emmoblin兄对这方面有研究吧，什么时候分享一下。

platinum

内核 QoS 的 HTB 分层令牌桶用了 RBTREE，Godbach 可以参考一下

dreamice

rbtree现在用得越来越广了，连进程调度都使用了红黑树，前面学了一下，看来还需要深入掌握这个东西。