Home | History | Annotate | Line # | Download | only in gen
rpst.c revision 1.6
      1  1.6  yamt /*	$NetBSD: rpst.c,v 1.6 2009/05/26 22:37:50 yamt Exp $	*/
      2  1.1  yamt 
      3  1.1  yamt /*-
      4  1.1  yamt  * Copyright (c)2009 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.1  yamt  * radix priority search tree
     31  1.1  yamt  *
     32  1.1  yamt  * described in:
     33  1.1  yamt  *	SIAM J. COMPUT.
     34  1.1  yamt  *	Vol. 14, No. 2, May 1985
     35  1.1  yamt  *	PRIORITY SEARCH TREES
     36  1.1  yamt  *	EDWARD M. McCREIGHT
     37  1.1  yamt  *
     38  1.1  yamt  * ideas from linux:
     39  1.1  yamt  *	- grow tree height on-demand.
     40  1.1  yamt  *	- allow duplicated X values.  in that case, we act as a heap.
     41  1.1  yamt  */
     42  1.1  yamt 
     43  1.1  yamt #include <sys/cdefs.h>
     44  1.1  yamt 
     45  1.1  yamt #if defined(_KERNEL)
     46  1.6  yamt __KERNEL_RCSID(0, "$NetBSD: rpst.c,v 1.6 2009/05/26 22:37:50 yamt Exp $");
     47  1.1  yamt #include <sys/param.h>
     48  1.1  yamt #else /* defined(_KERNEL) */
     49  1.6  yamt __RCSID("$NetBSD: rpst.c,v 1.6 2009/05/26 22:37:50 yamt Exp $");
     50  1.1  yamt #include <assert.h>
     51  1.1  yamt #include <stdbool.h>
     52  1.1  yamt #include <string.h>
     53  1.2  yamt #if 1
     54  1.1  yamt #define	KASSERT	assert
     55  1.2  yamt #else
     56  1.2  yamt #define	KASSERT(a)
     57  1.2  yamt #endif
     58  1.1  yamt #endif /* defined(_KERNEL) */
     59  1.1  yamt 
     60  1.1  yamt #include <sys/rpst.h>
     61  1.1  yamt 
     62  1.1  yamt /*
     63  1.1  yamt  * rpst_init_tree: initialize a tree.
     64  1.1  yamt  */
     65  1.1  yamt 
     66  1.1  yamt void
     67  1.1  yamt rpst_init_tree(struct rpst_tree *t)
     68  1.1  yamt {
     69  1.1  yamt 
     70  1.1  yamt 	t->t_root = NULL;
     71  1.1  yamt 	t->t_height = 0;
     72  1.1  yamt }
     73  1.1  yamt 
     74  1.1  yamt /*
     75  1.1  yamt  * rpst_height2max: calculate the maximum index which can be handled by
     76  1.1  yamt  * a tree with the given height.
     77  1.1  yamt  *
     78  1.1  yamt  * 0  ... 0x0000000000000001
     79  1.1  yamt  * 1  ... 0x0000000000000003
     80  1.1  yamt  * 2  ... 0x0000000000000007
     81  1.1  yamt  * 3  ... 0x000000000000000f
     82  1.1  yamt  *
     83  1.1  yamt  * 31 ... 0x00000000ffffffff
     84  1.1  yamt  *
     85  1.1  yamt  * 63 ... 0xffffffffffffffff
     86  1.1  yamt  */
     87  1.1  yamt 
     88  1.1  yamt static uint64_t
     89  1.1  yamt rpst_height2max(unsigned int height)
     90  1.1  yamt {
     91  1.1  yamt 
     92  1.1  yamt 	KASSERT(height < 64);
     93  1.1  yamt 	if (height == 63) {
     94  1.1  yamt 		return UINT64_MAX;
     95  1.1  yamt 	}
     96  1.1  yamt 	return (UINT64_C(1) << (height + 1)) - 1;
     97  1.1  yamt }
     98  1.1  yamt 
     99  1.1  yamt /*
    100  1.2  yamt  * rpst_level2mask: calculate the mask for the given level in the tree.
    101  1.2  yamt  *
    102  1.2  yamt  * the mask used to index root's children is level 0.
    103  1.2  yamt  */
    104  1.2  yamt 
    105  1.2  yamt static uint64_t
    106  1.2  yamt rpst_level2mask(const struct rpst_tree *t, unsigned int level)
    107  1.2  yamt {
    108  1.2  yamt 	uint64_t mask;
    109  1.2  yamt 
    110  1.2  yamt 	if (t->t_height < level) {
    111  1.2  yamt 		mask = 0;
    112  1.2  yamt 	} else {
    113  1.2  yamt 		mask = UINT64_C(1) << (t->t_height - level);
    114  1.2  yamt 	}
    115  1.2  yamt 	return mask;
    116  1.2  yamt }
    117  1.2  yamt 
    118  1.2  yamt /*
    119  1.1  yamt  * rpst_startmask: calculate the mask for the start of a search.
    120  1.1  yamt  * (ie. the mask for the top-most bit)
    121  1.1  yamt  */
    122  1.1  yamt 
    123  1.1  yamt static uint64_t
    124  1.1  yamt rpst_startmask(const struct rpst_tree *t)
    125  1.1  yamt {
    126  1.2  yamt 	const uint64_t mask = rpst_level2mask(t, 0);
    127  1.1  yamt 
    128  1.2  yamt 	KASSERT((mask | (mask - 1)) == rpst_height2max(t->t_height));
    129  1.2  yamt 	return mask;
    130  1.1  yamt }
    131  1.1  yamt 
    132  1.1  yamt /*
    133  1.5  yamt  * rpst_update_parents: update n_parent of children
    134  1.5  yamt  */
    135  1.5  yamt 
    136  1.5  yamt static inline void
    137  1.5  yamt rpst_update_parents(struct rpst_node *n)
    138  1.5  yamt {
    139  1.5  yamt 	int i;
    140  1.5  yamt 
    141  1.5  yamt 	for (i = 0; i < 2; i++) {
    142  1.5  yamt 		if (n->n_children[i] != NULL) {
    143  1.5  yamt 			n->n_children[i]->n_parent = n;
    144  1.5  yamt 		}
    145  1.5  yamt 	}
    146  1.5  yamt }
    147  1.5  yamt 
    148  1.5  yamt /*
    149  1.1  yamt  * rpst_enlarge_tree: enlarge tree so that 'index' can be stored
    150  1.1  yamt  */
    151  1.1  yamt 
    152  1.1  yamt static void
    153  1.1  yamt rpst_enlarge_tree(struct rpst_tree *t, uint64_t idx)
    154  1.1  yamt {
    155  1.1  yamt 
    156  1.1  yamt 	while (idx > rpst_height2max(t->t_height)) {
    157  1.1  yamt 		struct rpst_node *n = t->t_root;
    158  1.1  yamt 
    159  1.1  yamt 		if (n != NULL) {
    160  1.1  yamt 			rpst_remove_node(t, n);
    161  1.1  yamt 			memset(&n->n_children, 0, sizeof(n->n_children));
    162  1.1  yamt 			n->n_children[0] = t->t_root;
    163  1.5  yamt 			t->t_root->n_parent = n;
    164  1.1  yamt 			t->t_root = n;
    165  1.5  yamt 			n->n_parent = NULL;
    166  1.1  yamt 		}
    167  1.1  yamt 		t->t_height++;
    168  1.1  yamt 	}
    169  1.1  yamt }
    170  1.1  yamt 
    171  1.1  yamt /*
    172  1.1  yamt  * rpst_insert_node1: a helper for rpst_insert_node.
    173  1.1  yamt  */
    174  1.1  yamt 
    175  1.1  yamt static struct rpst_node *
    176  1.1  yamt rpst_insert_node1(struct rpst_node **where, struct rpst_node *n, uint64_t mask)
    177  1.1  yamt {
    178  1.5  yamt 	struct rpst_node *parent;
    179  1.1  yamt 	struct rpst_node *cur;
    180  1.1  yamt 	unsigned int idx;
    181  1.1  yamt 
    182  1.1  yamt 	KASSERT((n->n_x & ((-mask) << 1)) == 0);
    183  1.5  yamt 	parent = NULL;
    184  1.1  yamt next:
    185  1.1  yamt 	cur = *where;
    186  1.1  yamt 	if (cur == NULL) {
    187  1.5  yamt 		n->n_parent = parent;
    188  1.1  yamt 		memset(&n->n_children, 0, sizeof(n->n_children));
    189  1.1  yamt 		*where = n;
    190  1.1  yamt 		return NULL;
    191  1.1  yamt 	}
    192  1.5  yamt 	KASSERT(cur->n_parent == parent);
    193  1.3  yamt 	if (n->n_y == cur->n_y && n->n_x == cur->n_x) {
    194  1.1  yamt 		return cur;
    195  1.1  yamt 	}
    196  1.1  yamt 	if (n->n_y < cur->n_y) {
    197  1.5  yamt 		/*
    198  1.5  yamt 		 * swap cur and n.
    199  1.5  yamt 		 * note that n is not in tree.
    200  1.5  yamt 		 */
    201  1.1  yamt 		memcpy(n->n_children, cur->n_children, sizeof(n->n_children));
    202  1.5  yamt 		n->n_parent = cur->n_parent;
    203  1.5  yamt 		rpst_update_parents(n);
    204  1.1  yamt 		*where = n;
    205  1.1  yamt 		n = cur;
    206  1.1  yamt 		cur = *where;
    207  1.1  yamt 	}
    208  1.1  yamt 	KASSERT(*where == cur);
    209  1.1  yamt 	idx = (n->n_x & mask) != 0;
    210  1.1  yamt 	where = &cur->n_children[idx];
    211  1.5  yamt 	parent = cur;
    212  1.2  yamt 	KASSERT((*where) == NULL || ((((*where)->n_x & mask) != 0) == idx));
    213  1.2  yamt 	KASSERT((*where) == NULL || (*where)->n_y >= cur->n_y);
    214  1.1  yamt 	mask >>= 1;
    215  1.1  yamt 	goto next;
    216  1.1  yamt }
    217  1.1  yamt 
    218  1.1  yamt /*
    219  1.1  yamt  * rpst_insert_node: insert a node into the tree.
    220  1.1  yamt  *
    221  1.1  yamt  * => return NULL on success.
    222  1.1  yamt  * => if a duplicated node (a node with the same X,Y pair as ours) is found,
    223  1.1  yamt  *    return the node.  in that case, the tree is intact.
    224  1.1  yamt  */
    225  1.1  yamt 
    226  1.1  yamt struct rpst_node *
    227  1.1  yamt rpst_insert_node(struct rpst_tree *t, struct rpst_node *n)
    228  1.1  yamt {
    229  1.1  yamt 
    230  1.1  yamt 	rpst_enlarge_tree(t, n->n_x);
    231  1.1  yamt 	return rpst_insert_node1(&t->t_root, n, rpst_startmask(t));
    232  1.1  yamt }
    233  1.1  yamt 
    234  1.1  yamt /*
    235  1.1  yamt  * rpst_find_pptr: find a pointer to the given node.
    236  1.1  yamt  *
    237  1.1  yamt  * also, return the parent node via parentp.  (NULL for the root node.)
    238  1.1  yamt  */
    239  1.1  yamt 
    240  1.5  yamt static inline struct rpst_node **
    241  1.5  yamt rpst_find_pptr(struct rpst_tree *t, struct rpst_node *n,
    242  1.1  yamt     struct rpst_node **parentp)
    243  1.1  yamt {
    244  1.5  yamt 	struct rpst_node * const parent = n->n_parent;
    245  1.5  yamt 	unsigned int i;
    246  1.1  yamt 
    247  1.5  yamt 	*parentp = parent;
    248  1.5  yamt 	if (parent == NULL) {
    249  1.5  yamt 		return &t->t_root;
    250  1.5  yamt 	}
    251  1.5  yamt 	for (i = 0; i < 2 - 1; i++) {
    252  1.5  yamt 		if (parent->n_children[i] == n) {
    253  1.5  yamt 			break;
    254  1.5  yamt 		}
    255  1.1  yamt 	}
    256  1.5  yamt 	KASSERT(parent->n_children[i] == n);
    257  1.5  yamt 	return &parent->n_children[i];
    258  1.1  yamt }
    259  1.1  yamt 
    260  1.1  yamt /*
    261  1.1  yamt  * rpst_remove_node_at: remove a node at *where.
    262  1.1  yamt  */
    263  1.1  yamt 
    264  1.1  yamt static void
    265  1.5  yamt rpst_remove_node_at(struct rpst_node *parent, struct rpst_node **where,
    266  1.5  yamt     struct rpst_node *cur)
    267  1.1  yamt {
    268  1.1  yamt 	struct rpst_node *tmp[2];
    269  1.1  yamt 	struct rpst_node *selected;
    270  1.5  yamt 	unsigned int selected_idx = 0; /* XXX gcc */
    271  1.1  yamt 	unsigned int i;
    272  1.1  yamt 
    273  1.1  yamt 	KASSERT(cur != NULL);
    274  1.5  yamt 	KASSERT(parent == cur->n_parent);
    275  1.1  yamt next:
    276  1.1  yamt 	selected = NULL;
    277  1.1  yamt 	for (i = 0; i < 2; i++) {
    278  1.1  yamt 		struct rpst_node *c;
    279  1.1  yamt 
    280  1.1  yamt 		c = cur->n_children[i];
    281  1.5  yamt 		KASSERT(c == NULL || c->n_parent == cur);
    282  1.1  yamt 		if (selected == NULL || (c != NULL && c->n_y < selected->n_y)) {
    283  1.1  yamt 			selected = c;
    284  1.1  yamt 			selected_idx = i;
    285  1.1  yamt 		}
    286  1.1  yamt 	}
    287  1.4  yamt 	/*
    288  1.4  yamt 	 * now we have:
    289  1.4  yamt 	 *
    290  1.5  yamt 	 *      parent
    291  1.4  yamt 	 *          \ <- where
    292  1.4  yamt 	 *           cur
    293  1.4  yamt 	 *           / \
    294  1.4  yamt 	 *          A  selected
    295  1.4  yamt 	 *              / \
    296  1.4  yamt 	 *             B   C
    297  1.4  yamt 	 */
    298  1.1  yamt 	*where = selected;
    299  1.1  yamt 	if (selected == NULL) {
    300  1.1  yamt 		return;
    301  1.1  yamt 	}
    302  1.1  yamt 	/*
    303  1.1  yamt 	 * swap selected->n_children and cur->n_children.
    304  1.1  yamt 	 */
    305  1.1  yamt 	memcpy(tmp, selected->n_children, sizeof(tmp));
    306  1.1  yamt 	memcpy(selected->n_children, cur->n_children, sizeof(tmp));
    307  1.1  yamt 	memcpy(cur->n_children, tmp, sizeof(tmp));
    308  1.5  yamt 	rpst_update_parents(cur);
    309  1.5  yamt 	rpst_update_parents(selected);
    310  1.5  yamt 	selected->n_parent = parent;
    311  1.4  yamt 	/*
    312  1.5  yamt 	 *      parent
    313  1.4  yamt 	 *          \ <- where
    314  1.4  yamt 	 *          selected
    315  1.4  yamt 	 *           / \
    316  1.4  yamt 	 *          A  selected
    317  1.4  yamt 	 *
    318  1.4  yamt 	 *              cur
    319  1.4  yamt 	 *              / \
    320  1.4  yamt 	 *             B   C
    321  1.4  yamt 	 */
    322  1.1  yamt 	where = &selected->n_children[selected_idx];
    323  1.4  yamt 	/*
    324  1.5  yamt 	 *      parent
    325  1.4  yamt 	 *          \
    326  1.4  yamt 	 *          selected
    327  1.4  yamt 	 *           / \ <- where
    328  1.5  yamt 	 *          A  selected (*)
    329  1.4  yamt 	 *
    330  1.5  yamt 	 *              cur (**)
    331  1.4  yamt 	 *              / \
    332  1.4  yamt 	 *             B   C
    333  1.5  yamt 	 *
    334  1.5  yamt 	 * (*) this 'selected' will be overwritten in the next iteration.
    335  1.5  yamt 	 * (**) cur->n_parent is bogus.
    336  1.4  yamt 	 */
    337  1.5  yamt 	parent = selected;
    338  1.1  yamt 	goto next;
    339  1.1  yamt }
    340  1.1  yamt 
    341  1.1  yamt /*
    342  1.1  yamt  * rpst_remove_node: remove a node from the tree.
    343  1.1  yamt  */
    344  1.1  yamt 
    345  1.1  yamt void
    346  1.1  yamt rpst_remove_node(struct rpst_tree *t, struct rpst_node *n)
    347  1.1  yamt {
    348  1.1  yamt 	struct rpst_node *parent;
    349  1.1  yamt 	struct rpst_node **where;
    350  1.1  yamt 
    351  1.5  yamt 	where = rpst_find_pptr(t, n, &parent);
    352  1.5  yamt 	rpst_remove_node_at(parent, where, n);
    353  1.1  yamt }
    354  1.1  yamt 
    355  1.1  yamt static bool __unused
    356  1.1  yamt rpst_iterator_match_p(const struct rpst_node *n, const struct rpst_iterator *it)
    357  1.1  yamt {
    358  1.1  yamt 
    359  1.1  yamt 	if (n->n_y > it->it_max_y) {
    360  1.1  yamt 		return false;
    361  1.1  yamt 	}
    362  1.1  yamt 	if (n->n_x < it->it_min_x) {
    363  1.1  yamt 		return false;
    364  1.1  yamt 	}
    365  1.1  yamt 	if (n->n_x > it->it_max_x) {
    366  1.1  yamt 		return false;
    367  1.1  yamt 	}
    368  1.1  yamt 	return true;
    369  1.1  yamt }
    370  1.1  yamt 
    371  1.1  yamt struct rpst_node *
    372  1.1  yamt rpst_iterate_first(struct rpst_tree *t, uint64_t max_y, uint64_t min_x,
    373  1.1  yamt     uint64_t max_x, struct rpst_iterator *it)
    374  1.1  yamt {
    375  1.1  yamt 	struct rpst_node *n;
    376  1.1  yamt 
    377  1.1  yamt 	KASSERT(min_x <= max_x);
    378  1.1  yamt 	n = t->t_root;
    379  1.2  yamt 	if (n == NULL || n->n_y > max_y) {
    380  1.1  yamt 		return NULL;
    381  1.1  yamt 	}
    382  1.1  yamt 	it->it_tree = t;
    383  1.1  yamt 	it->it_cur = n;
    384  1.2  yamt 	it->it_idx = (min_x & rpst_startmask(t)) != 0;
    385  1.1  yamt 	it->it_level = 0;
    386  1.1  yamt 	it->it_max_y = max_y;
    387  1.1  yamt 	it->it_min_x = min_x;
    388  1.1  yamt 	it->it_max_x = max_x;
    389  1.1  yamt 	return rpst_iterate_next(it);
    390  1.1  yamt }
    391  1.1  yamt 
    392  1.6  yamt static inline unsigned int
    393  1.2  yamt rpst_node_on_edge_p(const struct rpst_node *n, uint64_t val, uint64_t mask)
    394  1.2  yamt {
    395  1.2  yamt 
    396  1.2  yamt 	return ((n->n_x ^ val) & ((-mask) << 1)) == 0;
    397  1.2  yamt }
    398  1.2  yamt 
    399  1.6  yamt static inline uint64_t
    400  1.2  yamt rpst_maxidx(const struct rpst_node *n, uint64_t max_x, uint64_t mask)
    401  1.2  yamt {
    402  1.2  yamt 
    403  1.2  yamt 	if (rpst_node_on_edge_p(n, max_x, mask)) {
    404  1.2  yamt 		return (max_x & mask) != 0;
    405  1.2  yamt 	} else {
    406  1.2  yamt 		return 1;
    407  1.2  yamt 	}
    408  1.2  yamt }
    409  1.2  yamt 
    410  1.6  yamt static inline uint64_t
    411  1.2  yamt rpst_minidx(const struct rpst_node *n, uint64_t min_x, uint64_t mask)
    412  1.2  yamt {
    413  1.2  yamt 
    414  1.2  yamt 	if (rpst_node_on_edge_p(n, min_x, mask)) {
    415  1.2  yamt 		return (min_x & mask) != 0;
    416  1.2  yamt 	} else {
    417  1.2  yamt 		return 0;
    418  1.2  yamt 	}
    419  1.2  yamt }
    420  1.2  yamt 
    421  1.1  yamt struct rpst_node *
    422  1.1  yamt rpst_iterate_next(struct rpst_iterator *it)
    423  1.1  yamt {
    424  1.1  yamt 	struct rpst_tree *t;
    425  1.1  yamt 	struct rpst_node *n;
    426  1.1  yamt 	struct rpst_node *next;
    427  1.1  yamt 	const uint64_t max_y = it->it_max_y;
    428  1.1  yamt 	const uint64_t min_x = it->it_min_x;
    429  1.1  yamt 	const uint64_t max_x = it->it_max_x;
    430  1.1  yamt 	unsigned int idx;
    431  1.1  yamt 	unsigned int maxidx;
    432  1.1  yamt 	unsigned int level;
    433  1.1  yamt 	uint64_t mask;
    434  1.1  yamt 
    435  1.1  yamt 	t = it->it_tree;
    436  1.1  yamt 	n = it->it_cur;
    437  1.1  yamt 	idx = it->it_idx;
    438  1.1  yamt 	level = it->it_level;
    439  1.1  yamt 	mask = rpst_level2mask(t, level);
    440  1.2  yamt 	maxidx = rpst_maxidx(n, max_x, mask);
    441  1.1  yamt 	KASSERT(n == t->t_root || rpst_iterator_match_p(n, it));
    442  1.1  yamt next:
    443  1.1  yamt 	KASSERT(mask == rpst_level2mask(t, level));
    444  1.2  yamt 	KASSERT(idx >= rpst_minidx(n, min_x, mask));
    445  1.2  yamt 	KASSERT(maxidx == rpst_maxidx(n, max_x, mask));
    446  1.1  yamt 	KASSERT(idx <= maxidx + 2);
    447  1.1  yamt 	KASSERT(n != NULL);
    448  1.1  yamt #if 0
    449  1.1  yamt 	printf("%s: cur=%p, idx=%u maxidx=%u level=%u mask=%" PRIx64 "\n",
    450  1.1  yamt 	    __func__, (void *)n, idx, maxidx, level, mask);
    451  1.1  yamt #endif
    452  1.1  yamt 	if (idx == maxidx + 1) { /* visit the current node */
    453  1.1  yamt 		idx++;
    454  1.1  yamt 		if (min_x <= n->n_x && n->n_x <= max_x) {
    455  1.1  yamt 			it->it_tree = t;
    456  1.1  yamt 			it->it_cur = n;
    457  1.1  yamt 			it->it_idx = idx;
    458  1.1  yamt 			it->it_level = level;
    459  1.1  yamt 			KASSERT(rpst_iterator_match_p(n, it));
    460  1.1  yamt 			return n; /* report */
    461  1.1  yamt 		}
    462  1.1  yamt 		goto next;
    463  1.1  yamt 	} else if (idx == maxidx + 2) { /* back to the parent */
    464  1.1  yamt 		struct rpst_node **where;
    465  1.1  yamt 
    466  1.5  yamt 		where = rpst_find_pptr(t, n, &next);
    467  1.1  yamt 		if (next == NULL) {
    468  1.1  yamt 			KASSERT(level == 0);
    469  1.1  yamt 			KASSERT(t->t_root == n);
    470  1.1  yamt 			KASSERT(&t->t_root == where);
    471  1.1  yamt 			return NULL; /* done */
    472  1.1  yamt 		}
    473  1.1  yamt 		KASSERT(level > 0);
    474  1.1  yamt 		level--;
    475  1.2  yamt 		n = next;
    476  1.1  yamt 		mask = rpst_level2mask(t, level);
    477  1.2  yamt 		maxidx = rpst_maxidx(n, max_x, mask);
    478  1.1  yamt 		idx = where - n->n_children + 1;
    479  1.1  yamt 		KASSERT(idx < 2 + 1);
    480  1.1  yamt 		goto next;
    481  1.1  yamt 	}
    482  1.1  yamt 	/* go to a child */
    483  1.1  yamt 	KASSERT(idx < 2);
    484  1.1  yamt 	next = n->n_children[idx];
    485  1.1  yamt 	if (next == NULL || next->n_y > max_y) {
    486  1.1  yamt 		idx++;
    487  1.1  yamt 		goto next;
    488  1.1  yamt 	}
    489  1.5  yamt 	KASSERT(next->n_parent == n);
    490  1.2  yamt 	KASSERT(next->n_y >= n->n_y);
    491  1.1  yamt 	level++;
    492  1.1  yamt 	mask >>= 1;
    493  1.1  yamt 	n = next;
    494  1.2  yamt 	idx = rpst_minidx(n, min_x, mask);
    495  1.2  yamt 	maxidx = rpst_maxidx(n, max_x, mask);
    496  1.2  yamt #if 0
    497  1.2  yamt 	printf("%s: visit %p idx=%u level=%u mask=%llx\n",
    498  1.2  yamt 	    __func__, n, idx, level, mask);
    499  1.2  yamt #endif
    500  1.1  yamt 	goto next;
    501  1.1  yamt }
    502  1.1  yamt 
    503  1.1  yamt #if defined(UNITTEST)
    504  1.1  yamt #include <sys/time.h>
    505  1.1  yamt 
    506  1.1  yamt #include <inttypes.h>
    507  1.1  yamt #include <stdio.h>
    508  1.1  yamt #include <stdlib.h>
    509  1.1  yamt 
    510  1.1  yamt static void
    511  1.1  yamt rpst_dump_node(const struct rpst_node *n, unsigned int depth)
    512  1.1  yamt {
    513  1.1  yamt 	unsigned int i;
    514  1.1  yamt 
    515  1.1  yamt 	for (i = 0; i < depth; i++) {
    516  1.1  yamt 		printf("  ");
    517  1.1  yamt 	}
    518  1.1  yamt 	printf("[%u]", depth);
    519  1.1  yamt 	if (n == NULL) {
    520  1.1  yamt 		printf("NULL\n");
    521  1.1  yamt 		return;
    522  1.1  yamt 	}
    523  1.1  yamt 	printf("%p x=%" PRIx64 "(%" PRIu64 ") y=%" PRIx64 "(%" PRIu64 ")\n",
    524  1.1  yamt 	    (const void *)n, n->n_x, n->n_x, n->n_y, n->n_y);
    525  1.1  yamt 	for (i = 0; i < 2; i++) {
    526  1.1  yamt 		rpst_dump_node(n->n_children[i], depth + 1);
    527  1.1  yamt 	}
    528  1.1  yamt }
    529  1.1  yamt 
    530  1.1  yamt static void
    531  1.1  yamt rpst_dump_tree(const struct rpst_tree *t)
    532  1.1  yamt {
    533  1.1  yamt 
    534  1.2  yamt 	printf("pst %p height=%u\n", (const void *)t, t->t_height);
    535  1.1  yamt 	rpst_dump_node(t->t_root, 0);
    536  1.1  yamt }
    537  1.1  yamt 
    538  1.1  yamt struct testnode {
    539  1.1  yamt 	struct rpst_node n;
    540  1.1  yamt 	struct testnode *next;
    541  1.2  yamt 	bool failed;
    542  1.2  yamt 	bool found;
    543  1.1  yamt };
    544  1.1  yamt 
    545  1.2  yamt struct rpst_tree t;
    546  1.2  yamt struct testnode *h = NULL;
    547  1.2  yamt 
    548  1.2  yamt static uintmax_t
    549  1.2  yamt tvdiff(const struct timeval *tv1, const struct timeval *tv2)
    550  1.2  yamt {
    551  1.2  yamt 
    552  1.2  yamt 	return (uintmax_t)tv1->tv_sec * 1000000 + tv1->tv_usec -
    553  1.2  yamt 	    tv2->tv_sec * 1000000 - tv2->tv_usec;
    554  1.2  yamt }
    555  1.2  yamt 
    556  1.2  yamt static unsigned int
    557  1.2  yamt query(uint64_t max_y, uint64_t min_x, uint64_t max_x)
    558  1.2  yamt {
    559  1.2  yamt 	struct testnode *n;
    560  1.2  yamt 	struct rpst_node *rn;
    561  1.2  yamt 	struct rpst_iterator it;
    562  1.2  yamt 	struct timeval start;
    563  1.2  yamt 	struct timeval end;
    564  1.2  yamt 	unsigned int done;
    565  1.2  yamt 
    566  1.2  yamt 	printf("quering max_y=%" PRIu64 " min_x=%" PRIu64 " max_x=%" PRIu64
    567  1.2  yamt 	    "\n",
    568  1.2  yamt 	    max_y, min_x, max_x);
    569  1.2  yamt 	done = 0;
    570  1.2  yamt 	gettimeofday(&start, NULL);
    571  1.2  yamt 	for (rn = rpst_iterate_first(&t, max_y, min_x, max_x, &it);
    572  1.2  yamt 	    rn != NULL;
    573  1.2  yamt 	    rn = rpst_iterate_next(&it)) {
    574  1.2  yamt 		done++;
    575  1.2  yamt #if 0
    576  1.2  yamt 		printf("found %p x=%" PRIu64 " y=%" PRIu64 "\n",
    577  1.2  yamt 		    (void *)rn, rn->n_x, rn->n_y);
    578  1.2  yamt #endif
    579  1.2  yamt 		n = (void *)rn;
    580  1.2  yamt 		assert(!n->found);
    581  1.2  yamt 		n->found = true;
    582  1.2  yamt 	}
    583  1.2  yamt 	gettimeofday(&end, NULL);
    584  1.2  yamt 	printf("%u nodes found in %ju usecs\n", done,
    585  1.2  yamt 	    tvdiff(&end, &start));
    586  1.2  yamt 
    587  1.2  yamt 	gettimeofday(&start, NULL);
    588  1.2  yamt 	for (n = h; n != NULL; n = n->next) {
    589  1.2  yamt 		assert(n->failed ||
    590  1.2  yamt 		    n->found == rpst_iterator_match_p(&n->n, &it));
    591  1.2  yamt 		n->found = false;
    592  1.2  yamt 	}
    593  1.2  yamt 	gettimeofday(&end, NULL);
    594  1.2  yamt 	printf("(linear search took %ju usecs)\n", tvdiff(&end, &start));
    595  1.2  yamt 	return done;
    596  1.2  yamt }
    597  1.2  yamt 
    598  1.1  yamt int
    599  1.1  yamt main(int argc, char *argv[])
    600  1.1  yamt {
    601  1.1  yamt 	struct testnode *n;
    602  1.2  yamt 	unsigned int i;
    603  1.1  yamt 	struct rpst_iterator it;
    604  1.1  yamt 	struct timeval start;
    605  1.1  yamt 	struct timeval end;
    606  1.2  yamt 	uint64_t min_y = UINT64_MAX;
    607  1.2  yamt 	uint64_t max_y = 0;
    608  1.2  yamt 	uint64_t min_x = UINT64_MAX;
    609  1.2  yamt 	uint64_t max_x = 0;
    610  1.2  yamt 	uint64_t w;
    611  1.1  yamt 	unsigned int done;
    612  1.2  yamt 	unsigned int fail;
    613  1.2  yamt 	unsigned int num = 500000;
    614  1.1  yamt 
    615  1.1  yamt 	rpst_init_tree(&t);
    616  1.1  yamt 	rpst_dump_tree(&t);
    617  1.1  yamt 	assert(NULL == rpst_iterate_first(&t, UINT64_MAX, 0, UINT64_MAX, &it));
    618  1.1  yamt 
    619  1.2  yamt 	for (i = 0; i < num; i++) {
    620  1.1  yamt 		n = malloc(sizeof(*n));
    621  1.1  yamt 		if (i > 499000) {
    622  1.1  yamt 			n->n.n_x = 10;
    623  1.1  yamt 			n->n.n_y = random();
    624  1.1  yamt 		} else if (i > 400000) {
    625  1.1  yamt 			n->n.n_x = i;
    626  1.1  yamt 			n->n.n_y = random();
    627  1.1  yamt 		} else {
    628  1.1  yamt 			n->n.n_x = random();
    629  1.1  yamt 			n->n.n_y = random();
    630  1.1  yamt 		}
    631  1.2  yamt 		if (n->n.n_y < min_y) {
    632  1.2  yamt 			min_y = n->n.n_y;
    633  1.2  yamt 		}
    634  1.2  yamt 		if (n->n.n_y > max_y) {
    635  1.2  yamt 			max_y = n->n.n_y;
    636  1.2  yamt 		}
    637  1.2  yamt 		if (n->n.n_x < min_x) {
    638  1.2  yamt 			min_x = n->n.n_x;
    639  1.2  yamt 		}
    640  1.2  yamt 		if (n->n.n_x > max_x) {
    641  1.2  yamt 			max_x = n->n.n_x;
    642  1.2  yamt 		}
    643  1.2  yamt 		n->found = false;
    644  1.2  yamt 		n->failed = false;
    645  1.1  yamt 		n->next = h;
    646  1.1  yamt 		h = n;
    647  1.1  yamt 	}
    648  1.1  yamt 
    649  1.1  yamt 	done = 0;
    650  1.2  yamt 	fail = 0;
    651  1.1  yamt 	gettimeofday(&start, NULL);
    652  1.2  yamt 	for (n = h; n != NULL; n = n->next) {
    653  1.2  yamt 		struct rpst_node *o;
    654  1.1  yamt #if 0
    655  1.2  yamt 		printf("insert %p x=%" PRIu64 " y=%" PRIu64 "\n",
    656  1.2  yamt 		    n, n->n.n_x, n->n.n_y);
    657  1.1  yamt #endif
    658  1.2  yamt 		o = rpst_insert_node(&t, &n->n);
    659  1.2  yamt 		if (o == NULL) {
    660  1.2  yamt 			done++;
    661  1.2  yamt 		} else {
    662  1.2  yamt 			n->failed = true;
    663  1.2  yamt 			fail++;
    664  1.2  yamt 		}
    665  1.1  yamt 	}
    666  1.1  yamt 	gettimeofday(&end, NULL);
    667  1.2  yamt 	printf("%u nodes inserted and %u insertion failed in %ju usecs\n",
    668  1.2  yamt 	    done, fail,
    669  1.2  yamt 	    tvdiff(&end, &start));
    670  1.2  yamt 
    671  1.2  yamt 	assert(min_y == 0 || 0 == query(min_y - 1, 0, UINT64_MAX));
    672  1.2  yamt 	assert(max_x == UINT64_MAX ||
    673  1.2  yamt 	    0 == query(UINT64_MAX, max_x + 1, UINT64_MAX));
    674  1.2  yamt 	assert(min_x == 0 || 0 == query(UINT64_MAX, 0, min_x - 1));
    675  1.2  yamt 
    676  1.2  yamt 	done = query(max_y, min_x, max_x);
    677  1.2  yamt 	assert(done == num - fail);
    678  1.2  yamt 
    679  1.2  yamt 	done = query(UINT64_MAX, 0, UINT64_MAX);
    680  1.2  yamt 	assert(done == num - fail);
    681  1.2  yamt 
    682  1.2  yamt 	w = max_x - min_x;
    683  1.2  yamt 	query(max_y / 2, min_x, max_x);
    684  1.2  yamt 	query(max_y, min_x + w / 2, max_x);
    685  1.2  yamt 	query(max_y / 2, min_x + w / 2, max_x);
    686  1.2  yamt 	query(max_y / 2, min_x, max_x - w / 2);
    687  1.2  yamt 	query(max_y / 2, min_x + w / 3, max_x - w / 3);
    688  1.2  yamt 	query(max_y - 1, min_x + 1, max_x - 1);
    689  1.2  yamt 	query(UINT64_MAX, 10, 10);
    690  1.1  yamt 
    691  1.1  yamt 	done = 0;
    692  1.1  yamt 	gettimeofday(&start, NULL);
    693  1.2  yamt 	for (n = h; n != NULL; n = n->next) {
    694  1.2  yamt 		if (n->failed) {
    695  1.2  yamt 			continue;
    696  1.2  yamt 		}
    697  1.1  yamt #if 0
    698  1.2  yamt 		printf("remove %p x=%" PRIu64 " y=%" PRIu64 "\n",
    699  1.1  yamt 		    n, n->n.n_x, n->n.n_y);
    700  1.1  yamt #endif
    701  1.1  yamt 		rpst_remove_node(&t, &n->n);
    702  1.1  yamt 		done++;
    703  1.1  yamt 	}
    704  1.1  yamt 	gettimeofday(&end, NULL);
    705  1.1  yamt 	printf("%u nodes removed in %ju usecs\n", done,
    706  1.2  yamt 	    tvdiff(&end, &start));
    707  1.1  yamt 
    708  1.1  yamt 	rpst_dump_tree(&t);
    709  1.1  yamt }
    710  1.1  yamt #endif /* defined(UNITTEST) */
    711