avltree.h 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452
  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. avl_node_t *best = NULL;
  68. while (node)
  69. {
  70. if (tree->compare(avl_get_keyptr(tree, node), key) <= 0)
  71. {
  72. if (!best || tree->compare(avl_get_keyptr(tree, node), avl_get_keyptr(tree, best)) > 0) best = node;
  73. node = node->right;
  74. }
  75. else
  76. {
  77. node = node->left;
  78. }
  79. }
  80. return best;
  81. }
  82. static inline avl_node_t *avl_tree_upper_bound(const avl_tree_t *tree, const void *key)
  83. {
  84. avl_node_t *node = tree->root;
  85. avl_node_t *best = NULL;
  86. while (node)
  87. {
  88. if (tree->compare(avl_get_keyptr(tree, node), key) >= 0)
  89. {
  90. if (!best || tree->compare(avl_get_keyptr(tree, node), avl_get_keyptr(tree, best)) < 0) best = node;
  91. node = node->left;
  92. }
  93. else
  94. {
  95. node = node->right;
  96. }
  97. }
  98. return best;
  99. }
  100. static inline avl_node_t *avl_get_next_node(const avl_node_t *node)
  101. {
  102. while (node->prev_equal) node = node->prev_equal;
  103. if (node->right)
  104. {
  105. node = node->right;
  106. while (node->left) node = node->left;
  107. }
  108. else
  109. {
  110. while (node->parent && node->parent->right == node) node = node->parent;
  111. node = node->parent;
  112. }
  113. return (avl_node_t*)node;
  114. }
  115. static inline avl_node_t *avl_get_previous_node(const avl_node_t *node)
  116. {
  117. while (node->prev_equal) node = node->prev_equal;
  118. if (node->left)
  119. {
  120. node = node->left;
  121. while (node->right) node = node->right;
  122. }
  123. else
  124. {
  125. while (node->parent && node->parent->left == node) node = node->parent;
  126. node = node->parent;
  127. }
  128. return (avl_node_t*)node;
  129. }
  130. static inline avl_node_t *avl_rotate_left(avl_tree_t *tree, avl_node_t *root)
  131. {
  132. avl_node_t *pivot = root->right;
  133. root->right = pivot->left;
  134. if (root->right) root->right->parent = root;
  135. pivot->parent = root->parent;
  136. pivot->left = root;
  137. root->parent = pivot;
  138. if (pivot->parent)
  139. {
  140. if (pivot->parent->left == root) pivot->parent->left = pivot;
  141. else if (pivot->parent->right == root) pivot->parent->right = pivot;
  142. }
  143. else
  144. {
  145. tree->root = pivot;
  146. }
  147. root->balance -= pivot->balance > 0 ? pivot->balance + 1 : 1;
  148. pivot->balance += root->balance < 0 ? root->balance - 1 : -1;
  149. return pivot;
  150. }
  151. static inline avl_node_t *avl_rotate_right(avl_tree_t *tree, avl_node_t *root)
  152. {
  153. avl_node_t *pivot = root->left;
  154. root->left = pivot->right;
  155. if (root->left) root->left->parent = root;
  156. pivot->parent = root->parent;
  157. pivot->right = root;
  158. root->parent = pivot;
  159. if (pivot->parent)
  160. {
  161. if (pivot->parent->left == root) pivot->parent->left = pivot;
  162. else if (pivot->parent->right == root) pivot->parent->right = pivot;
  163. }
  164. else
  165. {
  166. tree->root = pivot;
  167. }
  168. root->balance -= pivot->balance < 0 ? pivot->balance - 1 : -1;
  169. pivot->balance += root->balance > 0 ? root->balance + 1 : 1;
  170. return pivot;
  171. }
  172. static void avl_tree_insert(avl_tree_t *tree, avl_node_t *node)
  173. {
  174. node->left = node->right = node->parent = node->next_equal = node->prev_equal = NULL;
  175. node->balance = 0;
  176. if (!tree->root)
  177. {
  178. tree->root = node;
  179. return;
  180. }
  181. avl_node_t *current = tree->root;
  182. const void *node_key = avl_get_keyptr(tree, node);
  183. while (TRUE)
  184. {
  185. const void *key = avl_get_keyptr(tree, current);
  186. int comparison = tree->compare(node_key, key);
  187. if (comparison == 0)
  188. {
  189. while (current->next_equal) current = current->next_equal;
  190. current->next_equal = node;
  191. node->prev_equal = current;
  192. return;
  193. }
  194. else if (comparison < 0)
  195. {
  196. if (!current->left)
  197. {
  198. node->parent = current;
  199. current->left = node;
  200. break;
  201. }
  202. else
  203. {
  204. current = current->left;
  205. }
  206. }
  207. else
  208. {
  209. if (!current->right)
  210. {
  211. node->parent = current;
  212. current->right = node;
  213. break;
  214. }
  215. else
  216. {
  217. current = current->right;
  218. }
  219. }
  220. }
  221. while (current)
  222. {
  223. if (node == current->left) current->balance--;
  224. else current->balance++;
  225. if (current->balance == 0) break;
  226. if (current->balance < -1)
  227. {
  228. if (node->balance > 0) avl_rotate_left(tree, current->left);
  229. current = avl_rotate_right(tree, current);
  230. break;
  231. }
  232. else if (current->balance > 1)
  233. {
  234. if (node->balance < 0) avl_rotate_right(tree, current->right);
  235. current = avl_rotate_left(tree, current);
  236. break;
  237. }
  238. node = current;
  239. current = current->parent;
  240. }
  241. }
  242. static void avl_tree_remove(avl_tree_t *tree, avl_node_t *node)
  243. {
  244. if (node->prev_equal)
  245. {
  246. node->prev_equal->next_equal = node->next_equal;
  247. if (node->next_equal) node->next_equal->prev_equal = node->prev_equal;
  248. node->next_equal = node->prev_equal = NULL;
  249. return;
  250. }
  251. else if (node->next_equal)
  252. {
  253. node->next_equal->parent = node->parent;
  254. node->next_equal->left = node->left;
  255. node->next_equal->right = node->right;
  256. node->next_equal->prev_equal = NULL;
  257. node->next_equal->balance = node->balance;
  258. if (node->parent)
  259. {
  260. if (node->parent->left == node) node->parent->left = node->next_equal;
  261. else node->parent->right = node->next_equal;
  262. }
  263. else
  264. {
  265. tree->root = node->next_equal;
  266. }
  267. if (node->left) node->left->parent = node->next_equal;
  268. if (node->right) node->right->parent = node->next_equal;
  269. node->parent = node->left = node->right = node->next_equal = NULL;
  270. node->balance = 0;
  271. return;
  272. }
  273. if (node->left && node->right)
  274. {
  275. avl_node_t *replacement = node->right;
  276. if (replacement->left)
  277. {
  278. while (replacement->left) replacement = replacement->left;
  279. avl_node_t *temp_parent = replacement->parent;
  280. avl_node_t *temp_right = replacement->right;
  281. int temp_balance = replacement->balance;
  282. replacement->parent = node->parent;
  283. replacement->left = node->left;
  284. replacement->right = node->right;
  285. replacement->balance = node->balance;
  286. if (replacement->parent)
  287. {
  288. if (replacement->parent->left == node) replacement->parent->left = replacement;
  289. else replacement->parent->right = replacement;
  290. }
  291. else
  292. {
  293. tree->root = replacement;
  294. }
  295. if (replacement->left) replacement->left->parent = replacement;
  296. if (replacement->right) replacement->right->parent = replacement;
  297. node->parent = temp_parent;
  298. node->left = NULL;
  299. node->right = temp_right;
  300. node->balance = temp_balance;
  301. if (node->parent->left == replacement) node->parent->left = node;
  302. else node->parent->right = node;
  303. if (node->right) node->right->parent = node;
  304. }
  305. else
  306. {
  307. avl_node_t *temp_right = replacement->right;
  308. int temp_balance = replacement->balance;
  309. replacement->parent = node->parent;
  310. replacement->left = node->left;
  311. replacement->right = node;
  312. replacement->balance = node->balance;
  313. if (replacement->parent)
  314. {
  315. if (replacement->parent->left == node) replacement->parent->left = replacement;
  316. else replacement->parent->right = replacement;
  317. }
  318. else
  319. {
  320. tree->root = replacement;
  321. }
  322. if (replacement->left) replacement->left->parent = replacement;
  323. node->parent = replacement;
  324. node->left = NULL;
  325. node->right = temp_right;
  326. node->balance = temp_balance;
  327. if (node->right) node->right->parent = node;
  328. }
  329. }
  330. avl_node_t *current = node->parent;
  331. bool_t left_child;
  332. if (current)
  333. {
  334. left_child = current->left == node;
  335. if (left_child)
  336. {
  337. current->left = node->left ? node->left : node->right;
  338. if (current->left) current->left->parent = current;
  339. }
  340. else
  341. {
  342. current->right = node->left ? node->left : node->right;
  343. if (current->right) current->right->parent = current;
  344. }
  345. }
  346. else
  347. {
  348. tree->root = node->left ? node->left : node->right;
  349. if (tree->root) tree->root->parent = NULL;
  350. }
  351. node->parent = node->left = node->right = NULL;
  352. node->balance = 0;
  353. while (current)
  354. {
  355. if (left_child) current->balance++;
  356. else current->balance--;
  357. if (current->balance == 1 || current->balance == -1) break;
  358. if (current->balance < -1)
  359. {
  360. int balance = current->left->balance;
  361. if (balance > 0) avl_rotate_left(tree, current->left);
  362. current = avl_rotate_right(tree, current);
  363. if (balance == 0) break;
  364. }
  365. else if (current->balance > 1)
  366. {
  367. int balance = current->right->balance;
  368. if (balance < 0) avl_rotate_right(tree, current->right);
  369. current = avl_rotate_left(tree, current);
  370. if (balance == 0) break;
  371. }
  372. node = current;
  373. current = current->parent;
  374. if (current) left_child = current->left == node;
  375. }
  376. }
  377. static inline void avl_tree_change_key(avl_tree_t *tree, avl_node_t *node, const void *new_key)
  378. {
  379. avl_tree_remove(tree, node);
  380. __builtin_memcpy(avl_get_keyptr(tree, node), new_key, tree->key_size);
  381. avl_tree_insert(tree, node);
  382. }
  383. #endif