avl.c 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737
  1. /*
  2. * PacketBB handler library (see RFC 5444)
  3. * Copyright (c) 2010 Henning Rogge <hrogge@googlemail.com>
  4. * Original OLSRd implementation by Hannes Gredler <hannes@gredler.at>
  5. * All rights reserved.
  6. *
  7. * Redistribution and use in source and binary forms, with or without
  8. * modification, are permitted provided that the following conditions
  9. * are met:
  10. *
  11. * * Redistributions of source code must retain the above copyright
  12. * notice, this list of conditions and the following disclaimer.
  13. * * Redistributions in binary form must reproduce the above copyright
  14. * notice, this list of conditions and the following disclaimer in
  15. * the documentation and/or other materials provided with the
  16. * distribution.
  17. * * Neither the name of olsr.org, olsrd nor the names of its
  18. * contributors may be used to endorse or promote products derived
  19. * from this software without specific prior written permission.
  20. *
  21. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  22. * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  23. * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
  24. * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
  25. * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
  26. * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
  27. * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  28. * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  29. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  30. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
  31. * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  32. * POSSIBILITY OF SUCH DAMAGE.
  33. *
  34. * Visit http://www.olsr.org/git for more information.
  35. *
  36. * If you find this software useful feel free to make a donation
  37. * to the project. For more information see the website or contact
  38. * the copyright holders.
  39. */
  40. #include <stdbool.h>
  41. #include <stddef.h>
  42. #include <stdint.h>
  43. #include <time.h>
  44. #include <string.h>
  45. #include "avl.h"
  46. #include "assert.h"
  47. #include "list.h"
  48. /**
  49. * internal type save inline function to calculate the maximum of
  50. * to integers without macro implementation.
  51. *
  52. * @param x first parameter of maximum function
  53. * @param y second parameter of maximum function
  54. * @return largest integer of both parameters
  55. */
  56. static inline int avl_max(int x, int y) {
  57. return x > y ? x : y;
  58. }
  59. /**
  60. * internal type save inline function to calculate the minimum of
  61. * to integers without macro implementation.
  62. *
  63. * @param x first parameter of minimum function
  64. * @param y second parameter of minimum function
  65. * @return smallest integer of both parameters
  66. */
  67. static inline int avl_min(int x, int y) {
  68. return x < y ? x : y;
  69. }
  70. static struct avl_node *
  71. avl_find_rec(struct avl_node *node, const void *key, avl_tree_comp comp, void *ptr, int *cmp_result);
  72. static void avl_insert_before(struct avl_tree *tree, struct avl_node *pos_node, struct avl_node *node);
  73. static void avl_insert_after(struct avl_tree *tree, struct avl_node *pos_node, struct avl_node *node);
  74. static void post_insert(struct avl_tree *tree, struct avl_node *node);
  75. static void avl_delete_worker(struct avl_tree *tree, struct avl_node *node);
  76. static void avl_remove(struct avl_tree *tree, struct avl_node *node);
  77. /**
  78. * Initialize a new avl_tree struct
  79. * @param tree pointer to avl-tree
  80. * @param comp pointer to comparator for the tree
  81. * @param allow_dups true if the tree allows multiple
  82. * elements with the same
  83. * @param ptr custom parameter for comparator
  84. */
  85. void
  86. avl_init(struct avl_tree *tree, avl_tree_comp comp, bool allow_dups, void *ptr)
  87. {
  88. INIT_LIST_HEAD(&tree->list_head);
  89. tree->root = NULL;
  90. tree->count = 0;
  91. tree->comp = comp;
  92. tree->allow_dups = allow_dups;
  93. tree->cmp_ptr = ptr;
  94. }
  95. static inline struct avl_node *avl_next(struct avl_node *node)
  96. {
  97. return list_entry(node->list.next, struct avl_node, list);
  98. }
  99. /**
  100. * Finds a node in an avl-tree with a certain key
  101. * @param tree pointer to avl-tree
  102. * @param key pointer to key
  103. * @return pointer to avl-node with key, NULL if no node with
  104. * this key exists.
  105. */
  106. struct avl_node *
  107. avl_find(const struct avl_tree *tree, const void *key)
  108. {
  109. struct avl_node *node;
  110. int diff;
  111. if (tree->root == NULL)
  112. return NULL;
  113. node = avl_find_rec(tree->root, key, tree->comp, tree->cmp_ptr, &diff);
  114. return diff == 0 ? node : NULL;
  115. }
  116. /**
  117. * Finds the last node in an avl-tree with a key less or equal
  118. * than the specified key
  119. * @param tree pointer to avl-tree
  120. * @param key pointer to specified key
  121. * @return pointer to avl-node, NULL if no node with
  122. * key less or equal specified key exists.
  123. */
  124. struct avl_node *
  125. avl_find_lessequal(const struct avl_tree *tree, const void *key) {
  126. struct avl_node *node, *next;
  127. int diff;
  128. if (tree->root == NULL)
  129. return NULL;
  130. node = avl_find_rec(tree->root, key, tree->comp, tree->cmp_ptr, &diff);
  131. /* go left as long as key<node.key */
  132. while (diff < 0) {
  133. if (list_is_first(&node->list, &tree->list_head)) {
  134. return NULL;
  135. }
  136. node = (struct avl_node *)node->list.prev;
  137. diff = (*tree->comp) (key, node->key, tree->cmp_ptr);
  138. }
  139. /* go right as long as key>=next_node.key */
  140. next = node;
  141. while (diff >= 0) {
  142. node = next;
  143. if (list_is_last(&node->list, &tree->list_head)) {
  144. break;
  145. }
  146. next = (struct avl_node *)node->list.next;
  147. diff = (*tree->comp) (key, next->key, tree->cmp_ptr);
  148. }
  149. return node;
  150. }
  151. /**
  152. * Finds the first node in an avl-tree with a key greater or equal
  153. * than the specified key
  154. * @param tree pointer to avl-tree
  155. * @param key pointer to specified key
  156. * @return pointer to avl-node, NULL if no node with
  157. * key greater or equal specified key exists.
  158. */
  159. struct avl_node *
  160. avl_find_greaterequal(const struct avl_tree *tree, const void *key) {
  161. struct avl_node *node, *next;
  162. int diff;
  163. if (tree->root == NULL)
  164. return NULL;
  165. node = avl_find_rec(tree->root, key, tree->comp, tree->cmp_ptr, &diff);
  166. /* go right as long as key>node.key */
  167. while (diff > 0) {
  168. if (list_is_last(&node->list, &tree->list_head)) {
  169. return NULL;
  170. }
  171. node = (struct avl_node *)node->list.next;
  172. diff = (*tree->comp) (key, node->key, tree->cmp_ptr);
  173. }
  174. /* go left as long as key<=next_node.key */
  175. next = node;
  176. while (diff <= 0) {
  177. node = next;
  178. if (list_is_first(&node->list, &tree->list_head)) {
  179. break;
  180. }
  181. next = (struct avl_node *)node->list.prev;
  182. diff = (*tree->comp) (key, next->key, tree->cmp_ptr);
  183. }
  184. return node;
  185. }
  186. /**
  187. * Inserts an avl_node into a tree
  188. * @param tree pointer to tree
  189. * @param new pointer to node
  190. * @return 0 if node was inserted successfully, -1 if it was not inserted
  191. * because of a key collision
  192. */
  193. int
  194. avl_insert(struct avl_tree *tree, struct avl_node *new)
  195. {
  196. struct avl_node *node, *next, *last;
  197. int diff;
  198. new->parent = NULL;
  199. new->left = NULL;
  200. new->right = NULL;
  201. new->balance = 0;
  202. new->leader = true;
  203. if (tree->root == NULL) {
  204. list_add(&new->list, &tree->list_head);
  205. tree->root = new;
  206. tree->count = 1;
  207. return 0;
  208. }
  209. node = avl_find_rec(tree->root, new->key, tree->comp, tree->cmp_ptr, &diff);
  210. last = node;
  211. while (!list_is_last(&last->list, &tree->list_head)) {
  212. next = avl_next(last);
  213. if (next->leader) {
  214. break;
  215. }
  216. last = next;
  217. }
  218. diff = (*tree->comp) (new->key, node->key, tree->cmp_ptr);
  219. if (diff == 0) {
  220. if (!tree->allow_dups)
  221. return -1;
  222. new->leader = 0;
  223. avl_insert_after(tree, last, new);
  224. return 0;
  225. }
  226. if (node->balance == 1) {
  227. avl_insert_before(tree, node, new);
  228. node->balance = 0;
  229. new->parent = node;
  230. node->left = new;
  231. return 0;
  232. }
  233. if (node->balance == -1) {
  234. avl_insert_after(tree, last, new);
  235. node->balance = 0;
  236. new->parent = node;
  237. node->right = new;
  238. return 0;
  239. }
  240. if (diff < 0) {
  241. avl_insert_before(tree, node, new);
  242. node->balance = -1;
  243. new->parent = node;
  244. node->left = new;
  245. post_insert(tree, node);
  246. return 0;
  247. }
  248. avl_insert_after(tree, last, new);
  249. node->balance = 1;
  250. new->parent = node;
  251. node->right = new;
  252. post_insert(tree, node);
  253. return 0;
  254. }
  255. /**
  256. * Remove a node from an avl tree
  257. * @param tree pointer to tree
  258. * @param node pointer to node
  259. */
  260. void
  261. avl_delete(struct avl_tree *tree, struct avl_node *node)
  262. {
  263. struct avl_node *next;
  264. struct avl_node *parent;
  265. struct avl_node *left;
  266. struct avl_node *right;
  267. if (node->leader) {
  268. if (tree->allow_dups
  269. && !list_is_last(&node->list, &tree->list_head)
  270. && !(next = avl_next(node))->leader) {
  271. next->leader = true;
  272. next->balance = node->balance;
  273. parent = node->parent;
  274. left = node->left;
  275. right = node->right;
  276. next->parent = parent;
  277. next->left = left;
  278. next->right = right;
  279. if (parent == NULL)
  280. tree->root = next;
  281. else {
  282. if (node == parent->left)
  283. parent->left = next;
  284. else
  285. parent->right = next;
  286. }
  287. if (left != NULL)
  288. left->parent = next;
  289. if (right != NULL)
  290. right->parent = next;
  291. }
  292. else
  293. avl_delete_worker(tree, node);
  294. }
  295. avl_remove(tree, node);
  296. }
  297. static struct avl_node *
  298. avl_find_rec(struct avl_node *node, const void *key, avl_tree_comp comp, void *cmp_ptr, int *cmp_result)
  299. {
  300. int diff;
  301. diff = (*comp) (key, node->key, cmp_ptr);
  302. *cmp_result = diff;
  303. if (diff < 0) {
  304. if (node->left != NULL)
  305. return avl_find_rec(node->left, key, comp, cmp_ptr, cmp_result);
  306. return node;
  307. }
  308. if (diff > 0) {
  309. if (node->right != NULL)
  310. return avl_find_rec(node->right, key, comp, cmp_ptr, cmp_result);
  311. return node;
  312. }
  313. return node;
  314. }
  315. static void
  316. avl_rotate_right(struct avl_tree *tree, struct avl_node *node)
  317. {
  318. struct avl_node *left, *parent;
  319. left = node->left;
  320. parent = node->parent;
  321. left->parent = parent;
  322. node->parent = left;
  323. if (parent == NULL)
  324. tree->root = left;
  325. else {
  326. if (parent->left == node)
  327. parent->left = left;
  328. else
  329. parent->right = left;
  330. }
  331. node->left = left->right;
  332. left->right = node;
  333. if (node->left != NULL)
  334. node->left->parent = node;
  335. node->balance += 1 - avl_min(left->balance, 0);
  336. left->balance += 1 + avl_max(node->balance, 0);
  337. }
  338. static void
  339. avl_rotate_left(struct avl_tree *tree, struct avl_node *node)
  340. {
  341. struct avl_node *right, *parent;
  342. right = node->right;
  343. parent = node->parent;
  344. right->parent = parent;
  345. node->parent = right;
  346. if (parent == NULL)
  347. tree->root = right;
  348. else {
  349. if (parent->left == node)
  350. parent->left = right;
  351. else
  352. parent->right = right;
  353. }
  354. node->right = right->left;
  355. right->left = node;
  356. if (node->right != NULL)
  357. node->right->parent = node;
  358. node->balance -= 1 + avl_max(right->balance, 0);
  359. right->balance -= 1 - avl_min(node->balance, 0);
  360. }
  361. static void
  362. post_insert(struct avl_tree *tree, struct avl_node *node)
  363. {
  364. struct avl_node *parent = node->parent;
  365. if (parent == NULL)
  366. return;
  367. if (node == parent->left) {
  368. parent->balance--;
  369. if (parent->balance == 0)
  370. return;
  371. if (parent->balance == -1) {
  372. post_insert(tree, parent);
  373. return;
  374. }
  375. if (node->balance == -1) {
  376. avl_rotate_right(tree, parent);
  377. return;
  378. }
  379. avl_rotate_left(tree, node);
  380. avl_rotate_right(tree, node->parent->parent);
  381. return;
  382. }
  383. parent->balance++;
  384. if (parent->balance == 0)
  385. return;
  386. if (parent->balance == 1) {
  387. post_insert(tree, parent);
  388. return;
  389. }
  390. if (node->balance == 1) {
  391. avl_rotate_left(tree, parent);
  392. return;
  393. }
  394. avl_rotate_right(tree, node);
  395. avl_rotate_left(tree, node->parent->parent);
  396. }
  397. static void
  398. avl_insert_before(struct avl_tree *tree, struct avl_node *pos_node, struct avl_node *node)
  399. {
  400. list_add_tail(&node->list, &pos_node->list);
  401. tree->count++;
  402. }
  403. static void
  404. avl_insert_after(struct avl_tree *tree, struct avl_node *pos_node, struct avl_node *node)
  405. {
  406. list_add(&node->list, &pos_node->list);
  407. tree->count++;
  408. }
  409. static void
  410. avl_remove(struct avl_tree *tree, struct avl_node *node)
  411. {
  412. list_del(&node->list);
  413. tree->count--;
  414. }
  415. static void
  416. avl_post_delete(struct avl_tree *tree, struct avl_node *node)
  417. {
  418. struct avl_node *parent;
  419. if ((parent = node->parent) == NULL)
  420. return;
  421. if (node == parent->left) {
  422. parent->balance++;
  423. if (parent->balance == 0) {
  424. avl_post_delete(tree, parent);
  425. return;
  426. }
  427. if (parent->balance == 1)
  428. return;
  429. if (parent->right->balance == 0) {
  430. avl_rotate_left(tree, parent);
  431. return;
  432. }
  433. if (parent->right->balance == 1) {
  434. avl_rotate_left(tree, parent);
  435. avl_post_delete(tree, parent->parent);
  436. return;
  437. }
  438. avl_rotate_right(tree, parent->right);
  439. avl_rotate_left(tree, parent);
  440. avl_post_delete(tree, parent->parent);
  441. return;
  442. }
  443. parent->balance--;
  444. if (parent->balance == 0) {
  445. avl_post_delete(tree, parent);
  446. return;
  447. }
  448. if (parent->balance == -1)
  449. return;
  450. if (parent->left->balance == 0) {
  451. avl_rotate_right(tree, parent);
  452. return;
  453. }
  454. if (parent->left->balance == -1) {
  455. avl_rotate_right(tree, parent);
  456. avl_post_delete(tree, parent->parent);
  457. return;
  458. }
  459. avl_rotate_left(tree, parent->left);
  460. avl_rotate_right(tree, parent);
  461. avl_post_delete(tree, parent->parent);
  462. }
  463. static struct avl_node *
  464. avl_local_min(struct avl_node *node)
  465. {
  466. while (node->left != NULL)
  467. node = node->left;
  468. return node;
  469. }
  470. #if 0
  471. static struct avl_node *
  472. avl_local_max(struct avl_node *node)
  473. {
  474. while (node->right != NULL)
  475. node = node->right;
  476. return node;
  477. }
  478. #endif
  479. static void
  480. avl_delete_worker(struct avl_tree *tree, struct avl_node *node)
  481. {
  482. struct avl_node *parent, *min;
  483. parent = node->parent;
  484. if (node->left == NULL && node->right == NULL) {
  485. if (parent == NULL) {
  486. tree->root = NULL;
  487. return;
  488. }
  489. if (parent->left == node) {
  490. parent->left = NULL;
  491. parent->balance++;
  492. if (parent->balance == 1)
  493. return;
  494. if (parent->balance == 0) {
  495. avl_post_delete(tree, parent);
  496. return;
  497. }
  498. if (parent->right->balance == 0) {
  499. avl_rotate_left(tree, parent);
  500. return;
  501. }
  502. if (parent->right->balance == 1) {
  503. avl_rotate_left(tree, parent);
  504. avl_post_delete(tree, parent->parent);
  505. return;
  506. }
  507. avl_rotate_right(tree, parent->right);
  508. avl_rotate_left(tree, parent);
  509. avl_post_delete(tree, parent->parent);
  510. return;
  511. }
  512. if (parent->right == node) {
  513. parent->right = NULL;
  514. parent->balance--;
  515. if (parent->balance == -1)
  516. return;
  517. if (parent->balance == 0) {
  518. avl_post_delete(tree, parent);
  519. return;
  520. }
  521. if (parent->left->balance == 0) {
  522. avl_rotate_right(tree, parent);
  523. return;
  524. }
  525. if (parent->left->balance == -1) {
  526. avl_rotate_right(tree, parent);
  527. avl_post_delete(tree, parent->parent);
  528. return;
  529. }
  530. avl_rotate_left(tree, parent->left);
  531. avl_rotate_right(tree, parent);
  532. avl_post_delete(tree, parent->parent);
  533. return;
  534. }
  535. }
  536. if (node->left == NULL) {
  537. if (parent == NULL) {
  538. tree->root = node->right;
  539. node->right->parent = NULL;
  540. return;
  541. }
  542. assert(node->right);
  543. node->right->parent = parent;
  544. if (parent->left == node)
  545. parent->left = node->right;
  546. else
  547. parent->right = node->right;
  548. avl_post_delete(tree, node->right);
  549. return;
  550. }
  551. if (node->right == NULL) {
  552. if (parent == NULL) {
  553. tree->root = node->left;
  554. node->left->parent = NULL;
  555. return;
  556. }
  557. node->left->parent = parent;
  558. if (parent->left == node)
  559. parent->left = node->left;
  560. else
  561. parent->right = node->left;
  562. avl_post_delete(tree, node->left);
  563. return;
  564. }
  565. min = avl_local_min(node->right);
  566. avl_delete_worker(tree, min);
  567. parent = node->parent;
  568. min->balance = node->balance;
  569. min->parent = parent;
  570. min->left = node->left;
  571. min->right = node->right;
  572. if (min->left != NULL)
  573. min->left->parent = min;
  574. if (min->right != NULL)
  575. min->right->parent = min;
  576. if (parent == NULL) {
  577. tree->root = min;
  578. return;
  579. }
  580. if (parent->left == node) {
  581. parent->left = min;
  582. return;
  583. }
  584. parent->right = min;
  585. }
  586. /*
  587. * Local Variables:
  588. * c-basic-offset: 2
  589. * indent-tabs-mode: nil
  590. * End:
  591. */