blob: 883bc7231d0905b114e45fb57c9a0b525e252b98 [file] [log] [blame]
Jens Axboe4b878982007-03-26 09:32:22 +02001/*
2 Red Black Trees
3 (C) 1999 Andrea Arcangeli <andrea@suse.de>
4 (C) 2002 David Woodhouse <dwmw2@infradead.org>
5
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.
10
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.
15
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
19
20 linux/lib/rbtree.c
21*/
22
23#include "rbtree.h"
24
25static void __rb_rotate_left(struct rb_node *node, struct rb_root *root)
26{
27 struct rb_node *right = node->rb_right;
Jens Axboe44b53742007-03-27 10:16:21 +020028 struct rb_node *parent = rb_parent(node);
Jens Axboe4b878982007-03-26 09:32:22 +020029
30 if ((node->rb_right = right->rb_left))
Jens Axboe44b53742007-03-27 10:16:21 +020031 rb_set_parent(right->rb_left, node);
Jens Axboe4b878982007-03-26 09:32:22 +020032 right->rb_left = node;
33
Jens Axboe44b53742007-03-27 10:16:21 +020034 rb_set_parent(right, parent);
35
36 if (parent)
Jens Axboe4b878982007-03-26 09:32:22 +020037 {
Jens Axboe44b53742007-03-27 10:16:21 +020038 if (node == parent->rb_left)
39 parent->rb_left = right;
Jens Axboe4b878982007-03-26 09:32:22 +020040 else
Jens Axboe44b53742007-03-27 10:16:21 +020041 parent->rb_right = right;
Jens Axboe4b878982007-03-26 09:32:22 +020042 }
43 else
44 root->rb_node = right;
Jens Axboe44b53742007-03-27 10:16:21 +020045 rb_set_parent(node, right);
Jens Axboe4b878982007-03-26 09:32:22 +020046}
47
48static void __rb_rotate_right(struct rb_node *node, struct rb_root *root)
49{
50 struct rb_node *left = node->rb_left;
Jens Axboe44b53742007-03-27 10:16:21 +020051 struct rb_node *parent = rb_parent(node);
Jens Axboe4b878982007-03-26 09:32:22 +020052
53 if ((node->rb_left = left->rb_right))
Jens Axboe44b53742007-03-27 10:16:21 +020054 rb_set_parent(left->rb_right, node);
Jens Axboe4b878982007-03-26 09:32:22 +020055 left->rb_right = node;
56
Jens Axboe44b53742007-03-27 10:16:21 +020057 rb_set_parent(left, parent);
58
59 if (parent)
Jens Axboe4b878982007-03-26 09:32:22 +020060 {
Jens Axboe44b53742007-03-27 10:16:21 +020061 if (node == parent->rb_right)
62 parent->rb_right = left;
Jens Axboe4b878982007-03-26 09:32:22 +020063 else
Jens Axboe44b53742007-03-27 10:16:21 +020064 parent->rb_left = left;
Jens Axboe4b878982007-03-26 09:32:22 +020065 }
66 else
67 root->rb_node = left;
Jens Axboe44b53742007-03-27 10:16:21 +020068 rb_set_parent(node, left);
Jens Axboe4b878982007-03-26 09:32:22 +020069}
70
71void rb_insert_color(struct rb_node *node, struct rb_root *root)
72{
73 struct rb_node *parent, *gparent;
74
Jens Axboe44b53742007-03-27 10:16:21 +020075 while ((parent = rb_parent(node)) && rb_is_red(parent))
Jens Axboe4b878982007-03-26 09:32:22 +020076 {
Jens Axboe44b53742007-03-27 10:16:21 +020077 gparent = rb_parent(parent);
Jens Axboe4b878982007-03-26 09:32:22 +020078
79 if (parent == gparent->rb_left)
80 {
81 {
82 register struct rb_node *uncle = gparent->rb_right;
Jens Axboe44b53742007-03-27 10:16:21 +020083 if (uncle && rb_is_red(uncle))
Jens Axboe4b878982007-03-26 09:32:22 +020084 {
Jens Axboe44b53742007-03-27 10:16:21 +020085 rb_set_black(uncle);
86 rb_set_black(parent);
87 rb_set_red(gparent);
Jens Axboe4b878982007-03-26 09:32:22 +020088 node = gparent;
89 continue;
90 }
91 }
92
93 if (parent->rb_right == node)
94 {
95 register struct rb_node *tmp;
96 __rb_rotate_left(parent, root);
97 tmp = parent;
98 parent = node;
99 node = tmp;
100 }
101
Jens Axboe44b53742007-03-27 10:16:21 +0200102 rb_set_black(parent);
103 rb_set_red(gparent);
Jens Axboe4b878982007-03-26 09:32:22 +0200104 __rb_rotate_right(gparent, root);
105 } else {
106 {
107 register struct rb_node *uncle = gparent->rb_left;
Jens Axboe44b53742007-03-27 10:16:21 +0200108 if (uncle && rb_is_red(uncle))
Jens Axboe4b878982007-03-26 09:32:22 +0200109 {
Jens Axboe44b53742007-03-27 10:16:21 +0200110 rb_set_black(uncle);
111 rb_set_black(parent);
112 rb_set_red(gparent);
Jens Axboe4b878982007-03-26 09:32:22 +0200113 node = gparent;
114 continue;
115 }
116 }
117
118 if (parent->rb_left == node)
119 {
120 register struct rb_node *tmp;
121 __rb_rotate_right(parent, root);
122 tmp = parent;
123 parent = node;
124 node = tmp;
125 }
126
Jens Axboe44b53742007-03-27 10:16:21 +0200127 rb_set_black(parent);
128 rb_set_red(gparent);
Jens Axboe4b878982007-03-26 09:32:22 +0200129 __rb_rotate_left(gparent, root);
130 }
131 }
132
Jens Axboe44b53742007-03-27 10:16:21 +0200133 rb_set_black(root->rb_node);
Jens Axboe4b878982007-03-26 09:32:22 +0200134}
135
136static void __rb_erase_color(struct rb_node *node, struct rb_node *parent,
137 struct rb_root *root)
138{
139 struct rb_node *other;
140
Jens Axboe44b53742007-03-27 10:16:21 +0200141 while ((!node || rb_is_black(node)) && node != root->rb_node)
Jens Axboe4b878982007-03-26 09:32:22 +0200142 {
143 if (parent->rb_left == node)
144 {
145 other = parent->rb_right;
Jens Axboe44b53742007-03-27 10:16:21 +0200146 if (rb_is_red(other))
Jens Axboe4b878982007-03-26 09:32:22 +0200147 {
Jens Axboe44b53742007-03-27 10:16:21 +0200148 rb_set_black(other);
149 rb_set_red(parent);
Jens Axboe4b878982007-03-26 09:32:22 +0200150 __rb_rotate_left(parent, root);
151 other = parent->rb_right;
152 }
Jens Axboe44b53742007-03-27 10:16:21 +0200153 if ((!other->rb_left || rb_is_black(other->rb_left)) &&
154 (!other->rb_right || rb_is_black(other->rb_right)))
Jens Axboe4b878982007-03-26 09:32:22 +0200155 {
Jens Axboe44b53742007-03-27 10:16:21 +0200156 rb_set_red(other);
Jens Axboe4b878982007-03-26 09:32:22 +0200157 node = parent;
Jens Axboe44b53742007-03-27 10:16:21 +0200158 parent = rb_parent(node);
Jens Axboe4b878982007-03-26 09:32:22 +0200159 }
160 else
161 {
Jens Axboe44b53742007-03-27 10:16:21 +0200162 if (!other->rb_right || rb_is_black(other->rb_right))
Jens Axboe4b878982007-03-26 09:32:22 +0200163 {
Jens Axboe44b53742007-03-27 10:16:21 +0200164 struct rb_node *o_left;
Jens Axboe4b878982007-03-26 09:32:22 +0200165 if ((o_left = other->rb_left))
Jens Axboe44b53742007-03-27 10:16:21 +0200166 rb_set_black(o_left);
167 rb_set_red(other);
Jens Axboe4b878982007-03-26 09:32:22 +0200168 __rb_rotate_right(other, root);
169 other = parent->rb_right;
170 }
Jens Axboe44b53742007-03-27 10:16:21 +0200171 rb_set_color(other, rb_color(parent));
172 rb_set_black(parent);
Jens Axboe4b878982007-03-26 09:32:22 +0200173 if (other->rb_right)
Jens Axboe44b53742007-03-27 10:16:21 +0200174 rb_set_black(other->rb_right);
Jens Axboe4b878982007-03-26 09:32:22 +0200175 __rb_rotate_left(parent, root);
176 node = root->rb_node;
177 break;
178 }
179 }
180 else
181 {
182 other = parent->rb_left;
Jens Axboe44b53742007-03-27 10:16:21 +0200183 if (rb_is_red(other))
Jens Axboe4b878982007-03-26 09:32:22 +0200184 {
Jens Axboe44b53742007-03-27 10:16:21 +0200185 rb_set_black(other);
186 rb_set_red(parent);
Jens Axboe4b878982007-03-26 09:32:22 +0200187 __rb_rotate_right(parent, root);
188 other = parent->rb_left;
189 }
Jens Axboe44b53742007-03-27 10:16:21 +0200190 if ((!other->rb_left || rb_is_black(other->rb_left)) &&
191 (!other->rb_right || rb_is_black(other->rb_right)))
Jens Axboe4b878982007-03-26 09:32:22 +0200192 {
Jens Axboe44b53742007-03-27 10:16:21 +0200193 rb_set_red(other);
Jens Axboe4b878982007-03-26 09:32:22 +0200194 node = parent;
Jens Axboe44b53742007-03-27 10:16:21 +0200195 parent = rb_parent(node);
Jens Axboe4b878982007-03-26 09:32:22 +0200196 }
197 else
198 {
Jens Axboe44b53742007-03-27 10:16:21 +0200199 if (!other->rb_left || rb_is_black(other->rb_left))
Jens Axboe4b878982007-03-26 09:32:22 +0200200 {
201 register struct rb_node *o_right;
202 if ((o_right = other->rb_right))
Jens Axboe44b53742007-03-27 10:16:21 +0200203 rb_set_black(o_right);
204 rb_set_red(other);
Jens Axboe4b878982007-03-26 09:32:22 +0200205 __rb_rotate_left(other, root);
206 other = parent->rb_left;
207 }
Jens Axboe44b53742007-03-27 10:16:21 +0200208 rb_set_color(other, rb_color(parent));
209 rb_set_black(parent);
Jens Axboe4b878982007-03-26 09:32:22 +0200210 if (other->rb_left)
Jens Axboe44b53742007-03-27 10:16:21 +0200211 rb_set_black(other->rb_left);
Jens Axboe4b878982007-03-26 09:32:22 +0200212 __rb_rotate_right(parent, root);
213 node = root->rb_node;
214 break;
215 }
216 }
217 }
218 if (node)
Jens Axboe44b53742007-03-27 10:16:21 +0200219 rb_set_black(node);
Jens Axboe4b878982007-03-26 09:32:22 +0200220}
221
222void rb_erase(struct rb_node *node, struct rb_root *root)
223{
224 struct rb_node *child, *parent;
225 int color;
226
227 if (!node->rb_left)
228 child = node->rb_right;
229 else if (!node->rb_right)
230 child = node->rb_left;
231 else
232 {
233 struct rb_node *old = node, *left;
234
235 node = node->rb_right;
236 while ((left = node->rb_left) != NULL)
237 node = left;
238 child = node->rb_right;
Jens Axboe44b53742007-03-27 10:16:21 +0200239 parent = rb_parent(node);
240 color = rb_color(node);
Jens Axboe4b878982007-03-26 09:32:22 +0200241
242 if (child)
Jens Axboe44b53742007-03-27 10:16:21 +0200243 rb_set_parent(child, parent);
244 if (parent == old) {
245 parent->rb_right = child;
Jens Axboe4b878982007-03-26 09:32:22 +0200246 parent = node;
Jens Axboe44b53742007-03-27 10:16:21 +0200247 } else
248 parent->rb_left = child;
249
250 node->rb_parent_color = old->rb_parent_color;
Jens Axboe4b878982007-03-26 09:32:22 +0200251 node->rb_right = old->rb_right;
252 node->rb_left = old->rb_left;
253
Jens Axboe44b53742007-03-27 10:16:21 +0200254 if (rb_parent(old))
Jens Axboe4b878982007-03-26 09:32:22 +0200255 {
Jens Axboe44b53742007-03-27 10:16:21 +0200256 if (rb_parent(old)->rb_left == old)
257 rb_parent(old)->rb_left = node;
Jens Axboe4b878982007-03-26 09:32:22 +0200258 else
Jens Axboe44b53742007-03-27 10:16:21 +0200259 rb_parent(old)->rb_right = node;
Jens Axboe4b878982007-03-26 09:32:22 +0200260 } else
261 root->rb_node = node;
262
Jens Axboe44b53742007-03-27 10:16:21 +0200263 rb_set_parent(old->rb_left, node);
Jens Axboe4b878982007-03-26 09:32:22 +0200264 if (old->rb_right)
Jens Axboe44b53742007-03-27 10:16:21 +0200265 rb_set_parent(old->rb_right, node);
Jens Axboe4b878982007-03-26 09:32:22 +0200266 goto color;
267 }
268
Jens Axboe44b53742007-03-27 10:16:21 +0200269 parent = rb_parent(node);
270 color = rb_color(node);
Jens Axboe4b878982007-03-26 09:32:22 +0200271
272 if (child)
Jens Axboe44b53742007-03-27 10:16:21 +0200273 rb_set_parent(child, parent);
Jens Axboe4b878982007-03-26 09:32:22 +0200274 if (parent)
275 {
276 if (parent->rb_left == node)
277 parent->rb_left = child;
278 else
279 parent->rb_right = child;
280 }
281 else
282 root->rb_node = child;
283
284 color:
285 if (color == RB_BLACK)
286 __rb_erase_color(child, parent, root);
287}
288
289/*
290 * This function returns the first node (in sort order) of the tree.
291 */
292struct rb_node *rb_first(struct rb_root *root)
293{
294 struct rb_node *n;
295
296 n = root->rb_node;
297 if (!n)
298 return NULL;
299 while (n->rb_left)
300 n = n->rb_left;
301 return n;
302}
Jens Axboe8f2b1372012-11-07 11:40:03 +0100303
304struct rb_node *rb_next(const struct rb_node *node)
305{
306 struct rb_node *parent;
307
308 if (RB_EMPTY_NODE(node))
309 return NULL;
310
311 /*
312 * If we have a right-hand child, go down and then left as far
313 * as we can.
314 */
315 if (node->rb_right) {
316 node = node->rb_right;
317 while (node->rb_left)
318 node=node->rb_left;
319 return (struct rb_node *)node;
320 }
321
322 /*
323 * No right-hand children. Everything down and left is smaller than us,
324 * so any 'next' node must be in the general direction of our parent.
325 * Go up the tree; any time the ancestor is a right-hand child of its
326 * parent, keep going up. First time it's a left-hand child of its
327 * parent, said parent is our 'next' node.
328 */
329 while ((parent = rb_parent(node)) && node == parent->rb_right)
330 node = parent;
331
332 return parent;
333}