1 1.18 riastrad /* $NetBSD: rbtree.h,v 1.18 2022/02/27 14:18:34 riastradh Exp $ */ 2 1.2 riastrad 3 1.2 riastrad /*- 4 1.2 riastrad * Copyright (c) 2013 The NetBSD Foundation, Inc. 5 1.2 riastrad * All rights reserved. 6 1.2 riastrad * 7 1.2 riastrad * This code is derived from software contributed to The NetBSD Foundation 8 1.2 riastrad * by Taylor R. Campbell. 9 1.2 riastrad * 10 1.2 riastrad * Redistribution and use in source and binary forms, with or without 11 1.2 riastrad * modification, are permitted provided that the following conditions 12 1.2 riastrad * are met: 13 1.2 riastrad * 1. Redistributions of source code must retain the above copyright 14 1.2 riastrad * notice, this list of conditions and the following disclaimer. 15 1.2 riastrad * 2. Redistributions in binary form must reproduce the above copyright 16 1.2 riastrad * notice, this list of conditions and the following disclaimer in the 17 1.2 riastrad * documentation and/or other materials provided with the distribution. 18 1.2 riastrad * 19 1.2 riastrad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 20 1.2 riastrad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 21 1.2 riastrad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 22 1.2 riastrad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 23 1.2 riastrad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 24 1.2 riastrad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 25 1.2 riastrad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 26 1.2 riastrad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 27 1.2 riastrad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 28 1.2 riastrad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 29 1.2 riastrad * POSSIBILITY OF SUCH DAMAGE. 30 1.2 riastrad */ 31 1.2 riastrad 32 1.2 riastrad #ifndef _LINUX_RBTREE_H_ 33 1.2 riastrad #define _LINUX_RBTREE_H_ 34 1.2 riastrad 35 1.3 riastrad #include <sys/rbtree.h> 36 1.3 riastrad 37 1.9 riastrad #include <lib/libkern/libkern.h> 38 1.9 riastrad 39 1.3 riastrad struct rb_root { 40 1.3 riastrad struct rb_tree rbr_tree; 41 1.3 riastrad }; 42 1.3 riastrad 43 1.4 riastrad struct rb_root_cached { 44 1.8 riastrad struct rb_root rb_root; /* Linux API name */ 45 1.4 riastrad }; 46 1.4 riastrad 47 1.9 riastrad #define rb_entry(P, T, F) container_of(P, T, F) 48 1.9 riastrad #define rb_entry_safe(P, T, F) \ 49 1.9 riastrad ({ \ 50 1.9 riastrad __typeof__(P) __p = (P); \ 51 1.9 riastrad __p ? container_of(__p, T, F) : NULL; \ 52 1.9 riastrad }) 53 1.9 riastrad 54 1.14 riastrad /* 55 1.14 riastrad * Several of these functions take const inputs and return non-const 56 1.14 riastrad * outputs. That is a deliberate choice. It would be better if these 57 1.14 riastrad * functions could be const-polymorphic -- return const if given const, 58 1.14 riastrad * return non-const if given non-const -- but C doesn't let us express 59 1.14 riastrad * that. We are using them to adapt Linux code that is defined in 60 1.14 riastrad * terms of token-substitution macros, without types of their own, 61 1.14 riastrad * which happen to work out with both const and non-const variants. 62 1.14 riastrad * Presumably the Linux code compiles upstream and has some level of 63 1.14 riastrad * const type-checking in Linux, so this abuse of __UNCONST does not 64 1.14 riastrad * carry substantial risk over to this code here. 65 1.14 riastrad */ 66 1.14 riastrad 67 1.3 riastrad static inline bool 68 1.14 riastrad RB_EMPTY_ROOT(const struct rb_root *root) 69 1.3 riastrad { 70 1.3 riastrad 71 1.14 riastrad return RB_TREE_MIN(__UNCONST(&root->rbr_tree)) == NULL; 72 1.3 riastrad } 73 1.3 riastrad 74 1.9 riastrad static inline struct rb_node * 75 1.14 riastrad rb_first(const struct rb_root *root) 76 1.10 riastrad { 77 1.14 riastrad char *vnode = RB_TREE_MIN(__UNCONST(&root->rbr_tree)); 78 1.10 riastrad 79 1.10 riastrad if (vnode) 80 1.10 riastrad vnode += root->rbr_tree.rbt_ops->rbto_node_offset; 81 1.10 riastrad return (struct rb_node *)vnode; 82 1.10 riastrad } 83 1.10 riastrad 84 1.10 riastrad static inline struct rb_node * 85 1.14 riastrad rb_next2(const struct rb_root *root, const struct rb_node *rbnode) 86 1.12 riastrad { 87 1.14 riastrad char *vnode = (char *)__UNCONST(rbnode); 88 1.13 riastrad 89 1.13 riastrad vnode -= root->rbr_tree.rbt_ops->rbto_node_offset; 90 1.15 riastrad vnode = RB_TREE_NEXT(__UNCONST(&root->rbr_tree), vnode); 91 1.15 riastrad if (vnode) 92 1.15 riastrad vnode += root->rbr_tree.rbt_ops->rbto_node_offset; 93 1.15 riastrad return (struct rb_node *)vnode; 94 1.11 riastrad } 95 1.11 riastrad 96 1.11 riastrad static inline struct rb_node * 97 1.14 riastrad rb_last(const struct rb_root *root) 98 1.9 riastrad { 99 1.14 riastrad char *vnode = RB_TREE_MAX(__UNCONST(&root->rbr_tree)); 100 1.9 riastrad 101 1.9 riastrad if (vnode) 102 1.10 riastrad vnode += root->rbr_tree.rbt_ops->rbto_node_offset; 103 1.9 riastrad return (struct rb_node *)vnode; 104 1.9 riastrad } 105 1.9 riastrad 106 1.10 riastrad static inline struct rb_node * 107 1.14 riastrad rb_first_cached(const struct rb_root_cached *root) 108 1.10 riastrad { 109 1.10 riastrad return rb_first(&root->rb_root); 110 1.10 riastrad } 111 1.10 riastrad 112 1.5 riastrad static inline void 113 1.6 riastrad rb_erase(struct rb_node *rbnode, struct rb_root *root) 114 1.5 riastrad { 115 1.5 riastrad struct rb_tree *tree = &root->rbr_tree; 116 1.5 riastrad void *node = (char *)rbnode - tree->rbt_ops->rbto_node_offset; 117 1.5 riastrad 118 1.5 riastrad rb_tree_remove_node(tree, node); 119 1.5 riastrad } 120 1.5 riastrad 121 1.5 riastrad static inline void 122 1.6 riastrad rb_erase_cached(struct rb_node *rbnode, struct rb_root_cached *root) 123 1.5 riastrad { 124 1.8 riastrad rb_erase(rbnode, &root->rb_root); 125 1.5 riastrad } 126 1.5 riastrad 127 1.9 riastrad static inline void 128 1.9 riastrad rb_replace_node(struct rb_node *old, struct rb_node *new, struct rb_root *root) 129 1.9 riastrad { 130 1.9 riastrad void *vold = (char *)old - root->rbr_tree.rbt_ops->rbto_node_offset; 131 1.9 riastrad void *vnew = (char *)new - root->rbr_tree.rbt_ops->rbto_node_offset; 132 1.9 riastrad void *collision __diagused; 133 1.9 riastrad 134 1.9 riastrad rb_tree_remove_node(&root->rbr_tree, vold); 135 1.9 riastrad collision = rb_tree_insert_node(&root->rbr_tree, vnew); 136 1.9 riastrad KASSERT(collision == vnew); 137 1.9 riastrad } 138 1.9 riastrad 139 1.9 riastrad static inline void 140 1.9 riastrad rb_replace_node_cached(struct rb_node *old, struct rb_node *new, 141 1.9 riastrad struct rb_root_cached *root) 142 1.9 riastrad { 143 1.9 riastrad rb_replace_node(old, new, &root->rb_root); 144 1.9 riastrad } 145 1.9 riastrad 146 1.7 riastrad /* 147 1.17 riastrad * This violates the abstraction of rbtree(3) for postorder traversal 148 1.17 riastrad * -- children first, then parents -- so it is safe for cleanup code 149 1.17 riastrad * that just frees all the nodes without removing them from the tree. 150 1.7 riastrad */ 151 1.17 riastrad static inline struct rb_node * 152 1.17 riastrad rb_first_postorder(const struct rb_root *root) 153 1.17 riastrad { 154 1.17 riastrad struct rb_node *node, *child; 155 1.17 riastrad 156 1.17 riastrad if ((node = root->rbr_tree.rbt_root) == NULL) 157 1.17 riastrad return NULL; 158 1.17 riastrad for (;; node = child) { 159 1.17 riastrad if ((child = node->rb_left) != NULL) 160 1.17 riastrad continue; 161 1.17 riastrad if ((child = node->rb_right) != NULL) 162 1.17 riastrad continue; 163 1.17 riastrad return node; 164 1.17 riastrad } 165 1.17 riastrad } 166 1.17 riastrad 167 1.17 riastrad static inline struct rb_node * 168 1.17 riastrad rb_next2_postorder(const struct rb_root *root, struct rb_node *node) 169 1.17 riastrad { 170 1.17 riastrad struct rb_node *parent, *child; 171 1.17 riastrad 172 1.17 riastrad if (node == NULL) 173 1.17 riastrad return NULL; 174 1.17 riastrad 175 1.17 riastrad /* 176 1.17 riastrad * If we're at the root, there are no more siblings and no 177 1.17 riastrad * parent, so post-order iteration is done. 178 1.17 riastrad */ 179 1.17 riastrad if (RB_ROOT_P(&root->rbr_tree, node)) 180 1.17 riastrad return NULL; 181 1.17 riastrad parent = RB_FATHER(node); /* kinda sexist, innit */ 182 1.17 riastrad KASSERT(parent != NULL); 183 1.17 riastrad 184 1.17 riastrad /* 185 1.17 riastrad * If we're the right child, we've already processed the left 186 1.17 riastrad * child (which may be gone by now), so just return the parent. 187 1.17 riastrad */ 188 1.17 riastrad if (RB_RIGHT_P(node)) 189 1.17 riastrad return parent; 190 1.17 riastrad 191 1.17 riastrad /* 192 1.17 riastrad * Otherwise, move down to the leftmost child of our right 193 1.17 riastrad * sibling -- or return the parent if there is none. 194 1.17 riastrad */ 195 1.17 riastrad if ((node = parent->rb_right) == NULL) 196 1.17 riastrad return parent; 197 1.17 riastrad for (;; node = child) { 198 1.17 riastrad if ((child = node->rb_left) != NULL) 199 1.17 riastrad continue; 200 1.17 riastrad if ((child = node->rb_right) != NULL) 201 1.17 riastrad continue; 202 1.17 riastrad return node; 203 1.17 riastrad } 204 1.17 riastrad } 205 1.17 riastrad 206 1.18 riastrad /* 207 1.18 riastrad * Extension to Linux API, which allows copying a struct rb_root object 208 1.18 riastrad * with `=' or `memcpy' and no additional relocation. 209 1.18 riastrad */ 210 1.18 riastrad static inline void 211 1.18 riastrad rb_move(struct rb_root *to, struct rb_root *from) 212 1.18 riastrad { 213 1.18 riastrad struct rb_node *root; 214 1.18 riastrad 215 1.18 riastrad *to = *from; 216 1.18 riastrad memset(from, 0, sizeof(*from)); /* paranoia */ 217 1.18 riastrad if ((root = to->rbr_tree.rbt_root) == NULL) 218 1.18 riastrad return; 219 1.18 riastrad 220 1.18 riastrad /* 221 1.18 riastrad * The root node's `parent' is a strict-aliasing-unsafe hack 222 1.18 riastrad * pointing at the root of the tree. 223 1.18 riastrad */ 224 1.18 riastrad RB_SET_FATHER(root, (struct rb_node *)(void *)&to->rbr_tree.rbt_root); 225 1.18 riastrad } 226 1.18 riastrad 227 1.17 riastrad #define rbtree_postorder_for_each_entry_safe(ENTRY, TMP, ROOT, FIELD) \ 228 1.17 riastrad for ((ENTRY) = rb_entry_safe(rb_first_postorder(ROOT), \ 229 1.17 riastrad __typeof__(*(ENTRY)), FIELD); \ 230 1.17 riastrad ((ENTRY) != NULL && \ 231 1.17 riastrad ((TMP) = rb_entry_safe(rb_next2_postorder((ROOT), \ 232 1.17 riastrad &(ENTRY)->FIELD), __typeof__(*(ENTRY)), FIELD), \ 233 1.17 riastrad 1)); \ 234 1.17 riastrad (ENTRY) = (TMP)) 235 1.7 riastrad 236 1.2 riastrad #endif /* _LINUX_RBTREE_H_ */ 237