3 (C) 1999 Andrea Arcangeli <andrea@suse.de>
4 (C) 2002 David Woodhouse <dwmw2@infradead.org>
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
23 #include <palacios/vmm_rbtree.h>
26 static void __rb_rotate_left(struct rb_node *node, struct rb_root *root)
28 struct rb_node *right = node->rb_right;
29 struct rb_node *parent = rb_parent(node);
31 if ((node->rb_right = right->rb_left))
32 rb_set_parent(right->rb_left, node);
33 right->rb_left = node;
35 rb_set_parent(right, parent);
39 if (node == parent->rb_left)
40 parent->rb_left = right;
42 parent->rb_right = right;
45 root->rb_node = right;
46 rb_set_parent(node, right);
49 static void __rb_rotate_right(struct rb_node *node, struct rb_root *root)
51 struct rb_node * left = node->rb_left;
52 struct rb_node * parent = rb_parent(node);
54 if ((node->rb_left = left->rb_right)) {
55 rb_set_parent(left->rb_right, node);
58 left->rb_right = node;
60 rb_set_parent(left, parent);
63 if (node == parent->rb_right) {
64 parent->rb_right = left;
66 parent->rb_left = left;
72 rb_set_parent(node, left);
75 void v3_rb_insert_color(struct rb_node *node, struct rb_root *root)
77 struct rb_node *parent, *gparent;
79 while ((parent = rb_parent(node)) && rb_is_red(parent))
81 gparent = rb_parent(parent);
83 if (parent == gparent->rb_left)
86 register struct rb_node *uncle = gparent->rb_right;
87 if (uncle && rb_is_red(uncle))
97 if (parent->rb_right == node)
99 register struct rb_node *tmp;
100 __rb_rotate_left(parent, root);
106 rb_set_black(parent);
108 __rb_rotate_right(gparent, root);
111 register struct rb_node *uncle = gparent->rb_left;
112 if (uncle && rb_is_red(uncle))
115 rb_set_black(parent);
122 if (parent->rb_left == node)
124 register struct rb_node *tmp;
125 __rb_rotate_right(parent, root);
131 rb_set_black(parent);
133 __rb_rotate_left(gparent, root);
137 rb_set_black(root->rb_node);
141 static void __rb_erase_color(struct rb_node *node, struct rb_node *parent,
142 struct rb_root *root)
144 struct rb_node *other;
146 while ((!node || rb_is_black(node)) && node != root->rb_node)
148 if (parent->rb_left == node)
150 other = parent->rb_right;
151 if (rb_is_red(other))
155 __rb_rotate_left(parent, root);
156 other = parent->rb_right;
158 if ((!other->rb_left || rb_is_black(other->rb_left)) &&
159 (!other->rb_right || rb_is_black(other->rb_right)))
163 parent = rb_parent(node);
167 if (!other->rb_right || rb_is_black(other->rb_right))
169 struct rb_node *o_left;
170 if ((o_left = other->rb_left))
171 rb_set_black(o_left);
173 __rb_rotate_right(other, root);
174 other = parent->rb_right;
176 rb_set_color(other, rb_color(parent));
177 rb_set_black(parent);
179 rb_set_black(other->rb_right);
180 __rb_rotate_left(parent, root);
181 node = root->rb_node;
187 other = parent->rb_left;
188 if (rb_is_red(other))
192 __rb_rotate_right(parent, root);
193 other = parent->rb_left;
195 if ((!other->rb_left || rb_is_black(other->rb_left)) &&
196 (!other->rb_right || rb_is_black(other->rb_right)))
200 parent = rb_parent(node);
204 if (!other->rb_left || rb_is_black(other->rb_left))
206 register struct rb_node *o_right;
207 if ((o_right = other->rb_right))
208 rb_set_black(o_right);
210 __rb_rotate_left(other, root);
211 other = parent->rb_left;
213 rb_set_color(other, rb_color(parent));
214 rb_set_black(parent);
216 rb_set_black(other->rb_left);
217 __rb_rotate_right(parent, root);
218 node = root->rb_node;
227 void v3_rb_erase(struct rb_node *node, struct rb_root *root)
229 struct rb_node *child, *parent;
233 child = node->rb_right;
234 else if (!node->rb_right)
235 child = node->rb_left;
238 struct rb_node *old = node, *left;
240 node = node->rb_right;
241 while ((left = node->rb_left) != NULL)
243 child = node->rb_right;
244 parent = rb_parent(node);
245 color = rb_color(node);
248 rb_set_parent(child, parent);
250 parent->rb_right = child;
253 parent->rb_left = child;
255 node->rb_parent_color = old->rb_parent_color;
256 node->rb_right = old->rb_right;
257 node->rb_left = old->rb_left;
261 if (rb_parent(old)->rb_left == old)
262 rb_parent(old)->rb_left = node;
264 rb_parent(old)->rb_right = node;
266 root->rb_node = node;
268 rb_set_parent(old->rb_left, node);
270 rb_set_parent(old->rb_right, node);
274 parent = rb_parent(node);
275 color = rb_color(node);
278 rb_set_parent(child, parent);
281 if (parent->rb_left == node)
282 parent->rb_left = child;
284 parent->rb_right = child;
287 root->rb_node = child;
290 if (color == RB_BLACK)
291 __rb_erase_color(child, parent, root);
296 * This function returns the first node (in sort order) of the tree.
298 struct rb_node *v3_rb_first(struct rb_root *root)
311 struct rb_node *v3_rb_last(struct rb_root *root)
324 struct rb_node *v3_rb_next(struct rb_node *node)
326 struct rb_node *parent;
328 /* If we have a right-hand child, go down and then left as far
330 if (node->rb_right) {
331 node = node->rb_right;
332 while (node->rb_left)
337 /* No right-hand children. Everything down and left is
338 smaller than us, so any 'next' node must be in the general
339 direction of our parent. Go up the tree; any time the
340 ancestor is a right-hand child of its parent, keep going
341 up. First time it's a left-hand child of its parent, said
342 parent is our 'next' node. */
343 while ((parent = rb_parent(node)) && node == parent->rb_right)
350 struct rb_node *v3_rb_prev(struct rb_node *node)
352 struct rb_node *parent;
354 /* If we have a left-hand child, go down and then right as far
357 node = node->rb_left;
358 while (node->rb_right)
363 /* No left-hand children. Go up till we find an ancestor which
364 is a right-hand child of its parent */
365 while ((parent = rb_parent(node)) && node == parent->rb_left)
372 void v3_rb_replace_node(struct rb_node *victim, struct rb_node *new,
373 struct rb_root *root)
375 struct rb_node *parent = rb_parent(victim);
377 /* Set the surrounding nodes to point to the replacement */
379 if (victim == parent->rb_left)
380 parent->rb_left = new;
382 parent->rb_right = new;
387 rb_set_parent(victim->rb_left, new);
388 if (victim->rb_right)
389 rb_set_parent(victim->rb_right, new);
391 /* Copy the pointers/colour from the victim to the replacement */