rbtree.h revision 1.14 1 1.14 riastrad /* $NetBSD: rbtree.h,v 1.14 2021/12/19 11:45:41 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.14 riastrad return RB_TREE_NEXT(__UNCONST(&root->rbr_tree), vnode);
91 1.11 riastrad }
92 1.11 riastrad
93 1.11 riastrad static inline struct rb_node *
94 1.14 riastrad rb_last(const struct rb_root *root)
95 1.9 riastrad {
96 1.14 riastrad char *vnode = RB_TREE_MAX(__UNCONST(&root->rbr_tree));
97 1.9 riastrad
98 1.9 riastrad if (vnode)
99 1.10 riastrad vnode += root->rbr_tree.rbt_ops->rbto_node_offset;
100 1.9 riastrad return (struct rb_node *)vnode;
101 1.9 riastrad }
102 1.9 riastrad
103 1.10 riastrad static inline struct rb_node *
104 1.14 riastrad rb_first_cached(const struct rb_root_cached *root)
105 1.10 riastrad {
106 1.10 riastrad return rb_first(&root->rb_root);
107 1.10 riastrad }
108 1.10 riastrad
109 1.5 riastrad static inline void
110 1.6 riastrad rb_erase(struct rb_node *rbnode, struct rb_root *root)
111 1.5 riastrad {
112 1.5 riastrad struct rb_tree *tree = &root->rbr_tree;
113 1.5 riastrad void *node = (char *)rbnode - tree->rbt_ops->rbto_node_offset;
114 1.5 riastrad
115 1.5 riastrad rb_tree_remove_node(tree, node);
116 1.5 riastrad }
117 1.5 riastrad
118 1.5 riastrad static inline void
119 1.6 riastrad rb_erase_cached(struct rb_node *rbnode, struct rb_root_cached *root)
120 1.5 riastrad {
121 1.8 riastrad rb_erase(rbnode, &root->rb_root);
122 1.5 riastrad }
123 1.5 riastrad
124 1.9 riastrad static inline void
125 1.9 riastrad rb_replace_node(struct rb_node *old, struct rb_node *new, struct rb_root *root)
126 1.9 riastrad {
127 1.9 riastrad void *vold = (char *)old - root->rbr_tree.rbt_ops->rbto_node_offset;
128 1.9 riastrad void *vnew = (char *)new - root->rbr_tree.rbt_ops->rbto_node_offset;
129 1.9 riastrad void *collision __diagused;
130 1.9 riastrad
131 1.9 riastrad rb_tree_remove_node(&root->rbr_tree, vold);
132 1.9 riastrad collision = rb_tree_insert_node(&root->rbr_tree, vnew);
133 1.9 riastrad KASSERT(collision == vnew);
134 1.9 riastrad }
135 1.9 riastrad
136 1.9 riastrad static inline void
137 1.9 riastrad rb_replace_node_cached(struct rb_node *old, struct rb_node *new,
138 1.9 riastrad struct rb_root_cached *root)
139 1.9 riastrad {
140 1.9 riastrad rb_replace_node(old, new, &root->rb_root);
141 1.9 riastrad }
142 1.9 riastrad
143 1.7 riastrad /*
144 1.7 riastrad * XXX This is not actually postorder, but I can't fathom why you would
145 1.7 riastrad * want postorder for an ordered tree; different insertion orders lead
146 1.7 riastrad * to different traversal orders.
147 1.7 riastrad */
148 1.7 riastrad #define rbtree_postorder_for_each_entry_safe(NODE, TMP, ROOT, FIELD) \
149 1.7 riastrad for ((NODE) = RB_TREE_MIN(&(ROOT)->rbr_tree); \
150 1.7 riastrad ((NODE) != NULL && \
151 1.7 riastrad ((TMP) = rb_tree_iterate(&(ROOT)->rbr_tree, (NODE), \
152 1.7 riastrad RB_DIR_RIGHT))); \
153 1.7 riastrad (NODE) = (TMP))
154 1.7 riastrad
155 1.2 riastrad #endif /* _LINUX_RBTREE_H_ */
156