Linux内核设计与实现之内核数据结构

pulbieup · 发表于 2020-11-4 13:49

EDA365欢迎您登录！

您需要登录才可以下载或查看，没有帐号？注册

x

内核数据结构贯穿于整个内核代码中，这里介绍4个基本的内核数据结构。

利用这4个基本的数据结构，可以在编写内核代码时节约大量时间。

主要内容：

链表
队列
映射
红黑树
' V g% d; k& ?1 T' F. v" A

1. 链表
链表是linux内核中最简单，同时也是应用最广泛的数据结构。

内核中定义的是双向链表。

1.1 头文件简介
内核中关于链表定义的代码位于： include/linux/list.h

list.h文件中对每个函数都有注释，这里就不详细说了。

其实刚开始只要先了解一个常用的链表操作（追加，删除，遍历）的实现方法，

其他方法基本都是基于这些常用操作的。

1.2 链表代码的注意点
在阅读list.h文件之前，有一点必须注意：linux内核中的链表使用方法和一般数据结构中定义的链表是有所不同的。

一般的双向链表一般是如下的结构，

有个单独的头结点(head)
每个节点(node)除了包含必要的数据之外，还有2个指针(pre,next)
pre指针指向前一个节点(node)，next指针指向后一个节点(node)
头结点(head)的pre指针指向链表的最后一个节点
最后一个节点的next指针指向头结点(head)
具体见下图：

传统的链表有个最大的缺点就是不好共通化，因为每个node中的data1，data2等等都是不确定的(无论是个数还是类型)。

linux中的链表巧妙的解决了这个问题，linux的链表不是将用户数据保存在链表节点中，而是将链表节点保存在用户数据中。

linux的链表节点只有2个指针(pre和next)，这样的话，链表的节点将独立于用户数据之外，便于实现链表的共同操作。

具体见下图：

linux链表中的最大问题是怎样通过链表的节点来取得用户数据？

和传统的链表不同，linux的链表节点(node)中没有包含用户的用户data1，data2等。

整个list.h文件中，我觉得最复杂的代码就是获取用户数据的宏定义

#define list_entry(ptr, type, member) \
container_of(ptr, type, member)
这个宏没什么特别的，主要是container_of这个宏

#define container_of(ptr, type, member) ({       \
const typeof(((type *)0)->member)*__mptr = (ptr); \
         (type *)((char *)__mptr - offsetof(type, member)); })
这里面的type一般是个结构体，也就是包含用户数据和链表节点的结构体。

ptr是指向type中链表节点的指针

member则是type中定义链表节点是用的名字

比如：

struct student
{
int id;
char* name;
struct list_head list;
};
type是struct student
ptr是指向stuct list的指针，也就是指向member类型的指针
member就是 list
下面分析一下container_of宏:

复制代码
// 步骤1：将数字0强制转型为type*，然后取得其中的member元素
((type *)0)->member  // 相当于((struct student *)0)->list

// 步骤2：定义一个临时变量__mptr，并将其也指向ptr所指向的链表节点
const typeof(((type *)0)->member)*__mptr = (ptr);

// 步骤3：计算member字段距离type中第一个字段的距离，也就是type地址和member地址之间的差
// offset(type, member)也是一个宏，定义如下：
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)

// 步骤4：将__mptr的地址 - type地址和member地址之间的差
// 其实也就是获取type的地址
复制代码
步骤1，2，4比较容易理解，下面的图以sturct student为例进行说明步骤3：

首先需要知道 ((TYPE *)0) 表示将地址0转换为 TYPE 类型的地址

由于TYPE的地址是0，所以((TYPE *)0)->MEMBER 也就是 MEMBER的地址和TYPE地址的差，如下图所示：

1.3 使用示例
构造了一个内核模块来实际使用一下内核中的链表，代码在CentOS6.3 x64上运行通过。

C代码：

复制代码
#include<linux/init.h>
#include<linux/slab.h>
#include<linux/module.h>
#include<linux/kernel.h>
#include<linux/list.h>

MODULE_LICENSE("Dual BSD/GPL");
struct student
{
int id;
char* name;
struct list_head list;
};

void print_student(struct student*);

static int testlist_init(void)
{
struct student *stu1, *stu2, *stu3, *stu4;
struct student *stu;

// init a list head
LIST_HEAD(stu_head);

// init four list nodes
stu1 = kmalloc(sizeof(*stu1), GFP_KERNEL);
stu1->id = 1;
stu1->name = "wyb";
INIT_LIST_HEAD(&stu1->list);

stu2 = kmalloc(sizeof(*stu2), GFP_KERNEL);
stu2->id = 2;
stu2->name = "wyb2";
INIT_LIST_HEAD(&stu2->list);

stu3 = kmalloc(sizeof(*stu3), GFP_KERNEL);
stu3->id = 3;
stu3->name = "wyb3";
INIT_LIST_HEAD(&stu3->list);

stu4 = kmalloc(sizeof(*stu4), GFP_KERNEL);
stu4->id = 4;
stu4->name = "wyb4";
INIT_LIST_HEAD(&stu4->list);

// add the four nodes to head
list_add (&stu1->list, &stu_head);
list_add (&stu2->list, &stu_head);
list_add (&stu3->list, &stu_head);
list_add (&stu4->list, &stu_head);

// print each student from 4 to 1
list_for_each_entry(stu, &stu_head, list)
{
      print_student(stu);
}
// print each student from 1 to 4
list_for_each_entry_reverse(stu, &stu_head, list)
{
      print_student(stu);
}

// delete a entry stu2
list_del(&stu2->list);
list_for_each_entry(stu, &stu_head, list)
{
      print_student(stu);
}

// replace stu3 with stu2
list_replace(&stu3->list, &stu2->list);
list_for_each_entry(stu, &stu_head, list)
{
      print_student(stu);
}

return 0;
}

static void testlist_exit(void)
{
printk(KERN_ALERT "*************************\n");
printk(KERN_ALERT "testlist is exited!\n");
printk(KERN_ALERT "*************************\n");
}

void print_student(struct student *stu)
{
printk (KERN_ALERT "======================\n");
printk (KERN_ALERT "id  =%d\n", stu->id);
printk (KERN_ALERT "name=%s\n", stu->name);
printk (KERN_ALERT "======================\n");
}

module_init(testlist_init);
module_exit(testlist_exit);
复制代码
Makefile：

复制代码
obj-m += testlist.o

#generate the path
CURRENT_PATH:=$(shell pwd)
#the current kernel version number
LINUX_KERNEL:=$(shell uname -r)
#the absolute path
LINUX_KERNEL_PATH:=/usr/src/kernels/$(LINUX_KERNEL)
#complie object
all:
make -C $(LINUX_KERNEL_PATH) M=$(CURRENT_PATH) modules
rm -RF modules.order Module.symvers .*.cmd *.o *.mod.c .tmp_versions *.unsigned
#clean
clean:
rm -rf modules.order Module.symvers .*.cmd *.o *.mod.c *.ko .tmp_versions *.unsigned
复制代码
安装,卸载内核模块以及查看内核模块的运行结果：

insmod testlist.ko
rmmod testlist
dmesg | tail -100

2. 队列
内核中的队列是以字节形式保存数据的，所以获取数据的时候，需要知道数据的大小。

如果从队列中取得数据时指定的大小不对的话，取得数据会不完整或过大。

2.1 头文件简介
内核中关于队列定义的头文件位于：<linux/kfifo.h> include/linux/kfifo.h

头文件中定义的函数的实现位于：kernel/kfifo.c

2.2 队列代码的注意点
内核队列编程需要注意的是：

队列的size在初始化时，始终设定为2的n次方
使用队列之前将队列结构体中的锁(spinlock)释放

2.3 使用示例
构造了一个内核模块来实际使用一下内核中的队列，代码在CentOS6.3 x64上运行通过。

C代码:

复制代码
#include "kn_common.h"

MODULE_LICENSE("Dual BSD/GPL");
struct student
{
int id;
char* name;
};

static void print_student(struct student*);

static int testkfifo_init(void)
{
struct kfifo *fifo;
struct student *stu1, *stu2, *stu3, *stu4;
struct student *stu_tmp;
char* c_tmp;
int i;
// !!importent  init a unlocked lock
spinlock_t sl = SPIN_LOCK_UNLOCKED;

// init kfifo
fifo = kfifo_alloc(4*sizeof(struct student), GFP_KERNEL, &sl);

stu1 = kmalloc(sizeof(struct student), GFP_KERNEL);
stu1->id = 1;
stu1->name = "wyb1";
kfifo_put(fifo, (char *)stu1, sizeof(struct student));

stu2 = kmalloc(sizeof(struct student), GFP_KERNEL);
stu2->id = 1;
stu2->name = "wyb2";
kfifo_put(fifo, (char *)stu2, sizeof(struct student));

stu3 = kmalloc(sizeof(struct student), GFP_KERNEL);
stu3->id = 1;
stu3->name = "wyb3";
kfifo_put(fifo, (char *)stu3, sizeof(struct student));

stu4 = kmalloc(sizeof(struct student), GFP_KERNEL);
stu4->id = 1;
stu4->name = "wyb4";
kfifo_put(fifo, (char *)stu4, sizeof(struct student));

c_tmp = kmalloc(sizeof(struct student), GFP_KERNEL);
printk(KERN_ALERT "current fifo length is : %d\n", kfifo_len(fifo));
for (i=0; i < 4; i++) {

      kfifo_get(fifo, c_tmp, sizeof(struct student));
      stu_tmp = (struct student *)c_tmp;
      print_student(stu_tmp);
      printk(KERN_ALERT "current fifo length is : %d\n", kfifo_len(fifo));
}

printk(KERN_ALERT "current fifo length is : %d\n", kfifo_len(fifo));
kfifo_free(fifo);
kfree(c_tmp);
return 0;
}

static void print_student(struct student *stu)
{
printk(KERN_ALERT "=========================\n");
print_current_time(1);
printk(KERN_ALERT "id = %d\n", stu->id);
printk(KERN_ALERT "name = %s\n", stu->name);
printk(KERN_ALERT "=========================\n");
}

static void testkfifo_exit(void)
{
printk(KERN_ALERT "*************************\n");
printk(KERN_ALERT "testkfifo is exited!\n");
printk(KERN_ALERT "*************************\n");
}

module_init(testkfifo_init);
module_exit(testkfifo_exit);
复制代码
其中引用的kn_common.h文件：

复制代码
#include<linux/init.h>
#include<linux/slab.h>
#include<linux/module.h>
#include<linux/kernel.h>
#include<linux/kfifo.h>
#include<linux/time.h>

void print_current_time(int);
复制代码
kn_common.h对应的kn_common.c：

复制代码
#include "kn_common.h"

void print_current_time(int is_new_line)
{
struct timeval *tv;
struct tm *t;
tv = kmalloc(sizeof(struct timeval), GFP_KERNEL);
t = kmalloc(sizeof(struct tm), GFP_KERNEL);

do_gettimeofday(tv);
time_to_tm(tv->tv_sec, 0, t);

printk(KERN_ALERT "%ld-%d-%d %d:%d:%d",
         t->tm_year + 1900,
         t->tm_mon + 1,
         t->tm_mday,
         (t->tm_hour + 8) % 24,
         t->tm_min,
         t->tm_sec);

if (is_new_line == 1)
      printk(KERN_ALERT "\n");

kfree(tv);
kfree(t);
}
复制代码
Makefile：

复制代码
obj-m += fifo.o
fifo-objs := testkfifo.o kn_common.o

#generate the path
CURRENT_PATH:=$(shell pwd)
#the current kernel version number
LINUX_KERNEL:=$(shell uname -r)
#the absolute path
LINUX_KERNEL_PATH:=/usr/src/kernels/$(LINUX_KERNEL)
#complie object
all:
make -C $(LINUX_KERNEL_PATH) M=$(CURRENT_PATH) modules
rm -rf modules.order Module.symvers .*.cmd *.o *.mod.c .tmp_versions *.unsigned
#clean
clean:
rm -rf modules.order Module.symvers .*.cmd *.o *.mod.c *.ko .tmp_versions *.unsigned
复制代码
安装,卸载内核模块以及查看内核模块的运行结果：

insmod fifo.ko
rmmod fifo
dmesg | tail -40

3. 映射
映射的有点想其他语言(C#或者python)中的字典类型，每个唯一的id对应一个自定义的数据结构。

3.1 头文件简介
内核中关于映射定义的头文件位于：<linux/idr.h> include/linux/idr.h

头文件中定义的函数的实现位于：lib/idr.c

3.2 映射代码的注意点
映射的使用需要注意的是，给自定义的数据结构申请一个id的时候，不能直接申请id，先要分配id(函数idr_pre_get)，分配成功后，在获取一个id(函数idr_get_new)。

3.3 使用示例
构造了一个内核模块来实际使用一下内核中的映射，代码在CentOS6.3 x64上运行通过。

C代码:

复制代码
#include<linux/idr.h>
#include "kn_common.h"

MODULE_LICENSE("Dual BSD/GPL");
struct student
{
int id;
char* name;
};

static int print_student(int, void*, void*);

static int testidr_init(void)
{
DEFINE_IDR(idp);
struct student *stu[4];
// struct student *stu_tmp;
int id, ret, i;

// init 4 struct student
for (i=0; i<4; i++) {

      stu = kmalloc(sizeof(struct student), GFP_KERNEL);
' R# ^: O+ u/ ~9 q# r1 R       stu->id = i;( @: d6 Y) \" u  F; U" e- B2 K6 V! w
      stu->name = "wyb";
; c1 ?4 ^' Y# {# Z }
: N  W  e4 P( g" K; m0 |% W; {( c+ y% z( Y5 ]$ c( p# U
// add 4 student to idr8 i7 s) ~  U( C7 n
print_current_time(0);! R$ u5 P* ~: T) l4 J) y
for (i=0; i < 4; i++) {( y$ W0 z! A% l9 e: H% N

6 B4 Q$ J& a# s# D       do {# C& k8 z4 p$ F) R9 Q
         if (!idr_pre_get(&idp, GFP_KERNEL))6 H" C" k2 `) b% O5 e
            return -ENOSPC;
- `- L9 _% Q' F  o( v! X          ret = idr_get_new(&idp, stu, &id);+ s4 ?' s, A6 W: a
         printk(KERN_ALERT "id=%d\n", id);
; N; Q$ F: I$ n/ x7 S3 G       } while(ret == -EAGAIN);  Y- s/ L' z, e( j
}# v' o8 C! h2 Z: @# n& C
* S/ `. ~3 f' g2 X" q
// display all student in idr
# ?( c/ h% m1 h5 O idr_for_each(&idp, print_student, NULL);3 ?+ H+ U2 K0 @  o/ W; e+ d# F& m

1 |# O" q- P" d+ c/ S" P5 r: q idr_destroy(&idp);
' z. }: r5 k3 l8 i. j kfree(stu[0]);& A8 K# ]1 o* s3 r: L
kfree(stu[1]);
) V0 n# R/ k  D6 T$ `) j5 n kfree(stu[2]);7 a7 P/ _( I* j) h8 @
kfree(stu[3]);
6 E5 u) ]4 S4 @$ y7 W* S; e* N return 0;: c; j& ]4 O  E
}1 |0 ]% D. T  z# a/ x4 x8 }* ~/ o

" h" O% B5 @0 t/ D( |$ @2 J. wstatic int print_student(int id, void *p, void *data)% u4 Q; A) h- S6 [$ t* z
{, z4 f$ \5 P% i
struct student* stu = p;9 d, ?& r% y( f3 q5 w

! N6 o$ P  f8 |. O  ] printk(KERN_ALERT "=========================\n");
3 H; D# ]. @1 [7 o/ d/ G: M( o9 V: { print_current_time(0);
5 _, W' M" X# b7 k5 N printk(KERN_ALERT "id = %d\n", stu->id);
' v8 h' _* G/ @+ u0 @; b* r printk(KERN_ALERT "name = %s\n", stu->name);
! v$ k* @0 s$ N2 v! f' Y" A: b( K printk(KERN_ALERT "=========================\n");7 ?( I1 q& o: g$ I. O' \1 ~
! W# h/ {3 Q  T# \1 M
return 0;
) }4 p, {, f) O5 C  d  U9 s4 [}/ s0 X+ @; s- ]8 o

% m* L0 m2 D2 K) M* X4 Y7 fstatic void testidr_exit(void)6 a% f0 x( G/ Q
{& g# R0 _, ^7 s- D9 S
printk(KERN_ALERT "*************************\n");
) s* D( g2 s. W, H1 d print_current_time(0);$ i& E2 T6 A! h- Q  e, W0 c
printk(KERN_ALERT "testidr is exited!\n");
# @+ u# a4 d- ^2 c) H. g, Z6 i printk(KERN_ALERT "*************************\n");
0 G6 B/ N& _, m  |6 ?, L& @( G}
0 E' y8 ^. Q7 u! R. f/ S5 Z4 I
module_init(testidr_init);* W1 R5 X, q6 r5 M
module_exit(testidr_exit);% N0 r; Z$ X8 E
复制代码6 I3 c/ j! [4 C9 x- z1 \- t5 z( G: J
注：其中用到的kn_common.h和kn_common.c文件与队列的示例中一样。
+ A+ X& L( [7 Z! ^5 P4 j/ a7 h. t( @! M" s7 |
Makefile：0 G. S- }* }% W
$ b# G% r; @$ M/ W& J# c+ b% O, B
复制代码! [6 g  V; @$ l/ U2 D6 d( H
obj-m += idr.o
+ c* P$ f6 z5 d: P: A. Jidr-objs := testidr.o kn_common.o7 R5 X6 g& Y5 Q0 i* E% M

1 M2 l  n7 r3 {* m3 }$ O8 n#generate the path
) H* R) r3 X  N+ L" }4 ]- RCURRENT_PATH:=$(shell pwd)
6 e3 L# v1 k# r; u# f+ @+ z5 ]#the current kernel version number) S7 ]% N6 }( `
LINUX_KERNEL:=$(shell uname -r)
+ m% |" N. {% }4 ]+ U#the absolute path
8 |# i/ z: Y0 {3 a9 X/ SLINUX_KERNEL_PATH:=/usr/src/kernels/$(LINUX_KERNEL)5 _. T/ M7 H. c# z8 S
#complie object
  ^. L: \& a2 I! x0 q0 B4 tall:/ I; I) O" g0 ^8 p' h0 G" \
make -C $(LINUX_KERNEL_PATH) M=$(CURRENT_PATH) modules
& l- e6 s) z' k  D; ? rm -rf modules.order Module.symvers .*.cmd *.o *.mod.c .tmp_versions *.unsigned
# |! {/ p# X8 P7 t+ s  s3 h) a: i( W#clean
% J8 G: O7 A+ ]0 f+ L3 f: O' X. ]clean:( T' T( |% Z  E7 c  Q
rm -rf modules.order Module.symvers .*.cmd *.o *.mod.c *.ko .tmp_versions *.unsigned# J# L' s! S$ \. o- B
复制代码
" u9 s; C! a! w% [; k$ ~安装,卸载内核模块以及查看内核模块的运行结果：
% i+ F. u/ {( w. i
/ I7 w* Z& q2 Q& I% @  @insmod idr.ko& y8 f0 u$ K, M' E' X$ @* q; u
rmmod idr3 }( v" A, W" d2 O6 o. t7 f3 y
dmesg | tail -304 G8 q" }$ ]0 f8 o6 N

4 z" G" n' X1 e, _( J9 p: y3 L
' |; j7 R5 E# u! ]4. 红黑树  N) L1 V/ o# ~% Z% J
红黑树由于节点颜色的特性，保证其是一种自平衡的二叉搜索树。
) W( Y* M3 J! R( ?* P6 k- [) t/ _( ?  s2 I" I( l1 b6 A" S
红黑树的一系列规则虽然实现起来比较复杂，但是遵循起来却比较简单，而且红黑树的插入，删除性能也还不错。
+ R) i- v8 I6 J: T" E8 m" i$ o, {8 ~4 s% [# ~# m3 f
所以红黑树在内核中的应用非常广泛，掌握好红黑树，即有利于阅读内核源码，也可以在自己的代码中借鉴这种数据结构。
$ E3 f- \+ ?1 q! X" U5 I# q# f- S; m/ k
红黑树必须满足的规则：- k% D! `+ k, ~: K
$ C9 u5 G9 s0 }9 V
所有节点都有颜色，要么红色，要么黑色5 f# h8 I3 d; k) d' r$ w
根节点是黑色，所有叶子节点也是黑色0 Y. b% p0 ]2 k. Q
叶子节点中不包含数据: @" z9 k* V' J8 T. N7 V
非叶子节点都有2个子节点
* ?% Y9 z& L/ H% Q. g4 ^如果一个节点是红色，那么它的父节点和子节点都是黑色的9 {! k3 W4 P0 I+ w+ c5 r
从任何一个节点开始，到其下叶子节点的路径中都包含相同数目的黑节点" \7 H) s$ u  k5 O3 S+ f0 @: Q! {
红黑树中最长的路径就是红黑交替的路径，最短的路径是全黑节点的路径，再加上根节点和叶子节点都是黑色，
7 V" y- o) l9 S; s6 t/ t1 F  _# |
/ W& P5 z$ B) T7 M从而可以保证红黑树中最长路径的长度不会超过最短路径的2倍。
* q6 S3 }& D& a. i8 V) o) }# u  P% h: g2 G

. s- X7 _8 l$ W) R/ m% l" y/ f" @
% A% |7 I9 j, |4 j8 m4.1 头文件简介
. H! p5 s' v' P* E( U( q% S内核中关于红黑树定义的头文件位于：<linux/rbtree.h> include/linux/rbtree.h
) y! j) ^4 q. k% \+ B% r9 P4 j. }1 @) ?, y6 \
头文件中定义的函数的实现位于：lib/rbtree.c
# y$ w; M5 @1 @1 M$ v; Q5 A/ b* I& l( c! x3 J, Q9 T+ _- H& }" e* m7 t' p' k

1 e9 d5 Z6 |- N* E( n2 i
" u2 h( x. a3 }4.2 红黑树代码的注意点3 N' d* Y$ G6 y9 |3 y2 o* f: B1 E
内核中红黑树的使用和链表(list)有些类似，是将红黑树的节点放入自定义的数据结构中来使用的。
0 d% n( @0 k% I5 l% v5 c" u+ w+ ]
( m: r" M) k, y7 Q首先需要注意的一点是红黑树节点的定义：
; l0 \# p% y" M8 s( L
2 d" S6 \( o& w- J6 @复制代码
0 y$ t. D1 v& @' Y: {struct rb_node. t' b# {8 @6 T4 X
{3 ]9 k3 Q; M  K$ P; E1 i! \
unsigned long  rb_parent_color;0 i+ f5 n# |0 W7 x/ D# |3 r
#define RB_RED       0
! b0 c) }0 {' o#define RB_BLACK 1
, y5 j. [0 D$ d, q, ]4 ^, e4 \/ e( N' m struct rb_node *rb_right;
8 V' [2 S$ v  K struct rb_node *rb_left;, b; y' D# K6 y" S4 U. k5 U7 Q
} __attribute__((aligned(sizeof(long))));$ ]3 b/ |2 a) D6 ~  \2 _
复制代码! B$ B) t$ E: K
刚开始看到这个定义的时候，我觉得很奇怪，等到看懂了之后，才知道原来作者巧妙的利用内存对齐来将2个内容存入到一个字段中（不服不行啊^_^!）。; _3 E1 y% F% z

7 ]% o$ _* L5 J( Z0 J字段 rb_parent_color 中保存了2个信息：
/ W0 R; f, H- u* M$ y7 R9 n1 w: ^0 q- ?( S; S0 s- l. ?6 G3 Z/ i3 T
父节点的地址
. L, g! E! X' x$ G, j本节点的颜色
8 o) l9 L. j! P* [3 C这2个信息是如何存入一个字段的呢？主要在于 __attribute__((aligned(sizeof(long))));# c- X* d; |7 C, A& g

: T% `! `3 ^' L* j- n" B' N- l这行代码的意思就是 struct rb_node 在内存中的地址需要按照4 bytes或者8 bytes对齐。
2 k% c( ]1 t( H# ]7 f* d: ]
( r) c5 i6 }4 o! Y0 {/ Q注：sizeof(long) 在32bit系统中是4 bytes，在64bit系统中是8 bytes
* }9 O7 t$ n4 X
4 X7 A2 C' C! Z) O! u: L
$ B9 @  q3 |  j  Y0 Y  }! X6 B; P# R
struct rb_node的地址按4 bytes对齐，意味着分配的地址都是4的倍数。
3 W9 c9 a' t! t4 B  {* ~  {- j4 Q: d2 ^1 V: W
4 的二进制为 100 ，所以申请分配的 struct rb_node 的地址的最后2位始终是零，
0 x2 @1 I. A: `7 ~/ @# h5 [1 Y
2 a8 r. u$ Y1 C/ T0 fstruct rb_node 的字段 rb_parent_color 就是利用最后一位来保存节点的颜色信息的。
8 u* j* @; v* D" A- {# B6 X
# I( H, U3 X* ?, V' c$ X8 }
# v+ n8 s* p7 N! H1 B  P* K! N0 a# ?8 d8 P/ ]- H
明白了这点之后，rb_tree.h 中很多宏的定义也就很好懂了。
+ W6 Q2 l  [0 Y- R. i& Z6 S
/ d) N9 u% ^$ k" b  e9 u- `复制代码
& {# l- }, N/ t9 N- n' @1 c% B/* rb_parent_color 保存了父节点的地址和本节点的颜色 */
- x0 P7 K9 v. j- v% C$ N9 {/ Y
/ l2 j& p% A! K" W/* 将 rb_parent_color 的最后2位置成0，即将颜色信息去掉，剩下的就是parent节点的地址 */( T8 X8 ]: \9 L( w; M9 C
#define rb_parent(r) ((struct rb_node *)((r)->rb_parent_color & ~3))" r3 b" w- c  m( A5 }
- B' G: ~2 V4 [0 }( K
/* 取得 rb_parent_color 二进制表示的最后一位，即用于保存颜色信息的那一位 */: c' M' m+ t  G' F" g9 f# y: _
#define rb_color(r) ((r)->rb_parent_color & 1)
3 z: g: m: j7 Q! D+ \, e! \6 }4 |/ r6 N% V" @5 c* N, ~
/* 将 rb_parent_color 二进制表示的最后一位置为0，即置为红色 */
" B9 B/ n$ P3 A5 Y$ m#define rb_set_red(r)  do { (r)->rb_parent_color &= ~1; } while (0)8 }0 J9 u, d9 q
. M9 A& [* C9 G2 X' U4 r4 ^, k
/* 将 rb_parent_color 二进制表示的最后一位置为1，即置为黑色 */
) a& q( Y1 o% L#define rb_set_black(r)  do { (r)->rb_parent_color |= 1; } while (0)+ L/ j: d5 U1 a* w
复制代码
: y+ x3 d. I* N; U% W还有需要重点看的就是rb_tree.c中的5个函数，下面对这5个函数进行一些注释：
( q% J9 }; w! L" A$ f
( N# K2 g6 u! d( @6 q函数1：左旋操作，当右子树的长度过大导致树不平衡时，进行左旋操作& j# o' j' }' ~. k& t
! Y3 q( ~; V- ^! D
复制代码& v) _. V6 _4 w! Q: `4 i, S
/*
. a/ T. h* M: Q$ p# D; M *  左旋操作其实就3个动作：见图left
' M0 \1 }/ N4 D+ }7 b4 Q *  1. node的右子树关联到right的左子树
- K1 c7 ?7 ~) W" X. g6 N *  2. right的左子树关联到node
+ ]% n' u5 H: w$ Z *  3. right取代node的位置& Y7 x6 d$ V1 U
*  其他带代码都是一些相应的parent指针的变化
3 a0 e) R, |* O3 P) H* I */
6 s6 `! B& F1 r6 R+ F* X. Qstatic void __rb_rotate_left(struct rb_node *node, struct rb_root *root)
( u* [1 i7 U' Q' T* T: r{! F6 i9 g7 x/ G4 d7 h) {; b
/* 初始化相对于node节点的父节点(图中的P)和右节点(图中的R) */
: l; F9 q3 m$ U# W9 K  \! v$ h1 w struct rb_node *right = node->rb_right;
+ y' j& ?/ H! W. U struct rb_node *parent = rb_parent(node);3 x3 t5 R9 l- r) }9 Q, O$ L

& y: D' q) Y7 D3 O5 e8 C /* 步骤1  */
5 l3 c$ T, n* K if ((node->rb_right = right->rb_left))
- i8 R' H3 a6 @5 o& P       rb_set_parent(right->rb_left, node);( q* z4 @% V" Y" M

% `0 ~) {6 C! n. Y3 m7 B /* 步骤2 */) k3 y* q! T- F' ]2 k% r
right->rb_left = node;
+ ~3 x: S" q; c: c) p rb_set_parent(right, parent);, @) X% x5 d  h" k
1 H2 j5 r# \5 ?4 v; G: w6 M
/* node的parent NOT NULL 时，right取代原先的node的位置 */
) J& w! _9 H7 o0 Q- p! U4 ?7 ` if (parent)
$ B1 E7 u$ a1 n {% U# A5 q9 ]; f9 b( g& q/ {
      if (node == parent->rb_left)
1 T$ o9 }4 a* Q! j! x          parent->rb_left = right;
" Z. b6 `. p( I4 ^! z8 L       else8 H+ q4 R9 W* k- N6 i
         parent->rb_right = right;: R0 J; E( z" |; {$ W+ k# m% K
}
+ I6 o+ `. v; v) v& |) m/ ~" X: G* c3 S
/* node的parent NULL 时，说明node原先时root节点，将新的root指向root即可 */2 R  Y4 a  _+ Y% p
else* z& Q. I9 I2 Z" H( q
      root->rb_node = right;
9 C6 |* r  H6 H( G9 k rb_set_parent(node, right);
# x# n8 `2 M. u5 X1 z3 C}! T# T$ J9 {2 i7 k# @
复制代码
2 l; y& l* g1 J: |9 W左旋操作图解:
' p' e3 m, Z) Z: ^4 v0 e3 W7 t' v, g" Y/ `' g

( s8 N# x8 F' ^ % Q9 v- C: V& e5 ]) k6 |
8 Z8 u5 s+ w; ]5 d
函数2：右旋操作，和左旋操作类似。( r/ m: a9 r; P9 P/ d9 }

4 T. L1 S8 W+ w5 e
8 H( A- x: P* b, v+ t$ s& L; @8 E3 N8 `: ?
函数3：追加节点后，设置此节点的颜色。: m3 ]9 O0 I) a# }: l. T
, \6 p. B) m- O3 W3 ?
复制代码2 ^/ f7 q% p: }2 a( u3 x
/*
7 s  q7 ~; @! d *  本函数没有插入节点的功能，只是在插入新节点后，设置新节点的颜色，从而保证红黑树的平衡性。
* v0 T9 |0 L$ ]0 j. U* V *  新插入的节点默认都是红色的。
6 b1 ^1 J/ h& O$ ^- J# q* a7 Q *  " ^7 h) T( A! _  J% I3 E2 d* k
*  下面的代码看着复杂，其实只要时时记住红黑树的几个重要特性，就会发现下面的都是在尽量保持住红黑树的这些特性。* L, m: v; \# q  K+ t( l
*  1. 无论从哪个节点开始，到其叶子节点的路径中包含的黑色节点个数时一样的$ L6 M- x1 g. y$ F' g$ `- H
*  2. 不能有连续的2个红色节点，即父节点和子节点不能同时为红色
& k  y& k6 n9 C6 a. s/ F' M+ A' u *  所以最简单的情况就是：插入节点的父节点是黑色的。那么插入一个红节点后不会有任何影响。' g/ O$ B+ ?/ ^7 U. |' B) _( ?
*  3. 左旋操作有减少右子树高度的作用5 ~2 `4 }0 c- G! d$ \4 w
*  4. 同理，右旋操作有减少左子树高度的作用; b( Y" ?& R1 ^  c* |0 l0 P$ x
*// o0 k8 W# _9 a9 y
void rb_insert_color(struct rb_node *node, struct rb_root *root)
! N( ]5 Y8 h! f7 M* Z( _1 ?{! w) h2 ^) v8 `2 q; x9 x7 z
struct rb_node *parent, *gparent;/ p+ Y% I' X7 G- ^1 ?1 E

) j/ R0 l5 |/ n* ]6 H* k9 e4 B while ((parent = rb_parent(node)) && rb_is_red(parent))
1 |7 o& I( w2 Z  A& F* [: M6 Z5 X) p {
( k. z! }9 x# s3 F5 T, V3 o+ {7 h       gparent = rb_parent(parent);
+ Y; v/ H1 ~( c1 i% y
, I: r& Z' _1 \       /* parent 是 gparent的左子树时 */7 l. U; A% x4 t/ O5 ^* F0 H3 z
      if (parent == gparent->rb_left)
4 a- Z- ?2 N2 }( n' g: l  O       {$ I: p3 h5 [; q2 f4 P
         {% ?7 ^% X8 a9 [8 Z" |# j$ P
            /* gparent的左右子树的黑色节点都增加一个，仍然平衡 */
( z: ?6 n  o1 \# W1 z             register struct rb_node *uncle = gparent->rb_right;
* w/ J% e' H* v# T; O7 C( @9 I7 i             if (uncle && rb_is_red(uncle))
1 _* r, X2 c9 G7 ^& t8 `& d" j. k             {
4 @( E0 Y( x" f$ G6 G! V" U# X                   rb_set_black(uncle);& H2 X4 T) ^9 i  C
                  rb_set_black(parent);
( P/ b+ t' ^, ?8 r. L$ ]% m  K9 t                   rb_set_red(gparent);: `) J4 Z, a/ n( D
                  node = gparent;
) w' ?% m' o. C: j! a+ M, l. L                   continue;
3 G) H( h$ N. d8 w             }
# o' A! X) w* Q" p( Y          }
' N' k0 Z. G5 f# l+ }) }4 R" c1 o9 N
         /* node为parent右子树时 */
8 i7 a5 Z1 K; p! d& `          if (parent->rb_right == node)$ j* p+ n5 w8 U% L+ }  T
         {
3 N, q5 p' |8 {$ o- v, ^: t             register struct rb_node *tmp;
. @- R5 U  _; i. P* Z             /* 左旋后，parent的位置被node取代，然后再交换parent和node的位置，9 P- u1 s* R# L, @0 u8 l% S
               * 相当于node是parent的左子树7 ~3 r) G* R" J/ @* m
               * 由于node和parent都是红色（否则到不了这一步），parent左右子树的黑色节点数仍然是相等的% S% w% D- l  M( a. S! g4 _
               */
% o1 A: X% Z( r7 Q" d( Z# I) E             __rb_rotate_left(parent, root);9 `7 r/ m9 A$ V. c, Y
            tmp = parent;9 R. n" H3 r- o
            parent = node;
9 h5 [# W; Q4 D) i: E( v# ?. Z" @             node = tmp;
4 f" v  T+ y6 g  z3 v          }
+ g3 |: C% J* P5 E8 U+ z2 O( K. y7 ^5 \: _3 m
         /* parent 红->黑，gparent左子树比右子树多一个黑色节点: k( f( w" g/ m+ [* U, _% C
         * 右旋后，gparent左子树高度减一，减少的节点即parent，减少了一个黑色节点，parent变为新的gparent。
1 e  S, C, }* Q# g; }          * 所以右旋后，新的gparent的左右子树的黑色节点数再次平衡了' B( q# b* f  N( `; |7 n( E( v- Z
         */
  b- D: j( q1 K4 a          rb_set_black(parent);
1 y  H3 c8 S- e* Z          rb_set_red(gparent);
9 ?1 E7 s2 |; K& C% B  h          __rb_rotate_right(gparent, root);+ z( O' U# c. }  v# S7 l
      /* parent 是 gparent的右子树时，和上面的过程类似 */
, m: h: |1 r1 H$ j; {       } else {
; S( B3 G! R6 G! ~; n& F: O: N          {
' M2 L4 h% A( w- H             register struct rb_node *uncle = gparent->rb_left;
9 m; Z( H" i3 F$ T0 k; q% x             if (uncle && rb_is_red(uncle)); }' R! G: M0 G4 s) @
            {
% u7 J6 M: R- w$ o0 ]# E5 R1 G                   rb_set_black(uncle);7 s" g, Q9 T( @
                  rb_set_black(parent);
! `+ E; k1 `7 s4 B' o; @- G                   rb_set_red(gparent);' P% F: k4 e4 R) n+ I6 P5 G6 F1 S
                  node = gparent;
1 N6 i$ P5 w, p) a  }                   continue;; t% `1 Q8 B+ y* ^, Y
            }
7 G1 U6 O6 z8 z/ _          }
, q. `) K% J# b4 ?* x0 x$ L2 d/ \0 d5 l# ]' m$ o( q
         if (parent->rb_left == node)3 f+ c( z, I: o* r  u3 R/ g& f$ [
         {
2 E3 T! N* w$ x. g4 j- W6 `             register struct rb_node *tmp;
: u" R; k$ }3 s, Y4 I9 m             __rb_rotate_right(parent, root);2 K( }0 b; n2 _; ^. H3 D
            tmp = parent;# y! [3 A' \; g5 T6 R7 d+ `1 _
            parent = node;
# J! p5 P8 j5 G/ H/ d( U             node = tmp;) T7 H/ U) a7 e6 _5 O
         }
# e9 Z4 U$ k" o9 D+ a5 @
5 ]2 J+ r5 J0 w          rb_set_black(parent);
9 S& W! r. ]  [+ [5 P4 r. b+ {1 N          rb_set_red(gparent);
6 c1 r' w) b. J2 p          __rb_rotate_left(gparent, root);; {: m5 Q, U, J4 p* g( _* t& ]4 D
      }# C3 O  Q+ _* f0 s5 n: ?
}( h0 R! Y) C' P
/ r& t; _  Z; m; I/ ~# \) @7 f) d. I
rb_set_black(root->rb_node);
, }! J4 L0 v6 p0 w& v/ W}
& c8 A' _5 m; g9 G5 x7 _8 z复制代码0 g. h+ |! I& d, {; R

0 K& m; B3 Q# z/ X: x2 \8 y/ v函数4：删除一个节点，并且调整删除后各节点的颜色。其中调整节点颜色其实是另一个单独的函数。+ O: t& n. Y$ n2 I( H
9 ]2 K6 \) R2 K0 ^9 `
复制代码
. A0 T4 y/ I% R" I) E/* 删除节点时，如果被删除的节点左子树==NULL或右子树==NULL或左右子树都==NULL2 `, j% v) q$ l
* 那么只要把被删除节点的左子树或右子树直接关联到被删节点的父节点上即可，剩下的就是调整各节点颜色。
7 b$ m* R9 \4 a' v * 只有被删节点是黑色才需要调整颜色，因为删除红色节点不影响红黑树的特性。7 J( J0 v3 ~% g5 b% f! }! V7 Y
*8 h; y5 _$ L0 ?
* 被删节点左右子树都存在的情况下，其实就是用中序遍历中被删节点的下一个节点来替代被删节点。
- \: r/ m- k" N# `$ V * 代码中的操作只是将各个指针指向新的位置而已。+ \7 d5 q& ^' V0 \
*/' c, ?7 F2 e: B" c! |) R
void rb_erase(struct rb_node *node, struct rb_root *root); `' J( g, z" J7 C; f( w
{
8 m) R% s, V; g2 Y4 c9 w1 B struct rb_node *child, *parent;; G5 X1 O( ]# M$ D  G/ {: y/ Y
int color;
! B: l0 i  M/ b! I$ Y% p6 s8 ~. [9 Q7 a; e) {' J8 S$ ]
if (!node->rb_left)8 _0 r1 W5 l3 j! u( j: x6 e2 ?
      child = node->rb_right;3 z! q8 t5 V! l3 ~. n3 B# Y5 q
else if (!node->rb_right)" j* j3 f* f( k6 U
      child = node->rb_left;
2 b8 X" a' D( {# F; S else
/ v: [! U. C% L+ f( o {6 A8 |( x& y' u- q. `. d3 _
      struct rb_node *old = node, *left;
: l, C  Z) T9 k7 l1 v5 D; T7 h1 \" R6 r8 `  e
      /* 寻找中序遍历中被删节点的下一个节点 */6 n/ j8 w. y$ l  T
      node = node->rb_right;
0 Q0 w. @, W+ W# @1 p       while ((left = node->rb_left) != NULL)
0 }1 m+ K* F5 R' D7 z: x; f3 n          node = left;( Z! L' D. G. R4 h" k+ |/ {) R

) [2 Q) q# m# F. N# X2 ~3 I       /* 替换要删除的节点old */
  j' A- [% C  [% o. L) k       if (rb_parent(old)) {
& N2 H- g5 G; K: U) W          if (rb_parent(old)->rb_left == old)
! K/ p& A+ O, a1 r  `7 i             rb_parent(old)->rb_left = node;
  Q- x; y! |& E, y* m; v% u          else
  m3 k  x, V# r8 z# S5 P, h1 k3 `             rb_parent(old)->rb_right = node;0 i/ l8 g& b0 d
      } else
+ b( U* Z+ }# B( m          root->rb_node = node;
, t7 H3 R( q& A$ D" J) E9 f- x; ~0 d8 v- _  j" }
      child = node->rb_right;7 v6 [/ x8 }( N' Y
      parent = rb_parent(node);
! ]9 z/ g6 M( M& h' o       color = rb_color(node);) \4 n8 Y# |1 Z, Z+ J# l+ \0 z4 ?

- e, P- C8 x7 \, |% U       if (parent == old) {
; K- W/ q; ]6 i          parent = node;
" x% k$ ^/ t6 S) b/ D       } else {
7 |" r" S9 j) o& ?          if (child)
7 ~6 R. {& P! W8 U9 B             rb_set_parent(child, parent);: W% a/ u3 H- F* v
         parent->rb_left = child;
9 N7 g3 m- W/ {8 I+ K
1 Q3 t/ K# r( S7 m( u          node->rb_right = old->rb_right;7 z- l- G3 K: S* r
         rb_set_parent(old->rb_right, node);
" r! q1 R! M# |: H  E! |       }. C* n# {( Q$ {8 l2 f$ U
! Y# [5 x  z6 M0 m4 P% K
      node->rb_parent_color = old->rb_parent_color;1 {# I4 M+ i- N3 }7 j. H- b6 e
      node->rb_left = old->rb_left;; ?7 Z& _0 h0 X4 ?8 F' `
      rb_set_parent(old->rb_left, node);
, m4 y! s- v2 U' F* S% y8 W: Q* H
6 u& D6 j( O4 Y1 _/ S7 B' z& i       goto color;
2 b, j+ u& O, s }4 Z7 t7 {) Z% d5 b% ~3 P
( r1 G: w; K$ v
parent = rb_parent(node);
2 w- L8 ]! e* Y, q7 X7 ^ color = rb_color(node);8 J5 c" q6 r5 s3 l

1 s1 r7 }" Q# m7 l' C+ B if (child)
0 d6 M8 f& q" P+ o3 ~       rb_set_parent(child, parent);
" k1 `  y  b3 M- N. Y- t% `# F if (parent)
2 r$ m: d1 ]5 d. T% M' N {- o9 i; W! |" }  k! t
      if (parent->rb_left == node)
         parent->rb_left = child;
; ^  G2 W$ C3 q/ A       else
! w9 [6 s$ l3 }# N. H          parent->rb_right = child;
# E) f2 |: f3 S8 {( H$ | }" t% e+ t9 ~8 R2 z! b% f8 O
else0 V) c6 a- `9 Z  \8 G
      root->rb_node = child;
& l: {% N/ j  l% m9 |. N7 s
( a) p5 o2 ], D1 c2 A- B color:/ q+ e( q9 g/ H1 D2 H  f
if (color == RB_BLACK)
( J' G& X' l8 f, w1 \       __rb_erase_color(child, parent, root);
3 d. x0 x' s- C9 R* p8 h}
$ I' L. O& A2 g复制代码
: c) c! ^6 S! h( n函数5：删除一个黑色节点后，重新调整相关节点的颜色。6 p7 i$ W& _& \+ n) Q: d' H8 }. h
3 p: B( r! p* w& V0 g( t& n
复制代码0 e( r2 y0 ^6 D( c: e1 R6 Z
/* 这里的node就是上面函数中的child，所有node节点的左右子树肯定都是NULL
1 w+ }' ^. v1 j( M0 o! _* { * 不满足红黑树规则的就是从parent节点开始的子树，只要给从parent开始的子树增加一个黑色节点就行
! c6 b" V) w5 S7 N- o, z3 k1 P4 ~ * 如果从parent节点开始的节点全是黑色，node和parent都继续向上移动* R! J* ~' e' ^1 c0 D
*/5 q* u1 e! L& W0 m0 x: X: M
static void __rb_erase_color(struct rb_node *node, struct rb_node *parent,
; Z; D5 g3 ?- ~$ i; K+ o                struct rb_root *root)2 r4 B7 t; P2 O6 X2 ^! b
{
! v2 w. K2 `# U6 a. h, r# h5 Q struct rb_node *other;' [' l+ y( j$ _2 o

3 n$ n" b. x; b, d /* （node不为NULL 且 node是黑色的）或者 node == NULL */4 {, Q8 R/ Q1 T9 q; v2 `
while ((!node || rb_is_black(node)) && node != root->rb_node)3 ?, _( l+ o. p, q
{
3 L  C9 p) {8 o! W1 S, W       if (parent->rb_left == node)% `* d) B- q- i: D4 J' ?
      {
$ g: E2 J$ z( q4 s7 a8 d0 q          other = parent->rb_right;
2 q. |8 }$ X8 p2 w- O          if (rb_is_red(other))$ C* i6 ?- F6 ?* {% F9 Q
         {
& R' J* |! ^/ C2 l/ a3 B             rb_set_black(other);" K9 D. F* Q) m
            rb_set_red(parent);+ ^, p$ _& C6 @
            __rb_rotate_left(parent, root);# W! L& r. {5 ?3 o# M
            other = parent->rb_right;5 I2 e( T6 e* W3 ~! ^6 f
         }
+ J" w3 }/ ]  Y' i# M          /* 如果从parent节点开始的节点全是黑色，node和parent都继续向上移动 */2 j1 P. c, C  E' k3 I$ W
         if ((!other->rb_left || rb_is_black(other->rb_left)) &&; T( s# s( H* h* j) m* k" Z- F/ h
            (!other->rb_right || rb_is_black(other->rb_right)))% j% q, s: V8 g  N/ Y1 H
         {
3 M) Y" v4 a5 p9 G8 z             rb_set_red(other);
. h& `: t: K& ^7 T, D             node = parent;! D& v. F1 q) Z* Y
            parent = rb_parent(node);
& T1 @2 l. u/ N+ e          }- _2 k: d8 [4 b% ]$ o8 @
         else% s' h6 a; u( [
         {# L( X3 {  y" X- B* z
            if (!other->rb_right || rb_is_black(other->rb_right))
0 J+ [9 e7 W4 r0 |; O             {
+ l# U; @! }" q, M. _                   rb_set_black(other->rb_left);
/ O7 R; J3 \8 i( U                   rb_set_red(other);
, M8 X/ `& x% M8 w  c$ y" p# b                   __rb_rotate_right(other, root);
+ D$ [1 r9 Q9 ^  i5 D4 k3 I                   other = parent->rb_right;0 i0 R, G5 o6 b+ s  c- C% H
            }2 x2 G6 D& `" `3 N$ y1 G. D
            rb_set_color(other, rb_color(parent));$ d$ y5 U3 v0 a& ]( S" p7 N
            rb_set_black(parent);
4 ~& e. i% l* ~% s5 R7 Q* Z2 X             rb_set_black(other->rb_right);" a9 x2 e5 l/ F, y- F1 e1 m
            __rb_rotate_left(parent, root);# Z3 m& O: ]$ l4 ?; I* J: ]
            node = root->rb_node;' R+ U% c+ [1 h& U# E' `
            break;
# R7 `5 Z3 |# t9 o: E          }* b! Y0 }/ w' ?6 g$ e+ F
      }0 I$ [1 F8 Z) E: A" O
      else
& p7 n7 ^( t* V% T1 S8 R. O       {
+ F; ~& j. B% _8 {4 S9 ?          other = parent->rb_left;
6 y5 |4 o6 ^" n  _; T  s          if (rb_is_red(other))
4 W% `2 H" d, V* h0 C/ |2 Y          {
# w5 {# J7 X4 f, j( n             rb_set_black(other);9 n/ S7 _6 N# I1 a% n8 Z! O
            rb_set_red(parent);
4 G9 }& P4 m) F% K             __rb_rotate_right(parent, root);" n4 [* |) B. j+ Z" V, ?
            other = parent->rb_left;
2 b* w/ Q' e; Q" }7 g! l% R          }
. }/ m1 t- i5 R( T. ?; n          if ((!other->rb_left || rb_is_black(other->rb_left)) &&
  S. C5 x. R; S1 I5 p# W7 `, R             (!other->rb_right || rb_is_black(other->rb_right)))
7 ]5 o7 ~* H4 N" \# @          {
! o  S9 C1 L7 N' \) h+ l& ^# M$ ?             rb_set_red(other);
; f- d9 C0 t, o' L# \             node = parent;' k# D: f3 e4 N, m; J1 K) r# w
            parent = rb_parent(node);+ v1 }6 u. L' `
         }
' ~( M5 L- K( z0 E- o# ~' B          else
+ h* G: e# @. ?  U: n$ {          {
$ `. I& |7 k; b/ X" R             if (!other->rb_left || rb_is_black(other->rb_left))4 b4 F; T2 O, ]  v5 d
            {5 ^, u: ~: u9 N8 X3 j) H! E1 Y  x
                  rb_set_black(other->rb_right);2 K; e5 B* I# M8 U2 D9 D* B
                  rb_set_red(other);
" P, ~  c2 {. ^5 A                   __rb_rotate_left(other, root);
  r+ J5 J. H3 y$ G  ^                   other = parent->rb_left;& j" L0 t8 r4 S% g
            }3 F  {# e  v# p9 s; U/ E
            rb_set_color(other, rb_color(parent));, h8 u( j0 M, l  i
            rb_set_black(parent);
; r; k3 I  s6 S4 [8 ~$ r) j             rb_set_black(other->rb_left);
6 L9 b) S2 N8 N1 H. G             __rb_rotate_right(parent, root);
) K, R! I, [: O; x5 z: M             node = root->rb_node;
; }% [- i& f; r) w4 J- a             break;0 P1 ^# N8 U9 d  m$ D# X
         }
( Y9 o/ Y+ a) o' `# z* @' L       }
; o$ p4 L  Z. N5 q }
, G$ H* f0 m( m7 f" E if (node)
, I  H2 `  V1 o8 ?9 ]       rb_set_black(node);
9 l4 q# g, h3 }9 n9 Z+ v8 k! U$ F}
2 U3 X, ^/ r/ U7 J复制代码, t, Z$ r& K6 L1 Z: _, L
& a, A: a% w; x+ {9 Q% u0 K
6 s8 b8 x8 ?: K3 ?/ [% k" H9 C& E
4.3 使用示例8 Z3 _" Q  E/ ?9 s- o2 V
构造了一个内核模块来实际使用一下内核中的红黑树，代码在CentOS6.3 x64上运行通过。
6 g& q3 o, {6 x# t. n8 D8 _: [- m7 h4 G8 E# e* Y
C代码：
0 m6 w5 k* G* W; w. v  h: S
/ F! G; ~& q, M5 z. }复制代码
: u. Q7 Z+ ~' [#include<linux/rbtree.h>, s9 n$ F+ t; z) S6 o; L, I. p
#include <linux/string.h>
# l( z: C7 g' m- X2 `#include "kn_common.h"( `; p$ s8 C9 u

& C6 u! X4 D( q9 B0 u2 J- }% o# yMODULE_LICENSE("Dual BSD/GPL");
3 x& u/ Z- y1 t. ?; fstruct student" V& V1 F6 @% K. S) H; t& W4 a2 d
{
; S* Q# \$ A/ s) j0 Z int id;- J" u! p( F. B+ W& m  D) w6 f
char* name;. ~0 c! Y4 L( t* C- n  ^
struct rb_node node;7 e7 H( s+ y5 q# a- Y5 `0 D; J
};" y6 w3 T9 D2 Y! c; S- e% A

5 |) V4 U( d$ V6 K  Bstatic int insert_student(struct student*, struct rb_root*);5 O( i# }5 X, d9 _) Q0 ^
static int remove_student(struct student*, struct rb_root*);
" I  m; K! B+ ~static int display_student(struct rb_root*, int);
5 q! J2 h, u; ~5 b8 L3 B. Ystatic void display_student_from_small(struct rb_node*);
8 w0 ~" m; V9 ]" l/ B: J6 estatic void display_student_from_big(struct rb_node*);* R* x+ y8 ?- q+ U& b% x
static void print_student(struct student*);
% E. m" R& \  p0 d6 c& ?" O! E# W( H$ ]; ]
static int testrbtree_init(void)
  I  G0 ^* G. Q: H4 f& @{
/ A: l9 h0 o) L" P#define N 10  q/ K( J, S6 W+ y; i
struct rb_root root = RB_ROOT;
* ^1 |' z( o* L0 l0 b6 c" d; h struct student *stu[N];
1 x8 ~& v: }$ q) c% v' t char tmp_name[5] = {'w', 'y', 'b', '0', '\0'};( b# n; I8 B% g5 e$ r& D. G
int i;& n% {' l& |2 R0 l3 i3 C
5 B' W1 Q( q- I( w" l
// init N struct student% M. {. o7 X+ h8 [# J( j
for (i=0; i<N; i++)
2 l  m( g, u; A- I7 K6 c( I {" o% f( J8 k& e- Y3 M6 S  ~- s
      stu = kmalloc(sizeof(struct student), GFP_KERNEL);# ?3 l2 x2 V& K6 E6 p5 ~
      stu->id = i;# ?  k; X2 L+ [. K& z  m: p
      stu->name = kmalloc(sizeof(char)*5, GFP_KERNEL);( n6 z( k4 X9 X' P/ W4 L& S
      tmp_name[3] = (char)(i+48);
0 J& E" X* I% G6 z& H8 |       strcpy(stu->name, tmp_name);% I% y: f2 M6 {8 R$ C* m, K( |
      // stu_name[3] = (char)(i+48);
0 \6 W$ a8 o1 I1 M% I; l( k5 T4 R       stu->node.rb_left = NULL;+ V& y0 C( |- j/ _7 S4 k4 f; S
      stu->node.rb_right = NULL;$ C, f, B5 N3 Y9 ~1 |
}
: q! w! B, T9 E, t, f
6 u3 O% P# C3 @* S" } for (i=0; i < N; ++i)
% o9 s; Y( a, u7 E5 K1 `. h& _  ` {  `' B0 y6 F7 ^( o
      printk(KERN_ALERT "id=%d name=%s\n", stu->id, stu->name);& O3 W( z' j- F& W8 S+ E, z* A  e
}
9 H; B  @; Z: i# D3 p" S5 J * O* r7 `/ o7 m+ u0 V
// add N student to rbtree
/ D0 u3 L9 \8 Y. f print_current_time(0);+ Y6 I! ^/ I1 ]4 C* D& j5 O" Z  p/ B
for (i=0; i < N; i++)
2 O' r, R4 n+ `5 _: j  m       insert_student(stu, &root);
2 ~  V6 F* C+ H
$ a3 l6 n+ V5 W$ O- f  D5 Z  J // display all students
( T$ O3 @; r) Z. \3 R/ A9 Y printk(KERN_ALERT "print from small to big!\n");
" h% G2 N+ D$ ~/ x display_student(&root, -1);. Z5 d: T1 B+ M0 E, J# ?
printk(KERN_ALERT "print from big to small!\n");, A! C1 Q% ^9 @* u1 p4 O2 m
display_student(&root, 1);
9 d9 R( q8 V. [( D& x$ z* U2 c% F& D* Z! g" x. W9 k
// delete student 8
3 J$ I) q7 ~, |+ U+ q/ m7 d remove_student(stu[7], &root);
* X- ?/ C0 ^" }3 w0 i9 ^& I display_student(&root, -1);
5 }% R9 r" W" c   v$ P3 U" \; H; Z7 B  l
// free all student
$ P  D( T: R$ x, Y0 @ for (i=0; i<N; ++i)
8 X# Z* ?- M, M {
5 C& T" V3 j2 r% {       kfree(stu->name);
3 x+ [6 w8 \. J, _1 r       kfree(stu);
' [& w; O1 x! V, B }
/ b) C- N, n8 J, }                   ! J2 h+ P' W9 p; F8 Q9 c( Z4 E% K
return 0;9 [0 i, R' Y/ A  |: M# }3 m: |
}) b3 V3 f9 u2 _: g; T

0 `) D$ ]* e0 t7 ~# ?- a% V' Wstatic int insert_student(struct student* stu, struct rb_root* root)
( L: ^1 F+ |3 c) X{+ `% X8 G$ \! q' O% x; q
struct rb_node* parent;
( {; T5 @3 ~+ |- b struct rb_node* tmp_rb;3 {. ]8 P; s* _
struct student* tmp_stu;* _  `$ Z1 \! T2 [* e
2 y. p' ]" S7 u) w. p
/* first time to insert node */& T5 O% a+ F7 N8 \7 B
if (!root->rb_node)   o8 g" k& B! b) E" b1 ~( X; h
{: c0 W1 Z% x8 b1 [8 ^
      root->rb_node = &(stu->node);: z; B. A( @% A" M
      rb_set_parent(&(stu->node), NULL);
) |* C" }' W, x8 y! A- Z       rb_set_black(&(stu->node));2 n* A; g5 T3 P5 Y% S
      return 0;
4 e3 T2 W. C5 Z, b9 D$ r) n$ H }" \- T7 g( i4 D* C9 y4 V. H
9 v- b5 ~  \7 K
/* find where to insert node */
2 G5 `2 c: t) c7 Z8 v tmp_rb = root->rb_node;4 V: O% Y8 I. u% [6 a7 b( M  W
while(tmp_rb)" O! n5 p8 I$ A( d+ s7 ~* B0 @
{; |( }4 ?6 |9 V) S* A1 R5 G
      parent = tmp_rb;/ \+ S( i2 u3 j9 P. I
      tmp_stu = rb_entry(tmp_rb, struct student, node);
0 a7 r! [0 t8 L5 u0 [9 `8 V8 P9 I- e% q
      if (tmp_stu->id > stu->id) / Z7 ~# {+ B8 C) G% {% _, ?
         tmp_rb = parent->rb_left;* v' U, E5 i! w! c( o* k" ?6 r, {
      else if (tmp_stu->id < stu->id)5 I+ _2 B" u; \1 V, l9 U% Y
         tmp_rb = parent->rb_right;3 O+ P3 A/ n6 i6 C" o! L8 r' H
      else
1 s8 @. n4 I8 z. G) d+ V0 D) |          break;0 ?7 P" E: p! K4 c( }* m3 O
}
% F( w: l* d5 E$ w! H- w% j' n( A( Q9 N
/* the student's id  is already in the rbtree *// |4 V* G, z( @0 K$ H. K  Z6 m  k
if (tmp_rb)
1 M7 D; `4 I( W7 T. g. n' R {0 d- m8 _; @& O3 d) P
      printk(KERN_ALERT "this student has been inserted!\n");: J1 J% \' Y4 F& T/ F( z1 C
      return 1;
4 E3 ]* h& G/ @5 j# J }
( p  T3 `4 W( i/ M% \  P% v' @
: `* `3 B/ D0 ?# [1 o( f2 ~ if (tmp_stu->id > stu->id)
) W+ }, N8 B6 A6 U3 H7 F7 e7 s       parent->rb_left = &(stu->node);
% l3 Q0 z) ]  Y# h  a6 f else% B" d' N1 U8 V, A8 b6 {+ u
      parent->rb_right = &(stu->node);2 q1 N, r, X3 e2 r/ w  K
: @: _! n+ P$ c7 h! X
rb_set_parent(&(stu->node), parent);% _- F9 o8 W0 G# t- O! T8 S3 q4 Q$ W  h
rb_insert_color(&(stu->node), root);; m5 I1 l0 _0 S: K: e% [
8 r* t  C% T2 h& ?
return 0;  [8 H7 h! `! o5 ~2 i6 \
}
+ i* ^* t* _+ F! C
; e1 q5 X6 O0 |% e5 H8 `: J- Y! astatic int remove_student(struct student* stu, struct rb_root* root)8 E% G; |: A& h& R- H
{
; b: n+ D% l/ S7 p rb_erase(&(stu->node), root);
; S# A/ I+ E  ]& Q& u- X$ ` % |& O/ Q4 X% j4 w
return 0;
9 p# z8 U) e: s1 ?7 g9 `- M8 `}0 d7 `4 d% ]0 s% L
) `$ \/ A+ ^7 @3 V, S
static int display_student(struct rb_root *root, int order)
' Z0 h; }+ r6 G1 ~{
$ g' k8 X  R% W$ h0 V8 R if (!root->rb_node)
  B0 I* }1 o- b/ M# Q       return 1;$ V$ I! D2 _, i1 s. \  }
if (order < 0)) l" I$ m' g* y" C; t+ n
      display_student_from_small(root->rb_node);
  H8 N. D: g# i  V) W else
  D, U3 e, G$ j: {6 C& [9 {7 E& @       display_student_from_big(root->rb_node);( E7 }7 \1 J3 S8 n; S6 ?4 v
" c" e9 K# q( S- M* F0 m2 ]
return 0;
+ J) H; ^9 r) `}# K1 W( |* `" @5 O

" r# W; Q( F+ C3 Vstatic void display_student_from_small(struct rb_node* node)
+ l; C3 E! ?, z) S  B+ [{
. M/ h# v" q9 L; T1 U struct student *tmp_stu;
# t1 Y; ]9 P) w0 Q9 H' t 9 R6 [! r1 v# ]. Q4 t+ k
if (node)
0 k2 j, u  d* G) b! b  I+ Y {: L9 v* T, j( Q- J+ w, f* ~: t! P
      display_student_from_small(node->rb_left);3 `4 l/ W5 L2 N: |* V9 P2 H
      tmp_stu = rb_entry(node, struct student, node);  ^! |) J$ l0 @$ l# l
      print_student(tmp_stu);# W) @. y+ J. ^& H# ~
      display_student_from_small(node->rb_right);/ Z+ O$ A3 E( [% O2 n4 z# y
}6 c" c7 N+ _. g" T- c. M
}! ^0 m6 I& l( D! R) d" a# [

* P$ K0 _5 X* n2 S  Astatic void display_student_from_big(struct rb_node* node)4 f$ p9 n  Q' i3 l, J; e
{
4 _# F5 K) ~8 A) G! n& J struct student *tmp_stu;
( X' }8 r7 ~! C1 ~, L' ?* I ( |; s/ d7 q! }
if (node), b8 [6 i( M! h7 S5 j7 W
{
! ~) c2 M% H# {) ?3 A" Y       display_student_from_big(node->rb_right);
/ S2 G1 W6 \0 {4 r; q& t( |8 y5 W- L* r       tmp_stu = rb_entry(node, struct student, node);+ f8 \6 `# p+ ]0 `2 X& t! F
      print_student(tmp_stu);
; N. \8 L9 o  r5 _5 c" t4 O       display_student_from_big(node->rb_left);2 I* T1 E# l& Z( g- Y; C1 z
}
$ J" F) t$ M* _9 R  N8 {" K, r) u}( j2 n- r, N( C$ @8 E* w
1 J4 y3 {$ ~9 F, `' \
static void print_student(struct student* stu)
; R  G' L8 h4 f. M4 l4 k{7 d0 S' u$ J! |6 o; E  n" T3 c
printk(KERN_ALERT "=========================\n");
( K$ O5 p2 y2 Q' n print_current_time(0);
7 ?: X# q' r; Y printk(KERN_ALERT "id=%d\tname=%s\n", stu->id, stu->name);
. _% p0 ]+ u# ?6 ~& n% `$ D  a printk(KERN_ALERT "=========================\n");9 s  e) r, f* X. h/ S: I
}! O% S$ k" i4 Y9 u' b3 Z8 }& T

! T, s( R/ r, _" s" D6 rstatic void testrbtree_exit(void)) }. n2 t& R9 E/ u! U- |$ B
{% C/ T0 s$ P9 ?6 y+ L2 X' B0 G# H, N
printk(KERN_ALERT "*************************\n");$ }: n' a- q. a) H) M- ]; h; V- b
print_current_time(0);( d+ G- V0 E- L% W" W
printk(KERN_ALERT "testrbtree is exited!\n");
$ K% K# G0 J8 W) v- r' }- P1 H printk(KERN_ALERT "*************************\n");
: u4 {' ]4 Q/ G0 P  W  O5 c
7 `# Z' K0 A0 E$ h0 a. P}
; s+ b$ W% l6 t/ m5 ~
% S" F5 x4 ]% s7 R! _module_init(testrbtree_init);
  q# t/ i' @0 X) v. j3 imodule_exit(testrbtree_exit);  d9 t( S& [; I- Y
复制代码
1 `& R' k. e4 ^  F4 d% u( R) ?注：其中用到的kn_common.h和kn_common.c文件与队列的示例中一样。
; s" ~. Q/ j0 o( m( [" C! r
# K. K/ P9 n* I# r. UMakefile：
' r$ q$ d* d) K
3 x  T% D" _* t. g复制代码+ I9 I! i% q$ F+ [' L
obj-m += rbtree.o
  A9 \1 P0 H5 Q; ?! f& d$ |6 `rbtree-objs := testrbtree.o kn_common.o
4 q/ w8 W: v+ ]3 O2 z2 W
& a6 {- u1 i0 Z; b#generate the path7 k4 {9 u  _1 P4 I$ _
CURRENT_PATH:=$(shell pwd)
% ]2 `, E$ R! X) R#the current kernel version number; x  t8 a# t9 D2 r  ]) C( e
LINUX_KERNEL:=$(shell uname -r)
0 L9 U9 X% ^. T( O, k#the absolute path3 b! p) @# y% S. C9 g; o
LINUX_KERNEL_PATH:=/usr/src/kernels/$(LINUX_KERNEL)- H' x( u7 s& O- U
#complie object5 S8 o* t6 a! R; u1 Z
all:1 ^! w& S: C2 {) X0 j6 v) `* y- O3 ]
make -C $(LINUX_KERNEL_PATH) M=$(CURRENT_PATH) modules
  e! y% D9 r) B# Y7 G9 K$ j rm -rf modules.order Module.symvers .*.cmd *.o *.mod.c .tmp_versions *.unsigned
" Y4 b  W3 Z$ F* `#clean
4 h1 T# U! X0 p) ]2 A6 ]clean:
' I9 n; S9 b& |) J; V rm -rf modules.order Module.symvers .*.cmd *.o *.mod.c *.ko .tmp_versions *.unsigned
7 C0 Z! f) a1 S. k$ d' S- P# k复制代码
4 e9 g6 B1 Z+ b6 U4 ]安装,卸载内核模块以及查看内核模块的运行结果：2 Y/ j: [. U, z

! N, v8 N. Y" z8 I3 |  oinsmod rbtree.ko
  x+ Z% v8 X6 _5 Q! W) O" }& Ermmod rbtree2 v: {& ^" t1 |# h$ \4 K$ x: Q+ ]. }
dmesg | tail -135

SsaaM7 · 发表于 2020-11-4 14:52

Linux内核设计与实现之内核数据结构

帐号		自动登录	找回密码
密码			注册

Linux内核设计与实现之内核数据结构

EDA365欢迎您登录！

浏览过的版块

推荐内容 /1