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