Home | History | Annotate | Line # | Download | only in gen
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