rbtree.h revision 1.17 1 1.17 riastrad /* $NetBSD: rbtree.h,v 1.17 2022/02/27 14:18:25 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.17 riastrad #define rbtree_postorder_for_each_entry_safe(ENTRY, TMP, ROOT, FIELD) \
207 1.17 riastrad for ((ENTRY) = rb_entry_safe(rb_first_postorder(ROOT), \
208 1.17 riastrad __typeof__(*(ENTRY)), FIELD); \
209 1.17 riastrad ((ENTRY) != NULL && \
210 1.17 riastrad ((TMP) = rb_entry_safe(rb_next2_postorder((ROOT), \
211 1.17 riastrad &(ENTRY)->FIELD), __typeof__(*(ENTRY)), FIELD), \
212 1.17 riastrad 1)); \
213 1.17 riastrad (ENTRY) = (TMP))
214 1.7 riastrad
215 1.2 riastrad #endif /* _LINUX_RBTREE_H_ */
216