2005-04-17 02:20:36 +04:00
/*
Red Black Trees
( C ) 1999 Andrea Arcangeli < andrea @ suse . de >
( C ) 2002 David Woodhouse < dwmw2 @ infradead . org >
This program is free software ; you can redistribute it and / or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation ; either version 2 of the License , or
( at your option ) any later version .
This program is distributed in the hope that it will be useful ,
but WITHOUT ANY WARRANTY ; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE . See the
GNU General Public License for more details .
You should have received a copy of the GNU General Public License
along with this program ; if not , write to the Free Software
Foundation , Inc . , 59 Temple Place , Suite 330 , Boston , MA 02111 - 1307 USA
linux / lib / rbtree . c
*/
# include <linux/rbtree.h>
# include <linux/module.h>
static void __rb_rotate_left ( struct rb_node * node , struct rb_root * root )
{
struct rb_node * right = node - > rb_right ;
2006-04-21 16:35:51 +04:00
struct rb_node * parent = rb_parent ( node ) ;
2005-04-17 02:20:36 +04:00
if ( ( node - > rb_right = right - > rb_left ) )
2006-04-21 16:35:51 +04:00
rb_set_parent ( right - > rb_left , node ) ;
2005-04-17 02:20:36 +04:00
right - > rb_left = node ;
2006-04-21 16:35:51 +04:00
rb_set_parent ( right , parent ) ;
if ( parent )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
if ( node = = parent - > rb_left )
parent - > rb_left = right ;
2005-04-17 02:20:36 +04:00
else
2006-04-21 16:35:51 +04:00
parent - > rb_right = right ;
2005-04-17 02:20:36 +04:00
}
else
root - > rb_node = right ;
2006-04-21 16:35:51 +04:00
rb_set_parent ( node , right ) ;
2005-04-17 02:20:36 +04:00
}
static void __rb_rotate_right ( struct rb_node * node , struct rb_root * root )
{
struct rb_node * left = node - > rb_left ;
2006-04-21 16:35:51 +04:00
struct rb_node * parent = rb_parent ( node ) ;
2005-04-17 02:20:36 +04:00
if ( ( node - > rb_left = left - > rb_right ) )
2006-04-21 16:35:51 +04:00
rb_set_parent ( left - > rb_right , node ) ;
2005-04-17 02:20:36 +04:00
left - > rb_right = node ;
2006-04-21 16:35:51 +04:00
rb_set_parent ( left , parent ) ;
if ( parent )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
if ( node = = parent - > rb_right )
parent - > rb_right = left ;
2005-04-17 02:20:36 +04:00
else
2006-04-21 16:35:51 +04:00
parent - > rb_left = left ;
2005-04-17 02:20:36 +04:00
}
else
root - > rb_node = left ;
2006-04-21 16:35:51 +04:00
rb_set_parent ( node , left ) ;
2005-04-17 02:20:36 +04:00
}
void rb_insert_color ( struct rb_node * node , struct rb_root * root )
{
struct rb_node * parent , * gparent ;
2006-04-21 16:35:51 +04:00
while ( ( parent = rb_parent ( node ) ) & & rb_is_red ( parent ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
gparent = rb_parent ( parent ) ;
2005-04-17 02:20:36 +04:00
if ( parent = = gparent - > rb_left )
{
{
register struct rb_node * uncle = gparent - > rb_right ;
2006-04-21 16:35:51 +04:00
if ( uncle & & rb_is_red ( uncle ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
rb_set_black ( uncle ) ;
rb_set_black ( parent ) ;
rb_set_red ( gparent ) ;
2005-04-17 02:20:36 +04:00
node = gparent ;
continue ;
}
}
if ( parent - > rb_right = = node )
{
register struct rb_node * tmp ;
__rb_rotate_left ( parent , root ) ;
tmp = parent ;
parent = node ;
node = tmp ;
}
2006-04-21 16:35:51 +04:00
rb_set_black ( parent ) ;
rb_set_red ( gparent ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_right ( gparent , root ) ;
} else {
{
register struct rb_node * uncle = gparent - > rb_left ;
2006-04-21 16:35:51 +04:00
if ( uncle & & rb_is_red ( uncle ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
rb_set_black ( uncle ) ;
rb_set_black ( parent ) ;
rb_set_red ( gparent ) ;
2005-04-17 02:20:36 +04:00
node = gparent ;
continue ;
}
}
if ( parent - > rb_left = = node )
{
register struct rb_node * tmp ;
__rb_rotate_right ( parent , root ) ;
tmp = parent ;
parent = node ;
node = tmp ;
}
2006-04-21 16:35:51 +04:00
rb_set_black ( parent ) ;
rb_set_red ( gparent ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_left ( gparent , root ) ;
}
}
2006-04-21 16:35:51 +04:00
rb_set_black ( root - > rb_node ) ;
2005-04-17 02:20:36 +04:00
}
EXPORT_SYMBOL ( rb_insert_color ) ;
static void __rb_erase_color ( struct rb_node * node , struct rb_node * parent ,
struct rb_root * root )
{
struct rb_node * other ;
2006-04-21 16:35:51 +04:00
while ( ( ! node | | rb_is_black ( node ) ) & & node ! = root - > rb_node )
2005-04-17 02:20:36 +04:00
{
if ( parent - > rb_left = = node )
{
other = parent - > rb_right ;
2006-04-21 16:35:51 +04:00
if ( rb_is_red ( other ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
rb_set_black ( other ) ;
rb_set_red ( parent ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_left ( parent , root ) ;
other = parent - > rb_right ;
}
2006-04-21 16:35:51 +04:00
if ( ( ! other - > rb_left | | rb_is_black ( other - > rb_left ) ) & &
( ! other - > rb_right | | rb_is_black ( other - > rb_right ) ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
rb_set_red ( other ) ;
2005-04-17 02:20:36 +04:00
node = parent ;
2006-04-21 16:35:51 +04:00
parent = rb_parent ( node ) ;
2005-04-17 02:20:36 +04:00
}
else
{
2006-04-21 16:35:51 +04:00
if ( ! other - > rb_right | | rb_is_black ( other - > rb_right ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
struct rb_node * o_left ;
2005-04-17 02:20:36 +04:00
if ( ( o_left = other - > rb_left ) )
2006-04-21 16:35:51 +04:00
rb_set_black ( o_left ) ;
rb_set_red ( other ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_right ( other , root ) ;
other = parent - > rb_right ;
}
2006-06-05 23:19:05 +04:00
rb_set_color ( other , rb_color ( parent ) ) ;
2006-04-21 16:35:51 +04:00
rb_set_black ( parent ) ;
2005-04-17 02:20:36 +04:00
if ( other - > rb_right )
2006-04-21 16:35:51 +04:00
rb_set_black ( other - > rb_right ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_left ( parent , root ) ;
node = root - > rb_node ;
break ;
}
}
else
{
other = parent - > rb_left ;
2006-04-21 16:35:51 +04:00
if ( rb_is_red ( other ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
rb_set_black ( other ) ;
rb_set_red ( parent ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_right ( parent , root ) ;
other = parent - > rb_left ;
}
2006-04-21 16:35:51 +04:00
if ( ( ! other - > rb_left | | rb_is_black ( other - > rb_left ) ) & &
( ! other - > rb_right | | rb_is_black ( other - > rb_right ) ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
rb_set_red ( other ) ;
2005-04-17 02:20:36 +04:00
node = parent ;
2006-04-21 16:35:51 +04:00
parent = rb_parent ( node ) ;
2005-04-17 02:20:36 +04:00
}
else
{
2006-04-21 16:35:51 +04:00
if ( ! other - > rb_left | | rb_is_black ( other - > rb_left ) )
2005-04-17 02:20:36 +04:00
{
register struct rb_node * o_right ;
if ( ( o_right = other - > rb_right ) )
2006-04-21 16:35:51 +04:00
rb_set_black ( o_right ) ;
rb_set_red ( other ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_left ( other , root ) ;
other = parent - > rb_left ;
}
2006-06-05 23:19:05 +04:00
rb_set_color ( other , rb_color ( parent ) ) ;
2006-04-21 16:35:51 +04:00
rb_set_black ( parent ) ;
2005-04-17 02:20:36 +04:00
if ( other - > rb_left )
2006-04-21 16:35:51 +04:00
rb_set_black ( other - > rb_left ) ;
2005-04-17 02:20:36 +04:00
__rb_rotate_right ( parent , root ) ;
node = root - > rb_node ;
break ;
}
}
}
if ( node )
2006-04-21 16:35:51 +04:00
rb_set_black ( node ) ;
2005-04-17 02:20:36 +04:00
}
void rb_erase ( struct rb_node * node , struct rb_root * root )
{
struct rb_node * child , * parent ;
int color ;
if ( ! node - > rb_left )
child = node - > rb_right ;
else if ( ! node - > rb_right )
child = node - > rb_left ;
else
{
struct rb_node * old = node , * left ;
node = node - > rb_right ;
while ( ( left = node - > rb_left ) ! = NULL )
node = left ;
child = node - > rb_right ;
2006-04-21 16:35:51 +04:00
parent = rb_parent ( node ) ;
2006-06-05 23:19:05 +04:00
color = rb_color ( node ) ;
2005-04-17 02:20:36 +04:00
if ( child )
2006-04-21 16:35:51 +04:00
rb_set_parent ( child , parent ) ;
if ( parent = = old ) {
2006-04-21 16:30:36 +04:00
parent - > rb_right = child ;
2005-04-17 02:20:36 +04:00
parent = node ;
2006-04-21 16:35:51 +04:00
} else
2006-04-21 16:30:36 +04:00
parent - > rb_left = child ;
2006-06-05 23:19:05 +04:00
node - > rb_parent_color = old - > rb_parent_color ;
2005-04-17 02:20:36 +04:00
node - > rb_right = old - > rb_right ;
node - > rb_left = old - > rb_left ;
2006-04-21 16:35:51 +04:00
if ( rb_parent ( old ) )
2005-04-17 02:20:36 +04:00
{
2006-04-21 16:35:51 +04:00
if ( rb_parent ( old ) - > rb_left = = old )
rb_parent ( old ) - > rb_left = node ;
2005-04-17 02:20:36 +04:00
else
2006-04-21 16:35:51 +04:00
rb_parent ( old ) - > rb_right = node ;
2005-04-17 02:20:36 +04:00
} else
root - > rb_node = node ;
2006-04-21 16:35:51 +04:00
rb_set_parent ( old - > rb_left , node ) ;
2005-04-17 02:20:36 +04:00
if ( old - > rb_right )
2006-04-21 16:35:51 +04:00
rb_set_parent ( old - > rb_right , node ) ;
2005-04-17 02:20:36 +04:00
goto color ;
}
2006-04-21 16:35:51 +04:00
parent = rb_parent ( node ) ;
2006-06-05 23:19:05 +04:00
color = rb_color ( node ) ;
2005-04-17 02:20:36 +04:00
if ( child )
2006-04-21 16:35:51 +04:00
rb_set_parent ( child , parent ) ;
2005-04-17 02:20:36 +04:00
if ( parent )
{
if ( parent - > rb_left = = node )
parent - > rb_left = child ;
else
parent - > rb_right = child ;
}
else
root - > rb_node = child ;
color :
if ( color = = RB_BLACK )
__rb_erase_color ( child , parent , root ) ;
}
EXPORT_SYMBOL ( rb_erase ) ;
/*
* This function returns the first node ( in sort order ) of the tree .
*/
struct rb_node * rb_first ( struct rb_root * root )
{
struct rb_node * n ;
n = root - > rb_node ;
if ( ! n )
return NULL ;
while ( n - > rb_left )
n = n - > rb_left ;
return n ;
}
EXPORT_SYMBOL ( rb_first ) ;
struct rb_node * rb_last ( struct rb_root * root )
{
struct rb_node * n ;
n = root - > rb_node ;
if ( ! n )
return NULL ;
while ( n - > rb_right )
n = n - > rb_right ;
return n ;
}
EXPORT_SYMBOL ( rb_last ) ;
struct rb_node * rb_next ( struct rb_node * node )
{
2006-04-21 16:35:51 +04:00
struct rb_node * parent ;
2006-07-11 23:15:52 +04:00
if ( rb_parent ( node ) = = node )
return NULL ;
2005-04-17 02:20:36 +04:00
/* If we have a right-hand child, go down and then left as far
as we can . */
if ( node - > rb_right ) {
node = node - > rb_right ;
while ( node - > rb_left )
node = node - > rb_left ;
return node ;
}
/* No right-hand children. Everything down and left is
smaller than us , so any ' next ' node must be in the general
direction of our parent . Go up the tree ; any time the
ancestor is a right - hand child of its parent , keep going
up . First time it ' s a left - hand child of its parent , said
parent is our ' next ' node . */
2006-04-21 16:35:51 +04:00
while ( ( parent = rb_parent ( node ) ) & & node = = parent - > rb_right )
node = parent ;
2005-04-17 02:20:36 +04:00
2006-04-21 16:35:51 +04:00
return parent ;
2005-04-17 02:20:36 +04:00
}
EXPORT_SYMBOL ( rb_next ) ;
struct rb_node * rb_prev ( struct rb_node * node )
{
2006-04-21 16:35:51 +04:00
struct rb_node * parent ;
2006-07-11 23:15:52 +04:00
if ( rb_parent ( node ) = = node )
return NULL ;
2005-04-17 02:20:36 +04:00
/* If we have a left-hand child, go down and then right as far
as we can . */
if ( node - > rb_left ) {
node = node - > rb_left ;
while ( node - > rb_right )
node = node - > rb_right ;
return node ;
}
/* No left-hand children. Go up till we find an ancestor which
is a right - hand child of its parent */
2006-04-21 16:35:51 +04:00
while ( ( parent = rb_parent ( node ) ) & & node = = parent - > rb_left )
node = parent ;
2005-04-17 02:20:36 +04:00
2006-04-21 16:35:51 +04:00
return parent ;
2005-04-17 02:20:36 +04:00
}
EXPORT_SYMBOL ( rb_prev ) ;
void rb_replace_node ( struct rb_node * victim , struct rb_node * new ,
struct rb_root * root )
{
2006-04-21 16:35:51 +04:00
struct rb_node * parent = rb_parent ( victim ) ;
2005-04-17 02:20:36 +04:00
/* Set the surrounding nodes to point to the replacement */
if ( parent ) {
if ( victim = = parent - > rb_left )
parent - > rb_left = new ;
else
parent - > rb_right = new ;
} else {
root - > rb_node = new ;
}
if ( victim - > rb_left )
2006-04-21 16:35:51 +04:00
rb_set_parent ( victim - > rb_left , new ) ;
2005-04-17 02:20:36 +04:00
if ( victim - > rb_right )
2006-04-21 16:35:51 +04:00
rb_set_parent ( victim - > rb_right , new ) ;
2005-04-17 02:20:36 +04:00
/* Copy the pointers/colour from the victim to the replacement */
* new = * victim ;
}
EXPORT_SYMBOL ( rb_replace_node ) ;