rbtree.c
上传用户:jlfgdled
上传日期:2013-04-10
资源大小:33168k
文件大小:7k
源码类别:

Linux/Unix编程

开发平台:

Unix_Linux

  1. /*
  2.   Red Black Trees
  3.   (C) 1999  Andrea Arcangeli <andrea@suse.de>
  4.   
  5.   This program is free software; you can redistribute it and/or modify
  6.   it under the terms of the GNU General Public License as published by
  7.   the Free Software Foundation; either version 2 of the License, or
  8.   (at your option) any later version.
  9.   This program is distributed in the hope that it will be useful,
  10.   but WITHOUT ANY WARRANTY; without even the implied warranty of
  11.   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12.   GNU General Public License for more details.
  13.   You should have received a copy of the GNU General Public License
  14.   along with this program; if not, write to the Free Software
  15.   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  16.   linux/lib/rbtree.c
  17. */
  18. #include <linux/rbtree.h>
  19. #include <linux/module.h>
  20. static void __rb_rotate_left(rb_node_t * node, rb_root_t * root)
  21. {
  22. rb_node_t * right = node->rb_right;
  23. if ((node->rb_right = right->rb_left))
  24. right->rb_left->rb_parent = node;
  25. right->rb_left = node;
  26. if ((right->rb_parent = node->rb_parent))
  27. {
  28. if (node == node->rb_parent->rb_left)
  29. node->rb_parent->rb_left = right;
  30. else
  31. node->rb_parent->rb_right = right;
  32. }
  33. else
  34. root->rb_node = right;
  35. node->rb_parent = right;
  36. }
  37. static void __rb_rotate_right(rb_node_t * node, rb_root_t * root)
  38. {
  39. rb_node_t * left = node->rb_left;
  40. if ((node->rb_left = left->rb_right))
  41. left->rb_right->rb_parent = node;
  42. left->rb_right = node;
  43. if ((left->rb_parent = node->rb_parent))
  44. {
  45. if (node == node->rb_parent->rb_right)
  46. node->rb_parent->rb_right = left;
  47. else
  48. node->rb_parent->rb_left = left;
  49. }
  50. else
  51. root->rb_node = left;
  52. node->rb_parent = left;
  53. }
  54. void rb_insert_color(rb_node_t * node, rb_root_t * root)
  55. {
  56. rb_node_t * parent, * gparent;
  57. while ((parent = node->rb_parent) && parent->rb_color == RB_RED)
  58. {
  59. gparent = parent->rb_parent;
  60. if (parent == gparent->rb_left)
  61. {
  62. {
  63. register rb_node_t * uncle = gparent->rb_right;
  64. if (uncle && uncle->rb_color == RB_RED)
  65. {
  66. uncle->rb_color = RB_BLACK;
  67. parent->rb_color = RB_BLACK;
  68. gparent->rb_color = RB_RED;
  69. node = gparent;
  70. continue;
  71. }
  72. }
  73. if (parent->rb_right == node)
  74. {
  75. register rb_node_t * tmp;
  76. __rb_rotate_left(parent, root);
  77. tmp = parent;
  78. parent = node;
  79. node = tmp;
  80. }
  81. parent->rb_color = RB_BLACK;
  82. gparent->rb_color = RB_RED;
  83. __rb_rotate_right(gparent, root);
  84. } else {
  85. {
  86. register rb_node_t * uncle = gparent->rb_left;
  87. if (uncle && uncle->rb_color == RB_RED)
  88. {
  89. uncle->rb_color = RB_BLACK;
  90. parent->rb_color = RB_BLACK;
  91. gparent->rb_color = RB_RED;
  92. node = gparent;
  93. continue;
  94. }
  95. }
  96. if (parent->rb_left == node)
  97. {
  98. register rb_node_t * tmp;
  99. __rb_rotate_right(parent, root);
  100. tmp = parent;
  101. parent = node;
  102. node = tmp;
  103. }
  104. parent->rb_color = RB_BLACK;
  105. gparent->rb_color = RB_RED;
  106. __rb_rotate_left(gparent, root);
  107. }
  108. }
  109. root->rb_node->rb_color = RB_BLACK;
  110. }
  111. EXPORT_SYMBOL(rb_insert_color);
  112. static void __rb_erase_color(rb_node_t * node, rb_node_t * parent,
  113.      rb_root_t * root)
  114. {
  115. rb_node_t * other;
  116. while ((!node || node->rb_color == RB_BLACK) && node != root->rb_node)
  117. {
  118. if (parent->rb_left == node)
  119. {
  120. other = parent->rb_right;
  121. if (other->rb_color == RB_RED)
  122. {
  123. other->rb_color = RB_BLACK;
  124. parent->rb_color = RB_RED;
  125. __rb_rotate_left(parent, root);
  126. other = parent->rb_right;
  127. }
  128. if ((!other->rb_left ||
  129.      other->rb_left->rb_color == RB_BLACK)
  130.     && (!other->rb_right ||
  131. other->rb_right->rb_color == RB_BLACK))
  132. {
  133. other->rb_color = RB_RED;
  134. node = parent;
  135. parent = node->rb_parent;
  136. }
  137. else
  138. {
  139. if (!other->rb_right ||
  140.     other->rb_right->rb_color == RB_BLACK)
  141. {
  142. register rb_node_t * o_left;
  143. if ((o_left = other->rb_left))
  144. o_left->rb_color = RB_BLACK;
  145. other->rb_color = RB_RED;
  146. __rb_rotate_right(other, root);
  147. other = parent->rb_right;
  148. }
  149. other->rb_color = parent->rb_color;
  150. parent->rb_color = RB_BLACK;
  151. if (other->rb_right)
  152. other->rb_right->rb_color = RB_BLACK;
  153. __rb_rotate_left(parent, root);
  154. node = root->rb_node;
  155. break;
  156. }
  157. }
  158. else
  159. {
  160. other = parent->rb_left;
  161. if (other->rb_color == RB_RED)
  162. {
  163. other->rb_color = RB_BLACK;
  164. parent->rb_color = RB_RED;
  165. __rb_rotate_right(parent, root);
  166. other = parent->rb_left;
  167. }
  168. if ((!other->rb_left ||
  169.      other->rb_left->rb_color == RB_BLACK)
  170.     && (!other->rb_right ||
  171. other->rb_right->rb_color == RB_BLACK))
  172. {
  173. other->rb_color = RB_RED;
  174. node = parent;
  175. parent = node->rb_parent;
  176. }
  177. else
  178. {
  179. if (!other->rb_left ||
  180.     other->rb_left->rb_color == RB_BLACK)
  181. {
  182. register rb_node_t * o_right;
  183. if ((o_right = other->rb_right))
  184. o_right->rb_color = RB_BLACK;
  185. other->rb_color = RB_RED;
  186. __rb_rotate_left(other, root);
  187. other = parent->rb_left;
  188. }
  189. other->rb_color = parent->rb_color;
  190. parent->rb_color = RB_BLACK;
  191. if (other->rb_left)
  192. other->rb_left->rb_color = RB_BLACK;
  193. __rb_rotate_right(parent, root);
  194. node = root->rb_node;
  195. break;
  196. }
  197. }
  198. }
  199. if (node)
  200. node->rb_color = RB_BLACK;
  201. }
  202. void rb_erase(rb_node_t * node, rb_root_t * root)
  203. {
  204. rb_node_t * child, * parent;
  205. int color;
  206. if (!node->rb_left)
  207. child = node->rb_right;
  208. else if (!node->rb_right)
  209. child = node->rb_left;
  210. else
  211. {
  212. rb_node_t * old = node, * left;
  213. node = node->rb_right;
  214. while ((left = node->rb_left))
  215. node = left;
  216. child = node->rb_right;
  217. parent = node->rb_parent;
  218. color = node->rb_color;
  219. if (child)
  220. child->rb_parent = parent;
  221. if (parent)
  222. {
  223. if (parent->rb_left == node)
  224. parent->rb_left = child;
  225. else
  226. parent->rb_right = child;
  227. }
  228. else
  229. root->rb_node = child;
  230. if (node->rb_parent == old)
  231. parent = node;
  232. node->rb_parent = old->rb_parent;
  233. node->rb_color = old->rb_color;
  234. node->rb_right = old->rb_right;
  235. node->rb_left = old->rb_left;
  236. if (old->rb_parent)
  237. {
  238. if (old->rb_parent->rb_left == old)
  239. old->rb_parent->rb_left = node;
  240. else
  241. old->rb_parent->rb_right = node;
  242. } else
  243. root->rb_node = node;
  244. old->rb_left->rb_parent = node;
  245. if (old->rb_right)
  246. old->rb_right->rb_parent = node;
  247. goto color;
  248. }
  249. parent = node->rb_parent;
  250. color = node->rb_color;
  251. if (child)
  252. child->rb_parent = parent;
  253. if (parent)
  254. {
  255. if (parent->rb_left == node)
  256. parent->rb_left = child;
  257. else
  258. parent->rb_right = child;
  259. }
  260. else
  261. root->rb_node = child;
  262.  color:
  263. if (color == RB_BLACK)
  264. __rb_erase_color(child, parent, root);
  265. }
  266. EXPORT_SYMBOL(rb_erase);