linux kernel 数据结构系列之（二）红黑树rbtree

平衡二叉树（BalancedBinary Tree或Height-Balanced Tree）又称AVL树。它或者是一棵空树，或者是具有下列性质的二叉树：它的左子树和右子树都是平衡二叉树，且左子树和右子树的深度之差的绝对值不超过1。若将二叉树上结点的平衡因子BF（BalanceFactor）定义为该结点的左子树的深度减去它的右子树的深度，则平衡二叉树上所有结点的平衡因子只可能是-1、0和1。（此段定义来自严蔚敏的《数据结构（C语言版）》）

    红黑树是一种在插入或删除结点时都需要维持平衡的二叉查找树，并且每个结点都具有颜色属性：

    （1）、一个结点要么是红色的，要么是黑色的。

    （2）、根结点是黑色的。

    （3）、如果一个结点是红色的，那么它的子结点必须是黑色的，也就是说在沿着从根结点出发的任何路径上都不会出现两个连续的红色结点。

    （4）、从一个结点到一个NULL指针的每条路径上必须包含相同数目的黑色结点。
 

struct rb_node
{
    unsigned long  rb_parent_color;
#define    RB_RED        0
#define    RB_BLACK    1
    struct rb_node *rb_right;
    struct rb_node *rb_left;
} __attribute__((aligned(sizeof(long))));

Reference:

1.  详解Linux内核红黑树算法的实现
2.  Linux内核红黑树原理与使用
3.  https://elixir.bootlin.com/linux/v2.6.38.8/source/lib/rbtree.c
4. https://elixir.bootlin.com/linux/v2.6.38.8/source/include/linux/rbtree.h