avltree.h 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432
  1. /*
  2. * avltree.h
  3. *
  4. * Copyright (C) 2018 Aleksandar Andrejevic <theflash@sdf.lonestar.org>
  5. *
  6. * This program is free software: you can redistribute it and/or modify
  7. * it under the terms of the GNU Affero General Public License as
  8. * published by the Free Software Foundation, either version 3 of the
  9. * License, or (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 Affero General Public License for more details.
  15. *
  16. * You should have received a copy of the GNU Affero General Public License
  17. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  18. */
  19. #ifndef __MONOLITHIUM_AVLTREE_H__
  20. #define __MONOLITHIUM_AVLTREE_H__
  21. #include "defs.h"
  22. #define AVL_TREE_INIT(t, s, n, k, c) avl_tree_init((t), (ptrdiff_t)&((s*)NULL)->k - (ptrdiff_t)&((s*)NULL)->n, sizeof(((s*)NULL)->k), c)
  23. typedef int (*avl_compare_proc_t)(const void *key1, const void *key2);
  24. typedef struct avl_node
  25. {
  26. struct avl_node *parent;
  27. struct avl_node *left;
  28. struct avl_node *right;
  29. struct avl_node *next_equal;
  30. struct avl_node *prev_equal;
  31. int balance;
  32. } avl_node_t;
  33. typedef struct avl_tree
  34. {
  35. avl_node_t *root;
  36. ptrdiff_t key_offset;
  37. size_t key_size;
  38. avl_compare_proc_t compare;
  39. } avl_tree_t;
  40. static inline void avl_tree_init(avl_tree_t *tree, ptrdiff_t key_offset, size_t key_size, avl_compare_proc_t compare)
  41. {
  42. tree->root = NULL;
  43. tree->key_offset = key_offset;
  44. tree->key_size = key_size;
  45. tree->compare = compare;
  46. }
  47. static inline void *avl_get_keyptr(const avl_tree_t *tree, const avl_node_t *node)
  48. {
  49. return (void*)((ptrdiff_t)node + tree->key_offset);
  50. }
  51. static inline avl_node_t *avl_tree_lookup(const avl_tree_t *tree, const void *key)
  52. {
  53. avl_node_t *node = tree->root;
  54. while (node)
  55. {
  56. const void *node_key = avl_get_keyptr(tree, node);
  57. int comparison = tree->compare(key, node_key);
  58. if (comparison == 0) return node;
  59. else if (comparison < 0) node = node->left;
  60. else node = node->right;
  61. }
  62. return NULL;
  63. }
  64. static inline avl_node_t *avl_tree_lower_bound(const avl_tree_t *tree, const void *key)
  65. {
  66. avl_node_t *node = tree->root;
  67. while (node && tree->compare(avl_get_keyptr(tree, node), key) > 0) node = node->left;
  68. if (!node) return NULL;
  69. while (node->right && tree->compare(avl_get_keyptr(tree, node->right), key) <= 0) node = node->right;
  70. return node;
  71. }
  72. static inline avl_node_t *avl_tree_upper_bound(const avl_tree_t *tree, const void *key)
  73. {
  74. avl_node_t *node = tree->root;
  75. while (node && tree->compare(avl_get_keyptr(tree, node), key) < 0) node = node->right;
  76. if (!node) return NULL;
  77. while (node->left && tree->compare(avl_get_keyptr(tree, node->left), key) >= 0) node = node->left;
  78. return node;
  79. }
  80. static inline avl_node_t *avl_get_next_node(const avl_node_t *node)
  81. {
  82. while (node->prev_equal) node = node->prev_equal;
  83. if (node->right)
  84. {
  85. node = node->right;
  86. while (node->left) node = node->left;
  87. }
  88. else
  89. {
  90. while (node->parent && node->parent->right == node) node = node->parent;
  91. node = node->parent;
  92. }
  93. return (avl_node_t*)node;
  94. }
  95. static inline avl_node_t *avl_get_previous_node(const avl_node_t *node)
  96. {
  97. while (node->prev_equal) node = node->prev_equal;
  98. if (node->left)
  99. {
  100. node = node->left;
  101. while (node->right) node = node->right;
  102. }
  103. else
  104. {
  105. while (node->parent && node->parent->left == node) node = node->parent;
  106. node = node->parent;
  107. }
  108. return (avl_node_t*)node;
  109. }
  110. static inline avl_node_t *avl_rotate_left(avl_tree_t *tree, avl_node_t *root)
  111. {
  112. avl_node_t *pivot = root->right;
  113. root->right = pivot->left;
  114. if (root->right) root->right->parent = root;
  115. pivot->parent = root->parent;
  116. pivot->left = root;
  117. root->parent = pivot;
  118. if (pivot->parent)
  119. {
  120. if (pivot->parent->left == root) pivot->parent->left = pivot;
  121. else if (pivot->parent->right == root) pivot->parent->right = pivot;
  122. }
  123. else
  124. {
  125. tree->root = pivot;
  126. }
  127. root->balance -= pivot->balance > 0 ? pivot->balance + 1 : 1;
  128. pivot->balance += root->balance < 0 ? root->balance - 1 : -1;
  129. return pivot;
  130. }
  131. static inline avl_node_t *avl_rotate_right(avl_tree_t *tree, avl_node_t *root)
  132. {
  133. avl_node_t *pivot = root->left;
  134. root->left = pivot->right;
  135. if (root->left) root->left->parent = root;
  136. pivot->parent = root->parent;
  137. pivot->right = root;
  138. root->parent = pivot;
  139. if (pivot->parent)
  140. {
  141. if (pivot->parent->left == root) pivot->parent->left = pivot;
  142. else if (pivot->parent->right == root) pivot->parent->right = pivot;
  143. }
  144. else
  145. {
  146. tree->root = pivot;
  147. }
  148. root->balance -= pivot->balance < 0 ? pivot->balance - 1 : -1;
  149. pivot->balance += root->balance > 0 ? root->balance + 1 : 1;
  150. return pivot;
  151. }
  152. static void avl_tree_insert(avl_tree_t *tree, avl_node_t *node)
  153. {
  154. node->left = node->right = node->parent = node->next_equal = node->prev_equal = NULL;
  155. node->balance = 0;
  156. if (!tree->root)
  157. {
  158. tree->root = node;
  159. return;
  160. }
  161. avl_node_t *current = tree->root;
  162. const void *node_key = avl_get_keyptr(tree, node);
  163. while (TRUE)
  164. {
  165. const void *key = avl_get_keyptr(tree, current);
  166. int comparison = tree->compare(node_key, key);
  167. if (comparison == 0)
  168. {
  169. while (current->next_equal) current = current->next_equal;
  170. current->next_equal = node;
  171. node->prev_equal = current;
  172. return;
  173. }
  174. else if (comparison < 0)
  175. {
  176. if (!current->left)
  177. {
  178. node->parent = current;
  179. current->left = node;
  180. break;
  181. }
  182. else
  183. {
  184. current = current->left;
  185. }
  186. }
  187. else
  188. {
  189. if (!current->right)
  190. {
  191. node->parent = current;
  192. current->right = node;
  193. break;
  194. }
  195. else
  196. {
  197. current = current->right;
  198. }
  199. }
  200. }
  201. while (current)
  202. {
  203. if (node == current->left) current->balance--;
  204. else current->balance++;
  205. if (current->balance == 0) break;
  206. if (current->balance < -1)
  207. {
  208. if (node->balance > 0) avl_rotate_left(tree, current->left);
  209. current = avl_rotate_right(tree, current);
  210. break;
  211. }
  212. else if (current->balance > 1)
  213. {
  214. if (node->balance < 0) avl_rotate_right(tree, current->right);
  215. current = avl_rotate_left(tree, current);
  216. break;
  217. }
  218. node = current;
  219. current = current->parent;
  220. }
  221. }
  222. static void avl_tree_remove(avl_tree_t *tree, avl_node_t *node)
  223. {
  224. if (node->prev_equal)
  225. {
  226. node->prev_equal->next_equal = node->next_equal;
  227. if (node->next_equal) node->next_equal->prev_equal = node->prev_equal;
  228. node->next_equal = node->prev_equal = NULL;
  229. return;
  230. }
  231. else if (node->next_equal)
  232. {
  233. node->next_equal->parent = node->parent;
  234. node->next_equal->left = node->left;
  235. node->next_equal->right = node->right;
  236. node->next_equal->prev_equal = NULL;
  237. node->next_equal->balance = node->balance;
  238. if (node->parent)
  239. {
  240. if (node->parent->left == node) node->parent->left = node->next_equal;
  241. else node->parent->right = node->next_equal;
  242. }
  243. else
  244. {
  245. tree->root = node->next_equal;
  246. }
  247. if (node->left) node->left->parent = node->next_equal;
  248. if (node->right) node->right->parent = node->next_equal;
  249. node->parent = node->left = node->right = node->next_equal = NULL;
  250. node->balance = 0;
  251. return;
  252. }
  253. if (node->left && node->right)
  254. {
  255. avl_node_t *replacement = node->right;
  256. if (replacement->left)
  257. {
  258. while (replacement->left) replacement = replacement->left;
  259. avl_node_t *temp_parent = replacement->parent;
  260. avl_node_t *temp_right = replacement->right;
  261. int temp_balance = replacement->balance;
  262. replacement->parent = node->parent;
  263. replacement->left = node->left;
  264. replacement->right = node->right;
  265. replacement->balance = node->balance;
  266. if (replacement->parent)
  267. {
  268. if (replacement->parent->left == node) replacement->parent->left = replacement;
  269. else replacement->parent->right = replacement;
  270. }
  271. else
  272. {
  273. tree->root = replacement;
  274. }
  275. if (replacement->left) replacement->left->parent = replacement;
  276. if (replacement->right) replacement->right->parent = replacement;
  277. node->parent = temp_parent;
  278. node->left = NULL;
  279. node->right = temp_right;
  280. node->balance = temp_balance;
  281. if (node->parent->left == replacement) node->parent->left = node;
  282. else node->parent->right = node;
  283. if (node->right) node->right->parent = node;
  284. }
  285. else
  286. {
  287. avl_node_t *temp_right = replacement->right;
  288. int temp_balance = replacement->balance;
  289. replacement->parent = node->parent;
  290. replacement->left = node->left;
  291. replacement->right = node;
  292. replacement->balance = node->balance;
  293. if (replacement->parent)
  294. {
  295. if (replacement->parent->left == node) replacement->parent->left = replacement;
  296. else replacement->parent->right = replacement;
  297. }
  298. else
  299. {
  300. tree->root = replacement;
  301. }
  302. if (replacement->left) replacement->left->parent = replacement;
  303. node->parent = replacement;
  304. node->left = NULL;
  305. node->right = temp_right;
  306. node->balance = temp_balance;
  307. if (node->right) node->right->parent = node;
  308. }
  309. }
  310. avl_node_t *current = node->parent;
  311. bool_t left_child;
  312. if (current)
  313. {
  314. left_child = current->left == node;
  315. if (left_child)
  316. {
  317. current->left = node->left ? node->left : node->right;
  318. if (current->left) current->left->parent = current;
  319. }
  320. else
  321. {
  322. current->right = node->left ? node->left : node->right;
  323. if (current->right) current->right->parent = current;
  324. }
  325. }
  326. else
  327. {
  328. tree->root = node->left ? node->left : node->right;
  329. if (tree->root) tree->root->parent = NULL;
  330. }
  331. node->parent = node->left = node->right = NULL;
  332. node->balance = 0;
  333. while (current)
  334. {
  335. if (left_child) current->balance++;
  336. else current->balance--;
  337. if (current->balance == 1 || current->balance == -1) break;
  338. if (current->balance < -1)
  339. {
  340. int balance = current->left->balance;
  341. if (balance > 0) avl_rotate_left(tree, current->left);
  342. current = avl_rotate_right(tree, current);
  343. if (balance == 0) break;
  344. }
  345. else if (current->balance > 1)
  346. {
  347. int balance = current->right->balance;
  348. if (balance < 0) avl_rotate_right(tree, current->right);
  349. current = avl_rotate_left(tree, current);
  350. if (balance == 0) break;
  351. }
  352. node = current;
  353. current = current->parent;
  354. if (current) left_child = current->left == node;
  355. }
  356. }
  357. static inline void avl_tree_change_key(avl_tree_t *tree, avl_node_t *node, const void *new_key)
  358. {
  359. avl_tree_remove(tree, node);
  360. __builtin_memcpy(avl_get_keyptr(tree, node), new_key, tree->key_size);
  361. avl_tree_insert(tree, node);
  362. }
  363. #endif