17c478bd9Sstevel@tonic-gate /* 27c478bd9Sstevel@tonic-gate * CDDL HEADER START 37c478bd9Sstevel@tonic-gate * 47c478bd9Sstevel@tonic-gate * The contents of this file are subject to the terms of the 5208e825dSsommerfe * Common Development and Distribution License (the "License"). 6208e825dSsommerfe * You may not use this file except in compliance with the License. 77c478bd9Sstevel@tonic-gate * 87c478bd9Sstevel@tonic-gate * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE 97c478bd9Sstevel@tonic-gate * or http://www.opensolaris.org/os/licensing. 107c478bd9Sstevel@tonic-gate * See the License for the specific language governing permissions 117c478bd9Sstevel@tonic-gate * and limitations under the License. 127c478bd9Sstevel@tonic-gate * 137c478bd9Sstevel@tonic-gate * When distributing Covered Code, include this CDDL HEADER in each 147c478bd9Sstevel@tonic-gate * file and include the License file at usr/src/OPENSOLARIS.LICENSE. 157c478bd9Sstevel@tonic-gate * If applicable, add the following below this CDDL HEADER, with the 167c478bd9Sstevel@tonic-gate * fields enclosed by brackets "[]" replaced with your own identifying 177c478bd9Sstevel@tonic-gate * information: Portions Copyright [yyyy] [name of copyright owner] 187c478bd9Sstevel@tonic-gate * 197c478bd9Sstevel@tonic-gate * CDDL HEADER END 207c478bd9Sstevel@tonic-gate */ 217c478bd9Sstevel@tonic-gate /* 22b24ab676SJeff Bonwick * Copyright 2009 Sun Microsystems, Inc. All rights reserved. 237c478bd9Sstevel@tonic-gate * Use is subject to license terms. 247c478bd9Sstevel@tonic-gate */ 257c478bd9Sstevel@tonic-gate 267c478bd9Sstevel@tonic-gate /* 270f6d88adSAlex Reece * Copyright (c) 2014 by Delphix. All rights reserved. 28*faa2b6beSJosef 'Jeff' Sipek * Copyright 2015 Nexenta Systems, Inc. All rights reserved. 290f6d88adSAlex Reece */ 300f6d88adSAlex Reece 310f6d88adSAlex Reece /* 327c478bd9Sstevel@tonic-gate * AVL - generic AVL tree implementation for kernel use 337c478bd9Sstevel@tonic-gate * 347c478bd9Sstevel@tonic-gate * A complete description of AVL trees can be found in many CS textbooks. 357c478bd9Sstevel@tonic-gate * 367c478bd9Sstevel@tonic-gate * Here is a very brief overview. An AVL tree is a binary search tree that is 377c478bd9Sstevel@tonic-gate * almost perfectly balanced. By "almost" perfectly balanced, we mean that at 387c478bd9Sstevel@tonic-gate * any given node, the left and right subtrees are allowed to differ in height 397c478bd9Sstevel@tonic-gate * by at most 1 level. 407c478bd9Sstevel@tonic-gate * 417c478bd9Sstevel@tonic-gate * This relaxation from a perfectly balanced binary tree allows doing 427c478bd9Sstevel@tonic-gate * insertion and deletion relatively efficiently. Searching the tree is 437c478bd9Sstevel@tonic-gate * still a fast operation, roughly O(log(N)). 447c478bd9Sstevel@tonic-gate * 456907ca4bSJosef 'Jeff' Sipek * The key to insertion and deletion is a set of tree manipulations called 467c478bd9Sstevel@tonic-gate * rotations, which bring unbalanced subtrees back into the semi-balanced state. 477c478bd9Sstevel@tonic-gate * 487c478bd9Sstevel@tonic-gate * This implementation of AVL trees has the following peculiarities: 497c478bd9Sstevel@tonic-gate * 507c478bd9Sstevel@tonic-gate * - The AVL specific data structures are physically embedded as fields 517c478bd9Sstevel@tonic-gate * in the "using" data structures. To maintain generality the code 527c478bd9Sstevel@tonic-gate * must constantly translate between "avl_node_t *" and containing 536907ca4bSJosef 'Jeff' Sipek * data structure "void *"s by adding/subtracting the avl_offset. 547c478bd9Sstevel@tonic-gate * 557c478bd9Sstevel@tonic-gate * - Since the AVL data is always embedded in other structures, there is 567c478bd9Sstevel@tonic-gate * no locking or memory allocation in the AVL routines. This must be 577c478bd9Sstevel@tonic-gate * provided for by the enclosing data structure's semantics. Typically, 58fa9e4066Sahrens * avl_insert()/_add()/_remove()/avl_insert_here() require some kind of 597c478bd9Sstevel@tonic-gate * exclusive write lock. Other operations require a read lock. 607c478bd9Sstevel@tonic-gate * 617c478bd9Sstevel@tonic-gate * - The implementation uses iteration instead of explicit recursion, 627c478bd9Sstevel@tonic-gate * since it is intended to run on limited size kernel stacks. Since 637c478bd9Sstevel@tonic-gate * there is no recursion stack present to move "up" in the tree, 647c478bd9Sstevel@tonic-gate * there is an explicit "parent" link in the avl_node_t. 657c478bd9Sstevel@tonic-gate * 667c478bd9Sstevel@tonic-gate * - The left/right children pointers of a node are in an array. 677c478bd9Sstevel@tonic-gate * In the code, variables (instead of constants) are used to represent 687c478bd9Sstevel@tonic-gate * left and right indices. The implementation is written as if it only 697c478bd9Sstevel@tonic-gate * dealt with left handed manipulations. By changing the value assigned 707c478bd9Sstevel@tonic-gate * to "left", the code also works for right handed trees. The 717c478bd9Sstevel@tonic-gate * following variables/terms are frequently used: 727c478bd9Sstevel@tonic-gate * 737c478bd9Sstevel@tonic-gate * int left; // 0 when dealing with left children, 747c478bd9Sstevel@tonic-gate * // 1 for dealing with right children 757c478bd9Sstevel@tonic-gate * 767c478bd9Sstevel@tonic-gate * int left_heavy; // -1 when left subtree is taller at some node, 777c478bd9Sstevel@tonic-gate * // +1 when right subtree is taller 787c478bd9Sstevel@tonic-gate * 797c478bd9Sstevel@tonic-gate * int right; // will be the opposite of left (0 or 1) 807c478bd9Sstevel@tonic-gate * int right_heavy;// will be the opposite of left_heavy (-1 or 1) 817c478bd9Sstevel@tonic-gate * 827c478bd9Sstevel@tonic-gate * int direction; // 0 for "<" (ie. left child); 1 for ">" (right) 837c478bd9Sstevel@tonic-gate * 847c478bd9Sstevel@tonic-gate * Though it is a little more confusing to read the code, the approach 857c478bd9Sstevel@tonic-gate * allows using half as much code (and hence cache footprint) for tree 867c478bd9Sstevel@tonic-gate * manipulations and eliminates many conditional branches. 877c478bd9Sstevel@tonic-gate * 887c478bd9Sstevel@tonic-gate * - The avl_index_t is an opaque "cookie" used to find nodes at or 897c478bd9Sstevel@tonic-gate * adjacent to where a new value would be inserted in the tree. The value 907c478bd9Sstevel@tonic-gate * is a modified "avl_node_t *". The bottom bit (normally 0 for a 917c478bd9Sstevel@tonic-gate * pointer) is set to indicate if that the new node has a value greater 927c478bd9Sstevel@tonic-gate * than the value of the indicated "avl_node_t *". 930f6d88adSAlex Reece * 940f6d88adSAlex Reece * Note - in addition to userland (e.g. libavl and libutil) and the kernel 950f6d88adSAlex Reece * (e.g. genunix), avl.c is compiled into ld.so and kmdb's genunix module, 960f6d88adSAlex Reece * which each have their own compilation environments and subsequent 970f6d88adSAlex Reece * requirements. Each of these environments must be considered when adding 980f6d88adSAlex Reece * dependencies from avl.c. 997c478bd9Sstevel@tonic-gate */ 1007c478bd9Sstevel@tonic-gate 1017c478bd9Sstevel@tonic-gate #include <sys/types.h> 1027c478bd9Sstevel@tonic-gate #include <sys/param.h> 1037c478bd9Sstevel@tonic-gate #include <sys/debug.h> 1047c478bd9Sstevel@tonic-gate #include <sys/avl.h> 105fa9e4066Sahrens #include <sys/cmn_err.h> 1067c478bd9Sstevel@tonic-gate 1077c478bd9Sstevel@tonic-gate /* 1086907ca4bSJosef 'Jeff' Sipek * Small arrays to translate between balance (or diff) values and child indices. 1097c478bd9Sstevel@tonic-gate * 1107c478bd9Sstevel@tonic-gate * Code that deals with binary tree data structures will randomly use 1117c478bd9Sstevel@tonic-gate * left and right children when examining a tree. C "if()" statements 1127c478bd9Sstevel@tonic-gate * which evaluate randomly suffer from very poor hardware branch prediction. 1137c478bd9Sstevel@tonic-gate * In this code we avoid some of the branch mispredictions by using the 1147c478bd9Sstevel@tonic-gate * following translation arrays. They replace random branches with an 1157c478bd9Sstevel@tonic-gate * additional memory reference. Since the translation arrays are both very 1167c478bd9Sstevel@tonic-gate * small the data should remain efficiently in cache. 1177c478bd9Sstevel@tonic-gate */ 1187c478bd9Sstevel@tonic-gate static const int avl_child2balance[2] = {-1, 1}; 1197c478bd9Sstevel@tonic-gate static const int avl_balance2child[] = {0, 0, 1}; 1207c478bd9Sstevel@tonic-gate 1217c478bd9Sstevel@tonic-gate 1227c478bd9Sstevel@tonic-gate /* 1237c478bd9Sstevel@tonic-gate * Walk from one node to the previous valued node (ie. an infix walk 1247c478bd9Sstevel@tonic-gate * towards the left). At any given node we do one of 2 things: 1257c478bd9Sstevel@tonic-gate * 1267c478bd9Sstevel@tonic-gate * - If there is a left child, go to it, then to it's rightmost descendant. 1277c478bd9Sstevel@tonic-gate * 1286907ca4bSJosef 'Jeff' Sipek * - otherwise we return through parent nodes until we've come from a right 1296907ca4bSJosef 'Jeff' Sipek * child. 1307c478bd9Sstevel@tonic-gate * 1317c478bd9Sstevel@tonic-gate * Return Value: 1327c478bd9Sstevel@tonic-gate * NULL - if at the end of the nodes 1337c478bd9Sstevel@tonic-gate * otherwise next node 1347c478bd9Sstevel@tonic-gate */ 1357c478bd9Sstevel@tonic-gate void * 1367c478bd9Sstevel@tonic-gate avl_walk(avl_tree_t *tree, void *oldnode, int left) 1377c478bd9Sstevel@tonic-gate { 1387c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 1397c478bd9Sstevel@tonic-gate avl_node_t *node = AVL_DATA2NODE(oldnode, off); 1407c478bd9Sstevel@tonic-gate int right = 1 - left; 1417c478bd9Sstevel@tonic-gate int was_child; 1427c478bd9Sstevel@tonic-gate 1437c478bd9Sstevel@tonic-gate 1447c478bd9Sstevel@tonic-gate /* 1457c478bd9Sstevel@tonic-gate * nowhere to walk to if tree is empty 1467c478bd9Sstevel@tonic-gate */ 1477c478bd9Sstevel@tonic-gate if (node == NULL) 1487c478bd9Sstevel@tonic-gate return (NULL); 1497c478bd9Sstevel@tonic-gate 1507c478bd9Sstevel@tonic-gate /* 1517c478bd9Sstevel@tonic-gate * Visit the previous valued node. There are two possibilities: 1527c478bd9Sstevel@tonic-gate * 1537c478bd9Sstevel@tonic-gate * If this node has a left child, go down one left, then all 1547c478bd9Sstevel@tonic-gate * the way right. 1557c478bd9Sstevel@tonic-gate */ 1567c478bd9Sstevel@tonic-gate if (node->avl_child[left] != NULL) { 1577c478bd9Sstevel@tonic-gate for (node = node->avl_child[left]; 1587c478bd9Sstevel@tonic-gate node->avl_child[right] != NULL; 1597c478bd9Sstevel@tonic-gate node = node->avl_child[right]) 1607c478bd9Sstevel@tonic-gate ; 1617c478bd9Sstevel@tonic-gate /* 1627c478bd9Sstevel@tonic-gate * Otherwise, return thru left children as far as we can. 1637c478bd9Sstevel@tonic-gate */ 1647c478bd9Sstevel@tonic-gate } else { 1657c478bd9Sstevel@tonic-gate for (;;) { 1667c478bd9Sstevel@tonic-gate was_child = AVL_XCHILD(node); 1677c478bd9Sstevel@tonic-gate node = AVL_XPARENT(node); 1687c478bd9Sstevel@tonic-gate if (node == NULL) 1697c478bd9Sstevel@tonic-gate return (NULL); 1707c478bd9Sstevel@tonic-gate if (was_child == right) 1717c478bd9Sstevel@tonic-gate break; 1727c478bd9Sstevel@tonic-gate } 1737c478bd9Sstevel@tonic-gate } 1747c478bd9Sstevel@tonic-gate 1757c478bd9Sstevel@tonic-gate return (AVL_NODE2DATA(node, off)); 1767c478bd9Sstevel@tonic-gate } 1777c478bd9Sstevel@tonic-gate 1787c478bd9Sstevel@tonic-gate /* 1797c478bd9Sstevel@tonic-gate * Return the lowest valued node in a tree or NULL. 1807c478bd9Sstevel@tonic-gate * (leftmost child from root of tree) 1817c478bd9Sstevel@tonic-gate */ 1827c478bd9Sstevel@tonic-gate void * 1837c478bd9Sstevel@tonic-gate avl_first(avl_tree_t *tree) 1847c478bd9Sstevel@tonic-gate { 1857c478bd9Sstevel@tonic-gate avl_node_t *node; 1867c478bd9Sstevel@tonic-gate avl_node_t *prev = NULL; 1877c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 1887c478bd9Sstevel@tonic-gate 1897c478bd9Sstevel@tonic-gate for (node = tree->avl_root; node != NULL; node = node->avl_child[0]) 1907c478bd9Sstevel@tonic-gate prev = node; 1917c478bd9Sstevel@tonic-gate 1927c478bd9Sstevel@tonic-gate if (prev != NULL) 1937c478bd9Sstevel@tonic-gate return (AVL_NODE2DATA(prev, off)); 1947c478bd9Sstevel@tonic-gate return (NULL); 1957c478bd9Sstevel@tonic-gate } 1967c478bd9Sstevel@tonic-gate 1977c478bd9Sstevel@tonic-gate /* 1987c478bd9Sstevel@tonic-gate * Return the highest valued node in a tree or NULL. 1997c478bd9Sstevel@tonic-gate * (rightmost child from root of tree) 2007c478bd9Sstevel@tonic-gate */ 2017c478bd9Sstevel@tonic-gate void * 2027c478bd9Sstevel@tonic-gate avl_last(avl_tree_t *tree) 2037c478bd9Sstevel@tonic-gate { 2047c478bd9Sstevel@tonic-gate avl_node_t *node; 2057c478bd9Sstevel@tonic-gate avl_node_t *prev = NULL; 2067c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 2077c478bd9Sstevel@tonic-gate 2087c478bd9Sstevel@tonic-gate for (node = tree->avl_root; node != NULL; node = node->avl_child[1]) 2097c478bd9Sstevel@tonic-gate prev = node; 2107c478bd9Sstevel@tonic-gate 2117c478bd9Sstevel@tonic-gate if (prev != NULL) 2127c478bd9Sstevel@tonic-gate return (AVL_NODE2DATA(prev, off)); 2137c478bd9Sstevel@tonic-gate return (NULL); 2147c478bd9Sstevel@tonic-gate } 2157c478bd9Sstevel@tonic-gate 2167c478bd9Sstevel@tonic-gate /* 2177c478bd9Sstevel@tonic-gate * Access the node immediately before or after an insertion point. 2187c478bd9Sstevel@tonic-gate * 2197c478bd9Sstevel@tonic-gate * "avl_index_t" is a (avl_node_t *) with the bottom bit indicating a child 2207c478bd9Sstevel@tonic-gate * 2217c478bd9Sstevel@tonic-gate * Return value: 2227c478bd9Sstevel@tonic-gate * NULL: no node in the given direction 2237c478bd9Sstevel@tonic-gate * "void *" of the found tree node 2247c478bd9Sstevel@tonic-gate */ 2257c478bd9Sstevel@tonic-gate void * 2267c478bd9Sstevel@tonic-gate avl_nearest(avl_tree_t *tree, avl_index_t where, int direction) 2277c478bd9Sstevel@tonic-gate { 2287c478bd9Sstevel@tonic-gate int child = AVL_INDEX2CHILD(where); 2297c478bd9Sstevel@tonic-gate avl_node_t *node = AVL_INDEX2NODE(where); 2307c478bd9Sstevel@tonic-gate void *data; 2317c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 2327c478bd9Sstevel@tonic-gate 2337c478bd9Sstevel@tonic-gate if (node == NULL) { 2347c478bd9Sstevel@tonic-gate ASSERT(tree->avl_root == NULL); 2357c478bd9Sstevel@tonic-gate return (NULL); 2367c478bd9Sstevel@tonic-gate } 2377c478bd9Sstevel@tonic-gate data = AVL_NODE2DATA(node, off); 2387c478bd9Sstevel@tonic-gate if (child != direction) 2397c478bd9Sstevel@tonic-gate return (data); 2407c478bd9Sstevel@tonic-gate 2417c478bd9Sstevel@tonic-gate return (avl_walk(tree, data, direction)); 2427c478bd9Sstevel@tonic-gate } 2437c478bd9Sstevel@tonic-gate 2447c478bd9Sstevel@tonic-gate 2457c478bd9Sstevel@tonic-gate /* 2467c478bd9Sstevel@tonic-gate * Search for the node which contains "value". The algorithm is a 2477c478bd9Sstevel@tonic-gate * simple binary tree search. 2487c478bd9Sstevel@tonic-gate * 2497c478bd9Sstevel@tonic-gate * return value: 2507c478bd9Sstevel@tonic-gate * NULL: the value is not in the AVL tree 2517c478bd9Sstevel@tonic-gate * *where (if not NULL) is set to indicate the insertion point 2527c478bd9Sstevel@tonic-gate * "void *" of the found tree node 2537c478bd9Sstevel@tonic-gate */ 2547c478bd9Sstevel@tonic-gate void * 255b24ab676SJeff Bonwick avl_find(avl_tree_t *tree, const void *value, avl_index_t *where) 2567c478bd9Sstevel@tonic-gate { 2577c478bd9Sstevel@tonic-gate avl_node_t *node; 2587c478bd9Sstevel@tonic-gate avl_node_t *prev = NULL; 2597c478bd9Sstevel@tonic-gate int child = 0; 2607c478bd9Sstevel@tonic-gate int diff; 2617c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 2627c478bd9Sstevel@tonic-gate 2637c478bd9Sstevel@tonic-gate for (node = tree->avl_root; node != NULL; 2647c478bd9Sstevel@tonic-gate node = node->avl_child[child]) { 2657c478bd9Sstevel@tonic-gate 2667c478bd9Sstevel@tonic-gate prev = node; 2677c478bd9Sstevel@tonic-gate 2687c478bd9Sstevel@tonic-gate diff = tree->avl_compar(value, AVL_NODE2DATA(node, off)); 2697c478bd9Sstevel@tonic-gate ASSERT(-1 <= diff && diff <= 1); 2707c478bd9Sstevel@tonic-gate if (diff == 0) { 2717c478bd9Sstevel@tonic-gate #ifdef DEBUG 2727c478bd9Sstevel@tonic-gate if (where != NULL) 2735ad82045Snd150628 *where = 0; 2747c478bd9Sstevel@tonic-gate #endif 2757c478bd9Sstevel@tonic-gate return (AVL_NODE2DATA(node, off)); 2767c478bd9Sstevel@tonic-gate } 2777c478bd9Sstevel@tonic-gate child = avl_balance2child[1 + diff]; 2787c478bd9Sstevel@tonic-gate 2797c478bd9Sstevel@tonic-gate } 2807c478bd9Sstevel@tonic-gate 2817c478bd9Sstevel@tonic-gate if (where != NULL) 2827c478bd9Sstevel@tonic-gate *where = AVL_MKINDEX(prev, child); 2837c478bd9Sstevel@tonic-gate 2847c478bd9Sstevel@tonic-gate return (NULL); 2857c478bd9Sstevel@tonic-gate } 2867c478bd9Sstevel@tonic-gate 2877c478bd9Sstevel@tonic-gate 2887c478bd9Sstevel@tonic-gate /* 2897c478bd9Sstevel@tonic-gate * Perform a rotation to restore balance at the subtree given by depth. 2907c478bd9Sstevel@tonic-gate * 2917c478bd9Sstevel@tonic-gate * This routine is used by both insertion and deletion. The return value 2927c478bd9Sstevel@tonic-gate * indicates: 2937c478bd9Sstevel@tonic-gate * 0 : subtree did not change height 2947c478bd9Sstevel@tonic-gate * !0 : subtree was reduced in height 2957c478bd9Sstevel@tonic-gate * 2967c478bd9Sstevel@tonic-gate * The code is written as if handling left rotations, right rotations are 2977c478bd9Sstevel@tonic-gate * symmetric and handled by swapping values of variables right/left[_heavy] 2987c478bd9Sstevel@tonic-gate * 2997c478bd9Sstevel@tonic-gate * On input balance is the "new" balance at "node". This value is either 3007c478bd9Sstevel@tonic-gate * -2 or +2. 3017c478bd9Sstevel@tonic-gate */ 3027c478bd9Sstevel@tonic-gate static int 3037c478bd9Sstevel@tonic-gate avl_rotation(avl_tree_t *tree, avl_node_t *node, int balance) 3047c478bd9Sstevel@tonic-gate { 3057c478bd9Sstevel@tonic-gate int left = !(balance < 0); /* when balance = -2, left will be 0 */ 3067c478bd9Sstevel@tonic-gate int right = 1 - left; 3077c478bd9Sstevel@tonic-gate int left_heavy = balance >> 1; 3087c478bd9Sstevel@tonic-gate int right_heavy = -left_heavy; 3097c478bd9Sstevel@tonic-gate avl_node_t *parent = AVL_XPARENT(node); 3107c478bd9Sstevel@tonic-gate avl_node_t *child = node->avl_child[left]; 3117c478bd9Sstevel@tonic-gate avl_node_t *cright; 3127c478bd9Sstevel@tonic-gate avl_node_t *gchild; 3137c478bd9Sstevel@tonic-gate avl_node_t *gright; 3147c478bd9Sstevel@tonic-gate avl_node_t *gleft; 3157c478bd9Sstevel@tonic-gate int which_child = AVL_XCHILD(node); 3167c478bd9Sstevel@tonic-gate int child_bal = AVL_XBALANCE(child); 3177c478bd9Sstevel@tonic-gate 3187c478bd9Sstevel@tonic-gate /* BEGIN CSTYLED */ 3197c478bd9Sstevel@tonic-gate /* 3207c478bd9Sstevel@tonic-gate * case 1 : node is overly left heavy, the left child is balanced or 3217c478bd9Sstevel@tonic-gate * also left heavy. This requires the following rotation. 3227c478bd9Sstevel@tonic-gate * 3237c478bd9Sstevel@tonic-gate * (node bal:-2) 3247c478bd9Sstevel@tonic-gate * / \ 3257c478bd9Sstevel@tonic-gate * / \ 3267c478bd9Sstevel@tonic-gate * (child bal:0 or -1) 3277c478bd9Sstevel@tonic-gate * / \ 3287c478bd9Sstevel@tonic-gate * / \ 3297c478bd9Sstevel@tonic-gate * cright 3307c478bd9Sstevel@tonic-gate * 3317c478bd9Sstevel@tonic-gate * becomes: 3327c478bd9Sstevel@tonic-gate * 3337c478bd9Sstevel@tonic-gate * (child bal:1 or 0) 3347c478bd9Sstevel@tonic-gate * / \ 3357c478bd9Sstevel@tonic-gate * / \ 3367c478bd9Sstevel@tonic-gate * (node bal:-1 or 0) 3377c478bd9Sstevel@tonic-gate * / \ 3387c478bd9Sstevel@tonic-gate * / \ 3397c478bd9Sstevel@tonic-gate * cright 3407c478bd9Sstevel@tonic-gate * 3417c478bd9Sstevel@tonic-gate * we detect this situation by noting that child's balance is not 3427c478bd9Sstevel@tonic-gate * right_heavy. 3437c478bd9Sstevel@tonic-gate */ 3447c478bd9Sstevel@tonic-gate /* END CSTYLED */ 3457c478bd9Sstevel@tonic-gate if (child_bal != right_heavy) { 3467c478bd9Sstevel@tonic-gate 3477c478bd9Sstevel@tonic-gate /* 3487c478bd9Sstevel@tonic-gate * compute new balance of nodes 3497c478bd9Sstevel@tonic-gate * 3507c478bd9Sstevel@tonic-gate * If child used to be left heavy (now balanced) we reduced 3517c478bd9Sstevel@tonic-gate * the height of this sub-tree -- used in "return...;" below 3527c478bd9Sstevel@tonic-gate */ 3537c478bd9Sstevel@tonic-gate child_bal += right_heavy; /* adjust towards right */ 3547c478bd9Sstevel@tonic-gate 3557c478bd9Sstevel@tonic-gate /* 3567c478bd9Sstevel@tonic-gate * move "cright" to be node's left child 3577c478bd9Sstevel@tonic-gate */ 3587c478bd9Sstevel@tonic-gate cright = child->avl_child[right]; 3597c478bd9Sstevel@tonic-gate node->avl_child[left] = cright; 3607c478bd9Sstevel@tonic-gate if (cright != NULL) { 3617c478bd9Sstevel@tonic-gate AVL_SETPARENT(cright, node); 3627c478bd9Sstevel@tonic-gate AVL_SETCHILD(cright, left); 3637c478bd9Sstevel@tonic-gate } 3647c478bd9Sstevel@tonic-gate 3657c478bd9Sstevel@tonic-gate /* 3667c478bd9Sstevel@tonic-gate * move node to be child's right child 3677c478bd9Sstevel@tonic-gate */ 3687c478bd9Sstevel@tonic-gate child->avl_child[right] = node; 3697c478bd9Sstevel@tonic-gate AVL_SETBALANCE(node, -child_bal); 3707c478bd9Sstevel@tonic-gate AVL_SETCHILD(node, right); 3717c478bd9Sstevel@tonic-gate AVL_SETPARENT(node, child); 3727c478bd9Sstevel@tonic-gate 3737c478bd9Sstevel@tonic-gate /* 3747c478bd9Sstevel@tonic-gate * update the pointer into this subtree 3757c478bd9Sstevel@tonic-gate */ 3767c478bd9Sstevel@tonic-gate AVL_SETBALANCE(child, child_bal); 3777c478bd9Sstevel@tonic-gate AVL_SETCHILD(child, which_child); 3787c478bd9Sstevel@tonic-gate AVL_SETPARENT(child, parent); 3797c478bd9Sstevel@tonic-gate if (parent != NULL) 3807c478bd9Sstevel@tonic-gate parent->avl_child[which_child] = child; 3817c478bd9Sstevel@tonic-gate else 3827c478bd9Sstevel@tonic-gate tree->avl_root = child; 3837c478bd9Sstevel@tonic-gate 3847c478bd9Sstevel@tonic-gate return (child_bal == 0); 3857c478bd9Sstevel@tonic-gate } 3867c478bd9Sstevel@tonic-gate 3877c478bd9Sstevel@tonic-gate /* BEGIN CSTYLED */ 3887c478bd9Sstevel@tonic-gate /* 3897c478bd9Sstevel@tonic-gate * case 2 : When node is left heavy, but child is right heavy we use 3907c478bd9Sstevel@tonic-gate * a different rotation. 3917c478bd9Sstevel@tonic-gate * 3927c478bd9Sstevel@tonic-gate * (node b:-2) 3937c478bd9Sstevel@tonic-gate * / \ 3947c478bd9Sstevel@tonic-gate * / \ 3957c478bd9Sstevel@tonic-gate * / \ 3967c478bd9Sstevel@tonic-gate * (child b:+1) 3977c478bd9Sstevel@tonic-gate * / \ 3987c478bd9Sstevel@tonic-gate * / \ 3997c478bd9Sstevel@tonic-gate * (gchild b: != 0) 4007c478bd9Sstevel@tonic-gate * / \ 4017c478bd9Sstevel@tonic-gate * / \ 4027c478bd9Sstevel@tonic-gate * gleft gright 4037c478bd9Sstevel@tonic-gate * 4047c478bd9Sstevel@tonic-gate * becomes: 4057c478bd9Sstevel@tonic-gate * 4067c478bd9Sstevel@tonic-gate * (gchild b:0) 4077c478bd9Sstevel@tonic-gate * / \ 4087c478bd9Sstevel@tonic-gate * / \ 4097c478bd9Sstevel@tonic-gate * / \ 4107c478bd9Sstevel@tonic-gate * (child b:?) (node b:?) 4117c478bd9Sstevel@tonic-gate * / \ / \ 4127c478bd9Sstevel@tonic-gate * / \ / \ 4137c478bd9Sstevel@tonic-gate * gleft gright 4147c478bd9Sstevel@tonic-gate * 4157c478bd9Sstevel@tonic-gate * computing the new balances is more complicated. As an example: 4167c478bd9Sstevel@tonic-gate * if gchild was right_heavy, then child is now left heavy 4177c478bd9Sstevel@tonic-gate * else it is balanced 4187c478bd9Sstevel@tonic-gate */ 4197c478bd9Sstevel@tonic-gate /* END CSTYLED */ 4207c478bd9Sstevel@tonic-gate gchild = child->avl_child[right]; 4217c478bd9Sstevel@tonic-gate gleft = gchild->avl_child[left]; 4227c478bd9Sstevel@tonic-gate gright = gchild->avl_child[right]; 4237c478bd9Sstevel@tonic-gate 4247c478bd9Sstevel@tonic-gate /* 4257c478bd9Sstevel@tonic-gate * move gright to left child of node and 4267c478bd9Sstevel@tonic-gate * 4277c478bd9Sstevel@tonic-gate * move gleft to right child of node 4287c478bd9Sstevel@tonic-gate */ 4297c478bd9Sstevel@tonic-gate node->avl_child[left] = gright; 4307c478bd9Sstevel@tonic-gate if (gright != NULL) { 4317c478bd9Sstevel@tonic-gate AVL_SETPARENT(gright, node); 4327c478bd9Sstevel@tonic-gate AVL_SETCHILD(gright, left); 4337c478bd9Sstevel@tonic-gate } 4347c478bd9Sstevel@tonic-gate 4357c478bd9Sstevel@tonic-gate child->avl_child[right] = gleft; 4367c478bd9Sstevel@tonic-gate if (gleft != NULL) { 4377c478bd9Sstevel@tonic-gate AVL_SETPARENT(gleft, child); 4387c478bd9Sstevel@tonic-gate AVL_SETCHILD(gleft, right); 4397c478bd9Sstevel@tonic-gate } 4407c478bd9Sstevel@tonic-gate 4417c478bd9Sstevel@tonic-gate /* 4427c478bd9Sstevel@tonic-gate * move child to left child of gchild and 4437c478bd9Sstevel@tonic-gate * 4447c478bd9Sstevel@tonic-gate * move node to right child of gchild and 4457c478bd9Sstevel@tonic-gate * 4467c478bd9Sstevel@tonic-gate * fixup parent of all this to point to gchild 4477c478bd9Sstevel@tonic-gate */ 4487c478bd9Sstevel@tonic-gate balance = AVL_XBALANCE(gchild); 4497c478bd9Sstevel@tonic-gate gchild->avl_child[left] = child; 4507c478bd9Sstevel@tonic-gate AVL_SETBALANCE(child, (balance == right_heavy ? left_heavy : 0)); 4517c478bd9Sstevel@tonic-gate AVL_SETPARENT(child, gchild); 4527c478bd9Sstevel@tonic-gate AVL_SETCHILD(child, left); 4537c478bd9Sstevel@tonic-gate 4547c478bd9Sstevel@tonic-gate gchild->avl_child[right] = node; 4557c478bd9Sstevel@tonic-gate AVL_SETBALANCE(node, (balance == left_heavy ? right_heavy : 0)); 4567c478bd9Sstevel@tonic-gate AVL_SETPARENT(node, gchild); 4577c478bd9Sstevel@tonic-gate AVL_SETCHILD(node, right); 4587c478bd9Sstevel@tonic-gate 4597c478bd9Sstevel@tonic-gate AVL_SETBALANCE(gchild, 0); 4607c478bd9Sstevel@tonic-gate AVL_SETPARENT(gchild, parent); 4617c478bd9Sstevel@tonic-gate AVL_SETCHILD(gchild, which_child); 4627c478bd9Sstevel@tonic-gate if (parent != NULL) 4637c478bd9Sstevel@tonic-gate parent->avl_child[which_child] = gchild; 4647c478bd9Sstevel@tonic-gate else 4657c478bd9Sstevel@tonic-gate tree->avl_root = gchild; 4667c478bd9Sstevel@tonic-gate 4677c478bd9Sstevel@tonic-gate return (1); /* the new tree is always shorter */ 4687c478bd9Sstevel@tonic-gate } 4697c478bd9Sstevel@tonic-gate 4707c478bd9Sstevel@tonic-gate 4717c478bd9Sstevel@tonic-gate /* 4727c478bd9Sstevel@tonic-gate * Insert a new node into an AVL tree at the specified (from avl_find()) place. 4737c478bd9Sstevel@tonic-gate * 4747c478bd9Sstevel@tonic-gate * Newly inserted nodes are always leaf nodes in the tree, since avl_find() 4757c478bd9Sstevel@tonic-gate * searches out to the leaf positions. The avl_index_t indicates the node 4767c478bd9Sstevel@tonic-gate * which will be the parent of the new node. 4777c478bd9Sstevel@tonic-gate * 4787c478bd9Sstevel@tonic-gate * After the node is inserted, a single rotation further up the tree may 4797c478bd9Sstevel@tonic-gate * be necessary to maintain an acceptable AVL balance. 4807c478bd9Sstevel@tonic-gate */ 4817c478bd9Sstevel@tonic-gate void 4827c478bd9Sstevel@tonic-gate avl_insert(avl_tree_t *tree, void *new_data, avl_index_t where) 4837c478bd9Sstevel@tonic-gate { 4847c478bd9Sstevel@tonic-gate avl_node_t *node; 4857c478bd9Sstevel@tonic-gate avl_node_t *parent = AVL_INDEX2NODE(where); 4867c478bd9Sstevel@tonic-gate int old_balance; 4877c478bd9Sstevel@tonic-gate int new_balance; 4887c478bd9Sstevel@tonic-gate int which_child = AVL_INDEX2CHILD(where); 4897c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 4907c478bd9Sstevel@tonic-gate 4917c478bd9Sstevel@tonic-gate ASSERT(tree); 4927c478bd9Sstevel@tonic-gate #ifdef _LP64 4937c478bd9Sstevel@tonic-gate ASSERT(((uintptr_t)new_data & 0x7) == 0); 4947c478bd9Sstevel@tonic-gate #endif 4957c478bd9Sstevel@tonic-gate 4967c478bd9Sstevel@tonic-gate node = AVL_DATA2NODE(new_data, off); 4977c478bd9Sstevel@tonic-gate 4987c478bd9Sstevel@tonic-gate /* 4997c478bd9Sstevel@tonic-gate * First, add the node to the tree at the indicated position. 5007c478bd9Sstevel@tonic-gate */ 5017c478bd9Sstevel@tonic-gate ++tree->avl_numnodes; 5027c478bd9Sstevel@tonic-gate 5037c478bd9Sstevel@tonic-gate node->avl_child[0] = NULL; 5047c478bd9Sstevel@tonic-gate node->avl_child[1] = NULL; 5057c478bd9Sstevel@tonic-gate 5067c478bd9Sstevel@tonic-gate AVL_SETCHILD(node, which_child); 5077c478bd9Sstevel@tonic-gate AVL_SETBALANCE(node, 0); 5087c478bd9Sstevel@tonic-gate AVL_SETPARENT(node, parent); 5097c478bd9Sstevel@tonic-gate if (parent != NULL) { 5107c478bd9Sstevel@tonic-gate ASSERT(parent->avl_child[which_child] == NULL); 5117c478bd9Sstevel@tonic-gate parent->avl_child[which_child] = node; 5127c478bd9Sstevel@tonic-gate } else { 5137c478bd9Sstevel@tonic-gate ASSERT(tree->avl_root == NULL); 5147c478bd9Sstevel@tonic-gate tree->avl_root = node; 5157c478bd9Sstevel@tonic-gate } 5167c478bd9Sstevel@tonic-gate /* 5177c478bd9Sstevel@tonic-gate * Now, back up the tree modifying the balance of all nodes above the 5187c478bd9Sstevel@tonic-gate * insertion point. If we get to a highly unbalanced ancestor, we 5197c478bd9Sstevel@tonic-gate * need to do a rotation. If we back out of the tree we are done. 5207c478bd9Sstevel@tonic-gate * If we brought any subtree into perfect balance (0), we are also done. 5217c478bd9Sstevel@tonic-gate */ 5227c478bd9Sstevel@tonic-gate for (;;) { 5237c478bd9Sstevel@tonic-gate node = parent; 5247c478bd9Sstevel@tonic-gate if (node == NULL) 5257c478bd9Sstevel@tonic-gate return; 5267c478bd9Sstevel@tonic-gate 5277c478bd9Sstevel@tonic-gate /* 5287c478bd9Sstevel@tonic-gate * Compute the new balance 5297c478bd9Sstevel@tonic-gate */ 5307c478bd9Sstevel@tonic-gate old_balance = AVL_XBALANCE(node); 5317c478bd9Sstevel@tonic-gate new_balance = old_balance + avl_child2balance[which_child]; 5327c478bd9Sstevel@tonic-gate 5337c478bd9Sstevel@tonic-gate /* 5347c478bd9Sstevel@tonic-gate * If we introduced equal balance, then we are done immediately 5357c478bd9Sstevel@tonic-gate */ 5367c478bd9Sstevel@tonic-gate if (new_balance == 0) { 5377c478bd9Sstevel@tonic-gate AVL_SETBALANCE(node, 0); 5387c478bd9Sstevel@tonic-gate return; 5397c478bd9Sstevel@tonic-gate } 5407c478bd9Sstevel@tonic-gate 5417c478bd9Sstevel@tonic-gate /* 5427c478bd9Sstevel@tonic-gate * If both old and new are not zero we went 5437c478bd9Sstevel@tonic-gate * from -1 to -2 balance, do a rotation. 5447c478bd9Sstevel@tonic-gate */ 5457c478bd9Sstevel@tonic-gate if (old_balance != 0) 5467c478bd9Sstevel@tonic-gate break; 5477c478bd9Sstevel@tonic-gate 5487c478bd9Sstevel@tonic-gate AVL_SETBALANCE(node, new_balance); 5497c478bd9Sstevel@tonic-gate parent = AVL_XPARENT(node); 5507c478bd9Sstevel@tonic-gate which_child = AVL_XCHILD(node); 5517c478bd9Sstevel@tonic-gate } 5527c478bd9Sstevel@tonic-gate 5537c478bd9Sstevel@tonic-gate /* 5547c478bd9Sstevel@tonic-gate * perform a rotation to fix the tree and return 5557c478bd9Sstevel@tonic-gate */ 5567c478bd9Sstevel@tonic-gate (void) avl_rotation(tree, node, new_balance); 5577c478bd9Sstevel@tonic-gate } 5587c478bd9Sstevel@tonic-gate 5597c478bd9Sstevel@tonic-gate /* 5607c478bd9Sstevel@tonic-gate * Insert "new_data" in "tree" in the given "direction" either after or 5617c478bd9Sstevel@tonic-gate * before (AVL_AFTER, AVL_BEFORE) the data "here". 5627c478bd9Sstevel@tonic-gate * 5637c478bd9Sstevel@tonic-gate * Insertions can only be done at empty leaf points in the tree, therefore 5647c478bd9Sstevel@tonic-gate * if the given child of the node is already present we move to either 5657c478bd9Sstevel@tonic-gate * the AVL_PREV or AVL_NEXT and reverse the insertion direction. Since 5667c478bd9Sstevel@tonic-gate * every other node in the tree is a leaf, this always works. 5677c478bd9Sstevel@tonic-gate * 5687c478bd9Sstevel@tonic-gate * To help developers using this interface, we assert that the new node 5697c478bd9Sstevel@tonic-gate * is correctly ordered at every step of the way in DEBUG kernels. 5707c478bd9Sstevel@tonic-gate */ 5717c478bd9Sstevel@tonic-gate void 5727c478bd9Sstevel@tonic-gate avl_insert_here( 5737c478bd9Sstevel@tonic-gate avl_tree_t *tree, 5747c478bd9Sstevel@tonic-gate void *new_data, 5757c478bd9Sstevel@tonic-gate void *here, 5767c478bd9Sstevel@tonic-gate int direction) 5777c478bd9Sstevel@tonic-gate { 5787c478bd9Sstevel@tonic-gate avl_node_t *node; 5797c478bd9Sstevel@tonic-gate int child = direction; /* rely on AVL_BEFORE == 0, AVL_AFTER == 1 */ 580208e825dSsommerfe #ifdef DEBUG 581208e825dSsommerfe int diff; 582208e825dSsommerfe #endif 5837c478bd9Sstevel@tonic-gate 5847c478bd9Sstevel@tonic-gate ASSERT(tree != NULL); 5857c478bd9Sstevel@tonic-gate ASSERT(new_data != NULL); 5867c478bd9Sstevel@tonic-gate ASSERT(here != NULL); 5877c478bd9Sstevel@tonic-gate ASSERT(direction == AVL_BEFORE || direction == AVL_AFTER); 5887c478bd9Sstevel@tonic-gate 5897c478bd9Sstevel@tonic-gate /* 5907c478bd9Sstevel@tonic-gate * If corresponding child of node is not NULL, go to the neighboring 5917c478bd9Sstevel@tonic-gate * node and reverse the insertion direction. 5927c478bd9Sstevel@tonic-gate */ 5937c478bd9Sstevel@tonic-gate node = AVL_DATA2NODE(here, tree->avl_offset); 594208e825dSsommerfe 595208e825dSsommerfe #ifdef DEBUG 596208e825dSsommerfe diff = tree->avl_compar(new_data, here); 597208e825dSsommerfe ASSERT(-1 <= diff && diff <= 1); 598208e825dSsommerfe ASSERT(diff != 0); 599208e825dSsommerfe ASSERT(diff > 0 ? child == 1 : child == 0); 600208e825dSsommerfe #endif 6017c478bd9Sstevel@tonic-gate 6027c478bd9Sstevel@tonic-gate if (node->avl_child[child] != NULL) { 6037c478bd9Sstevel@tonic-gate node = node->avl_child[child]; 6047c478bd9Sstevel@tonic-gate child = 1 - child; 6057c478bd9Sstevel@tonic-gate while (node->avl_child[child] != NULL) { 606208e825dSsommerfe #ifdef DEBUG 607208e825dSsommerfe diff = tree->avl_compar(new_data, 608208e825dSsommerfe AVL_NODE2DATA(node, tree->avl_offset)); 609208e825dSsommerfe ASSERT(-1 <= diff && diff <= 1); 610208e825dSsommerfe ASSERT(diff != 0); 611208e825dSsommerfe ASSERT(diff > 0 ? child == 1 : child == 0); 612208e825dSsommerfe #endif 6137c478bd9Sstevel@tonic-gate node = node->avl_child[child]; 6147c478bd9Sstevel@tonic-gate } 615208e825dSsommerfe #ifdef DEBUG 616208e825dSsommerfe diff = tree->avl_compar(new_data, 617208e825dSsommerfe AVL_NODE2DATA(node, tree->avl_offset)); 618208e825dSsommerfe ASSERT(-1 <= diff && diff <= 1); 619208e825dSsommerfe ASSERT(diff != 0); 620208e825dSsommerfe ASSERT(diff > 0 ? child == 1 : child == 0); 621208e825dSsommerfe #endif 6227c478bd9Sstevel@tonic-gate } 6237c478bd9Sstevel@tonic-gate ASSERT(node->avl_child[child] == NULL); 6247c478bd9Sstevel@tonic-gate 6257c478bd9Sstevel@tonic-gate avl_insert(tree, new_data, AVL_MKINDEX(node, child)); 6267c478bd9Sstevel@tonic-gate } 6277c478bd9Sstevel@tonic-gate 6287c478bd9Sstevel@tonic-gate /* 629fa9e4066Sahrens * Add a new node to an AVL tree. 630fa9e4066Sahrens */ 631fa9e4066Sahrens void 632fa9e4066Sahrens avl_add(avl_tree_t *tree, void *new_node) 633fa9e4066Sahrens { 634fa9e4066Sahrens avl_index_t where; 635fa9e4066Sahrens 636fa9e4066Sahrens /* 637fa9e4066Sahrens * This is unfortunate. We want to call panic() here, even for 638fa9e4066Sahrens * non-DEBUG kernels. In userland, however, we can't depend on anything 639*faa2b6beSJosef 'Jeff' Sipek * in libc or else the rtld build process gets confused. 640*faa2b6beSJosef 'Jeff' Sipek * Thankfully, rtld provides us with its own assfail() so we can use 641*faa2b6beSJosef 'Jeff' Sipek * that here. We use assfail() directly to get a nice error message 642*faa2b6beSJosef 'Jeff' Sipek * in the core - much like what panic() does for crashdumps. 643fa9e4066Sahrens */ 644fa9e4066Sahrens if (avl_find(tree, new_node, &where) != NULL) 645fa9e4066Sahrens #ifdef _KERNEL 646fa9e4066Sahrens panic("avl_find() succeeded inside avl_add()"); 647fa9e4066Sahrens #else 648*faa2b6beSJosef 'Jeff' Sipek (void) assfail("avl_find() succeeded inside avl_add()", 649*faa2b6beSJosef 'Jeff' Sipek __FILE__, __LINE__); 650fa9e4066Sahrens #endif 651fa9e4066Sahrens avl_insert(tree, new_node, where); 652fa9e4066Sahrens } 653fa9e4066Sahrens 654fa9e4066Sahrens /* 6557c478bd9Sstevel@tonic-gate * Delete a node from the AVL tree. Deletion is similar to insertion, but 6567c478bd9Sstevel@tonic-gate * with 2 complications. 6577c478bd9Sstevel@tonic-gate * 6587c478bd9Sstevel@tonic-gate * First, we may be deleting an interior node. Consider the following subtree: 6597c478bd9Sstevel@tonic-gate * 6607c478bd9Sstevel@tonic-gate * d c c 6617c478bd9Sstevel@tonic-gate * / \ / \ / \ 6627c478bd9Sstevel@tonic-gate * b e b e b e 6637c478bd9Sstevel@tonic-gate * / \ / \ / 6647c478bd9Sstevel@tonic-gate * a c a a 6657c478bd9Sstevel@tonic-gate * 6667c478bd9Sstevel@tonic-gate * When we are deleting node (d), we find and bring up an adjacent valued leaf 6677c478bd9Sstevel@tonic-gate * node, say (c), to take the interior node's place. In the code this is 6687c478bd9Sstevel@tonic-gate * handled by temporarily swapping (d) and (c) in the tree and then using 6697c478bd9Sstevel@tonic-gate * common code to delete (d) from the leaf position. 6707c478bd9Sstevel@tonic-gate * 6717c478bd9Sstevel@tonic-gate * Secondly, an interior deletion from a deep tree may require more than one 6727c478bd9Sstevel@tonic-gate * rotation to fix the balance. This is handled by moving up the tree through 6737c478bd9Sstevel@tonic-gate * parents and applying rotations as needed. The return value from 6747c478bd9Sstevel@tonic-gate * avl_rotation() is used to detect when a subtree did not change overall 6757c478bd9Sstevel@tonic-gate * height due to a rotation. 6767c478bd9Sstevel@tonic-gate */ 6777c478bd9Sstevel@tonic-gate void 6787c478bd9Sstevel@tonic-gate avl_remove(avl_tree_t *tree, void *data) 6797c478bd9Sstevel@tonic-gate { 6807c478bd9Sstevel@tonic-gate avl_node_t *delete; 6817c478bd9Sstevel@tonic-gate avl_node_t *parent; 6827c478bd9Sstevel@tonic-gate avl_node_t *node; 6837c478bd9Sstevel@tonic-gate avl_node_t tmp; 6847c478bd9Sstevel@tonic-gate int old_balance; 6857c478bd9Sstevel@tonic-gate int new_balance; 6867c478bd9Sstevel@tonic-gate int left; 6877c478bd9Sstevel@tonic-gate int right; 6887c478bd9Sstevel@tonic-gate int which_child; 6897c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 6907c478bd9Sstevel@tonic-gate 6917c478bd9Sstevel@tonic-gate ASSERT(tree); 6927c478bd9Sstevel@tonic-gate 6937c478bd9Sstevel@tonic-gate delete = AVL_DATA2NODE(data, off); 6947c478bd9Sstevel@tonic-gate 6957c478bd9Sstevel@tonic-gate /* 6967c478bd9Sstevel@tonic-gate * Deletion is easiest with a node that has at most 1 child. 6977c478bd9Sstevel@tonic-gate * We swap a node with 2 children with a sequentially valued 6987c478bd9Sstevel@tonic-gate * neighbor node. That node will have at most 1 child. Note this 6997c478bd9Sstevel@tonic-gate * has no effect on the ordering of the remaining nodes. 7007c478bd9Sstevel@tonic-gate * 7017c478bd9Sstevel@tonic-gate * As an optimization, we choose the greater neighbor if the tree 7027c478bd9Sstevel@tonic-gate * is right heavy, otherwise the left neighbor. This reduces the 7037c478bd9Sstevel@tonic-gate * number of rotations needed. 7047c478bd9Sstevel@tonic-gate */ 7057c478bd9Sstevel@tonic-gate if (delete->avl_child[0] != NULL && delete->avl_child[1] != NULL) { 7067c478bd9Sstevel@tonic-gate 7077c478bd9Sstevel@tonic-gate /* 7087c478bd9Sstevel@tonic-gate * choose node to swap from whichever side is taller 7097c478bd9Sstevel@tonic-gate */ 7107c478bd9Sstevel@tonic-gate old_balance = AVL_XBALANCE(delete); 7117c478bd9Sstevel@tonic-gate left = avl_balance2child[old_balance + 1]; 7127c478bd9Sstevel@tonic-gate right = 1 - left; 7137c478bd9Sstevel@tonic-gate 7147c478bd9Sstevel@tonic-gate /* 7157c478bd9Sstevel@tonic-gate * get to the previous value'd node 7167c478bd9Sstevel@tonic-gate * (down 1 left, as far as possible right) 7177c478bd9Sstevel@tonic-gate */ 7187c478bd9Sstevel@tonic-gate for (node = delete->avl_child[left]; 7197c478bd9Sstevel@tonic-gate node->avl_child[right] != NULL; 7207c478bd9Sstevel@tonic-gate node = node->avl_child[right]) 7217c478bd9Sstevel@tonic-gate ; 7227c478bd9Sstevel@tonic-gate 7237c478bd9Sstevel@tonic-gate /* 7247c478bd9Sstevel@tonic-gate * create a temp placeholder for 'node' 7257c478bd9Sstevel@tonic-gate * move 'node' to delete's spot in the tree 7267c478bd9Sstevel@tonic-gate */ 7277c478bd9Sstevel@tonic-gate tmp = *node; 7287c478bd9Sstevel@tonic-gate 7297c478bd9Sstevel@tonic-gate *node = *delete; 7307c478bd9Sstevel@tonic-gate if (node->avl_child[left] == node) 7317c478bd9Sstevel@tonic-gate node->avl_child[left] = &tmp; 7327c478bd9Sstevel@tonic-gate 7337c478bd9Sstevel@tonic-gate parent = AVL_XPARENT(node); 7347c478bd9Sstevel@tonic-gate if (parent != NULL) 7357c478bd9Sstevel@tonic-gate parent->avl_child[AVL_XCHILD(node)] = node; 7367c478bd9Sstevel@tonic-gate else 7377c478bd9Sstevel@tonic-gate tree->avl_root = node; 7387c478bd9Sstevel@tonic-gate AVL_SETPARENT(node->avl_child[left], node); 7397c478bd9Sstevel@tonic-gate AVL_SETPARENT(node->avl_child[right], node); 7407c478bd9Sstevel@tonic-gate 7417c478bd9Sstevel@tonic-gate /* 7427c478bd9Sstevel@tonic-gate * Put tmp where node used to be (just temporary). 7437c478bd9Sstevel@tonic-gate * It always has a parent and at most 1 child. 7447c478bd9Sstevel@tonic-gate */ 7457c478bd9Sstevel@tonic-gate delete = &tmp; 7467c478bd9Sstevel@tonic-gate parent = AVL_XPARENT(delete); 7477c478bd9Sstevel@tonic-gate parent->avl_child[AVL_XCHILD(delete)] = delete; 7487c478bd9Sstevel@tonic-gate which_child = (delete->avl_child[1] != 0); 7497c478bd9Sstevel@tonic-gate if (delete->avl_child[which_child] != NULL) 7507c478bd9Sstevel@tonic-gate AVL_SETPARENT(delete->avl_child[which_child], delete); 7517c478bd9Sstevel@tonic-gate } 7527c478bd9Sstevel@tonic-gate 7537c478bd9Sstevel@tonic-gate 7547c478bd9Sstevel@tonic-gate /* 7557c478bd9Sstevel@tonic-gate * Here we know "delete" is at least partially a leaf node. It can 7567c478bd9Sstevel@tonic-gate * be easily removed from the tree. 7577c478bd9Sstevel@tonic-gate */ 758208e825dSsommerfe ASSERT(tree->avl_numnodes > 0); 7597c478bd9Sstevel@tonic-gate --tree->avl_numnodes; 7607c478bd9Sstevel@tonic-gate parent = AVL_XPARENT(delete); 7617c478bd9Sstevel@tonic-gate which_child = AVL_XCHILD(delete); 7627c478bd9Sstevel@tonic-gate if (delete->avl_child[0] != NULL) 7637c478bd9Sstevel@tonic-gate node = delete->avl_child[0]; 7647c478bd9Sstevel@tonic-gate else 7657c478bd9Sstevel@tonic-gate node = delete->avl_child[1]; 7667c478bd9Sstevel@tonic-gate 7677c478bd9Sstevel@tonic-gate /* 7687c478bd9Sstevel@tonic-gate * Connect parent directly to node (leaving out delete). 7697c478bd9Sstevel@tonic-gate */ 7707c478bd9Sstevel@tonic-gate if (node != NULL) { 7717c478bd9Sstevel@tonic-gate AVL_SETPARENT(node, parent); 7727c478bd9Sstevel@tonic-gate AVL_SETCHILD(node, which_child); 7737c478bd9Sstevel@tonic-gate } 7747c478bd9Sstevel@tonic-gate if (parent == NULL) { 7757c478bd9Sstevel@tonic-gate tree->avl_root = node; 7767c478bd9Sstevel@tonic-gate return; 7777c478bd9Sstevel@tonic-gate } 7787c478bd9Sstevel@tonic-gate parent->avl_child[which_child] = node; 7797c478bd9Sstevel@tonic-gate 7807c478bd9Sstevel@tonic-gate 7817c478bd9Sstevel@tonic-gate /* 7827c478bd9Sstevel@tonic-gate * Since the subtree is now shorter, begin adjusting parent balances 7837c478bd9Sstevel@tonic-gate * and performing any needed rotations. 7847c478bd9Sstevel@tonic-gate */ 7857c478bd9Sstevel@tonic-gate do { 7867c478bd9Sstevel@tonic-gate 7877c478bd9Sstevel@tonic-gate /* 7887c478bd9Sstevel@tonic-gate * Move up the tree and adjust the balance 7897c478bd9Sstevel@tonic-gate * 7907c478bd9Sstevel@tonic-gate * Capture the parent and which_child values for the next 7917c478bd9Sstevel@tonic-gate * iteration before any rotations occur. 7927c478bd9Sstevel@tonic-gate */ 7937c478bd9Sstevel@tonic-gate node = parent; 7947c478bd9Sstevel@tonic-gate old_balance = AVL_XBALANCE(node); 7957c478bd9Sstevel@tonic-gate new_balance = old_balance - avl_child2balance[which_child]; 7967c478bd9Sstevel@tonic-gate parent = AVL_XPARENT(node); 7977c478bd9Sstevel@tonic-gate which_child = AVL_XCHILD(node); 7987c478bd9Sstevel@tonic-gate 7997c478bd9Sstevel@tonic-gate /* 8007c478bd9Sstevel@tonic-gate * If a node was in perfect balance but isn't anymore then 8017c478bd9Sstevel@tonic-gate * we can stop, since the height didn't change above this point 8027c478bd9Sstevel@tonic-gate * due to a deletion. 8037c478bd9Sstevel@tonic-gate */ 8047c478bd9Sstevel@tonic-gate if (old_balance == 0) { 8057c478bd9Sstevel@tonic-gate AVL_SETBALANCE(node, new_balance); 8067c478bd9Sstevel@tonic-gate break; 8077c478bd9Sstevel@tonic-gate } 8087c478bd9Sstevel@tonic-gate 8097c478bd9Sstevel@tonic-gate /* 8107c478bd9Sstevel@tonic-gate * If the new balance is zero, we don't need to rotate 8117c478bd9Sstevel@tonic-gate * else 8127c478bd9Sstevel@tonic-gate * need a rotation to fix the balance. 8137c478bd9Sstevel@tonic-gate * If the rotation doesn't change the height 8147c478bd9Sstevel@tonic-gate * of the sub-tree we have finished adjusting. 8157c478bd9Sstevel@tonic-gate */ 8167c478bd9Sstevel@tonic-gate if (new_balance == 0) 8177c478bd9Sstevel@tonic-gate AVL_SETBALANCE(node, new_balance); 8187c478bd9Sstevel@tonic-gate else if (!avl_rotation(tree, node, new_balance)) 8197c478bd9Sstevel@tonic-gate break; 8207c478bd9Sstevel@tonic-gate } while (parent != NULL); 8217c478bd9Sstevel@tonic-gate } 8227c478bd9Sstevel@tonic-gate 823b5fca8f8Stomee #define AVL_REINSERT(tree, obj) \ 824b5fca8f8Stomee avl_remove((tree), (obj)); \ 825b5fca8f8Stomee avl_add((tree), (obj)) 826b5fca8f8Stomee 827b5fca8f8Stomee boolean_t 828b5fca8f8Stomee avl_update_lt(avl_tree_t *t, void *obj) 829b5fca8f8Stomee { 830b5fca8f8Stomee void *neighbor; 831b5fca8f8Stomee 832b5fca8f8Stomee ASSERT(((neighbor = AVL_NEXT(t, obj)) == NULL) || 833b5fca8f8Stomee (t->avl_compar(obj, neighbor) <= 0)); 834b5fca8f8Stomee 835b5fca8f8Stomee neighbor = AVL_PREV(t, obj); 836b5fca8f8Stomee if ((neighbor != NULL) && (t->avl_compar(obj, neighbor) < 0)) { 837b5fca8f8Stomee AVL_REINSERT(t, obj); 838b5fca8f8Stomee return (B_TRUE); 839b5fca8f8Stomee } 840b5fca8f8Stomee 841b5fca8f8Stomee return (B_FALSE); 842b5fca8f8Stomee } 843b5fca8f8Stomee 844b5fca8f8Stomee boolean_t 845b5fca8f8Stomee avl_update_gt(avl_tree_t *t, void *obj) 846b5fca8f8Stomee { 847b5fca8f8Stomee void *neighbor; 848b5fca8f8Stomee 849b5fca8f8Stomee ASSERT(((neighbor = AVL_PREV(t, obj)) == NULL) || 850b5fca8f8Stomee (t->avl_compar(obj, neighbor) >= 0)); 851b5fca8f8Stomee 852b5fca8f8Stomee neighbor = AVL_NEXT(t, obj); 853b5fca8f8Stomee if ((neighbor != NULL) && (t->avl_compar(obj, neighbor) > 0)) { 854b5fca8f8Stomee AVL_REINSERT(t, obj); 855b5fca8f8Stomee return (B_TRUE); 856b5fca8f8Stomee } 857b5fca8f8Stomee 858b5fca8f8Stomee return (B_FALSE); 859b5fca8f8Stomee } 860b5fca8f8Stomee 861b5fca8f8Stomee boolean_t 862b5fca8f8Stomee avl_update(avl_tree_t *t, void *obj) 863b5fca8f8Stomee { 864b5fca8f8Stomee void *neighbor; 865b5fca8f8Stomee 866b5fca8f8Stomee neighbor = AVL_PREV(t, obj); 867b5fca8f8Stomee if ((neighbor != NULL) && (t->avl_compar(obj, neighbor) < 0)) { 868b5fca8f8Stomee AVL_REINSERT(t, obj); 869b5fca8f8Stomee return (B_TRUE); 870b5fca8f8Stomee } 871b5fca8f8Stomee 872b5fca8f8Stomee neighbor = AVL_NEXT(t, obj); 873b5fca8f8Stomee if ((neighbor != NULL) && (t->avl_compar(obj, neighbor) > 0)) { 874b5fca8f8Stomee AVL_REINSERT(t, obj); 875b5fca8f8Stomee return (B_TRUE); 876b5fca8f8Stomee } 877b5fca8f8Stomee 878b5fca8f8Stomee return (B_FALSE); 879b5fca8f8Stomee } 880b5fca8f8Stomee 8810f6d88adSAlex Reece void 8820f6d88adSAlex Reece avl_swap(avl_tree_t *tree1, avl_tree_t *tree2) 8830f6d88adSAlex Reece { 8840f6d88adSAlex Reece avl_node_t *temp_node; 8850f6d88adSAlex Reece ulong_t temp_numnodes; 8860f6d88adSAlex Reece 8870f6d88adSAlex Reece ASSERT3P(tree1->avl_compar, ==, tree2->avl_compar); 8880f6d88adSAlex Reece ASSERT3U(tree1->avl_offset, ==, tree2->avl_offset); 8890f6d88adSAlex Reece ASSERT3U(tree1->avl_size, ==, tree2->avl_size); 8900f6d88adSAlex Reece 8910f6d88adSAlex Reece temp_node = tree1->avl_root; 8920f6d88adSAlex Reece temp_numnodes = tree1->avl_numnodes; 8930f6d88adSAlex Reece tree1->avl_root = tree2->avl_root; 8940f6d88adSAlex Reece tree1->avl_numnodes = tree2->avl_numnodes; 8950f6d88adSAlex Reece tree2->avl_root = temp_node; 8960f6d88adSAlex Reece tree2->avl_numnodes = temp_numnodes; 8970f6d88adSAlex Reece } 8980f6d88adSAlex Reece 8997c478bd9Sstevel@tonic-gate /* 9007c478bd9Sstevel@tonic-gate * initialize a new AVL tree 9017c478bd9Sstevel@tonic-gate */ 9027c478bd9Sstevel@tonic-gate void 9037c478bd9Sstevel@tonic-gate avl_create(avl_tree_t *tree, int (*compar) (const void *, const void *), 9047c478bd9Sstevel@tonic-gate size_t size, size_t offset) 9057c478bd9Sstevel@tonic-gate { 9067c478bd9Sstevel@tonic-gate ASSERT(tree); 9077c478bd9Sstevel@tonic-gate ASSERT(compar); 9087c478bd9Sstevel@tonic-gate ASSERT(size > 0); 9097c478bd9Sstevel@tonic-gate ASSERT(size >= offset + sizeof (avl_node_t)); 9107c478bd9Sstevel@tonic-gate #ifdef _LP64 9117c478bd9Sstevel@tonic-gate ASSERT((offset & 0x7) == 0); 9127c478bd9Sstevel@tonic-gate #endif 9137c478bd9Sstevel@tonic-gate 9147c478bd9Sstevel@tonic-gate tree->avl_compar = compar; 9157c478bd9Sstevel@tonic-gate tree->avl_root = NULL; 9167c478bd9Sstevel@tonic-gate tree->avl_numnodes = 0; 9177c478bd9Sstevel@tonic-gate tree->avl_size = size; 9187c478bd9Sstevel@tonic-gate tree->avl_offset = offset; 9197c478bd9Sstevel@tonic-gate } 9207c478bd9Sstevel@tonic-gate 9217c478bd9Sstevel@tonic-gate /* 9227c478bd9Sstevel@tonic-gate * Delete a tree. 9237c478bd9Sstevel@tonic-gate */ 9247c478bd9Sstevel@tonic-gate /* ARGSUSED */ 9257c478bd9Sstevel@tonic-gate void 9267c478bd9Sstevel@tonic-gate avl_destroy(avl_tree_t *tree) 9277c478bd9Sstevel@tonic-gate { 9287c478bd9Sstevel@tonic-gate ASSERT(tree); 9297c478bd9Sstevel@tonic-gate ASSERT(tree->avl_numnodes == 0); 9307c478bd9Sstevel@tonic-gate ASSERT(tree->avl_root == NULL); 9317c478bd9Sstevel@tonic-gate } 9327c478bd9Sstevel@tonic-gate 9337c478bd9Sstevel@tonic-gate 9347c478bd9Sstevel@tonic-gate /* 9357c478bd9Sstevel@tonic-gate * Return the number of nodes in an AVL tree. 9367c478bd9Sstevel@tonic-gate */ 9377c478bd9Sstevel@tonic-gate ulong_t 9387c478bd9Sstevel@tonic-gate avl_numnodes(avl_tree_t *tree) 9397c478bd9Sstevel@tonic-gate { 9407c478bd9Sstevel@tonic-gate ASSERT(tree); 9417c478bd9Sstevel@tonic-gate return (tree->avl_numnodes); 9427c478bd9Sstevel@tonic-gate } 9437c478bd9Sstevel@tonic-gate 944b5fca8f8Stomee boolean_t 945b5fca8f8Stomee avl_is_empty(avl_tree_t *tree) 946b5fca8f8Stomee { 947b5fca8f8Stomee ASSERT(tree); 948b5fca8f8Stomee return (tree->avl_numnodes == 0); 949b5fca8f8Stomee } 9507c478bd9Sstevel@tonic-gate 9517c478bd9Sstevel@tonic-gate #define CHILDBIT (1L) 9527c478bd9Sstevel@tonic-gate 9537c478bd9Sstevel@tonic-gate /* 9547c478bd9Sstevel@tonic-gate * Post-order tree walk used to visit all tree nodes and destroy the tree 9556907ca4bSJosef 'Jeff' Sipek * in post order. This is used for destroying a tree without paying any cost 9567c478bd9Sstevel@tonic-gate * for rebalancing it. 9577c478bd9Sstevel@tonic-gate * 9587c478bd9Sstevel@tonic-gate * example: 9597c478bd9Sstevel@tonic-gate * 9607c478bd9Sstevel@tonic-gate * void *cookie = NULL; 9617c478bd9Sstevel@tonic-gate * my_data_t *node; 9627c478bd9Sstevel@tonic-gate * 9637c478bd9Sstevel@tonic-gate * while ((node = avl_destroy_nodes(tree, &cookie)) != NULL) 9647c478bd9Sstevel@tonic-gate * free(node); 9657c478bd9Sstevel@tonic-gate * avl_destroy(tree); 9667c478bd9Sstevel@tonic-gate * 9677c478bd9Sstevel@tonic-gate * The cookie is really an avl_node_t to the current node's parent and 9687c478bd9Sstevel@tonic-gate * an indication of which child you looked at last. 9697c478bd9Sstevel@tonic-gate * 9707c478bd9Sstevel@tonic-gate * On input, a cookie value of CHILDBIT indicates the tree is done. 9717c478bd9Sstevel@tonic-gate */ 9727c478bd9Sstevel@tonic-gate void * 9737c478bd9Sstevel@tonic-gate avl_destroy_nodes(avl_tree_t *tree, void **cookie) 9747c478bd9Sstevel@tonic-gate { 9757c478bd9Sstevel@tonic-gate avl_node_t *node; 9767c478bd9Sstevel@tonic-gate avl_node_t *parent; 9777c478bd9Sstevel@tonic-gate int child; 9787c478bd9Sstevel@tonic-gate void *first; 9797c478bd9Sstevel@tonic-gate size_t off = tree->avl_offset; 9807c478bd9Sstevel@tonic-gate 9817c478bd9Sstevel@tonic-gate /* 9827c478bd9Sstevel@tonic-gate * Initial calls go to the first node or it's right descendant. 9837c478bd9Sstevel@tonic-gate */ 9847c478bd9Sstevel@tonic-gate if (*cookie == NULL) { 9857c478bd9Sstevel@tonic-gate first = avl_first(tree); 9867c478bd9Sstevel@tonic-gate 9877c478bd9Sstevel@tonic-gate /* 9887c478bd9Sstevel@tonic-gate * deal with an empty tree 9897c478bd9Sstevel@tonic-gate */ 9907c478bd9Sstevel@tonic-gate if (first == NULL) { 9917c478bd9Sstevel@tonic-gate *cookie = (void *)CHILDBIT; 9927c478bd9Sstevel@tonic-gate return (NULL); 9937c478bd9Sstevel@tonic-gate } 9947c478bd9Sstevel@tonic-gate 9957c478bd9Sstevel@tonic-gate node = AVL_DATA2NODE(first, off); 9967c478bd9Sstevel@tonic-gate parent = AVL_XPARENT(node); 9977c478bd9Sstevel@tonic-gate goto check_right_side; 9987c478bd9Sstevel@tonic-gate } 9997c478bd9Sstevel@tonic-gate 10007c478bd9Sstevel@tonic-gate /* 10017c478bd9Sstevel@tonic-gate * If there is no parent to return to we are done. 10027c478bd9Sstevel@tonic-gate */ 10037c478bd9Sstevel@tonic-gate parent = (avl_node_t *)((uintptr_t)(*cookie) & ~CHILDBIT); 10047c478bd9Sstevel@tonic-gate if (parent == NULL) { 10057c478bd9Sstevel@tonic-gate if (tree->avl_root != NULL) { 10067c478bd9Sstevel@tonic-gate ASSERT(tree->avl_numnodes == 1); 10077c478bd9Sstevel@tonic-gate tree->avl_root = NULL; 10087c478bd9Sstevel@tonic-gate tree->avl_numnodes = 0; 10097c478bd9Sstevel@tonic-gate } 10107c478bd9Sstevel@tonic-gate return (NULL); 10117c478bd9Sstevel@tonic-gate } 10127c478bd9Sstevel@tonic-gate 10137c478bd9Sstevel@tonic-gate /* 10147c478bd9Sstevel@tonic-gate * Remove the child pointer we just visited from the parent and tree. 10157c478bd9Sstevel@tonic-gate */ 10167c478bd9Sstevel@tonic-gate child = (uintptr_t)(*cookie) & CHILDBIT; 10177c478bd9Sstevel@tonic-gate parent->avl_child[child] = NULL; 10187c478bd9Sstevel@tonic-gate ASSERT(tree->avl_numnodes > 1); 10197c478bd9Sstevel@tonic-gate --tree->avl_numnodes; 10207c478bd9Sstevel@tonic-gate 10217c478bd9Sstevel@tonic-gate /* 10227c478bd9Sstevel@tonic-gate * If we just did a right child or there isn't one, go up to parent. 10237c478bd9Sstevel@tonic-gate */ 10247c478bd9Sstevel@tonic-gate if (child == 1 || parent->avl_child[1] == NULL) { 10257c478bd9Sstevel@tonic-gate node = parent; 10267c478bd9Sstevel@tonic-gate parent = AVL_XPARENT(parent); 10277c478bd9Sstevel@tonic-gate goto done; 10287c478bd9Sstevel@tonic-gate } 10297c478bd9Sstevel@tonic-gate 10307c478bd9Sstevel@tonic-gate /* 10317c478bd9Sstevel@tonic-gate * Do parent's right child, then leftmost descendent. 10327c478bd9Sstevel@tonic-gate */ 10337c478bd9Sstevel@tonic-gate node = parent->avl_child[1]; 10347c478bd9Sstevel@tonic-gate while (node->avl_child[0] != NULL) { 10357c478bd9Sstevel@tonic-gate parent = node; 10367c478bd9Sstevel@tonic-gate node = node->avl_child[0]; 10377c478bd9Sstevel@tonic-gate } 10387c478bd9Sstevel@tonic-gate 10397c478bd9Sstevel@tonic-gate /* 10407c478bd9Sstevel@tonic-gate * If here, we moved to a left child. It may have one 10417c478bd9Sstevel@tonic-gate * child on the right (when balance == +1). 10427c478bd9Sstevel@tonic-gate */ 10437c478bd9Sstevel@tonic-gate check_right_side: 10447c478bd9Sstevel@tonic-gate if (node->avl_child[1] != NULL) { 10457c478bd9Sstevel@tonic-gate ASSERT(AVL_XBALANCE(node) == 1); 10467c478bd9Sstevel@tonic-gate parent = node; 10477c478bd9Sstevel@tonic-gate node = node->avl_child[1]; 10487c478bd9Sstevel@tonic-gate ASSERT(node->avl_child[0] == NULL && 10497c478bd9Sstevel@tonic-gate node->avl_child[1] == NULL); 10507c478bd9Sstevel@tonic-gate } else { 10517c478bd9Sstevel@tonic-gate ASSERT(AVL_XBALANCE(node) <= 0); 10527c478bd9Sstevel@tonic-gate } 10537c478bd9Sstevel@tonic-gate 10547c478bd9Sstevel@tonic-gate done: 10557c478bd9Sstevel@tonic-gate if (parent == NULL) { 10567c478bd9Sstevel@tonic-gate *cookie = (void *)CHILDBIT; 10577c478bd9Sstevel@tonic-gate ASSERT(node == tree->avl_root); 10587c478bd9Sstevel@tonic-gate } else { 10597c478bd9Sstevel@tonic-gate *cookie = (void *)((uintptr_t)parent | AVL_XCHILD(node)); 10607c478bd9Sstevel@tonic-gate } 10617c478bd9Sstevel@tonic-gate 10627c478bd9Sstevel@tonic-gate return (AVL_NODE2DATA(node, off)); 10637c478bd9Sstevel@tonic-gate } 1064