radixtree.c revision 1.17.2.1 1 1.17.2.1 yamt /* $NetBSD: radixtree.c,v 1.17.2.1 2011/11/25 13:58:11 yamt Exp $ */
2 1.1 yamt
3 1.1 yamt /*-
4 1.1 yamt * Copyright (c)2011 YAMAMOTO Takashi,
5 1.1 yamt * All rights reserved.
6 1.1 yamt *
7 1.1 yamt * Redistribution and use in source and binary forms, with or without
8 1.1 yamt * modification, are permitted provided that the following conditions
9 1.1 yamt * are met:
10 1.1 yamt * 1. Redistributions of source code must retain the above copyright
11 1.1 yamt * notice, this list of conditions and the following disclaimer.
12 1.1 yamt * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 yamt * notice, this list of conditions and the following disclaimer in the
14 1.1 yamt * documentation and/or other materials provided with the distribution.
15 1.1 yamt *
16 1.1 yamt * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17 1.1 yamt * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 1.1 yamt * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 1.1 yamt * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20 1.1 yamt * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 1.1 yamt * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22 1.1 yamt * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 1.1 yamt * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24 1.1 yamt * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25 1.1 yamt * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26 1.1 yamt * SUCH DAMAGE.
27 1.1 yamt */
28 1.1 yamt
29 1.1 yamt /*
30 1.17 yamt * radixtree.c
31 1.1 yamt *
32 1.17 yamt * this is an implementation of radix tree, whose keys are uint64_t and leafs
33 1.17 yamt * are user provided pointers.
34 1.17 yamt *
35 1.17 yamt * leaf nodes are just void * and this implementation doesn't care about
36 1.17 yamt * what they actually point to. however, this implementation has an assumption
37 1.17 yamt * about their alignment. specifically, this implementation assumes that their
38 1.17 yamt * 2 LSBs are zero and uses them internally.
39 1.17 yamt *
40 1.17 yamt * intermediate nodes are automatically allocated and freed internally and
41 1.17 yamt * basically users don't need to care about them. only radix_tree_insert_node
42 1.17 yamt * function can allocate memory for intermediate nodes and thus can fail for
43 1.17 yamt * ENOMEM.
44 1.17 yamt *
45 1.17 yamt * efficiency:
46 1.1 yamt * it's designed to work efficiently with dense index distribution.
47 1.1 yamt * the memory consumption (number of necessary intermediate nodes)
48 1.1 yamt * heavily depends on index distribution. basically, more dense index
49 1.1 yamt * distribution consumes less nodes per item.
50 1.1 yamt * approximately,
51 1.17 yamt * the best case: about RADIX_TREE_PTR_PER_NODE items per intermediate node.
52 1.17 yamt * the worst case: RADIX_TREE_MAX_HEIGHT intermediate nodes per item.
53 1.17 yamt *
54 1.17 yamt * gang lookup:
55 1.17 yamt * this implementation provides a way to lookup many nodes quickly via
56 1.17 yamt * radix_tree_gang_lookup_node function and its varients.
57 1.17 yamt *
58 1.17 yamt * tags:
59 1.17 yamt * this implementation provides tagging functionality to allow quick
60 1.17 yamt * scanning of a subset of leaf nodes. leaf nodes are untagged when
61 1.17 yamt * inserted into the tree and can be tagged by radix_tree_set_tag function.
62 1.17 yamt * radix_tree_gang_lookup_tagged_node function and its variants returns
63 1.17 yamt * only leaf nodes with the given tag. to reduce amount of nodes to visit for
64 1.17 yamt * these functions, this implementation keeps tagging information in internal
65 1.17 yamt * intermediate nodes and quickly skips uninterested parts of a tree.
66 1.1 yamt */
67 1.1 yamt
68 1.1 yamt #include <sys/cdefs.h>
69 1.1 yamt
70 1.2 yamt #if defined(_KERNEL) || defined(_STANDALONE)
71 1.17.2.1 yamt __KERNEL_RCSID(0, "$NetBSD: radixtree.c,v 1.17.2.1 2011/11/25 13:58:11 yamt Exp $");
72 1.1 yamt #include <sys/param.h>
73 1.3 yamt #include <sys/errno.h>
74 1.1 yamt #include <sys/pool.h>
75 1.1 yamt #include <sys/radixtree.h>
76 1.3 yamt #include <lib/libkern/libkern.h>
77 1.3 yamt #if defined(_STANDALONE)
78 1.3 yamt #include <lib/libsa/stand.h>
79 1.3 yamt #endif /* defined(_STANDALONE) */
80 1.2 yamt #else /* defined(_KERNEL) || defined(_STANDALONE) */
81 1.17.2.1 yamt __RCSID("$NetBSD: radixtree.c,v 1.17.2.1 2011/11/25 13:58:11 yamt Exp $");
82 1.1 yamt #include <assert.h>
83 1.1 yamt #include <errno.h>
84 1.1 yamt #include <stdbool.h>
85 1.1 yamt #include <stdlib.h>
86 1.8 yamt #include <string.h>
87 1.1 yamt #if 1
88 1.1 yamt #define KASSERT assert
89 1.1 yamt #else
90 1.1 yamt #define KASSERT(a) /* nothing */
91 1.1 yamt #endif
92 1.2 yamt #endif /* defined(_KERNEL) || defined(_STANDALONE) */
93 1.1 yamt
94 1.1 yamt #include <sys/radixtree.h>
95 1.1 yamt
96 1.1 yamt #define RADIX_TREE_BITS_PER_HEIGHT 4 /* XXX tune */
97 1.1 yamt #define RADIX_TREE_PTR_PER_NODE (1 << RADIX_TREE_BITS_PER_HEIGHT)
98 1.1 yamt #define RADIX_TREE_MAX_HEIGHT (64 / RADIX_TREE_BITS_PER_HEIGHT)
99 1.15 yamt #define RADIX_TREE_INVALID_HEIGHT (RADIX_TREE_MAX_HEIGHT + 1)
100 1.2 yamt __CTASSERT((64 % RADIX_TREE_BITS_PER_HEIGHT) == 0);
101 1.1 yamt
102 1.2 yamt __CTASSERT(((1 << RADIX_TREE_TAG_ID_MAX) & (sizeof(int) - 1)) == 0);
103 1.1 yamt #define RADIX_TREE_TAG_MASK ((1 << RADIX_TREE_TAG_ID_MAX) - 1)
104 1.1 yamt
105 1.1 yamt static inline void *
106 1.1 yamt entry_ptr(void *p)
107 1.1 yamt {
108 1.1 yamt
109 1.1 yamt return (void *)((uintptr_t)p & ~RADIX_TREE_TAG_MASK);
110 1.1 yamt }
111 1.1 yamt
112 1.1 yamt static inline unsigned int
113 1.1 yamt entry_tagmask(void *p)
114 1.1 yamt {
115 1.1 yamt
116 1.1 yamt return (uintptr_t)p & RADIX_TREE_TAG_MASK;
117 1.1 yamt }
118 1.1 yamt
119 1.1 yamt static inline void *
120 1.1 yamt entry_compose(void *p, unsigned int tagmask)
121 1.1 yamt {
122 1.1 yamt
123 1.1 yamt return (void *)((uintptr_t)p | tagmask);
124 1.1 yamt }
125 1.1 yamt
126 1.1 yamt static inline bool
127 1.1 yamt entry_match_p(void *p, unsigned int tagmask)
128 1.1 yamt {
129 1.1 yamt
130 1.1 yamt KASSERT(entry_ptr(p) != NULL || entry_tagmask(p) == 0);
131 1.1 yamt if (p == NULL) {
132 1.1 yamt return false;
133 1.1 yamt }
134 1.1 yamt if (tagmask == 0) {
135 1.1 yamt return true;
136 1.1 yamt }
137 1.1 yamt return (entry_tagmask(p) & tagmask) != 0;
138 1.1 yamt }
139 1.1 yamt
140 1.1 yamt static inline unsigned int
141 1.1 yamt tagid_to_mask(radix_tree_tagid_t id)
142 1.1 yamt {
143 1.1 yamt
144 1.6 yamt KASSERT(id >= 0);
145 1.6 yamt KASSERT(id < RADIX_TREE_TAG_ID_MAX);
146 1.1 yamt return 1U << id;
147 1.1 yamt }
148 1.1 yamt
149 1.1 yamt /*
150 1.1 yamt * radix_tree_node: an intermediate node
151 1.1 yamt *
152 1.1 yamt * we don't care the type of leaf nodes. they are just void *.
153 1.1 yamt */
154 1.1 yamt
155 1.1 yamt struct radix_tree_node {
156 1.1 yamt void *n_ptrs[RADIX_TREE_PTR_PER_NODE];
157 1.1 yamt unsigned int n_nptrs; /* # of non-NULL pointers in n_ptrs */
158 1.1 yamt };
159 1.1 yamt
160 1.7 yamt /*
161 1.7 yamt * any_children_tagmask:
162 1.7 yamt *
163 1.7 yamt * return OR'ed tagmask of the given node's children.
164 1.7 yamt */
165 1.7 yamt
166 1.1 yamt static unsigned int
167 1.13 yamt any_children_tagmask(const struct radix_tree_node *n)
168 1.1 yamt {
169 1.1 yamt unsigned int mask;
170 1.1 yamt int i;
171 1.1 yamt
172 1.1 yamt mask = 0;
173 1.1 yamt for (i = 0; i < RADIX_TREE_PTR_PER_NODE; i++) {
174 1.1 yamt mask |= (unsigned int)(uintptr_t)n->n_ptrs[i];
175 1.1 yamt }
176 1.1 yamt return mask & RADIX_TREE_TAG_MASK;
177 1.1 yamt }
178 1.1 yamt
179 1.1 yamt /*
180 1.1 yamt * p_refs[0].pptr == &t->t_root
181 1.1 yamt * :
182 1.1 yamt * p_refs[n].pptr == &(*p_refs[n-1])->n_ptrs[x]
183 1.1 yamt * :
184 1.1 yamt * :
185 1.1 yamt * p_refs[t->t_height].pptr == &leaf_pointer
186 1.1 yamt */
187 1.1 yamt
188 1.1 yamt struct radix_tree_path {
189 1.1 yamt struct radix_tree_node_ref {
190 1.1 yamt void **pptr;
191 1.1 yamt } p_refs[RADIX_TREE_MAX_HEIGHT + 1]; /* +1 for the root ptr */
192 1.15 yamt /*
193 1.15 yamt * p_lastidx is either the index of the last valid element of p_refs[]
194 1.15 yamt * or RADIX_TREE_INVALID_HEIGHT.
195 1.15 yamt * RADIX_TREE_INVALID_HEIGHT means that radix_tree_lookup_ptr found
196 1.15 yamt * that the height of the tree is not enough to cover the given index.
197 1.15 yamt */
198 1.10 yamt unsigned int p_lastidx;
199 1.1 yamt };
200 1.1 yamt
201 1.1 yamt static inline void **
202 1.13 yamt path_pptr(const struct radix_tree *t, const struct radix_tree_path *p,
203 1.1 yamt unsigned int height)
204 1.1 yamt {
205 1.1 yamt
206 1.1 yamt KASSERT(height <= t->t_height);
207 1.1 yamt return p->p_refs[height].pptr;
208 1.1 yamt }
209 1.1 yamt
210 1.1 yamt static inline struct radix_tree_node *
211 1.13 yamt path_node(const struct radix_tree * t, const struct radix_tree_path *p,
212 1.13 yamt unsigned int height)
213 1.1 yamt {
214 1.1 yamt
215 1.1 yamt KASSERT(height <= t->t_height);
216 1.1 yamt return entry_ptr(*path_pptr(t, p, height));
217 1.1 yamt }
218 1.1 yamt
219 1.1 yamt /*
220 1.1 yamt * radix_tree_init_tree:
221 1.1 yamt *
222 1.1 yamt * initialize a tree.
223 1.1 yamt */
224 1.1 yamt
225 1.1 yamt void
226 1.1 yamt radix_tree_init_tree(struct radix_tree *t)
227 1.1 yamt {
228 1.1 yamt
229 1.1 yamt t->t_height = 0;
230 1.1 yamt t->t_root = NULL;
231 1.1 yamt }
232 1.1 yamt
233 1.1 yamt /*
234 1.1 yamt * radix_tree_init_tree:
235 1.1 yamt *
236 1.1 yamt * clean up a tree.
237 1.1 yamt */
238 1.1 yamt
239 1.1 yamt void
240 1.1 yamt radix_tree_fini_tree(struct radix_tree *t)
241 1.1 yamt {
242 1.1 yamt
243 1.1 yamt KASSERT(t->t_root == NULL);
244 1.1 yamt KASSERT(t->t_height == 0);
245 1.1 yamt }
246 1.1 yamt
247 1.9 yamt bool
248 1.9 yamt radix_tree_empty_tree_p(struct radix_tree *t)
249 1.9 yamt {
250 1.9 yamt
251 1.9 yamt return t->t_root == NULL;
252 1.9 yamt }
253 1.9 yamt
254 1.16 yamt bool
255 1.16 yamt radix_tree_empty_tagged_tree_p(struct radix_tree *t, radix_tree_tagid_t tagid)
256 1.16 yamt {
257 1.16 yamt const unsigned int tagmask = tagid_to_mask(tagid);
258 1.16 yamt
259 1.16 yamt return (entry_tagmask(t->t_root) & tagmask) == 0;
260 1.16 yamt }
261 1.16 yamt
262 1.3 yamt static void
263 1.3 yamt radix_tree_node_init(struct radix_tree_node *n)
264 1.3 yamt {
265 1.3 yamt
266 1.3 yamt memset(n, 0, sizeof(*n));
267 1.3 yamt }
268 1.3 yamt
269 1.1 yamt #if defined(_KERNEL)
270 1.2 yamt pool_cache_t radix_tree_node_cache __read_mostly;
271 1.1 yamt
272 1.1 yamt static int
273 1.1 yamt radix_tree_node_ctor(void *dummy, void *item, int flags)
274 1.1 yamt {
275 1.1 yamt struct radix_tree_node *n = item;
276 1.1 yamt
277 1.1 yamt KASSERT(dummy == NULL);
278 1.3 yamt radix_tree_node_init(n);
279 1.1 yamt return 0;
280 1.1 yamt }
281 1.1 yamt
282 1.1 yamt /*
283 1.1 yamt * radix_tree_init:
284 1.1 yamt *
285 1.1 yamt * initialize the subsystem.
286 1.1 yamt */
287 1.1 yamt
288 1.1 yamt void
289 1.1 yamt radix_tree_init(void)
290 1.1 yamt {
291 1.1 yamt
292 1.1 yamt radix_tree_node_cache = pool_cache_init(sizeof(struct radix_tree_node),
293 1.1 yamt 0, 0, 0, "radix_tree_node", NULL, IPL_NONE, radix_tree_node_ctor,
294 1.1 yamt NULL, NULL);
295 1.1 yamt KASSERT(radix_tree_node_cache != NULL);
296 1.1 yamt }
297 1.1 yamt #endif /* defined(_KERNEL) */
298 1.1 yamt
299 1.1 yamt static bool __unused
300 1.1 yamt radix_tree_node_clean_p(const struct radix_tree_node *n)
301 1.1 yamt {
302 1.1 yamt unsigned int i;
303 1.1 yamt
304 1.1 yamt if (n->n_nptrs != 0) {
305 1.1 yamt return false;
306 1.1 yamt }
307 1.1 yamt for (i = 0; i < RADIX_TREE_PTR_PER_NODE; i++) {
308 1.1 yamt if (n->n_ptrs[i] != NULL) {
309 1.1 yamt return false;
310 1.1 yamt }
311 1.1 yamt }
312 1.1 yamt return true;
313 1.1 yamt }
314 1.1 yamt
315 1.1 yamt static struct radix_tree_node *
316 1.1 yamt radix_tree_alloc_node(void)
317 1.1 yamt {
318 1.1 yamt struct radix_tree_node *n;
319 1.1 yamt
320 1.1 yamt #if defined(_KERNEL)
321 1.1 yamt n = pool_cache_get(radix_tree_node_cache, PR_NOWAIT);
322 1.1 yamt #else /* defined(_KERNEL) */
323 1.3 yamt #if defined(_STANDALONE)
324 1.3 yamt n = alloc(sizeof(*n));
325 1.3 yamt #else /* defined(_STANDALONE) */
326 1.3 yamt n = malloc(sizeof(*n));
327 1.3 yamt #endif /* defined(_STANDALONE) */
328 1.3 yamt if (n != NULL) {
329 1.3 yamt radix_tree_node_init(n);
330 1.3 yamt }
331 1.1 yamt #endif /* defined(_KERNEL) */
332 1.1 yamt KASSERT(n == NULL || radix_tree_node_clean_p(n));
333 1.1 yamt return n;
334 1.1 yamt }
335 1.1 yamt
336 1.1 yamt static void
337 1.1 yamt radix_tree_free_node(struct radix_tree_node *n)
338 1.1 yamt {
339 1.1 yamt
340 1.1 yamt KASSERT(radix_tree_node_clean_p(n));
341 1.1 yamt #if defined(_KERNEL)
342 1.1 yamt pool_cache_put(radix_tree_node_cache, n);
343 1.3 yamt #elif defined(_STANDALONE)
344 1.3 yamt dealloc(n, sizeof(*n));
345 1.3 yamt #else
346 1.1 yamt free(n);
347 1.3 yamt #endif
348 1.1 yamt }
349 1.1 yamt
350 1.1 yamt static int
351 1.1 yamt radix_tree_grow(struct radix_tree *t, unsigned int newheight)
352 1.1 yamt {
353 1.1 yamt const unsigned int tagmask = entry_tagmask(t->t_root);
354 1.1 yamt
355 1.1 yamt KASSERT(newheight <= 64 / RADIX_TREE_BITS_PER_HEIGHT);
356 1.1 yamt if (t->t_root == NULL) {
357 1.1 yamt t->t_height = newheight;
358 1.1 yamt return 0;
359 1.1 yamt }
360 1.1 yamt while (t->t_height < newheight) {
361 1.1 yamt struct radix_tree_node *n;
362 1.1 yamt
363 1.1 yamt n = radix_tree_alloc_node();
364 1.1 yamt if (n == NULL) {
365 1.1 yamt /*
366 1.1 yamt * don't bother to revert our changes.
367 1.1 yamt * the caller will likely retry.
368 1.1 yamt */
369 1.1 yamt return ENOMEM;
370 1.1 yamt }
371 1.1 yamt n->n_nptrs = 1;
372 1.1 yamt n->n_ptrs[0] = t->t_root;
373 1.1 yamt t->t_root = entry_compose(n, tagmask);
374 1.1 yamt t->t_height++;
375 1.1 yamt }
376 1.1 yamt return 0;
377 1.1 yamt }
378 1.1 yamt
379 1.5 yamt /*
380 1.5 yamt * radix_tree_lookup_ptr:
381 1.5 yamt *
382 1.5 yamt * an internal helper function used for various exported functions.
383 1.5 yamt *
384 1.5 yamt * return the pointer to store the node for the given index.
385 1.5 yamt *
386 1.5 yamt * if alloc is true, try to allocate the storage. (note for _KERNEL:
387 1.5 yamt * in that case, this function can block.) if the allocation failed or
388 1.5 yamt * alloc is false, return NULL.
389 1.5 yamt *
390 1.5 yamt * if path is not NULL, fill it for the caller's investigation.
391 1.5 yamt *
392 1.5 yamt * if tagmask is not zero, search only for nodes with the tag set.
393 1.15 yamt * note that, however, this function doesn't check the tagmask for the leaf
394 1.15 yamt * pointer. it's a caller's responsibility to investigate the value which
395 1.15 yamt * is pointed by the returned pointer if necessary.
396 1.5 yamt *
397 1.5 yamt * while this function is a bit large, as it's called with some constant
398 1.5 yamt * arguments, inlining might have benefits. anyway, a compiler will decide.
399 1.5 yamt */
400 1.5 yamt
401 1.1 yamt static inline void **
402 1.1 yamt radix_tree_lookup_ptr(struct radix_tree *t, uint64_t idx,
403 1.1 yamt struct radix_tree_path *path, bool alloc, const unsigned int tagmask)
404 1.1 yamt {
405 1.1 yamt struct radix_tree_node *n;
406 1.1 yamt int hshift = RADIX_TREE_BITS_PER_HEIGHT * t->t_height;
407 1.1 yamt int shift;
408 1.1 yamt void **vpp;
409 1.1 yamt const uint64_t mask = (UINT64_C(1) << RADIX_TREE_BITS_PER_HEIGHT) - 1;
410 1.1 yamt struct radix_tree_node_ref *refs = NULL;
411 1.1 yamt
412 1.5 yamt /*
413 1.5 yamt * check unsupported combinations
414 1.5 yamt */
415 1.1 yamt KASSERT(tagmask == 0 || !alloc);
416 1.1 yamt KASSERT(path == NULL || !alloc);
417 1.1 yamt vpp = &t->t_root;
418 1.1 yamt if (path != NULL) {
419 1.1 yamt refs = path->p_refs;
420 1.1 yamt refs->pptr = vpp;
421 1.1 yamt }
422 1.1 yamt n = NULL;
423 1.1 yamt for (shift = 64 - RADIX_TREE_BITS_PER_HEIGHT; shift >= 0;) {
424 1.1 yamt struct radix_tree_node *c;
425 1.1 yamt void *entry;
426 1.1 yamt const uint64_t i = (idx >> shift) & mask;
427 1.1 yamt
428 1.1 yamt if (shift >= hshift) {
429 1.1 yamt unsigned int newheight;
430 1.1 yamt
431 1.1 yamt KASSERT(vpp == &t->t_root);
432 1.1 yamt if (i == 0) {
433 1.1 yamt shift -= RADIX_TREE_BITS_PER_HEIGHT;
434 1.1 yamt continue;
435 1.1 yamt }
436 1.1 yamt if (!alloc) {
437 1.1 yamt if (path != NULL) {
438 1.1 yamt KASSERT((refs - path->p_refs) == 0);
439 1.15 yamt path->p_lastidx =
440 1.15 yamt RADIX_TREE_INVALID_HEIGHT;
441 1.1 yamt }
442 1.1 yamt return NULL;
443 1.1 yamt }
444 1.1 yamt newheight = shift / RADIX_TREE_BITS_PER_HEIGHT + 1;
445 1.1 yamt if (radix_tree_grow(t, newheight)) {
446 1.1 yamt return NULL;
447 1.1 yamt }
448 1.1 yamt hshift = RADIX_TREE_BITS_PER_HEIGHT * t->t_height;
449 1.1 yamt }
450 1.1 yamt entry = *vpp;
451 1.1 yamt c = entry_ptr(entry);
452 1.1 yamt if (c == NULL ||
453 1.1 yamt (tagmask != 0 &&
454 1.1 yamt (entry_tagmask(entry) & tagmask) == 0)) {
455 1.1 yamt if (!alloc) {
456 1.1 yamt if (path != NULL) {
457 1.1 yamt path->p_lastidx = refs - path->p_refs;
458 1.1 yamt }
459 1.1 yamt return NULL;
460 1.1 yamt }
461 1.1 yamt c = radix_tree_alloc_node();
462 1.1 yamt if (c == NULL) {
463 1.1 yamt return NULL;
464 1.1 yamt }
465 1.1 yamt *vpp = c;
466 1.1 yamt if (n != NULL) {
467 1.1 yamt KASSERT(n->n_nptrs < RADIX_TREE_PTR_PER_NODE);
468 1.1 yamt n->n_nptrs++;
469 1.1 yamt }
470 1.1 yamt }
471 1.1 yamt n = c;
472 1.1 yamt vpp = &n->n_ptrs[i];
473 1.1 yamt if (path != NULL) {
474 1.1 yamt refs++;
475 1.1 yamt refs->pptr = vpp;
476 1.1 yamt }
477 1.1 yamt shift -= RADIX_TREE_BITS_PER_HEIGHT;
478 1.1 yamt }
479 1.1 yamt if (alloc) {
480 1.1 yamt KASSERT(*vpp == NULL);
481 1.1 yamt if (n != NULL) {
482 1.1 yamt KASSERT(n->n_nptrs < RADIX_TREE_PTR_PER_NODE);
483 1.1 yamt n->n_nptrs++;
484 1.1 yamt }
485 1.1 yamt }
486 1.1 yamt if (path != NULL) {
487 1.1 yamt path->p_lastidx = refs - path->p_refs;
488 1.1 yamt }
489 1.1 yamt return vpp;
490 1.1 yamt }
491 1.1 yamt
492 1.1 yamt /*
493 1.1 yamt * radix_tree_insert_node:
494 1.1 yamt *
495 1.1 yamt * insert the node at idx.
496 1.1 yamt * it's illegal to insert NULL.
497 1.1 yamt * it's illegal to insert a non-aligned pointer.
498 1.1 yamt *
499 1.1 yamt * this function returns ENOMEM if necessary memory allocation failed.
500 1.1 yamt * otherwise, this function returns 0.
501 1.1 yamt *
502 1.1 yamt * note that inserting a node can involves memory allocation for intermediate
503 1.17 yamt * nodes. if _KERNEL, it's done with no-sleep IPL_NONE memory allocation.
504 1.4 yamt *
505 1.4 yamt * for the newly inserted node, all tags are cleared.
506 1.1 yamt */
507 1.1 yamt
508 1.1 yamt int
509 1.1 yamt radix_tree_insert_node(struct radix_tree *t, uint64_t idx, void *p)
510 1.1 yamt {
511 1.1 yamt void **vpp;
512 1.1 yamt
513 1.1 yamt KASSERT(p != NULL);
514 1.17.2.1 yamt KASSERT(entry_tagmask(entry_compose(p, 0)) == 0);
515 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, NULL, true, 0);
516 1.1 yamt if (vpp == NULL) {
517 1.1 yamt return ENOMEM;
518 1.1 yamt }
519 1.1 yamt KASSERT(*vpp == NULL);
520 1.1 yamt *vpp = p;
521 1.1 yamt return 0;
522 1.1 yamt }
523 1.1 yamt
524 1.4 yamt /*
525 1.4 yamt * radix_tree_replace_node:
526 1.4 yamt *
527 1.4 yamt * replace a node at the given index with the given node.
528 1.4 yamt * return the old node.
529 1.4 yamt * it's illegal to try to replace a node which has not been inserted.
530 1.4 yamt *
531 1.4 yamt * this function doesn't change tags.
532 1.4 yamt */
533 1.4 yamt
534 1.1 yamt void *
535 1.1 yamt radix_tree_replace_node(struct radix_tree *t, uint64_t idx, void *p)
536 1.1 yamt {
537 1.1 yamt void **vpp;
538 1.1 yamt void *oldp;
539 1.1 yamt
540 1.1 yamt KASSERT(p != NULL);
541 1.17.2.1 yamt KASSERT(entry_tagmask(entry_compose(p, 0)) == 0);
542 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, NULL, false, 0);
543 1.1 yamt KASSERT(vpp != NULL);
544 1.1 yamt oldp = *vpp;
545 1.1 yamt KASSERT(oldp != NULL);
546 1.1 yamt *vpp = entry_compose(p, entry_tagmask(*vpp));
547 1.1 yamt return entry_ptr(oldp);
548 1.1 yamt }
549 1.1 yamt
550 1.1 yamt /*
551 1.1 yamt * radix_tree_remove_node:
552 1.1 yamt *
553 1.1 yamt * remove the node at idx.
554 1.1 yamt * it's illegal to try to remove a node which has not been inserted.
555 1.1 yamt */
556 1.1 yamt
557 1.1 yamt void *
558 1.1 yamt radix_tree_remove_node(struct radix_tree *t, uint64_t idx)
559 1.1 yamt {
560 1.1 yamt struct radix_tree_path path;
561 1.1 yamt void **vpp;
562 1.1 yamt void *oldp;
563 1.1 yamt int i;
564 1.1 yamt
565 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, &path, false, 0);
566 1.1 yamt KASSERT(vpp != NULL);
567 1.1 yamt oldp = *vpp;
568 1.1 yamt KASSERT(oldp != NULL);
569 1.1 yamt KASSERT(path.p_lastidx == t->t_height);
570 1.1 yamt KASSERT(vpp == path_pptr(t, &path, path.p_lastidx));
571 1.1 yamt *vpp = NULL;
572 1.1 yamt for (i = t->t_height - 1; i >= 0; i--) {
573 1.1 yamt void *entry;
574 1.1 yamt struct radix_tree_node ** const pptr =
575 1.1 yamt (struct radix_tree_node **)path_pptr(t, &path, i);
576 1.1 yamt struct radix_tree_node *n;
577 1.1 yamt
578 1.1 yamt KASSERT(pptr != NULL);
579 1.1 yamt entry = *pptr;
580 1.1 yamt n = entry_ptr(entry);
581 1.1 yamt KASSERT(n != NULL);
582 1.1 yamt KASSERT(n->n_nptrs > 0);
583 1.1 yamt n->n_nptrs--;
584 1.1 yamt if (n->n_nptrs > 0) {
585 1.1 yamt break;
586 1.1 yamt }
587 1.1 yamt radix_tree_free_node(n);
588 1.1 yamt *pptr = NULL;
589 1.1 yamt }
590 1.1 yamt /*
591 1.1 yamt * fix up height
592 1.1 yamt */
593 1.1 yamt if (i < 0) {
594 1.1 yamt KASSERT(t->t_root == NULL);
595 1.1 yamt t->t_height = 0;
596 1.1 yamt }
597 1.1 yamt /*
598 1.1 yamt * update tags
599 1.1 yamt */
600 1.1 yamt for (; i >= 0; i--) {
601 1.1 yamt void *entry;
602 1.1 yamt struct radix_tree_node ** const pptr =
603 1.1 yamt (struct radix_tree_node **)path_pptr(t, &path, i);
604 1.1 yamt struct radix_tree_node *n;
605 1.1 yamt unsigned int newmask;
606 1.1 yamt
607 1.1 yamt KASSERT(pptr != NULL);
608 1.1 yamt entry = *pptr;
609 1.1 yamt n = entry_ptr(entry);
610 1.1 yamt KASSERT(n != NULL);
611 1.1 yamt KASSERT(n->n_nptrs > 0);
612 1.1 yamt newmask = any_children_tagmask(n);
613 1.1 yamt if (newmask == entry_tagmask(entry)) {
614 1.1 yamt break;
615 1.1 yamt }
616 1.1 yamt *pptr = entry_compose(n, newmask);
617 1.1 yamt }
618 1.1 yamt /*
619 1.1 yamt * XXX is it worth to try to reduce height?
620 1.1 yamt * if we do that, make radix_tree_grow rollback its change as well.
621 1.1 yamt */
622 1.1 yamt return entry_ptr(oldp);
623 1.1 yamt }
624 1.1 yamt
625 1.1 yamt /*
626 1.1 yamt * radix_tree_lookup_node:
627 1.1 yamt *
628 1.1 yamt * returns the node at idx.
629 1.1 yamt * returns NULL if nothing is found at idx.
630 1.1 yamt */
631 1.1 yamt
632 1.1 yamt void *
633 1.1 yamt radix_tree_lookup_node(struct radix_tree *t, uint64_t idx)
634 1.1 yamt {
635 1.1 yamt void **vpp;
636 1.1 yamt
637 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, NULL, false, 0);
638 1.1 yamt if (vpp == NULL) {
639 1.1 yamt return NULL;
640 1.1 yamt }
641 1.1 yamt return entry_ptr(*vpp);
642 1.1 yamt }
643 1.1 yamt
644 1.1 yamt static inline void
645 1.1 yamt gang_lookup_init(struct radix_tree *t, uint64_t idx,
646 1.1 yamt struct radix_tree_path *path, const unsigned int tagmask)
647 1.1 yamt {
648 1.1 yamt void **vpp;
649 1.1 yamt
650 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, path, false, tagmask);
651 1.1 yamt KASSERT(vpp == NULL ||
652 1.1 yamt vpp == path_pptr(t, path, path->p_lastidx));
653 1.1 yamt KASSERT(&t->t_root == path_pptr(t, path, 0));
654 1.15 yamt KASSERT(path->p_lastidx == RADIX_TREE_INVALID_HEIGHT ||
655 1.15 yamt path->p_lastidx == t->t_height ||
656 1.15 yamt !entry_match_p(*path_pptr(t, path, path->p_lastidx), tagmask));
657 1.1 yamt }
658 1.1 yamt
659 1.15 yamt /*
660 1.15 yamt * gang_lookup_scan:
661 1.15 yamt *
662 1.15 yamt * a helper routine for radix_tree_gang_lookup_node and its variants.
663 1.15 yamt */
664 1.15 yamt
665 1.1 yamt static inline unsigned int
666 1.15 yamt __attribute__((__always_inline__))
667 1.1 yamt gang_lookup_scan(struct radix_tree *t, struct radix_tree_path *path,
668 1.17.2.1 yamt void **results, const unsigned int maxresults, const unsigned int tagmask,
669 1.17.2.1 yamt const bool reverse, const bool dense)
670 1.1 yamt {
671 1.15 yamt
672 1.15 yamt /*
673 1.15 yamt * we keep the path updated only for lastidx-1.
674 1.15 yamt * vpp is what path_pptr(t, path, lastidx) would be.
675 1.15 yamt */
676 1.1 yamt void **vpp;
677 1.10 yamt unsigned int nfound;
678 1.1 yamt unsigned int lastidx;
679 1.15 yamt /*
680 1.15 yamt * set up scan direction dependant constants so that we can iterate
681 1.15 yamt * n_ptrs as the following.
682 1.15 yamt *
683 1.15 yamt * for (i = first; i != guard; i += step)
684 1.15 yamt * visit n->n_ptrs[i];
685 1.15 yamt */
686 1.15 yamt const int step = reverse ? -1 : 1;
687 1.15 yamt const unsigned int first = reverse ? RADIX_TREE_PTR_PER_NODE - 1 : 0;
688 1.15 yamt const unsigned int last = reverse ? 0 : RADIX_TREE_PTR_PER_NODE - 1;
689 1.15 yamt const unsigned int guard = last + step;
690 1.1 yamt
691 1.1 yamt KASSERT(maxresults > 0);
692 1.15 yamt KASSERT(&t->t_root == path_pptr(t, path, 0));
693 1.1 yamt lastidx = path->p_lastidx;
694 1.15 yamt KASSERT(lastidx == RADIX_TREE_INVALID_HEIGHT ||
695 1.15 yamt lastidx == t->t_height ||
696 1.15 yamt !entry_match_p(*path_pptr(t, path, lastidx), tagmask));
697 1.15 yamt nfound = 0;
698 1.15 yamt if (lastidx == RADIX_TREE_INVALID_HEIGHT) {
699 1.17.2.1 yamt /*
700 1.17.2.1 yamt * requested idx is beyond the right-most node.
701 1.17.2.1 yamt */
702 1.17.2.1 yamt if (reverse && !dense) {
703 1.15 yamt lastidx = 0;
704 1.15 yamt vpp = path_pptr(t, path, lastidx);
705 1.15 yamt goto descend;
706 1.15 yamt }
707 1.1 yamt return 0;
708 1.1 yamt }
709 1.1 yamt vpp = path_pptr(t, path, lastidx);
710 1.1 yamt while (/*CONSTCOND*/true) {
711 1.1 yamt struct radix_tree_node *n;
712 1.10 yamt unsigned int i;
713 1.1 yamt
714 1.1 yamt if (entry_match_p(*vpp, tagmask)) {
715 1.1 yamt KASSERT(lastidx == t->t_height);
716 1.1 yamt /*
717 1.15 yamt * record the matching non-NULL leaf.
718 1.1 yamt */
719 1.1 yamt results[nfound] = entry_ptr(*vpp);
720 1.1 yamt nfound++;
721 1.1 yamt if (nfound == maxresults) {
722 1.1 yamt return nfound;
723 1.1 yamt }
724 1.17.2.1 yamt } else if (dense) {
725 1.17.2.1 yamt return nfound;
726 1.1 yamt }
727 1.1 yamt scan_siblings:
728 1.1 yamt /*
729 1.15 yamt * try to find the next matching non-NULL sibling.
730 1.1 yamt */
731 1.15 yamt if (lastidx == 0) {
732 1.15 yamt /*
733 1.15 yamt * the root has no siblings.
734 1.15 yamt * we've done.
735 1.15 yamt */
736 1.15 yamt KASSERT(vpp == &t->t_root);
737 1.15 yamt break;
738 1.15 yamt }
739 1.1 yamt n = path_node(t, path, lastidx - 1);
740 1.1 yamt if (*vpp != NULL && n->n_nptrs == 1) {
741 1.1 yamt /*
742 1.15 yamt * optimization; if the node has only a single pointer
743 1.15 yamt * and we've already visited it, there's no point to
744 1.15 yamt * keep scanning in this node.
745 1.1 yamt */
746 1.1 yamt goto no_siblings;
747 1.1 yamt }
748 1.15 yamt for (i = vpp - n->n_ptrs + step; i != guard; i += step) {
749 1.15 yamt KASSERT(i < RADIX_TREE_PTR_PER_NODE);
750 1.1 yamt if (entry_match_p(n->n_ptrs[i], tagmask)) {
751 1.1 yamt vpp = &n->n_ptrs[i];
752 1.1 yamt break;
753 1.1 yamt }
754 1.1 yamt }
755 1.15 yamt if (i == guard) {
756 1.1 yamt no_siblings:
757 1.1 yamt /*
758 1.1 yamt * not found. go to parent.
759 1.1 yamt */
760 1.1 yamt lastidx--;
761 1.1 yamt vpp = path_pptr(t, path, lastidx);
762 1.1 yamt goto scan_siblings;
763 1.1 yamt }
764 1.15 yamt descend:
765 1.1 yamt /*
766 1.15 yamt * following the left-most (or right-most in the case of
767 1.15 yamt * reverse scan) child node, decend until reaching the leaf or
768 1.15 yamt * an non-matching entry.
769 1.1 yamt */
770 1.1 yamt while (entry_match_p(*vpp, tagmask) && lastidx < t->t_height) {
771 1.15 yamt /*
772 1.15 yamt * save vpp in the path so that we can come back to this
773 1.15 yamt * node after finishing visiting children.
774 1.15 yamt */
775 1.15 yamt path->p_refs[lastidx].pptr = vpp;
776 1.1 yamt n = entry_ptr(*vpp);
777 1.15 yamt vpp = &n->n_ptrs[first];
778 1.1 yamt lastidx++;
779 1.1 yamt }
780 1.1 yamt }
781 1.15 yamt return nfound;
782 1.1 yamt }
783 1.1 yamt
784 1.1 yamt /*
785 1.1 yamt * radix_tree_gang_lookup_node:
786 1.1 yamt *
787 1.1 yamt * search nodes starting from idx in the ascending order.
788 1.1 yamt * results should be an array large enough to hold maxresults pointers.
789 1.1 yamt * returns the number of nodes found, up to maxresults.
790 1.1 yamt * returning less than maxresults means there are no more nodes.
791 1.1 yamt *
792 1.17.2.1 yamt * if dense == true, this function stops scanning when it founds a hole of
793 1.17.2.1 yamt * indexes. ie. an index for which radix_tree_lookup_node would returns NULL.
794 1.17.2.1 yamt * if dense == false, this function skips holes and continue scanning until
795 1.17.2.1 yamt * maxresults nodes are found or it reaches the limit of the index range.
796 1.17.2.1 yamt *
797 1.1 yamt * the result of this function is semantically equivalent to what could be
798 1.1 yamt * obtained by repeated calls of radix_tree_lookup_node with increasing index.
799 1.17.2.1 yamt * but this function is expected to be computationally cheaper when looking up
800 1.17.2.1 yamt * multiple nodes at once. especially, it's expected to be much cheaper when
801 1.17.2.1 yamt * node indexes are distributed sparsely.
802 1.17.2.1 yamt *
803 1.17.2.1 yamt * note that this function doesn't return index values of found nodes.
804 1.17.2.1 yamt * thus, in the case of dense == false, if index values are important for
805 1.17.2.1 yamt * a caller, it's the caller's responsibility to check them, typically
806 1.17.2.1 yamt * by examinining the returned nodes using some caller-specific knowledge
807 1.17.2.1 yamt * about them.
808 1.17.2.1 yamt * in the case of dense == true, a node returned via results[N] is always for
809 1.17.2.1 yamt * the index (idx + N).
810 1.1 yamt */
811 1.1 yamt
812 1.1 yamt unsigned int
813 1.1 yamt radix_tree_gang_lookup_node(struct radix_tree *t, uint64_t idx,
814 1.17.2.1 yamt void **results, unsigned int maxresults, bool dense)
815 1.1 yamt {
816 1.1 yamt struct radix_tree_path path;
817 1.1 yamt
818 1.1 yamt gang_lookup_init(t, idx, &path, 0);
819 1.17.2.1 yamt return gang_lookup_scan(t, &path, results, maxresults, 0, false, dense);
820 1.15 yamt }
821 1.15 yamt
822 1.15 yamt /*
823 1.15 yamt * radix_tree_gang_lookup_node_reverse:
824 1.15 yamt *
825 1.15 yamt * same as radix_tree_gang_lookup_node except that this one scans the
826 1.15 yamt * tree in the reverse order. ie. descending index values.
827 1.15 yamt */
828 1.15 yamt
829 1.15 yamt unsigned int
830 1.15 yamt radix_tree_gang_lookup_node_reverse(struct radix_tree *t, uint64_t idx,
831 1.17.2.1 yamt void **results, unsigned int maxresults, bool dense)
832 1.15 yamt {
833 1.15 yamt struct radix_tree_path path;
834 1.15 yamt
835 1.15 yamt gang_lookup_init(t, idx, &path, 0);
836 1.17.2.1 yamt return gang_lookup_scan(t, &path, results, maxresults, 0, true, dense);
837 1.1 yamt }
838 1.1 yamt
839 1.1 yamt /*
840 1.1 yamt * radix_tree_gang_lookup_tagged_node:
841 1.1 yamt *
842 1.1 yamt * same as radix_tree_gang_lookup_node except that this one only returns
843 1.1 yamt * nodes tagged with tagid.
844 1.1 yamt */
845 1.1 yamt
846 1.1 yamt unsigned int
847 1.1 yamt radix_tree_gang_lookup_tagged_node(struct radix_tree *t, uint64_t idx,
848 1.17.2.1 yamt void **results, unsigned int maxresults, bool dense,
849 1.17.2.1 yamt radix_tree_tagid_t tagid)
850 1.1 yamt {
851 1.1 yamt struct radix_tree_path path;
852 1.1 yamt const unsigned int tagmask = tagid_to_mask(tagid);
853 1.1 yamt
854 1.1 yamt gang_lookup_init(t, idx, &path, tagmask);
855 1.17.2.1 yamt return gang_lookup_scan(t, &path, results, maxresults, tagmask, false,
856 1.17.2.1 yamt dense);
857 1.15 yamt }
858 1.15 yamt
859 1.15 yamt /*
860 1.15 yamt * radix_tree_gang_lookup_tagged_node_reverse:
861 1.15 yamt *
862 1.15 yamt * same as radix_tree_gang_lookup_tagged_node except that this one scans the
863 1.15 yamt * tree in the reverse order. ie. descending index values.
864 1.15 yamt */
865 1.15 yamt
866 1.15 yamt unsigned int
867 1.15 yamt radix_tree_gang_lookup_tagged_node_reverse(struct radix_tree *t, uint64_t idx,
868 1.17.2.1 yamt void **results, unsigned int maxresults, bool dense,
869 1.17.2.1 yamt radix_tree_tagid_t tagid)
870 1.15 yamt {
871 1.15 yamt struct radix_tree_path path;
872 1.15 yamt const unsigned int tagmask = tagid_to_mask(tagid);
873 1.15 yamt
874 1.15 yamt gang_lookup_init(t, idx, &path, tagmask);
875 1.17.2.1 yamt return gang_lookup_scan(t, &path, results, maxresults, tagmask, true,
876 1.17.2.1 yamt dense);
877 1.1 yamt }
878 1.1 yamt
879 1.4 yamt /*
880 1.4 yamt * radix_tree_get_tag:
881 1.4 yamt *
882 1.4 yamt * return if the tag is set for the node at the given index. (true if set)
883 1.4 yamt * it's illegal to call this function for a node which has not been inserted.
884 1.4 yamt */
885 1.4 yamt
886 1.1 yamt bool
887 1.1 yamt radix_tree_get_tag(struct radix_tree *t, uint64_t idx,
888 1.1 yamt radix_tree_tagid_t tagid)
889 1.1 yamt {
890 1.17.2.1 yamt /*
891 1.17.2.1 yamt * the following two implementations should behave same.
892 1.17.2.1 yamt * the former one was chosen because it seems faster.
893 1.17.2.1 yamt */
894 1.1 yamt #if 1
895 1.1 yamt const unsigned int tagmask = tagid_to_mask(tagid);
896 1.1 yamt void **vpp;
897 1.1 yamt
898 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, NULL, false, tagmask);
899 1.1 yamt if (vpp == NULL) {
900 1.1 yamt return false;
901 1.1 yamt }
902 1.1 yamt KASSERT(*vpp != NULL);
903 1.1 yamt return (entry_tagmask(*vpp) & tagmask) != 0;
904 1.1 yamt #else
905 1.1 yamt const unsigned int tagmask = tagid_to_mask(tagid);
906 1.1 yamt void **vpp;
907 1.1 yamt
908 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, NULL, false, 0);
909 1.1 yamt KASSERT(vpp != NULL);
910 1.1 yamt return (entry_tagmask(*vpp) & tagmask) != 0;
911 1.1 yamt #endif
912 1.1 yamt }
913 1.1 yamt
914 1.4 yamt /*
915 1.4 yamt * radix_tree_set_tag:
916 1.4 yamt *
917 1.4 yamt * set the tag for the node at the given index.
918 1.4 yamt * it's illegal to call this function for a node which has not been inserted.
919 1.4 yamt */
920 1.4 yamt
921 1.1 yamt void
922 1.1 yamt radix_tree_set_tag(struct radix_tree *t, uint64_t idx,
923 1.1 yamt radix_tree_tagid_t tagid)
924 1.1 yamt {
925 1.1 yamt struct radix_tree_path path;
926 1.1 yamt const unsigned int tagmask = tagid_to_mask(tagid);
927 1.1 yamt void **vpp;
928 1.1 yamt int i;
929 1.1 yamt
930 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, &path, false, 0);
931 1.1 yamt KASSERT(vpp != NULL);
932 1.1 yamt KASSERT(*vpp != NULL);
933 1.1 yamt KASSERT(path.p_lastidx == t->t_height);
934 1.1 yamt KASSERT(vpp == path_pptr(t, &path, path.p_lastidx));
935 1.1 yamt for (i = t->t_height; i >= 0; i--) {
936 1.1 yamt void ** const pptr = (void **)path_pptr(t, &path, i);
937 1.1 yamt void *entry;
938 1.1 yamt
939 1.1 yamt KASSERT(pptr != NULL);
940 1.1 yamt entry = *pptr;
941 1.1 yamt if ((entry_tagmask(entry) & tagmask) != 0) {
942 1.1 yamt break;
943 1.1 yamt }
944 1.1 yamt *pptr = (void *)((uintptr_t)entry | tagmask);
945 1.1 yamt }
946 1.1 yamt }
947 1.1 yamt
948 1.4 yamt /*
949 1.4 yamt * radix_tree_clear_tag:
950 1.4 yamt *
951 1.4 yamt * clear the tag for the node at the given index.
952 1.4 yamt * it's illegal to call this function for a node which has not been inserted.
953 1.4 yamt */
954 1.4 yamt
955 1.1 yamt void
956 1.1 yamt radix_tree_clear_tag(struct radix_tree *t, uint64_t idx,
957 1.1 yamt radix_tree_tagid_t tagid)
958 1.1 yamt {
959 1.1 yamt struct radix_tree_path path;
960 1.1 yamt const unsigned int tagmask = tagid_to_mask(tagid);
961 1.1 yamt void **vpp;
962 1.1 yamt int i;
963 1.1 yamt
964 1.1 yamt vpp = radix_tree_lookup_ptr(t, idx, &path, false, 0);
965 1.1 yamt KASSERT(vpp != NULL);
966 1.1 yamt KASSERT(*vpp != NULL);
967 1.1 yamt KASSERT(path.p_lastidx == t->t_height);
968 1.1 yamt KASSERT(vpp == path_pptr(t, &path, path.p_lastidx));
969 1.7 yamt /*
970 1.7 yamt * if already cleared, nothing to do
971 1.7 yamt */
972 1.1 yamt if ((entry_tagmask(*vpp) & tagmask) == 0) {
973 1.1 yamt return;
974 1.1 yamt }
975 1.7 yamt /*
976 1.7 yamt * clear the tag only if no children have the tag.
977 1.7 yamt */
978 1.1 yamt for (i = t->t_height; i >= 0; i--) {
979 1.1 yamt void ** const pptr = (void **)path_pptr(t, &path, i);
980 1.1 yamt void *entry;
981 1.1 yamt
982 1.1 yamt KASSERT(pptr != NULL);
983 1.1 yamt entry = *pptr;
984 1.1 yamt KASSERT((entry_tagmask(entry) & tagmask) != 0);
985 1.1 yamt *pptr = entry_compose(entry_ptr(entry),
986 1.1 yamt entry_tagmask(entry) & ~tagmask);
987 1.7 yamt /*
988 1.7 yamt * check if we should proceed to process the next level.
989 1.7 yamt */
990 1.7 yamt if (0 < i) {
991 1.1 yamt struct radix_tree_node *n = path_node(t, &path, i - 1);
992 1.1 yamt
993 1.1 yamt if ((any_children_tagmask(n) & tagmask) != 0) {
994 1.1 yamt break;
995 1.1 yamt }
996 1.1 yamt }
997 1.1 yamt }
998 1.1 yamt }
999 1.1 yamt
1000 1.1 yamt #if defined(UNITTEST)
1001 1.1 yamt
1002 1.1 yamt #include <inttypes.h>
1003 1.1 yamt #include <stdio.h>
1004 1.1 yamt
1005 1.1 yamt static void
1006 1.1 yamt radix_tree_dump_node(const struct radix_tree *t, void *vp,
1007 1.1 yamt uint64_t offset, unsigned int height)
1008 1.1 yamt {
1009 1.1 yamt struct radix_tree_node *n;
1010 1.1 yamt unsigned int i;
1011 1.1 yamt
1012 1.1 yamt for (i = 0; i < t->t_height - height; i++) {
1013 1.1 yamt printf(" ");
1014 1.1 yamt }
1015 1.1 yamt if (entry_tagmask(vp) == 0) {
1016 1.1 yamt printf("[%" PRIu64 "] %p", offset, entry_ptr(vp));
1017 1.1 yamt } else {
1018 1.1 yamt printf("[%" PRIu64 "] %p (tagmask=0x%x)", offset, entry_ptr(vp),
1019 1.1 yamt entry_tagmask(vp));
1020 1.1 yamt }
1021 1.1 yamt if (height == 0) {
1022 1.1 yamt printf(" (leaf)\n");
1023 1.1 yamt return;
1024 1.1 yamt }
1025 1.1 yamt n = entry_ptr(vp);
1026 1.1 yamt assert(any_children_tagmask(n) == entry_tagmask(vp));
1027 1.1 yamt printf(" (%u children)\n", n->n_nptrs);
1028 1.1 yamt for (i = 0; i < __arraycount(n->n_ptrs); i++) {
1029 1.1 yamt void *c;
1030 1.1 yamt
1031 1.1 yamt c = n->n_ptrs[i];
1032 1.1 yamt if (c == NULL) {
1033 1.1 yamt continue;
1034 1.1 yamt }
1035 1.1 yamt radix_tree_dump_node(t, c,
1036 1.1 yamt offset + i * (UINT64_C(1) <<
1037 1.1 yamt (RADIX_TREE_BITS_PER_HEIGHT * (height - 1))), height - 1);
1038 1.1 yamt }
1039 1.1 yamt }
1040 1.1 yamt
1041 1.1 yamt void radix_tree_dump(const struct radix_tree *);
1042 1.1 yamt
1043 1.1 yamt void
1044 1.1 yamt radix_tree_dump(const struct radix_tree *t)
1045 1.1 yamt {
1046 1.1 yamt
1047 1.1 yamt printf("tree %p height=%u\n", t, t->t_height);
1048 1.1 yamt radix_tree_dump_node(t, t->t_root, 0, t->t_height);
1049 1.1 yamt }
1050 1.1 yamt
1051 1.1 yamt static void
1052 1.1 yamt test1(void)
1053 1.1 yamt {
1054 1.1 yamt struct radix_tree s;
1055 1.1 yamt struct radix_tree *t = &s;
1056 1.1 yamt void *results[3];
1057 1.1 yamt
1058 1.1 yamt radix_tree_init_tree(t);
1059 1.1 yamt radix_tree_dump(t);
1060 1.1 yamt assert(radix_tree_lookup_node(t, 0) == NULL);
1061 1.1 yamt assert(radix_tree_lookup_node(t, 1000) == NULL);
1062 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, false) == 0);
1063 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, true) == 0);
1064 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1000, results, 3, false) == 0);
1065 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1000, results, 3, true) == 0);
1066 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 0, results, 3, false) ==
1067 1.17.2.1 yamt 0);
1068 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 0, results, 3, true) ==
1069 1.17.2.1 yamt 0);
1070 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 1000, results, 3, false)
1071 1.17.2.1 yamt == 0);
1072 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 1000, results, 3, true)
1073 1.17.2.1 yamt == 0);
1074 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 3, false, 0)
1075 1.17.2.1 yamt == 0);
1076 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 3, true, 0)
1077 1.15 yamt == 0);
1078 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 1000, results, 3, false, 0)
1079 1.17.2.1 yamt == 0);
1080 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 1000, results, 3, true, 0)
1081 1.17.2.1 yamt == 0);
1082 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 0, results, 3,
1083 1.17.2.1 yamt false, 0) == 0);
1084 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 0, results, 3,
1085 1.17.2.1 yamt true, 0) == 0);
1086 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 1000, results, 3,
1087 1.17.2.1 yamt false, 0) == 0);
1088 1.15 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 1000, results, 3,
1089 1.17.2.1 yamt true, 0) == 0);
1090 1.15 yamt assert(radix_tree_empty_tree_p(t));
1091 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 0));
1092 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 1));
1093 1.15 yamt assert(radix_tree_insert_node(t, 0, (void *)0xdeadbea0) == 0);
1094 1.15 yamt assert(!radix_tree_empty_tree_p(t));
1095 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 0));
1096 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 1));
1097 1.15 yamt assert(radix_tree_lookup_node(t, 0) == (void *)0xdeadbea0);
1098 1.15 yamt assert(radix_tree_lookup_node(t, 1000) == NULL);
1099 1.15 yamt memset(results, 0, sizeof(results));
1100 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, false) == 1);
1101 1.17.2.1 yamt assert(results[0] == (void *)0xdeadbea0);
1102 1.17.2.1 yamt memset(results, 0, sizeof(results));
1103 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, true) == 1);
1104 1.15 yamt assert(results[0] == (void *)0xdeadbea0);
1105 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1000, results, 3, false) == 0);
1106 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1000, results, 3, true) == 0);
1107 1.15 yamt memset(results, 0, sizeof(results));
1108 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 0, results, 3, false) ==
1109 1.17.2.1 yamt 1);
1110 1.15 yamt assert(results[0] == (void *)0xdeadbea0);
1111 1.15 yamt memset(results, 0, sizeof(results));
1112 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 0, results, 3, true) ==
1113 1.17.2.1 yamt 1);
1114 1.15 yamt assert(results[0] == (void *)0xdeadbea0);
1115 1.17.2.1 yamt memset(results, 0, sizeof(results));
1116 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 1000, results, 3, false)
1117 1.17.2.1 yamt == 1);
1118 1.17.2.1 yamt assert(results[0] == (void *)0xdeadbea0);
1119 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 1000, results, 3, true)
1120 1.17.2.1 yamt == 0);
1121 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 3, false, 0)
1122 1.15 yamt == 0);
1123 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 3, true, 0)
1124 1.15 yamt == 0);
1125 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 0, results, 3,
1126 1.17.2.1 yamt false, 0) == 0);
1127 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 0, results, 3,
1128 1.17.2.1 yamt true, 0) == 0);
1129 1.1 yamt assert(radix_tree_insert_node(t, 1000, (void *)0xdeadbea0) == 0);
1130 1.15 yamt assert(radix_tree_remove_node(t, 0) == (void *)0xdeadbea0);
1131 1.15 yamt assert(!radix_tree_empty_tree_p(t));
1132 1.1 yamt radix_tree_dump(t);
1133 1.15 yamt assert(radix_tree_lookup_node(t, 0) == NULL);
1134 1.15 yamt assert(radix_tree_lookup_node(t, 1000) == (void *)0xdeadbea0);
1135 1.15 yamt memset(results, 0, sizeof(results));
1136 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, false) == 1);
1137 1.17.2.1 yamt assert(results[0] == (void *)0xdeadbea0);
1138 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, true) == 0);
1139 1.17.2.1 yamt memset(results, 0, sizeof(results));
1140 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1000, results, 3, false) == 1);
1141 1.15 yamt assert(results[0] == (void *)0xdeadbea0);
1142 1.15 yamt memset(results, 0, sizeof(results));
1143 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1000, results, 3, true) == 1);
1144 1.15 yamt assert(results[0] == (void *)0xdeadbea0);
1145 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 0, results, 3, false)
1146 1.17.2.1 yamt == 0);
1147 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 0, results, 3, true)
1148 1.17.2.1 yamt == 0);
1149 1.17.2.1 yamt memset(results, 0, sizeof(results));
1150 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 1000, results, 3, false)
1151 1.17.2.1 yamt == 1);
1152 1.15 yamt memset(results, 0, sizeof(results));
1153 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, 1000, results, 3, true)
1154 1.17.2.1 yamt == 1);
1155 1.15 yamt assert(results[0] == (void *)0xdeadbea0);
1156 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 3, false, 0)
1157 1.15 yamt == 0);
1158 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 3, true, 0)
1159 1.15 yamt == 0);
1160 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 0, results, 3,
1161 1.17.2.1 yamt false, 0) == 0);
1162 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node_reverse(t, 0, results, 3,
1163 1.17.2.1 yamt true, 0) == 0);
1164 1.1 yamt assert(!radix_tree_get_tag(t, 1000, 0));
1165 1.1 yamt assert(!radix_tree_get_tag(t, 1000, 1));
1166 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 0));
1167 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 1));
1168 1.1 yamt radix_tree_set_tag(t, 1000, 1);
1169 1.1 yamt assert(!radix_tree_get_tag(t, 1000, 0));
1170 1.1 yamt assert(radix_tree_get_tag(t, 1000, 1));
1171 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 0));
1172 1.16 yamt assert(!radix_tree_empty_tagged_tree_p(t, 1));
1173 1.1 yamt radix_tree_dump(t);
1174 1.1 yamt assert(radix_tree_lookup_node(t, 1000) == (void *)0xdeadbea0);
1175 1.1 yamt assert(radix_tree_insert_node(t, 0, (void *)0xbea0) == 0);
1176 1.1 yamt radix_tree_dump(t);
1177 1.1 yamt assert(radix_tree_lookup_node(t, 0) == (void *)0xbea0);
1178 1.1 yamt assert(radix_tree_lookup_node(t, 1000) == (void *)0xdeadbea0);
1179 1.1 yamt assert(radix_tree_insert_node(t, UINT64_C(10000000000), (void *)0xdea0)
1180 1.1 yamt == 0);
1181 1.1 yamt radix_tree_dump(t);
1182 1.1 yamt assert(radix_tree_lookup_node(t, 0) == (void *)0xbea0);
1183 1.1 yamt assert(radix_tree_lookup_node(t, 1000) == (void *)0xdeadbea0);
1184 1.1 yamt assert(radix_tree_lookup_node(t, UINT64_C(10000000000)) ==
1185 1.1 yamt (void *)0xdea0);
1186 1.1 yamt radix_tree_dump(t);
1187 1.1 yamt assert(!radix_tree_get_tag(t, 0, 1));
1188 1.1 yamt assert(radix_tree_get_tag(t, 1000, 1));
1189 1.1 yamt assert(!radix_tree_get_tag(t, UINT64_C(10000000000), 1));
1190 1.1 yamt radix_tree_set_tag(t, 0, 1);;
1191 1.1 yamt radix_tree_set_tag(t, UINT64_C(10000000000), 1);
1192 1.1 yamt radix_tree_dump(t);
1193 1.1 yamt assert(radix_tree_get_tag(t, 0, 1));
1194 1.1 yamt assert(radix_tree_get_tag(t, 1000, 1));
1195 1.1 yamt assert(radix_tree_get_tag(t, UINT64_C(10000000000), 1));
1196 1.1 yamt radix_tree_clear_tag(t, 0, 1);;
1197 1.1 yamt radix_tree_clear_tag(t, UINT64_C(10000000000), 1);
1198 1.1 yamt radix_tree_dump(t);
1199 1.1 yamt assert(!radix_tree_get_tag(t, 0, 1));
1200 1.1 yamt assert(radix_tree_get_tag(t, 1000, 1));
1201 1.1 yamt assert(!radix_tree_get_tag(t, UINT64_C(10000000000), 1));
1202 1.1 yamt radix_tree_dump(t);
1203 1.1 yamt assert(radix_tree_replace_node(t, 1000, (void *)0x12345678) ==
1204 1.1 yamt (void *)0xdeadbea0);
1205 1.1 yamt assert(!radix_tree_get_tag(t, 1000, 0));
1206 1.1 yamt assert(radix_tree_get_tag(t, 1000, 1));
1207 1.17.2.1 yamt memset(results, 0, sizeof(results));
1208 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, false) == 3);
1209 1.1 yamt assert(results[0] == (void *)0xbea0);
1210 1.1 yamt assert(results[1] == (void *)0x12345678);
1211 1.1 yamt assert(results[2] == (void *)0xdea0);
1212 1.17.2.1 yamt memset(results, 0, sizeof(results));
1213 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 0, results, 3, true) == 1);
1214 1.17.2.1 yamt assert(results[0] == (void *)0xbea0);
1215 1.17.2.1 yamt memset(results, 0, sizeof(results));
1216 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1, results, 3, false) == 2);
1217 1.1 yamt assert(results[0] == (void *)0x12345678);
1218 1.1 yamt assert(results[1] == (void *)0xdea0);
1219 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1, results, 3, true) == 0);
1220 1.17.2.1 yamt memset(results, 0, sizeof(results));
1221 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1001, results, 3, false) == 1);
1222 1.1 yamt assert(results[0] == (void *)0xdea0);
1223 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, 1001, results, 3, true) == 0);
1224 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, UINT64_C(10000000001), results, 3,
1225 1.17.2.1 yamt false) == 0);
1226 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, UINT64_C(10000000001), results, 3,
1227 1.17.2.1 yamt true) == 0);
1228 1.1 yamt assert(radix_tree_gang_lookup_node(t, UINT64_C(1000000000000), results,
1229 1.17.2.1 yamt 3, false) == 0);
1230 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, UINT64_C(1000000000000), results,
1231 1.17.2.1 yamt 3, true) == 0);
1232 1.17.2.1 yamt memset(results, 0, sizeof(results));
1233 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 100, false, 1)
1234 1.17.2.1 yamt == 1);
1235 1.1 yamt assert(results[0] == (void *)0x12345678);
1236 1.17.2.1 yamt assert(radix_tree_gang_lookup_tagged_node(t, 0, results, 100, true, 1)
1237 1.17.2.1 yamt == 0);
1238 1.1 yamt assert(entry_tagmask(t->t_root) != 0);
1239 1.1 yamt assert(radix_tree_remove_node(t, 1000) == (void *)0x12345678);
1240 1.1 yamt assert(entry_tagmask(t->t_root) == 0);
1241 1.1 yamt radix_tree_dump(t);
1242 1.17.2.1 yamt assert(radix_tree_insert_node(t, UINT64_C(10000000001), (void *)0xfff0)
1243 1.17.2.1 yamt == 0);
1244 1.17.2.1 yamt memset(results, 0, sizeof(results));
1245 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, UINT64_C(10000000000), results, 3,
1246 1.17.2.1 yamt false) == 2);
1247 1.17.2.1 yamt assert(results[0] == (void *)0xdea0);
1248 1.17.2.1 yamt assert(results[1] == (void *)0xfff0);
1249 1.17.2.1 yamt memset(results, 0, sizeof(results));
1250 1.17.2.1 yamt assert(radix_tree_gang_lookup_node(t, UINT64_C(10000000000), results, 3,
1251 1.17.2.1 yamt true) == 2);
1252 1.17.2.1 yamt assert(results[0] == (void *)0xdea0);
1253 1.17.2.1 yamt assert(results[1] == (void *)0xfff0);
1254 1.17.2.1 yamt memset(results, 0, sizeof(results));
1255 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, UINT64_C(10000000001),
1256 1.17.2.1 yamt results, 3, false) == 3);
1257 1.17.2.1 yamt assert(results[0] == (void *)0xfff0);
1258 1.17.2.1 yamt assert(results[1] == (void *)0xdea0);
1259 1.17.2.1 yamt assert(results[2] == (void *)0xbea0);
1260 1.17.2.1 yamt memset(results, 0, sizeof(results));
1261 1.17.2.1 yamt assert(radix_tree_gang_lookup_node_reverse(t, UINT64_C(10000000001),
1262 1.17.2.1 yamt results, 3, true) == 2);
1263 1.17.2.1 yamt assert(results[0] == (void *)0xfff0);
1264 1.17.2.1 yamt assert(results[1] == (void *)0xdea0);
1265 1.1 yamt assert(radix_tree_remove_node(t, UINT64_C(10000000000)) ==
1266 1.1 yamt (void *)0xdea0);
1267 1.17.2.1 yamt assert(radix_tree_remove_node(t, UINT64_C(10000000001)) ==
1268 1.17.2.1 yamt (void *)0xfff0);
1269 1.1 yamt radix_tree_dump(t);
1270 1.1 yamt assert(radix_tree_remove_node(t, 0) == (void *)0xbea0);
1271 1.1 yamt radix_tree_dump(t);
1272 1.1 yamt radix_tree_fini_tree(t);
1273 1.1 yamt }
1274 1.1 yamt
1275 1.1 yamt #include <sys/time.h>
1276 1.1 yamt
1277 1.1 yamt struct testnode {
1278 1.1 yamt uint64_t idx;
1279 1.12 yamt bool tagged[RADIX_TREE_TAG_ID_MAX];
1280 1.1 yamt };
1281 1.1 yamt
1282 1.1 yamt static void
1283 1.11 yamt printops(const char *title, const char *name, int tag, unsigned int n,
1284 1.11 yamt const struct timeval *stv, const struct timeval *etv)
1285 1.1 yamt {
1286 1.1 yamt uint64_t s = stv->tv_sec * 1000000 + stv->tv_usec;
1287 1.1 yamt uint64_t e = etv->tv_sec * 1000000 + etv->tv_usec;
1288 1.1 yamt
1289 1.11 yamt printf("RESULT %s %s %d %lf op/s\n", title, name, tag,
1290 1.11 yamt (double)n / (e - s) * 1000000);
1291 1.1 yamt }
1292 1.1 yamt
1293 1.1 yamt #define TEST2_GANG_LOOKUP_NODES 16
1294 1.1 yamt
1295 1.1 yamt static bool
1296 1.1 yamt test2_should_tag(unsigned int i, radix_tree_tagid_t tagid)
1297 1.1 yamt {
1298 1.1 yamt
1299 1.1 yamt if (tagid == 0) {
1300 1.11 yamt return (i & 0x3) == 0; /* 25% */
1301 1.1 yamt } else {
1302 1.11 yamt return (i % 7) == 0; /* 14% */
1303 1.1 yamt }
1304 1.1 yamt }
1305 1.1 yamt
1306 1.1 yamt static void
1307 1.11 yamt test2(const char *title, bool dense)
1308 1.1 yamt {
1309 1.1 yamt struct radix_tree s;
1310 1.1 yamt struct radix_tree *t = &s;
1311 1.1 yamt struct testnode *n;
1312 1.1 yamt unsigned int i;
1313 1.1 yamt unsigned int nnodes = 100000;
1314 1.1 yamt unsigned int removed;
1315 1.1 yamt radix_tree_tagid_t tag;
1316 1.1 yamt unsigned int ntagged[RADIX_TREE_TAG_ID_MAX];
1317 1.1 yamt struct testnode *nodes;
1318 1.1 yamt struct timeval stv;
1319 1.1 yamt struct timeval etv;
1320 1.1 yamt
1321 1.1 yamt nodes = malloc(nnodes * sizeof(*nodes));
1322 1.1 yamt for (tag = 0; tag < RADIX_TREE_TAG_ID_MAX; tag++) {
1323 1.1 yamt ntagged[tag] = 0;
1324 1.1 yamt }
1325 1.1 yamt radix_tree_init_tree(t);
1326 1.1 yamt for (i = 0; i < nnodes; i++) {
1327 1.1 yamt n = &nodes[i];
1328 1.1 yamt n->idx = random();
1329 1.1 yamt if (sizeof(long) == 4) {
1330 1.1 yamt n->idx <<= 32;
1331 1.1 yamt n->idx |= (uint32_t)random();
1332 1.1 yamt }
1333 1.1 yamt if (dense) {
1334 1.1 yamt n->idx %= nnodes * 2;
1335 1.1 yamt }
1336 1.1 yamt while (radix_tree_lookup_node(t, n->idx) != NULL) {
1337 1.1 yamt n->idx++;
1338 1.1 yamt }
1339 1.1 yamt radix_tree_insert_node(t, n->idx, n);
1340 1.1 yamt for (tag = 0; tag < RADIX_TREE_TAG_ID_MAX; tag++) {
1341 1.12 yamt n->tagged[tag] = test2_should_tag(i, tag);
1342 1.12 yamt if (n->tagged[tag]) {
1343 1.1 yamt radix_tree_set_tag(t, n->idx, tag);
1344 1.1 yamt ntagged[tag]++;
1345 1.1 yamt }
1346 1.12 yamt assert(n->tagged[tag] ==
1347 1.1 yamt radix_tree_get_tag(t, n->idx, tag));
1348 1.1 yamt }
1349 1.1 yamt }
1350 1.1 yamt
1351 1.1 yamt gettimeofday(&stv, NULL);
1352 1.1 yamt for (i = 0; i < nnodes; i++) {
1353 1.1 yamt n = &nodes[i];
1354 1.1 yamt assert(radix_tree_lookup_node(t, n->idx) == n);
1355 1.1 yamt }
1356 1.1 yamt gettimeofday(&etv, NULL);
1357 1.11 yamt printops(title, "lookup", 0, nnodes, &stv, &etv);
1358 1.1 yamt
1359 1.1 yamt for (tag = 0; tag < RADIX_TREE_TAG_ID_MAX; tag++) {
1360 1.12 yamt unsigned int count = 0;
1361 1.12 yamt
1362 1.1 yamt gettimeofday(&stv, NULL);
1363 1.1 yamt for (i = 0; i < nnodes; i++) {
1364 1.12 yamt bool tagged;
1365 1.12 yamt
1366 1.1 yamt n = &nodes[i];
1367 1.12 yamt tagged = radix_tree_get_tag(t, n->idx, tag);
1368 1.12 yamt assert(n->tagged[tag] == tagged);
1369 1.12 yamt if (tagged) {
1370 1.12 yamt count++;
1371 1.12 yamt }
1372 1.1 yamt }
1373 1.1 yamt gettimeofday(&etv, NULL);
1374 1.12 yamt assert(ntagged[tag] == count);
1375 1.12 yamt printops(title, "get_tag", tag, nnodes, &stv, &etv);
1376 1.1 yamt }
1377 1.1 yamt
1378 1.1 yamt gettimeofday(&stv, NULL);
1379 1.1 yamt for (i = 0; i < nnodes; i++) {
1380 1.1 yamt n = &nodes[i];
1381 1.1 yamt radix_tree_remove_node(t, n->idx);
1382 1.1 yamt }
1383 1.1 yamt gettimeofday(&etv, NULL);
1384 1.11 yamt printops(title, "remove", 0, nnodes, &stv, &etv);
1385 1.1 yamt
1386 1.1 yamt gettimeofday(&stv, NULL);
1387 1.1 yamt for (i = 0; i < nnodes; i++) {
1388 1.1 yamt n = &nodes[i];
1389 1.1 yamt radix_tree_insert_node(t, n->idx, n);
1390 1.1 yamt }
1391 1.1 yamt gettimeofday(&etv, NULL);
1392 1.11 yamt printops(title, "insert", 0, nnodes, &stv, &etv);
1393 1.1 yamt
1394 1.1 yamt for (tag = 0; tag < RADIX_TREE_TAG_ID_MAX; tag++) {
1395 1.1 yamt ntagged[tag] = 0;
1396 1.1 yamt gettimeofday(&stv, NULL);
1397 1.1 yamt for (i = 0; i < nnodes; i++) {
1398 1.1 yamt n = &nodes[i];
1399 1.12 yamt if (n->tagged[tag]) {
1400 1.1 yamt radix_tree_set_tag(t, n->idx, tag);
1401 1.1 yamt ntagged[tag]++;
1402 1.1 yamt }
1403 1.1 yamt }
1404 1.1 yamt gettimeofday(&etv, NULL);
1405 1.11 yamt printops(title, "set_tag", tag, ntagged[tag], &stv, &etv);
1406 1.1 yamt }
1407 1.1 yamt
1408 1.1 yamt gettimeofday(&stv, NULL);
1409 1.1 yamt {
1410 1.1 yamt struct testnode *results[TEST2_GANG_LOOKUP_NODES];
1411 1.1 yamt uint64_t nextidx;
1412 1.1 yamt unsigned int nfound;
1413 1.1 yamt unsigned int total;
1414 1.1 yamt
1415 1.1 yamt nextidx = 0;
1416 1.1 yamt total = 0;
1417 1.1 yamt while ((nfound = radix_tree_gang_lookup_node(t, nextidx,
1418 1.17.2.1 yamt (void *)results, __arraycount(results), false)) > 0) {
1419 1.1 yamt nextidx = results[nfound - 1]->idx + 1;
1420 1.1 yamt total += nfound;
1421 1.15 yamt if (nextidx == 0) {
1422 1.15 yamt break;
1423 1.15 yamt }
1424 1.1 yamt }
1425 1.1 yamt assert(total == nnodes);
1426 1.1 yamt }
1427 1.1 yamt gettimeofday(&etv, NULL);
1428 1.11 yamt printops(title, "ganglookup", 0, nnodes, &stv, &etv);
1429 1.1 yamt
1430 1.15 yamt gettimeofday(&stv, NULL);
1431 1.15 yamt {
1432 1.15 yamt struct testnode *results[TEST2_GANG_LOOKUP_NODES];
1433 1.15 yamt uint64_t nextidx;
1434 1.15 yamt unsigned int nfound;
1435 1.15 yamt unsigned int total;
1436 1.15 yamt
1437 1.15 yamt nextidx = UINT64_MAX;
1438 1.15 yamt total = 0;
1439 1.15 yamt while ((nfound = radix_tree_gang_lookup_node_reverse(t, nextidx,
1440 1.17.2.1 yamt (void *)results, __arraycount(results), false)) > 0) {
1441 1.15 yamt nextidx = results[nfound - 1]->idx - 1;
1442 1.15 yamt total += nfound;
1443 1.15 yamt if (nextidx == UINT64_MAX) {
1444 1.15 yamt break;
1445 1.15 yamt }
1446 1.15 yamt }
1447 1.15 yamt assert(total == nnodes);
1448 1.15 yamt }
1449 1.15 yamt gettimeofday(&etv, NULL);
1450 1.15 yamt printops(title, "ganglookup_reverse", 0, nnodes, &stv, &etv);
1451 1.15 yamt
1452 1.1 yamt for (tag = 0; tag < RADIX_TREE_TAG_ID_MAX; tag++) {
1453 1.1 yamt gettimeofday(&stv, NULL);
1454 1.1 yamt {
1455 1.1 yamt struct testnode *results[TEST2_GANG_LOOKUP_NODES];
1456 1.1 yamt uint64_t nextidx;
1457 1.1 yamt unsigned int nfound;
1458 1.1 yamt unsigned int total;
1459 1.1 yamt
1460 1.1 yamt nextidx = 0;
1461 1.1 yamt total = 0;
1462 1.1 yamt while ((nfound = radix_tree_gang_lookup_tagged_node(t,
1463 1.1 yamt nextidx, (void *)results, __arraycount(results),
1464 1.17.2.1 yamt false, tag)) > 0) {
1465 1.1 yamt nextidx = results[nfound - 1]->idx + 1;
1466 1.1 yamt total += nfound;
1467 1.1 yamt }
1468 1.1 yamt assert(total == ntagged[tag]);
1469 1.1 yamt }
1470 1.1 yamt gettimeofday(&etv, NULL);
1471 1.11 yamt printops(title, "ganglookup_tag", tag, ntagged[tag], &stv,
1472 1.11 yamt &etv);
1473 1.1 yamt }
1474 1.1 yamt
1475 1.15 yamt for (tag = 0; tag < RADIX_TREE_TAG_ID_MAX; tag++) {
1476 1.15 yamt gettimeofday(&stv, NULL);
1477 1.15 yamt {
1478 1.15 yamt struct testnode *results[TEST2_GANG_LOOKUP_NODES];
1479 1.15 yamt uint64_t nextidx;
1480 1.15 yamt unsigned int nfound;
1481 1.15 yamt unsigned int total;
1482 1.15 yamt
1483 1.15 yamt nextidx = UINT64_MAX;
1484 1.15 yamt total = 0;
1485 1.15 yamt while ((nfound =
1486 1.15 yamt radix_tree_gang_lookup_tagged_node_reverse(t,
1487 1.15 yamt nextidx, (void *)results, __arraycount(results),
1488 1.17.2.1 yamt false, tag)) > 0) {
1489 1.15 yamt nextidx = results[nfound - 1]->idx - 1;
1490 1.15 yamt total += nfound;
1491 1.15 yamt if (nextidx == UINT64_MAX) {
1492 1.15 yamt break;
1493 1.15 yamt }
1494 1.15 yamt }
1495 1.15 yamt assert(total == ntagged[tag]);
1496 1.15 yamt }
1497 1.15 yamt gettimeofday(&etv, NULL);
1498 1.15 yamt printops(title, "ganglookup_tag_reverse", tag, ntagged[tag],
1499 1.15 yamt &stv, &etv);
1500 1.15 yamt }
1501 1.15 yamt
1502 1.1 yamt removed = 0;
1503 1.1 yamt for (tag = 0; tag < RADIX_TREE_TAG_ID_MAX; tag++) {
1504 1.1 yamt unsigned int total;
1505 1.1 yamt
1506 1.1 yamt total = 0;
1507 1.1 yamt gettimeofday(&stv, NULL);
1508 1.1 yamt {
1509 1.1 yamt struct testnode *results[TEST2_GANG_LOOKUP_NODES];
1510 1.1 yamt uint64_t nextidx;
1511 1.1 yamt unsigned int nfound;
1512 1.1 yamt
1513 1.1 yamt nextidx = 0;
1514 1.1 yamt while ((nfound = radix_tree_gang_lookup_tagged_node(t,
1515 1.1 yamt nextidx, (void *)results, __arraycount(results),
1516 1.17.2.1 yamt false, tag)) > 0) {
1517 1.1 yamt for (i = 0; i < nfound; i++) {
1518 1.1 yamt radix_tree_remove_node(t,
1519 1.1 yamt results[i]->idx);
1520 1.1 yamt }
1521 1.1 yamt nextidx = results[nfound - 1]->idx + 1;
1522 1.1 yamt total += nfound;
1523 1.15 yamt if (nextidx == 0) {
1524 1.15 yamt break;
1525 1.15 yamt }
1526 1.1 yamt }
1527 1.1 yamt assert(tag != 0 || total == ntagged[tag]);
1528 1.1 yamt assert(total <= ntagged[tag]);
1529 1.1 yamt }
1530 1.1 yamt gettimeofday(&etv, NULL);
1531 1.11 yamt printops(title, "ganglookup_tag+remove", tag, total, &stv,
1532 1.11 yamt &etv);
1533 1.1 yamt removed += total;
1534 1.1 yamt }
1535 1.1 yamt
1536 1.1 yamt gettimeofday(&stv, NULL);
1537 1.1 yamt {
1538 1.1 yamt struct testnode *results[TEST2_GANG_LOOKUP_NODES];
1539 1.1 yamt uint64_t nextidx;
1540 1.1 yamt unsigned int nfound;
1541 1.1 yamt unsigned int total;
1542 1.1 yamt
1543 1.1 yamt nextidx = 0;
1544 1.1 yamt total = 0;
1545 1.1 yamt while ((nfound = radix_tree_gang_lookup_node(t, nextidx,
1546 1.17.2.1 yamt (void *)results, __arraycount(results), false)) > 0) {
1547 1.1 yamt for (i = 0; i < nfound; i++) {
1548 1.1 yamt assert(results[i] == radix_tree_remove_node(t,
1549 1.1 yamt results[i]->idx));
1550 1.1 yamt }
1551 1.1 yamt nextidx = results[nfound - 1]->idx + 1;
1552 1.1 yamt total += nfound;
1553 1.15 yamt if (nextidx == 0) {
1554 1.15 yamt break;
1555 1.15 yamt }
1556 1.1 yamt }
1557 1.1 yamt assert(total == nnodes - removed);
1558 1.1 yamt }
1559 1.1 yamt gettimeofday(&etv, NULL);
1560 1.11 yamt printops(title, "ganglookup+remove", 0, nnodes - removed, &stv, &etv);
1561 1.1 yamt
1562 1.16 yamt assert(radix_tree_empty_tree_p(t));
1563 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 0));
1564 1.16 yamt assert(radix_tree_empty_tagged_tree_p(t, 1));
1565 1.1 yamt radix_tree_fini_tree(t);
1566 1.1 yamt free(nodes);
1567 1.1 yamt }
1568 1.1 yamt
1569 1.1 yamt int
1570 1.1 yamt main(int argc, char *argv[])
1571 1.1 yamt {
1572 1.1 yamt
1573 1.1 yamt test1();
1574 1.11 yamt test2("dense", true);
1575 1.11 yamt test2("sparse", false);
1576 1.1 yamt return 0;
1577 1.1 yamt }
1578 1.1 yamt
1579 1.1 yamt #endif /* defined(UNITTEST) */
1580