Home | History | Annotate | Line # | Download | only in gen
rpst.c revision 1.3
      1  1.1  yamt /*	$NetBSD: rpst.c,v 1.3 2009/05/22 11:38:05 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.1  yamt __KERNEL_RCSID(0, "$NetBSD: rpst.c,v 1.3 2009/05/22 11:38:05 yamt Exp $");
     47  1.1  yamt #include <sys/param.h>
     48  1.1  yamt #else /* defined(_KERNEL) */
     49  1.1  yamt __RCSID("$NetBSD: rpst.c,v 1.3 2009/05/22 11:38:05 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.1  yamt  * rpst_enlarge_tree: enlarge tree so that 'index' can be stored
    134  1.1  yamt  */
    135  1.1  yamt 
    136  1.1  yamt static void
    137  1.1  yamt rpst_enlarge_tree(struct rpst_tree *t, uint64_t idx)
    138  1.1  yamt {
    139  1.1  yamt 
    140  1.1  yamt 	while (idx > rpst_height2max(t->t_height)) {
    141  1.1  yamt 		struct rpst_node *n = t->t_root;
    142  1.1  yamt 
    143  1.1  yamt 		if (n != NULL) {
    144  1.1  yamt 			rpst_remove_node(t, n);
    145  1.1  yamt 			memset(&n->n_children, 0, sizeof(n->n_children));
    146  1.1  yamt 			n->n_children[0] = t->t_root;
    147  1.1  yamt 			t->t_root = n;
    148  1.1  yamt 		}
    149  1.1  yamt 		t->t_height++;
    150  1.1  yamt 	}
    151  1.1  yamt }
    152  1.1  yamt 
    153  1.1  yamt /*
    154  1.1  yamt  * rpst_insert_node1: a helper for rpst_insert_node.
    155  1.1  yamt  */
    156  1.1  yamt 
    157  1.1  yamt static struct rpst_node *
    158  1.1  yamt rpst_insert_node1(struct rpst_node **where, struct rpst_node *n, uint64_t mask)
    159  1.1  yamt {
    160  1.1  yamt 	struct rpst_node *cur;
    161  1.1  yamt 	unsigned int idx;
    162  1.1  yamt 
    163  1.1  yamt 	KASSERT((n->n_x & ((-mask) << 1)) == 0);
    164  1.1  yamt next:
    165  1.1  yamt 	cur = *where;
    166  1.1  yamt 	if (cur == NULL) {
    167  1.1  yamt 		memset(&n->n_children, 0, sizeof(n->n_children));
    168  1.1  yamt 		*where = n;
    169  1.1  yamt 		return NULL;
    170  1.1  yamt 	}
    171  1.3  yamt 	if (n->n_y == cur->n_y && n->n_x == cur->n_x) {
    172  1.1  yamt 		return cur;
    173  1.1  yamt 	}
    174  1.1  yamt 	if (n->n_y < cur->n_y) {
    175  1.1  yamt 		/* swap cur and n */
    176  1.1  yamt 		memcpy(n->n_children, cur->n_children, sizeof(n->n_children));
    177  1.1  yamt 		*where = n;
    178  1.1  yamt 		n = cur;
    179  1.1  yamt 		cur = *where;
    180  1.1  yamt 	}
    181  1.1  yamt 	KASSERT(*where == cur);
    182  1.1  yamt 	idx = (n->n_x & mask) != 0;
    183  1.1  yamt 	where = &cur->n_children[idx];
    184  1.2  yamt 	KASSERT((*where) == NULL || ((((*where)->n_x & mask) != 0) == idx));
    185  1.2  yamt 	KASSERT((*where) == NULL || (*where)->n_y >= cur->n_y);
    186  1.1  yamt 	mask >>= 1;
    187  1.1  yamt 	goto next;
    188  1.1  yamt }
    189  1.1  yamt 
    190  1.1  yamt /*
    191  1.1  yamt  * rpst_insert_node: insert a node into the tree.
    192  1.1  yamt  *
    193  1.1  yamt  * => return NULL on success.
    194  1.1  yamt  * => if a duplicated node (a node with the same X,Y pair as ours) is found,
    195  1.1  yamt  *    return the node.  in that case, the tree is intact.
    196  1.1  yamt  */
    197  1.1  yamt 
    198  1.1  yamt struct rpst_node *
    199  1.1  yamt rpst_insert_node(struct rpst_tree *t, struct rpst_node *n)
    200  1.1  yamt {
    201  1.1  yamt 
    202  1.1  yamt 	rpst_enlarge_tree(t, n->n_x);
    203  1.1  yamt 	return rpst_insert_node1(&t->t_root, n, rpst_startmask(t));
    204  1.1  yamt }
    205  1.1  yamt 
    206  1.1  yamt /*
    207  1.1  yamt  * rpst_find_pptr: find a pointer to the given node.
    208  1.1  yamt  *
    209  1.1  yamt  * also, return the parent node via parentp.  (NULL for the root node.)
    210  1.1  yamt  *
    211  1.1  yamt  * XXX is it better to simply make each nodes have a pointer to parent?
    212  1.1  yamt  */
    213  1.1  yamt 
    214  1.1  yamt static struct rpst_node **
    215  1.1  yamt rpst_find_pptr(struct rpst_node **where, struct rpst_node *n, uint64_t mask,
    216  1.1  yamt     struct rpst_node **parentp)
    217  1.1  yamt {
    218  1.1  yamt 	struct rpst_node *pn = NULL;
    219  1.1  yamt 	struct rpst_node *cur;
    220  1.1  yamt 	unsigned int idx;
    221  1.1  yamt 
    222  1.1  yamt next:
    223  1.1  yamt 	cur = *where;
    224  1.1  yamt 	KASSERT(cur != NULL);
    225  1.1  yamt 	if (cur == n) {
    226  1.2  yamt 		KASSERT(pn == NULL || pn->n_y <= n->n_y);
    227  1.1  yamt 		*parentp = pn;
    228  1.1  yamt 		return where;
    229  1.1  yamt 	}
    230  1.1  yamt 	idx = (n->n_x & mask) != 0;
    231  1.1  yamt 	pn = cur;
    232  1.1  yamt 	where = &cur->n_children[idx];
    233  1.2  yamt 	KASSERT((*where) == NULL || ((((*where)->n_x & mask) != 0) == idx));
    234  1.2  yamt 	KASSERT((*where) == NULL || (*where)->n_y >= cur->n_y);
    235  1.1  yamt 	mask >>= 1;
    236  1.1  yamt 	goto next;
    237  1.1  yamt }
    238  1.1  yamt 
    239  1.1  yamt /*
    240  1.1  yamt  * rpst_remove_node_at: remove a node at *where.
    241  1.1  yamt  */
    242  1.1  yamt 
    243  1.1  yamt static void
    244  1.1  yamt rpst_remove_node_at(struct rpst_node **where)
    245  1.1  yamt {
    246  1.1  yamt 	struct rpst_node *tmp[2];
    247  1.1  yamt 	struct rpst_node *cur;
    248  1.1  yamt 	struct rpst_node *selected;
    249  1.1  yamt 	unsigned int selected_idx;
    250  1.1  yamt 	unsigned int i;
    251  1.1  yamt 
    252  1.1  yamt 	cur = *where;
    253  1.1  yamt 	KASSERT(cur != NULL);
    254  1.1  yamt next:
    255  1.1  yamt 	selected = NULL;
    256  1.1  yamt 	for (i = 0; i < 2; i++) {
    257  1.1  yamt 		struct rpst_node *c;
    258  1.1  yamt 
    259  1.1  yamt 		c = cur->n_children[i];
    260  1.1  yamt 		if (selected == NULL || (c != NULL && c->n_y < selected->n_y)) {
    261  1.1  yamt 			selected = c;
    262  1.1  yamt 			selected_idx = i;
    263  1.1  yamt 		}
    264  1.1  yamt 	}
    265  1.1  yamt 	*where = selected;
    266  1.1  yamt 	if (selected == NULL) {
    267  1.1  yamt 		return;
    268  1.1  yamt 	}
    269  1.1  yamt 	/*
    270  1.1  yamt 	 * swap selected->n_children and cur->n_children.
    271  1.1  yamt 	 */
    272  1.1  yamt 	memcpy(tmp, selected->n_children, sizeof(tmp));
    273  1.1  yamt 	memcpy(selected->n_children, cur->n_children, sizeof(tmp));
    274  1.1  yamt 	memcpy(cur->n_children, tmp, sizeof(tmp));
    275  1.1  yamt 	where = &selected->n_children[selected_idx];
    276  1.1  yamt 	goto next;
    277  1.1  yamt }
    278  1.1  yamt 
    279  1.1  yamt /*
    280  1.1  yamt  * rpst_remove_node: remove a node from the tree.
    281  1.1  yamt  */
    282  1.1  yamt 
    283  1.1  yamt void
    284  1.1  yamt rpst_remove_node(struct rpst_tree *t, struct rpst_node *n)
    285  1.1  yamt {
    286  1.1  yamt 	struct rpst_node *parent;
    287  1.1  yamt 	struct rpst_node **where;
    288  1.1  yamt 
    289  1.1  yamt 	where = rpst_find_pptr(&t->t_root, n, rpst_startmask(t), &parent);
    290  1.1  yamt 	KASSERT(*where == n);
    291  1.1  yamt 	rpst_remove_node_at(where);
    292  1.1  yamt }
    293  1.1  yamt 
    294  1.1  yamt static bool __unused
    295  1.1  yamt rpst_iterator_match_p(const struct rpst_node *n, const struct rpst_iterator *it)
    296  1.1  yamt {
    297  1.1  yamt 
    298  1.1  yamt 	if (n->n_y > it->it_max_y) {
    299  1.1  yamt 		return false;
    300  1.1  yamt 	}
    301  1.1  yamt 	if (n->n_x < it->it_min_x) {
    302  1.1  yamt 		return false;
    303  1.1  yamt 	}
    304  1.1  yamt 	if (n->n_x > it->it_max_x) {
    305  1.1  yamt 		return false;
    306  1.1  yamt 	}
    307  1.1  yamt 	return true;
    308  1.1  yamt }
    309  1.1  yamt 
    310  1.1  yamt struct rpst_node *
    311  1.1  yamt rpst_iterate_first(struct rpst_tree *t, uint64_t max_y, uint64_t min_x,
    312  1.1  yamt     uint64_t max_x, struct rpst_iterator *it)
    313  1.1  yamt {
    314  1.1  yamt 	struct rpst_node *n;
    315  1.1  yamt 
    316  1.1  yamt 	KASSERT(min_x <= max_x);
    317  1.1  yamt 	n = t->t_root;
    318  1.2  yamt 	if (n == NULL || n->n_y > max_y) {
    319  1.1  yamt 		return NULL;
    320  1.1  yamt 	}
    321  1.1  yamt 	it->it_tree = t;
    322  1.1  yamt 	it->it_cur = n;
    323  1.2  yamt 	it->it_idx = (min_x & rpst_startmask(t)) != 0;
    324  1.1  yamt 	it->it_level = 0;
    325  1.1  yamt 	it->it_max_y = max_y;
    326  1.1  yamt 	it->it_min_x = min_x;
    327  1.1  yamt 	it->it_max_x = max_x;
    328  1.1  yamt 	return rpst_iterate_next(it);
    329  1.1  yamt }
    330  1.1  yamt 
    331  1.2  yamt static unsigned int
    332  1.2  yamt rpst_node_on_edge_p(const struct rpst_node *n, uint64_t val, uint64_t mask)
    333  1.2  yamt {
    334  1.2  yamt 
    335  1.2  yamt 	return ((n->n_x ^ val) & ((-mask) << 1)) == 0;
    336  1.2  yamt }
    337  1.2  yamt 
    338  1.2  yamt static uint64_t
    339  1.2  yamt rpst_maxidx(const struct rpst_node *n, uint64_t max_x, uint64_t mask)
    340  1.2  yamt {
    341  1.2  yamt 
    342  1.2  yamt 	if (rpst_node_on_edge_p(n, max_x, mask)) {
    343  1.2  yamt 		return (max_x & mask) != 0;
    344  1.2  yamt 	} else {
    345  1.2  yamt 		return 1;
    346  1.2  yamt 	}
    347  1.2  yamt }
    348  1.2  yamt 
    349  1.2  yamt static uint64_t
    350  1.2  yamt rpst_minidx(const struct rpst_node *n, uint64_t min_x, uint64_t mask)
    351  1.2  yamt {
    352  1.2  yamt 
    353  1.2  yamt 	if (rpst_node_on_edge_p(n, min_x, mask)) {
    354  1.2  yamt 		return (min_x & mask) != 0;
    355  1.2  yamt 	} else {
    356  1.2  yamt 		return 0;
    357  1.2  yamt 	}
    358  1.2  yamt }
    359  1.2  yamt 
    360  1.1  yamt struct rpst_node *
    361  1.1  yamt rpst_iterate_next(struct rpst_iterator *it)
    362  1.1  yamt {
    363  1.1  yamt 	struct rpst_tree *t;
    364  1.1  yamt 	struct rpst_node *n;
    365  1.1  yamt 	struct rpst_node *next;
    366  1.1  yamt 	const uint64_t max_y = it->it_max_y;
    367  1.1  yamt 	const uint64_t min_x = it->it_min_x;
    368  1.1  yamt 	const uint64_t max_x = it->it_max_x;
    369  1.1  yamt 	unsigned int idx;
    370  1.1  yamt 	unsigned int maxidx;
    371  1.1  yamt 	unsigned int level;
    372  1.1  yamt 	uint64_t mask;
    373  1.1  yamt 
    374  1.1  yamt 	t = it->it_tree;
    375  1.1  yamt 	n = it->it_cur;
    376  1.1  yamt 	idx = it->it_idx;
    377  1.1  yamt 	level = it->it_level;
    378  1.1  yamt 	mask = rpst_level2mask(t, level);
    379  1.2  yamt 	maxidx = rpst_maxidx(n, max_x, mask);
    380  1.1  yamt 	KASSERT(n == t->t_root || rpst_iterator_match_p(n, it));
    381  1.1  yamt next:
    382  1.1  yamt 	KASSERT(mask == rpst_level2mask(t, level));
    383  1.2  yamt 	KASSERT(idx >= rpst_minidx(n, min_x, mask));
    384  1.2  yamt 	KASSERT(maxidx == rpst_maxidx(n, max_x, mask));
    385  1.1  yamt 	KASSERT(idx <= maxidx + 2);
    386  1.1  yamt 	KASSERT(n != NULL);
    387  1.1  yamt #if 0
    388  1.1  yamt 	printf("%s: cur=%p, idx=%u maxidx=%u level=%u mask=%" PRIx64 "\n",
    389  1.1  yamt 	    __func__, (void *)n, idx, maxidx, level, mask);
    390  1.1  yamt #endif
    391  1.1  yamt 	if (idx == maxidx + 1) { /* visit the current node */
    392  1.1  yamt 		idx++;
    393  1.1  yamt 		if (min_x <= n->n_x && n->n_x <= max_x) {
    394  1.1  yamt 			it->it_tree = t;
    395  1.1  yamt 			it->it_cur = n;
    396  1.1  yamt 			it->it_idx = idx;
    397  1.1  yamt 			it->it_level = level;
    398  1.1  yamt 			KASSERT(rpst_iterator_match_p(n, it));
    399  1.1  yamt 			return n; /* report */
    400  1.1  yamt 		}
    401  1.1  yamt 		goto next;
    402  1.1  yamt 	} else if (idx == maxidx + 2) { /* back to the parent */
    403  1.1  yamt 		struct rpst_node **where;
    404  1.1  yamt 
    405  1.1  yamt 		where = rpst_find_pptr(&t->t_root, n, rpst_startmask(t), &next);
    406  1.1  yamt 		if (next == NULL) {
    407  1.1  yamt 			KASSERT(level == 0);
    408  1.1  yamt 			KASSERT(t->t_root == n);
    409  1.1  yamt 			KASSERT(&t->t_root == where);
    410  1.1  yamt 			return NULL; /* done */
    411  1.1  yamt 		}
    412  1.1  yamt 		KASSERT(level > 0);
    413  1.1  yamt 		level--;
    414  1.2  yamt 		n = next;
    415  1.1  yamt 		mask = rpst_level2mask(t, level);
    416  1.2  yamt 		maxidx = rpst_maxidx(n, max_x, mask);
    417  1.1  yamt 		idx = where - n->n_children + 1;
    418  1.1  yamt 		KASSERT(idx < 2 + 1);
    419  1.1  yamt 		goto next;
    420  1.1  yamt 	}
    421  1.1  yamt 	/* go to a child */
    422  1.1  yamt 	KASSERT(idx < 2);
    423  1.1  yamt 	next = n->n_children[idx];
    424  1.1  yamt 	if (next == NULL || next->n_y > max_y) {
    425  1.1  yamt 		idx++;
    426  1.1  yamt 		goto next;
    427  1.1  yamt 	}
    428  1.2  yamt 	KASSERT(next->n_y >= n->n_y);
    429  1.1  yamt 	level++;
    430  1.1  yamt 	mask >>= 1;
    431  1.1  yamt 	n = next;
    432  1.2  yamt 	idx = rpst_minidx(n, min_x, mask);
    433  1.2  yamt 	maxidx = rpst_maxidx(n, max_x, mask);
    434  1.2  yamt #if 0
    435  1.2  yamt 	printf("%s: visit %p idx=%u level=%u mask=%llx\n",
    436  1.2  yamt 	    __func__, n, idx, level, mask);
    437  1.2  yamt #endif
    438  1.1  yamt 	goto next;
    439  1.1  yamt }
    440  1.1  yamt 
    441  1.1  yamt #if defined(UNITTEST)
    442  1.1  yamt #include <sys/time.h>
    443  1.1  yamt 
    444  1.1  yamt #include <inttypes.h>
    445  1.1  yamt #include <stdio.h>
    446  1.1  yamt #include <stdlib.h>
    447  1.1  yamt 
    448  1.1  yamt static void
    449  1.1  yamt rpst_dump_node(const struct rpst_node *n, unsigned int depth)
    450  1.1  yamt {
    451  1.1  yamt 	unsigned int i;
    452  1.1  yamt 
    453  1.1  yamt 	for (i = 0; i < depth; i++) {
    454  1.1  yamt 		printf("  ");
    455  1.1  yamt 	}
    456  1.1  yamt 	printf("[%u]", depth);
    457  1.1  yamt 	if (n == NULL) {
    458  1.1  yamt 		printf("NULL\n");
    459  1.1  yamt 		return;
    460  1.1  yamt 	}
    461  1.1  yamt 	printf("%p x=%" PRIx64 "(%" PRIu64 ") y=%" PRIx64 "(%" PRIu64 ")\n",
    462  1.1  yamt 	    (const void *)n, n->n_x, n->n_x, n->n_y, n->n_y);
    463  1.1  yamt 	for (i = 0; i < 2; i++) {
    464  1.1  yamt 		rpst_dump_node(n->n_children[i], depth + 1);
    465  1.1  yamt 	}
    466  1.1  yamt }
    467  1.1  yamt 
    468  1.1  yamt static void
    469  1.1  yamt rpst_dump_tree(const struct rpst_tree *t)
    470  1.1  yamt {
    471  1.1  yamt 
    472  1.2  yamt 	printf("pst %p height=%u\n", (const void *)t, t->t_height);
    473  1.1  yamt 	rpst_dump_node(t->t_root, 0);
    474  1.1  yamt }
    475  1.1  yamt 
    476  1.1  yamt struct testnode {
    477  1.1  yamt 	struct rpst_node n;
    478  1.1  yamt 	struct testnode *next;
    479  1.2  yamt 	bool failed;
    480  1.2  yamt 	bool found;
    481  1.1  yamt };
    482  1.1  yamt 
    483  1.2  yamt struct rpst_tree t;
    484  1.2  yamt struct testnode *h = NULL;
    485  1.2  yamt 
    486  1.2  yamt static uintmax_t
    487  1.2  yamt tvdiff(const struct timeval *tv1, const struct timeval *tv2)
    488  1.2  yamt {
    489  1.2  yamt 
    490  1.2  yamt 	return (uintmax_t)tv1->tv_sec * 1000000 + tv1->tv_usec -
    491  1.2  yamt 	    tv2->tv_sec * 1000000 - tv2->tv_usec;
    492  1.2  yamt }
    493  1.2  yamt 
    494  1.2  yamt static unsigned int
    495  1.2  yamt query(uint64_t max_y, uint64_t min_x, uint64_t max_x)
    496  1.2  yamt {
    497  1.2  yamt 	struct testnode *n;
    498  1.2  yamt 	struct rpst_node *rn;
    499  1.2  yamt 	struct rpst_iterator it;
    500  1.2  yamt 	struct timeval start;
    501  1.2  yamt 	struct timeval end;
    502  1.2  yamt 	unsigned int done;
    503  1.2  yamt 
    504  1.2  yamt 	printf("quering max_y=%" PRIu64 " min_x=%" PRIu64 " max_x=%" PRIu64
    505  1.2  yamt 	    "\n",
    506  1.2  yamt 	    max_y, min_x, max_x);
    507  1.2  yamt 	done = 0;
    508  1.2  yamt 	gettimeofday(&start, NULL);
    509  1.2  yamt 	for (rn = rpst_iterate_first(&t, max_y, min_x, max_x, &it);
    510  1.2  yamt 	    rn != NULL;
    511  1.2  yamt 	    rn = rpst_iterate_next(&it)) {
    512  1.2  yamt 		done++;
    513  1.2  yamt #if 0
    514  1.2  yamt 		printf("found %p x=%" PRIu64 " y=%" PRIu64 "\n",
    515  1.2  yamt 		    (void *)rn, rn->n_x, rn->n_y);
    516  1.2  yamt #endif
    517  1.2  yamt 		n = (void *)rn;
    518  1.2  yamt 		assert(!n->found);
    519  1.2  yamt 		n->found = true;
    520  1.2  yamt 	}
    521  1.2  yamt 	gettimeofday(&end, NULL);
    522  1.2  yamt 	printf("%u nodes found in %ju usecs\n", done,
    523  1.2  yamt 	    tvdiff(&end, &start));
    524  1.2  yamt 
    525  1.2  yamt 	gettimeofday(&start, NULL);
    526  1.2  yamt 	for (n = h; n != NULL; n = n->next) {
    527  1.2  yamt 		assert(n->failed ||
    528  1.2  yamt 		    n->found == rpst_iterator_match_p(&n->n, &it));
    529  1.2  yamt 		n->found = false;
    530  1.2  yamt 	}
    531  1.2  yamt 	gettimeofday(&end, NULL);
    532  1.2  yamt 	printf("(linear search took %ju usecs)\n", tvdiff(&end, &start));
    533  1.2  yamt 	return done;
    534  1.2  yamt }
    535  1.2  yamt 
    536  1.1  yamt int
    537  1.1  yamt main(int argc, char *argv[])
    538  1.1  yamt {
    539  1.1  yamt 	struct testnode *n;
    540  1.2  yamt 	unsigned int i;
    541  1.1  yamt 	struct rpst_iterator it;
    542  1.1  yamt 	struct timeval start;
    543  1.1  yamt 	struct timeval end;
    544  1.2  yamt 	uint64_t min_y = UINT64_MAX;
    545  1.2  yamt 	uint64_t max_y = 0;
    546  1.2  yamt 	uint64_t min_x = UINT64_MAX;
    547  1.2  yamt 	uint64_t max_x = 0;
    548  1.2  yamt 	uint64_t w;
    549  1.1  yamt 	unsigned int done;
    550  1.2  yamt 	unsigned int fail;
    551  1.2  yamt 	unsigned int num = 500000;
    552  1.1  yamt 
    553  1.1  yamt 	rpst_init_tree(&t);
    554  1.1  yamt 	rpst_dump_tree(&t);
    555  1.1  yamt 	assert(NULL == rpst_iterate_first(&t, UINT64_MAX, 0, UINT64_MAX, &it));
    556  1.1  yamt 
    557  1.2  yamt 	for (i = 0; i < num; i++) {
    558  1.1  yamt 		n = malloc(sizeof(*n));
    559  1.1  yamt 		if (i > 499000) {
    560  1.1  yamt 			n->n.n_x = 10;
    561  1.1  yamt 			n->n.n_y = random();
    562  1.1  yamt 		} else if (i > 400000) {
    563  1.1  yamt 			n->n.n_x = i;
    564  1.1  yamt 			n->n.n_y = random();
    565  1.1  yamt 		} else {
    566  1.1  yamt 			n->n.n_x = random();
    567  1.1  yamt 			n->n.n_y = random();
    568  1.1  yamt 		}
    569  1.2  yamt 		if (n->n.n_y < min_y) {
    570  1.2  yamt 			min_y = n->n.n_y;
    571  1.2  yamt 		}
    572  1.2  yamt 		if (n->n.n_y > max_y) {
    573  1.2  yamt 			max_y = n->n.n_y;
    574  1.2  yamt 		}
    575  1.2  yamt 		if (n->n.n_x < min_x) {
    576  1.2  yamt 			min_x = n->n.n_x;
    577  1.2  yamt 		}
    578  1.2  yamt 		if (n->n.n_x > max_x) {
    579  1.2  yamt 			max_x = n->n.n_x;
    580  1.2  yamt 		}
    581  1.2  yamt 		n->found = false;
    582  1.2  yamt 		n->failed = false;
    583  1.1  yamt 		n->next = h;
    584  1.1  yamt 		h = n;
    585  1.1  yamt 	}
    586  1.1  yamt 
    587  1.1  yamt 	done = 0;
    588  1.2  yamt 	fail = 0;
    589  1.1  yamt 	gettimeofday(&start, NULL);
    590  1.2  yamt 	for (n = h; n != NULL; n = n->next) {
    591  1.2  yamt 		struct rpst_node *o;
    592  1.1  yamt #if 0
    593  1.2  yamt 		printf("insert %p x=%" PRIu64 " y=%" PRIu64 "\n",
    594  1.2  yamt 		    n, n->n.n_x, n->n.n_y);
    595  1.1  yamt #endif
    596  1.2  yamt 		o = rpst_insert_node(&t, &n->n);
    597  1.2  yamt 		if (o == NULL) {
    598  1.2  yamt 			done++;
    599  1.2  yamt 		} else {
    600  1.2  yamt 			n->failed = true;
    601  1.2  yamt 			fail++;
    602  1.2  yamt 		}
    603  1.1  yamt 	}
    604  1.1  yamt 	gettimeofday(&end, NULL);
    605  1.2  yamt 	printf("%u nodes inserted and %u insertion failed in %ju usecs\n",
    606  1.2  yamt 	    done, fail,
    607  1.2  yamt 	    tvdiff(&end, &start));
    608  1.2  yamt 
    609  1.2  yamt 	assert(min_y == 0 || 0 == query(min_y - 1, 0, UINT64_MAX));
    610  1.2  yamt 	assert(max_x == UINT64_MAX ||
    611  1.2  yamt 	    0 == query(UINT64_MAX, max_x + 1, UINT64_MAX));
    612  1.2  yamt 	assert(min_x == 0 || 0 == query(UINT64_MAX, 0, min_x - 1));
    613  1.2  yamt 
    614  1.2  yamt 	done = query(max_y, min_x, max_x);
    615  1.2  yamt 	assert(done == num - fail);
    616  1.2  yamt 
    617  1.2  yamt 	done = query(UINT64_MAX, 0, UINT64_MAX);
    618  1.2  yamt 	assert(done == num - fail);
    619  1.2  yamt 
    620  1.2  yamt 	w = max_x - min_x;
    621  1.2  yamt 	query(max_y / 2, min_x, max_x);
    622  1.2  yamt 	query(max_y, min_x + w / 2, max_x);
    623  1.2  yamt 	query(max_y / 2, min_x + w / 2, max_x);
    624  1.2  yamt 	query(max_y / 2, min_x, max_x - w / 2);
    625  1.2  yamt 	query(max_y / 2, min_x + w / 3, max_x - w / 3);
    626  1.2  yamt 	query(max_y - 1, min_x + 1, max_x - 1);
    627  1.2  yamt 	query(UINT64_MAX, 10, 10);
    628  1.1  yamt 
    629  1.1  yamt 	done = 0;
    630  1.1  yamt 	gettimeofday(&start, NULL);
    631  1.2  yamt 	for (n = h; n != NULL; n = n->next) {
    632  1.2  yamt 		if (n->failed) {
    633  1.2  yamt 			continue;
    634  1.2  yamt 		}
    635  1.1  yamt #if 0
    636  1.2  yamt 		printf("remove %p x=%" PRIu64 " y=%" PRIu64 "\n",
    637  1.1  yamt 		    n, n->n.n_x, n->n.n_y);
    638  1.1  yamt #endif
    639  1.1  yamt 		rpst_remove_node(&t, &n->n);
    640  1.1  yamt 		done++;
    641  1.1  yamt 	}
    642  1.1  yamt 	gettimeofday(&end, NULL);
    643  1.1  yamt 	printf("%u nodes removed in %ju usecs\n", done,
    644  1.2  yamt 	    tvdiff(&end, &start));
    645  1.1  yamt 
    646  1.1  yamt 	rpst_dump_tree(&t);
    647  1.1  yamt }
    648  1.1  yamt #endif /* defined(UNITTEST) */
    649