0

0

nginx的数据结构2——自己动手重写红黑树

php中文网

php中文网

发布时间:2016-07-30 13:31:21

|

1112人浏览过

|

来源于php中文网

原创

    费话不多说,上重写代码,这次姑且用英语写的注释当复习英语了。

    rbtree.h:

/*
 * Copyright (C) Bipedal Bit
 * Verson 1.0.0.1
 */

#ifndef _RBTREE_H_INCLUDED_
#define _RBTREE_H_INCLUDED_

/* the node structure of the red-black tree */
typedef struct rbtree_node_s rbtree_node_t;
/* Using type int means its range is -0x7fffffff-1~0x7fffffff. */
typedef int rbtree_key_t;
/* Abstract type is complicated to achieve with C so I use char* instead. */
typedef char* rbtree_data_t;

struct rbtree_node_s
{
	/* key of the node */
	rbtree_key_t	key;
	/* pointer of the parent of the node */
	rbtree_node_t*	parent;
	/* pointer of the left kid of the node */
	rbtree_node_t*	left;
	/* pointer of the right kid of the node */
	rbtree_node_t*	right;
	/* color of the node */
	unsigned char	color;
	/* pointer of the value of the node corresponding to the key */
	rbtree_data_t	value;
};

/* the tree object stucture of the red-black tree */
typedef struct rbtree_s rbtree_t;
/* foundational insert function pointer*/
typedef void (*rbtree_insert_p) (rbtree_t* root, rbtree_node_t* node);

struct rbtree_s
{
	/* the pointer of the root node of the tree */
	rbtree_node_t* root;
	/* black leaf nodes as sentinel */
	rbtree_node_t* sentinel;
	/* the polymorphic insert function pointer */
	rbtree_insert_p insert;
};

/* macros */
#define rbtree_init(tree, s, i)		\
rbtree_sentinel_init(s);			\
(tree)->root = s;				\
(tree)->sentinel = s;			\
(tree)->insert = i

#define rbtree_red(node)	((node)->color = 1)
#define rbtree_black(node)	((node)->color = 0)
#define rbtree_is_red(node)	((node)->color)
#define rbtree_is_black(node)	(!rbtree_is_red(node))
 /* copy n2's color to n1 */
#define rbtree_copy_color(n1, n2)	(n1->color = n2->color)
/* sentinel must be black cuz it's leaf node */
#define rbtree_sentinel_init(node)	rbtree_black(node)

/* statements of public methods */
void rbtree_insert_value(rbtree_t* tree, rbtree_node_t* node);
void rbtree_insert(rbtree_t* tree, rbtree_node_t* node);
void rbtree_delete(rbtree_t* tree, rbtree_node_t* node);
rbtree_node_t* rbtree_find(rbtree_t* tree, rbtree_key_t key);

#endif	/* _RBTREE_H_INCLUDED_ */

    看过nginx源码的有心人会发现,我的头文件相对于ngx_rbree.h改动不大,非常像。

    关键的rbtree.c:

/*
 * Copyright (C) Bipedal Bit
 * Verson 1.0.0.1
 */

#include <stddef.h>
#include "rbtree.h"

/* inline methods */
/* get the node with the minimum key in a subtree of the red-black tree */
static inline rbtree_node_t*
rbtree_subtree_min(rbtree_node_t* node, rbtree_node_t* sentinel)
{
&#160;&#160; &#160;while(node->left != sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;node = node->left;
&#160;&#160; &#160;}

&#160;&#160; &#160;return node;
}

/* replace the node "node" in the tree with node "tmp" */
static inline void rbtree_replace(rbtree_t* tree,
&#160;&#160; &#160;rbtree_node_t* node, rbtree_node_t* tmp)
{
&#160;&#160; &#160;/* upward: p[node] <- p[tmp] */
&#160;&#160; &#160;tmp->parent = node->parent;

&#160;&#160; &#160;if (node == tree->root)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;tree->root = tmp;
&#160;&#160; &#160;}
&#160;&#160; &#160;else if (node == node->parent->left)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* downward: left[p[node]] <- tmp */
&#160;&#160; &#160;&#160;&#160; &#160;node->parent->left = tmp;
&#160;&#160; &#160;}
&#160;&#160; &#160;else
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* downward: right[p[node]] <- tmp */
&#160;&#160; &#160;&#160;&#160; &#160;node->parent->right = tmp;
&#160;&#160; &#160;}

&#160;&#160; &#160;node->parent = tmp;
}

/* change the topologic structure of the tree keeping the order of the nodes */
static inline void rbtree_left_rotate(rbtree_t* tree, rbtree_node_t* node)
{
&#160;&#160; &#160;/* node as the var x in CLRS while tmp as the var y */
&#160;&#160; &#160;rbtree_node_t* tmp = node->right;

&#160;&#160; &#160;/* replace y with left[y] */
&#160;&#160; &#160;/* downward: right[x] <- left[y] */
&#160;&#160; &#160;node->right = tmp->left;
&#160;&#160; &#160;/* if left[[y] is not NIL it has a parent */
&#160;&#160; &#160;if (tmp->left != tree->sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* upward: p[left[y]] <- x */
&#160;&#160; &#160;&#160;&#160; &#160;tmp->left->parent = node;
&#160;&#160; &#160;}

&#160;&#160; &#160;/* replace x with y */
&#160;&#160; &#160;rbtree_replace(tree, node, tmp);
&#160;&#160; &#160;tmp->left = node;
}

static inline void rbtree_right_rotate(rbtree_t* tree, rbtree_node_t* node)
{
&#160;&#160; &#160;rbtree_node_t* tmp = node->left;

&#160;&#160; &#160;/* replace y with right[y] */
&#160;&#160; &#160;node->left = tmp->right;
&#160;&#160; &#160;if (tmp->right != tree->sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;tmp->right->parent = node;
&#160;&#160; &#160;}

&#160;&#160; &#160;/* replace x with y */
&#160;&#160; &#160;rbtree_replace(tree, node, tmp);
&#160;&#160; &#160;tmp->right = node;
}

/* static methods */
/* fix the red-black tree after the new node inserted */
static void rbtree_insert_fixup(rbtree_t* tree, rbtree_node_t* node)
{
&#160;&#160; &#160;while(rbtree_is_red(node->parent))
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;if (node->parent == node->parent->parent->left)
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* case 1: node's uncle is red */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_red(node->parent->parent->right))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent->parent->right);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(node->parent->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = node->parent->parent;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* Then we can consider the whole subtree */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* which is represented by the new "node" as the "node" before */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* and keep looping till "node" become the root. */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* case 2: node's uncle is black */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;else
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* ensure node is the left kid of its parent */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (node == node->parent->right)
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = node->parent;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_left_rotate(tree, node);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* case 2 -> case 1 */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(node->parent->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_right_rotate(tree, node->parent->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;/* same as the "if" clause before with "left" and "right" exchanged */
&#160;&#160; &#160;&#160;&#160; &#160;else
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_red(node->parent->parent->left))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent->parent->left);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(node->parent->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = node->parent->parent;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;else
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (node == node->parent->left)
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = node->parent;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_right_rotate(tree, node);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(node->parent->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_left_rotate(tree, node->parent->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;}
&#160;&#160; &#160;/* ensure the root node being black */
&#160;&#160; &#160;rbtree_black(tree->root);
}

static void rbtree_delete_fixup(rbtree_t* tree, rbtree_node_t* node)
{
&#160;&#160; &#160;rbtree_node_t* brother = NULL;

&#160;&#160; &#160;while(node != tree->root && rbtree_is_black(node))
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;if (node == node->parent->left)
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;brother = node->parent->right;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_red(brother))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_left_rotate(tree, node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* update brother after topologic change of the tree */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;brother = node->parent->right;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}

&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_black(brother->left) && rbtree_is_black(brother->right))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* go upward and keep on fixing color */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = node->parent;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;else
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_black(brother->right))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(brother->left);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_right_rotate(tree, brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* update brother after topologic change of the tree */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;brother = node->parent->right;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_copy_color(brother, node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(brother->right);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_left_rotate(tree, node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* end the loop and ensure root is black */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = tree->root;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;/* same as the "if" clause before with "left" and "right" exchanged */
&#160;&#160; &#160;&#160;&#160; &#160;else
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;brother = node->parent->left;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_red(brother))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_left_rotate(tree, node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;brother = node->parent->left;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}

&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_black(brother->left) && rbtree_is_black(brother->right))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = node->parent;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;else
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (rbtree_is_black(brother->left))
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(brother->right);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_red(brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_right_rotate(tree, brother);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;brother = node->parent->left;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_copy_color(brother, node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(brother->left);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;rbtree_left_rotate(tree, node->parent);
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node = tree->root;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;}

&#160;&#160; &#160;rbtree_black(node);
}

/* public methods */
void rbtree_insert_value(rbtree_t* tree, rbtree_node_t* node)
{
&#160;&#160; &#160;/* Using ** to know wether the new node will be a left kid */
&#160;&#160; &#160;/* or a right kid of its parent node. */
&#160;&#160; &#160;rbtree_node_t** tmp = &tree->root;
&#160;&#160; &#160;rbtree_node_t* parent;

&#160;&#160; &#160;while(*tmp != tree->sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;parent = *tmp;
&#160;&#160; &#160;&#160;&#160; &#160;tmp = (node->key < parent->key) ? &parent->left : &parent->right;
&#160;&#160; &#160;}

&#160;&#160; &#160;/* The pointer knows wether the node should be on the left side */
&#160;&#160; &#160;/* or on the right one. */
&#160;&#160; &#160;*tmp = node;
&#160;&#160; &#160;node->parent = parent;
&#160;&#160; &#160;node->left = tree->sentinel;
&#160;&#160; &#160;node->right = tree->sentinel;
&#160;&#160; &#160;rbtree_red(node);
}

void rbtree_insert(rbtree_t* tree, rbtree_node_t* node)
{
&#160;&#160; &#160;rbtree_node_t* sentinel = tree->sentinel;

&#160;&#160; &#160;/* if the tree is empty */
&#160;&#160; &#160;if (tree->root == sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;tree->root = node;
&#160;&#160; &#160;&#160;&#160; &#160;node->parent = sentinel;
&#160;&#160; &#160;&#160;&#160; &#160;node->left = sentinel;
&#160;&#160; &#160;&#160;&#160; &#160;node->right = sentinel;
&#160;&#160; &#160;&#160;&#160; &#160;rbtree_black(node);

&#160;&#160; &#160;&#160;&#160; &#160;return;
&#160;&#160; &#160;}

&#160;&#160; &#160;/* generally */
&#160;&#160; &#160;tree->insert(tree, node);
&#160;&#160; &#160;rbtree_insert_fixup(tree, node);
}

void rbtree_delete(rbtree_t* tree, rbtree_node_t* node)
{
&#160;&#160; &#160;rbtree_node_t* sentinel = tree->sentinel;
&#160;&#160; &#160;/* wether "node" is on the left side or the right one */
&#160;&#160; &#160;rbtree_node_t** ptr_to_node = NULL;
&#160;&#160; &#160;/* "cover" is the node which is going to cover "node" */
&#160;&#160; &#160;rbtree_node_t* cover = NULL;
&#160;&#160; &#160;/* wether we lossing a red node on the edge of the tree */
&#160;&#160; &#160;int loss_red = rbtree_is_red(node);
&#160;&#160; &#160;int is_root = (node == tree->root);

&#160;&#160; &#160;/* get "cover" & "loss_red"&#160; */
&#160;&#160; &#160;/* sentinel in "node"'s kids */
&#160;&#160; &#160;if (node->left == sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;cover = node->right;
&#160;&#160; &#160;}
&#160;&#160; &#160;else if (node->right == sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;cover = node->left;
&#160;&#160; &#160;}
&#160;&#160; &#160;/* "node"'s kids are both non-sentinel */
&#160;&#160; &#160;else
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* update "node" & "loss_red" & "is_root" & "cover" */
&#160;&#160; &#160;&#160;&#160; &#160;cover = rbtree_subtree_min(node->right, sentinel);
&#160;&#160; &#160;&#160;&#160; &#160;node->key = cover->key;
&#160;&#160; &#160;&#160;&#160; &#160;node->value = cover->value;
&#160;&#160; &#160;&#160;&#160; &#160;node = cover;
&#160;&#160; &#160;&#160;&#160; &#160;loss_red = rbtree_is_red(node);
&#160;&#160; &#160;&#160;&#160; &#160;is_root = 0;
&#160;&#160; &#160;&#160;&#160; &#160;/* move "cover"'s kids */
&#160;&#160; &#160;&#160;&#160; &#160;/* "cover" can only be a left kid */
&#160;&#160; &#160;&#160;&#160; &#160;/* and can only have a right non-sentinel kid */
&#160;&#160; &#160;&#160;&#160; &#160;/* because of function "rbtree_subtree_min" */
&#160;&#160; &#160;&#160;&#160; &#160;cover = node->right;
&#160;&#160; &#160;}

&#160;&#160; &#160;if (is_root)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* update root */
&#160;&#160; &#160;&#160;&#160; &#160;tree->root = cover;
&#160;&#160; &#160;}
&#160;&#160; &#160;else
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* downward link */
&#160;&#160; &#160;&#160;&#160; &#160;if (node == node->parent->left)
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node->parent->left = cover;
&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;else
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;node->parent->right = cover;
&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;}
&#160;&#160; &#160;/* upward link */
&#160;&#160; &#160;cover->parent = node->parent;
&#160;&#160; &#160;/* "cover" may be a sentinel */
&#160;&#160; &#160;if (cover != sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* set "cover" */
&#160;&#160; &#160;&#160;&#160; &#160;cover->left = node->left;
&#160;&#160; &#160;&#160;&#160; &#160;cover->right = node->right;
&#160;&#160; &#160;&#160;&#160; &#160;rbtree_copy_color(cover, node);
&#160;&#160; &#160;}

&#160;&#160; &#160;/* clear "node" since it's useless */
&#160;&#160; &#160;node->key = -1;
&#160;&#160; &#160;node->parent = NULL;
&#160;&#160; &#160;node->left = NULL;
&#160;&#160; &#160;node->right = NULL;
&#160;&#160; &#160;node->value = NULL;

&#160;&#160; &#160;if (loss_red)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;return;
&#160;&#160; &#160;}

&#160;&#160; &#160;/* When lossing a black node on edge */
&#160;&#160; &#160;/* the fifth rule of red-black tree will be broke. */
&#160;&#160; &#160;/* So the tree need to be fixed. */
&#160;&#160; &#160;rbtree_delete_fixup(tree, cover);
}

/* find the node in the tree corresponding to the given key value */
rbtree_node_t* rbtree_find(rbtree_t* tree, rbtree_key_t key)
{
&#160;&#160; &#160;rbtree_node_t* tmp = tree->root;
&#160;&#160; &#160;int step_cnt = 0;

&#160;&#160; &#160;/* search the binary tree */
&#160;&#160; &#160;while(tmp != tree->sentinel)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;/* next line is just fot test */
&#160;&#160; &#160;&#160;&#160; &#160;// step_cnt++;
&#160;&#160; &#160;&#160;&#160; &#160;if(key == tmp->key)
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;/* next line is just for test */
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;// printf("step count: %d, color: %s, ", step_cnt, rbtree_is_red(tmp) ? "red" : "black");
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;return tmp;
&#160;&#160; &#160;&#160;&#160; &#160;}

&#160;&#160; &#160;&#160;&#160; &#160;tmp = (key < tmp->key) ? tmp->left : tmp->right;
&#160;&#160; &#160;}

&#160;&#160; &#160;return NULL;
}
&#160;

    虽然明白nginx源码中100+行的长函数体也是一种避免太多函数调用增加时间空间开销的优化,我还是把所有函数都分类分割成100行以下。增加可读性是一方面,可能也是有点强迫症吧。之后会扩展几个统计方法,像max、min和mid,还会扩展一个遍历方法。

    下面是调用测试,test.c:

#include <stdio.h>
#include "rbtree.h"

int main(int argc, char const *argv[])
{
&#160;&#160; &#160;rbtree_t t = {};
&#160;&#160; &#160;rbtree_node_t s = {};
&#160;&#160; &#160;rbtree_init(&t, &s, rbtree_insert_value);

&#160;&#160; &#160;const int cnt = 10;
&#160;&#160; &#160;const int max_len = 15;

#define TEST_VALUES {"apple", "banana", "cherry", "grape", "lemon", "mango", "pear", "pineapple", "strawberry", "watermelon"}

&#160;&#160; &#160;/* for gcc */
&#160;&#160; &#160;char* v[] = TEST_VALUES;
&#160;&#160; &#160;/* for g++ */
&#160;&#160; &#160;// char v[][max_len] = TEST_VALUES;

&#160;&#160; &#160;rbtree_node_t n[cnt];
&#160;&#160; &#160;int i;
&#160;&#160; &#160;for (i = 0; i < cnt; i++)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;n[i].key = i+1;
&#160;&#160; &#160;&#160;&#160; &#160;n[i].value = v[i];
&#160;&#160; &#160;&#160;&#160; &#160;rbtree_insert(&t, &n[i]);
&#160;&#160; &#160;}

&#160;&#160; &#160;rbtree_node_t* p[cnt];

&#160;&#160; &#160;for (i = 1; i <= cnt; i++)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;printf("key: %d\n", i);
&#160;&#160; &#160;&#160;&#160; &#160;p[i] = rbtree_find(&t, i);
&#160;&#160; &#160;&#160;&#160; &#160;printf("value: %s\n", (p[i] != NULL) ? p[i]->value : "?");
&#160;&#160; &#160;}

&#160;&#160; &#160;rbtree_delete(&t, &n[5]);

&#160;&#160; &#160;printf("\nafter delete 6->mango:\n\n");

&#160;&#160; &#160;for (i = 1; i <= cnt; i++)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;printf("key: %d\n", i);
&#160;&#160; &#160;&#160;&#160; &#160;p[i] = rbtree_find(&t, i);
&#160;&#160; &#160;&#160;&#160; &#160;printf("value: %s\n", (p[i] != NULL) ? p[i]->value : "?");
&#160;&#160; &#160;}

&#160;&#160; &#160;return 0;
}

    解开rbtree_find方法里的测试行注释,顺利执行:

key: 1
step count: 3, color: black, value: apple
key: 2
step count: 2, color: black, value: banana
key: 3
step count: 3, color: black, value: cherry
key: 4
step count: 1, color: black, value: grape
key: 5
step count: 3, color: black, value: lemon
key: 6
step count: 2, color: black, value: mango
key: 7
step count: 4, color: black, value: pear
key: 8
step count: 3, color: red, value: pineapple
key: 9
step count: 4, color: black, value: strawberry
key: 10
step count: 5, color: red, value: watermelon

after delete 6->mango:

key: 1
step count: 3, color: black, value: apple
key: 2
step count: 2, color: black, value: banana
key: 3
step count: 3, color: black, value: cherry
key: 4
step count: 1, color: black, value: grape
key: 5
step count: 3, color: black, value: lemon
key: 6
value: ?
key: 7
step count: 2, color: black, value: pear
key: 8
step count: 4, color: black, value: pineapple
key: 9
step count: 3, color: red, value: strawberry
key: 10
step count: 4, color: black, value: watermelon
    下面分别是删除6->mango前的红黑树和删除后的红黑树示意图:

ImgGood
ImgGood

免费在线AI照片编辑器

下载

    下面我们来做个大量数据的压力测试,注意把rbtree_find方法里的测试行注释掉,不然后果恐怕会比较吓人:

#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include "rbtree.h"

int main(int argc, char const *argv[])
{
&#160;&#160; &#160;double duration;
&#160;&#160; &#160;double room;

&#160;&#160; &#160;rbtree_t t = {};
&#160;&#160; &#160;rbtree_node_t s = {};
&#160;&#160; &#160;rbtree_init(&t, &s, rbtree_insert_value);

&#160;&#160; &#160;const int cnt = 1<<20;
&#160;&#160; &#160;const int max_len = 15;

#define TEST_VALUES {"apple", "banana", "cherry", "grape", "lemon", "mango", "pear", "pineapple", "strawberry", "watermelon"}

&#160;&#160; &#160;/* for gcc */
&#160;&#160; &#160;char* v[] = TEST_VALUES;
&#160;&#160; &#160;/* for g++ */
&#160;&#160; &#160;// char v[][max_len] = TEST_VALUES;

&#160;&#160; &#160;/* Default stack size in Ubuntu Kylin 14.04 is 8MB. */
&#160;&#160; &#160;/* It's not enough. So I use memory in heap which offers a lot larger room. */
&#160;&#160; &#160;rbtree_node_t* n = (rbtree_node_t*)calloc(cnt, sizeof(rbtree_node_t));
&#160;&#160; &#160;int i;

&#160;&#160; &#160;long time1 = clock();

&#160;&#160; &#160;for (i = 0; i < cnt; i++)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;n[i].key = i+1;
&#160;&#160; &#160;&#160;&#160; &#160;n[i].value = v[i%10];
&#160;&#160; &#160;&#160;&#160; &#160;rbtree_insert(&t, &n[i]);
&#160;&#160; &#160;}

&#160;&#160; &#160;long time2 = clock();
&#160;&#160; &#160;room = 48.0*cnt/(1<<20);
&#160;&#160; &#160;duration = (double)(time2 - time1) / CLOCKS_PER_SEC;
&#160;&#160; &#160;printf("Inserting %d nodes costs %.2fMB and spends %f seconds.\n", cnt, room, duration);

&#160;&#160; &#160;const int search_cnt = 1<<10;
&#160;&#160; &#160;srand( (unsigned int)time(0) );
&#160;&#160; &#160;for( i = 0 ; i < search_cnt ; i++ )
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;rbtree_find(&t, (rand()%cnt)+1);
&#160;&#160; &#160;}

&#160;&#160; &#160;long time3 = clock();
&#160;&#160; &#160;duration = (double)(time3 - time2) / CLOCKS_PER_SEC;
&#160;&#160; &#160;printf("Searching %d nodes among %d spends %f seconds.\n", search_cnt, cnt, duration);

&#160;&#160; &#160;const int delete_cnt = 1<<10;
&#160;&#160; &#160;int nums[delete_cnt];
&#160;&#160; &#160;int num;
&#160;&#160; &#160;/* Let's hash! */
&#160;&#160; &#160;char* mark = (char*)calloc(cnt, sizeof(char));
&#160;&#160; &#160;memset(mark, 0, cnt*sizeof(char));
&#160;&#160; &#160;for(i = 0; i < delete_cnt; i++)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;for(;;)
&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;num = rand()%cnt;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;if (mark[num] == 0)
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;mark[num] = 1;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;nums[i] = num;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;break;
&#160;&#160; &#160;&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;&#160;&#160; &#160;}
&#160;&#160; &#160;}

&#160;&#160; &#160;long time4 = clock();
&#160;&#160; &#160;duration = (double)(time4 - time3) / CLOCKS_PER_SEC;
&#160;&#160; &#160;printf("Hash %d times spends %f seconds.\n", delete_cnt, duration);

&#160;&#160; &#160;for(i = 0; i < delete_cnt; i++)
&#160;&#160; &#160;{
&#160;&#160; &#160;&#160;&#160; &#160;rbtree_delete(&t, &n[nums[i]]);
&#160;&#160; &#160;}

&#160;&#160; &#160;long time5 = clock();
&#160;&#160; &#160;duration = (double)(time5 - time4) / CLOCKS_PER_SEC;
&#160;&#160; &#160;printf("Deleting %d nodes among %d spends %f seconds.\n", delete_cnt, cnt, duration);
&#160;&#160; &#160;free(mark);
&#160;&#160; &#160;free(n);

&#160;&#160; &#160;return 0;
}

    来看看结果:

Inserting 1048576 nodes costs 48.00MB and spends 0.425416 seconds.
Searching 1024 nodes among 1048576 spends 0.001140 seconds.
Hash 1024 times spends 0.000334 seconds.
Deleting 1024 nodes among 1048576 spends 0.000783 seconds.
    删除比查找还快,耗时只有哈希查找的两倍多点,上百万的插入也耗时不足半秒,嗯我还挺满意的。

    写统计和遍历方法去了。

版权声明:本文为博主原创文章,未经博主允许不得转载。

以上就介绍了nginx的数据结构2——自己动手重写红黑树,包括了方面的内容,希望对PHP教程有兴趣的朋友有所帮助。

相关文章

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

49

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

89

2026.03.12

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

276

2026.03.11

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

59

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

99

2026.03.09

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

105

2026.03.06

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

230

2026.03.05

PHP高性能API设计与Laravel服务架构实践
PHP高性能API设计与Laravel服务架构实践

本专题围绕 PHP 在现代 Web 后端开发中的高性能实践展开,重点讲解基于 Laravel 框架构建可扩展 API 服务的核心方法。内容涵盖路由与中间件机制、服务容器与依赖注入、接口版本管理、缓存策略设计以及队列异步处理方案。同时结合高并发场景,深入分析性能瓶颈定位与优化思路,帮助开发者构建稳定、高效、易维护的 PHP 后端服务体系。

619

2026.03.04

AI安装教程大全
AI安装教程大全

2026最全AI工具安装教程专题:包含各版本AI绘图、AI视频、智能办公软件的本地化部署手册。全篇零基础友好,附带最新模型下载地址、一键安装脚本及常见报错修复方案。每日更新,收藏这一篇就够了,让AI安装不再报错!

173

2026.03.04

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
HTML5/CSS3/JavaScript/ES6入门课程
HTML5/CSS3/JavaScript/ES6入门课程

共102课时 | 7.3万人学习

前端基础到实战(HTML5+CSS3+ES6+NPM)
前端基础到实战(HTML5+CSS3+ES6+NPM)

共162课时 | 21.8万人学习

第二十二期_前端开发
第二十二期_前端开发

共119课时 | 13.4万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号