Rev 4377 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2416 | mencl | 1 | /* |
| 2 | * Copyright (c) 2007 Vojtech Mencl |
||
| 3 | * All rights reserved. |
||
| 4 | * |
||
| 5 | * Redistribution and use in source and binary forms, with or without |
||
| 6 | * modification, are permitted provided that the following conditions |
||
| 7 | * are met: |
||
| 8 | * |
||
| 9 | * - Redistributions of source code must retain the above copyright |
||
| 10 | * notice, this list of conditions and the following disclaimer. |
||
| 11 | * - Redistributions in binary form must reproduce the above copyright |
||
| 12 | * notice, this list of conditions and the following disclaimer in the |
||
| 13 | * documentation and/or other materials provided with the distribution. |
||
| 14 | * - The name of the author may not be used to endorse or promote products |
||
| 15 | * derived from this software without specific prior written permission. |
||
| 16 | * |
||
| 17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
||
| 18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
||
| 19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
||
| 20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
||
| 21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
||
| 22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
||
| 23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
||
| 24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
||
| 25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
||
| 26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
||
| 27 | */ |
||
| 28 | |||
| 29 | #include <test.h> |
||
| 30 | #include <print.h> |
||
| 31 | #include <adt/avl.h> |
||
| 32 | #include <debug.h> |
||
| 2498 | jermar | 33 | #include <arch/types.h> |
| 2416 | mencl | 34 | |
| 35 | #define NODE_COUNT 100 |
||
| 36 | |||
| 37 | static avltree_t avltree; |
||
| 38 | |||
| 39 | /* |
||
| 2498 | jermar | 40 | * avl tree nodes in array for faster allocation |
| 2416 | mencl | 41 | */ |
| 42 | static avltree_node_t avltree_nodes[NODE_COUNT]; |
||
| 43 | |||
| 4377 | svoboda | 44 | /* |
| 2416 | mencl | 45 | * head of free nodes' list: |
| 46 | */ |
||
| 47 | static avltree_node_t *first_free_node = NULL; |
||
| 48 | |||
| 49 | static int test_tree_balance(avltree_node_t *node); |
||
| 2421 | mencl | 50 | static avltree_node_t *test_tree_parents(avltree_node_t *node); |
| 3424 | svoboda | 51 | static void print_tree_structure_flat (avltree_node_t *node, int level) |
| 52 | __attribute__ ((used)); |
||
| 2416 | mencl | 53 | static avltree_node_t *alloc_avltree_node(void); |
| 54 | |||
| 55 | static avltree_node_t *test_tree_parents(avltree_node_t *node) |
||
| 56 | { |
||
| 57 | avltree_node_t *tmp; |
||
| 58 | |||
| 2498 | jermar | 59 | if (!node) |
| 60 | return NULL; |
||
| 4377 | svoboda | 61 | |
| 2416 | mencl | 62 | if (node->lft) { |
| 63 | tmp = test_tree_parents(node->lft); |
||
| 64 | if (tmp != node) { |
||
| 4377 | svoboda | 65 | TPRINTF("Bad parent pointer key: %" PRIu64 |
| 3424 | svoboda | 66 | ", address: %p\n", tmp->key, node->lft); |
| 2416 | mencl | 67 | } |
| 68 | } |
||
| 69 | if (node->rgt) { |
||
| 70 | tmp = test_tree_parents(node->rgt); |
||
| 71 | if (tmp != node) { |
||
| 4377 | svoboda | 72 | TPRINTF("Bad parent pointer key: %" PRIu64 |
| 3424 | svoboda | 73 | ", address: %p\n", |
| 2498 | jermar | 74 | tmp->key,node->rgt); |
| 2416 | mencl | 75 | } |
| 76 | } |
||
| 77 | return node->par; |
||
| 78 | } |
||
| 79 | |||
| 80 | int test_tree_balance(avltree_node_t *node) |
||
| 81 | { |
||
| 82 | int h1, h2, diff; |
||
| 4377 | svoboda | 83 | |
| 2498 | jermar | 84 | if (!node) |
| 85 | return 0; |
||
| 4377 | svoboda | 86 | |
| 2416 | mencl | 87 | h1 = test_tree_balance(node->lft); |
| 88 | h2 = test_tree_balance(node->rgt); |
||
| 89 | diff = h2 - h1; |
||
| 4377 | svoboda | 90 | |
| 91 | if ((diff != node->balance) || ((diff != -1) && (diff != 0) && (diff != 1))) |
||
| 92 | TPRINTF("Bad balance\n"); |
||
| 93 | |||
| 94 | return ((h1 > h2) ? (h1 + 1) : (h2 + 1)); |
||
| 2416 | mencl | 95 | } |
| 96 | |||
| 97 | /** |
||
| 2498 | jermar | 98 | * Prints the structure of the node, which is level levels from the top of the |
| 4377 | svoboda | 99 | * tree. |
| 2416 | mencl | 100 | */ |
| 4377 | svoboda | 101 | static void print_tree_structure_flat(avltree_node_t *node, int level) |
| 2416 | mencl | 102 | { |
| 2498 | jermar | 103 | /* |
| 104 | * You can set the maximum level as high as you like. |
||
| 4377 | svoboda | 105 | * Most of the time, you'll want to debug code using small trees, |
| 106 | * so that a large level indicates a loop, which is a bug. |
||
| 2498 | jermar | 107 | */ |
| 108 | if (level > 16) { |
||
| 4377 | svoboda | 109 | TPRINTF("[...]"); |
| 2416 | mencl | 110 | return; |
| 111 | } |
||
| 4377 | svoboda | 112 | |
| 2416 | mencl | 113 | if (node == NULL) |
| 114 | return; |
||
| 4377 | svoboda | 115 | |
| 116 | TPRINTF("%" PRIu64 "[%" PRIu8 "]", node->key, node->balance); |
||
| 2498 | jermar | 117 | if (node->lft != NULL || node->rgt != NULL) { |
| 4377 | svoboda | 118 | TPRINTF("("); |
| 119 | |||
| 2498 | jermar | 120 | print_tree_structure_flat(node->lft, level + 1); |
| 121 | if (node->rgt != NULL) { |
||
| 4377 | svoboda | 122 | TPRINTF(","); |
| 2498 | jermar | 123 | print_tree_structure_flat(node->rgt, level + 1); |
| 2416 | mencl | 124 | } |
| 4377 | svoboda | 125 | |
| 126 | TPRINTF(")"); |
||
| 2416 | mencl | 127 | } |
| 128 | } |
||
| 129 | |||
| 130 | static void alloc_avltree_node_prepare(void) |
||
| 131 | { |
||
| 132 | int i; |
||
| 4377 | svoboda | 133 | |
| 134 | for (i = 0; i < NODE_COUNT - 1; i++) |
||
| 2498 | jermar | 135 | avltree_nodes[i].par = &avltree_nodes[i + 1]; |
| 4377 | svoboda | 136 | |
| 3424 | svoboda | 137 | avltree_nodes[i].par = NULL; |
| 2498 | jermar | 138 | |
| 2416 | mencl | 139 | /* |
| 2498 | jermar | 140 | * Node keys which will be used for insertion. Up to NODE_COUNT size of |
| 141 | * array. |
||
| 2416 | mencl | 142 | */ |
| 4377 | svoboda | 143 | |
| 2498 | jermar | 144 | /* First tree node and same key */ |
| 2416 | mencl | 145 | avltree_nodes[0].key = 60; |
| 146 | avltree_nodes[1].key = 60; |
||
| 147 | avltree_nodes[2].key = 60; |
||
| 4377 | svoboda | 148 | |
| 2498 | jermar | 149 | /* LL rotation */ |
| 2416 | mencl | 150 | avltree_nodes[3].key = 50; |
| 151 | avltree_nodes[4].key = 40; |
||
| 152 | avltree_nodes[5].key = 30; |
||
| 4377 | svoboda | 153 | |
| 2498 | jermar | 154 | /* LR rotation */ |
| 2416 | mencl | 155 | avltree_nodes[6].key = 20; |
| 156 | avltree_nodes[7].key = 20; |
||
| 157 | avltree_nodes[8].key = 25; |
||
| 158 | avltree_nodes[9].key = 25; |
||
| 4377 | svoboda | 159 | |
| 2498 | jermar | 160 | /* LL rotation in lower floor */ |
| 2416 | mencl | 161 | avltree_nodes[10].key = 35; |
| 4377 | svoboda | 162 | |
| 2498 | jermar | 163 | /* RR rotation */ |
| 2416 | mencl | 164 | avltree_nodes[11].key = 70; |
| 165 | avltree_nodes[12].key = 80; |
||
| 4377 | svoboda | 166 | |
| 2498 | jermar | 167 | /* RL rotation */ |
| 2416 | mencl | 168 | avltree_nodes[13].key = 90; |
| 169 | avltree_nodes[14].key = 85; |
||
| 4377 | svoboda | 170 | |
| 2498 | jermar | 171 | /* Insert 0 key */ |
| 2431 | mencl | 172 | avltree_nodes[15].key = 0; |
| 173 | avltree_nodes[16].key = 0; |
||
| 4377 | svoboda | 174 | |
| 2498 | jermar | 175 | /* Insert reverse */ |
| 2431 | mencl | 176 | avltree_nodes[17].key = 600; |
| 177 | avltree_nodes[18].key = 500; |
||
| 178 | avltree_nodes[19].key = 400; |
||
| 179 | avltree_nodes[20].key = 300; |
||
| 4377 | svoboda | 180 | |
| 2416 | mencl | 181 | for (i = 21; i < NODE_COUNT; i++) |
| 182 | avltree_nodes[i].key = i * 3; |
||
| 183 | |||
| 2498 | jermar | 184 | first_free_node = &avltree_nodes[0]; |
| 2416 | mencl | 185 | } |
| 186 | |||
| 187 | static avltree_node_t *alloc_avltree_node(void) |
||
| 188 | { |
||
| 189 | avltree_node_t *node; |
||
| 4377 | svoboda | 190 | |
| 2416 | mencl | 191 | node = first_free_node; |
| 2421 | mencl | 192 | first_free_node = first_free_node->par; |
| 4377 | svoboda | 193 | |
| 2416 | mencl | 194 | return node; |
| 195 | } |
||
| 196 | |||
| 4692 | svoboda | 197 | static void test_tree_insert(avltree_t *tree, size_t node_count) |
| 2416 | mencl | 198 | { |
| 199 | unsigned int i; |
||
| 200 | avltree_node_t *newnode; |
||
| 4377 | svoboda | 201 | |
| 2416 | mencl | 202 | avltree_create(tree); |
| 203 | |||
| 4692 | svoboda | 204 | TPRINTF("Inserting %" PRIs " nodes...", node_count); |
| 4377 | svoboda | 205 | |
| 2416 | mencl | 206 | for (i = 0; i < node_count; i++) { |
| 207 | newnode = alloc_avltree_node(); |
||
| 208 | |||
| 209 | avltree_insert(tree, newnode); |
||
| 4377 | svoboda | 210 | test_tree_parents(tree->root); |
| 211 | test_tree_balance(tree->root); |
||
| 2416 | mencl | 212 | } |
| 4377 | svoboda | 213 | |
| 214 | TPRINTF("done.\n"); |
||
| 2416 | mencl | 215 | } |
| 216 | |||
| 4692 | svoboda | 217 | static void test_tree_delete(avltree_t *tree, size_t node_count, |
| 4377 | svoboda | 218 | int node_position) |
| 2416 | mencl | 219 | { |
| 220 | avltree_node_t *delnode; |
||
| 221 | unsigned int i; |
||
| 222 | |||
| 2498 | jermar | 223 | switch (node_position) { |
| 224 | case 0: |
||
| 4377 | svoboda | 225 | TPRINTF("Deleting root nodes..."); |
| 226 | |||
| 2498 | jermar | 227 | while (tree->root != NULL) { |
| 228 | delnode = tree->root; |
||
| 229 | avltree_delete(tree, delnode); |
||
| 4377 | svoboda | 230 | test_tree_parents(tree->root); |
| 231 | test_tree_balance(tree->root); |
||
| 232 | } |
||
| 2498 | jermar | 233 | break; |
| 234 | case 1: |
||
| 4377 | svoboda | 235 | TPRINTF("Deleting nodes according to creation time..."); |
| 236 | |||
| 2498 | jermar | 237 | for (i = 0; i < node_count; i++) { |
| 238 | avltree_delete(tree, &avltree_nodes[i]); |
||
| 4377 | svoboda | 239 | test_tree_parents(tree->root); |
| 240 | test_tree_balance(tree->root); |
||
| 2498 | jermar | 241 | } |
| 4377 | svoboda | 242 | break; |
| 2416 | mencl | 243 | } |
| 244 | |||
| 4377 | svoboda | 245 | TPRINTF("done.\n"); |
| 2416 | mencl | 246 | } |
| 247 | |||
| 4692 | svoboda | 248 | static void test_tree_delmin(avltree_t *tree, size_t node_count) |
| 2416 | mencl | 249 | { |
| 2745 | decky | 250 | unsigned int i = 0; |
| 2416 | mencl | 251 | |
| 4377 | svoboda | 252 | TPRINTF("Deleting minimum nodes..."); |
| 2416 | mencl | 253 | |
| 2498 | jermar | 254 | while (tree->root != NULL) { |
| 2416 | mencl | 255 | i++; |
| 256 | avltree_delete_min(tree); |
||
| 4377 | svoboda | 257 | test_tree_parents(tree->root); |
| 258 | test_tree_balance(tree->root); |
||
| 2416 | mencl | 259 | } |
| 4377 | svoboda | 260 | |
| 261 | if (i != node_count) |
||
| 262 | TPRINTF("Bad node count. Some nodes have been lost!\n"); |
||
| 263 | |||
| 264 | TPRINTF("done.\n"); |
||
| 2416 | mencl | 265 | } |
| 266 | |||
| 4377 | svoboda | 267 | char *test_avltree1(void) |
| 2416 | mencl | 268 | { |
| 269 | alloc_avltree_node_prepare(); |
||
| 4377 | svoboda | 270 | test_tree_insert(&avltree, NODE_COUNT); |
| 271 | test_tree_delete(&avltree, NODE_COUNT, 0); |
||
| 272 | |||
| 2416 | mencl | 273 | alloc_avltree_node_prepare(); |
| 4377 | svoboda | 274 | test_tree_insert(&avltree, NODE_COUNT); |
| 275 | test_tree_delete(&avltree, NODE_COUNT, 1); |
||
| 276 | |||
| 2416 | mencl | 277 | alloc_avltree_node_prepare(); |
| 4377 | svoboda | 278 | test_tree_insert(&avltree, NODE_COUNT); |
| 279 | test_tree_delmin(&avltree, NODE_COUNT); |
||
| 280 | |||
| 2416 | mencl | 281 | return NULL; |
| 282 | } |