rpst.c revision 1.9 1 1.9 yamt /* $NetBSD: rpst.c,v 1.9 2009/05/26 22:39:15 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.9 yamt __KERNEL_RCSID(0, "$NetBSD: rpst.c,v 1.9 2009/05/26 22:39:15 yamt Exp $");
47 1.1 yamt #include <sys/param.h>
48 1.1 yamt #else /* defined(_KERNEL) */
49 1.9 yamt __RCSID("$NetBSD: rpst.c,v 1.9 2009/05/26 22:39:15 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.9 yamt * rpst_enlarge_tree: enlarge tree so that 'idx' 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.7 yamt if (rpst_height2max(t->t_height) < min_x) {
383 1.7 yamt return NULL;
384 1.7 yamt }
385 1.1 yamt it->it_tree = t;
386 1.1 yamt it->it_cur = n;
387 1.2 yamt it->it_idx = (min_x & rpst_startmask(t)) != 0;
388 1.1 yamt it->it_level = 0;
389 1.1 yamt it->it_max_y = max_y;
390 1.1 yamt it->it_min_x = min_x;
391 1.1 yamt it->it_max_x = max_x;
392 1.1 yamt return rpst_iterate_next(it);
393 1.1 yamt }
394 1.1 yamt
395 1.6 yamt static inline unsigned int
396 1.2 yamt rpst_node_on_edge_p(const struct rpst_node *n, uint64_t val, uint64_t mask)
397 1.2 yamt {
398 1.2 yamt
399 1.2 yamt return ((n->n_x ^ val) & ((-mask) << 1)) == 0;
400 1.2 yamt }
401 1.2 yamt
402 1.6 yamt static inline uint64_t
403 1.2 yamt rpst_maxidx(const struct rpst_node *n, uint64_t max_x, uint64_t mask)
404 1.2 yamt {
405 1.2 yamt
406 1.2 yamt if (rpst_node_on_edge_p(n, max_x, mask)) {
407 1.2 yamt return (max_x & mask) != 0;
408 1.2 yamt } else {
409 1.2 yamt return 1;
410 1.2 yamt }
411 1.2 yamt }
412 1.2 yamt
413 1.6 yamt static inline uint64_t
414 1.2 yamt rpst_minidx(const struct rpst_node *n, uint64_t min_x, uint64_t mask)
415 1.2 yamt {
416 1.2 yamt
417 1.2 yamt if (rpst_node_on_edge_p(n, min_x, mask)) {
418 1.2 yamt return (min_x & mask) != 0;
419 1.2 yamt } else {
420 1.2 yamt return 0;
421 1.2 yamt }
422 1.2 yamt }
423 1.2 yamt
424 1.1 yamt struct rpst_node *
425 1.1 yamt rpst_iterate_next(struct rpst_iterator *it)
426 1.1 yamt {
427 1.1 yamt struct rpst_tree *t;
428 1.1 yamt struct rpst_node *n;
429 1.1 yamt struct rpst_node *next;
430 1.1 yamt const uint64_t max_y = it->it_max_y;
431 1.1 yamt const uint64_t min_x = it->it_min_x;
432 1.1 yamt const uint64_t max_x = it->it_max_x;
433 1.1 yamt unsigned int idx;
434 1.1 yamt unsigned int maxidx;
435 1.1 yamt unsigned int level;
436 1.1 yamt uint64_t mask;
437 1.1 yamt
438 1.1 yamt t = it->it_tree;
439 1.1 yamt n = it->it_cur;
440 1.1 yamt idx = it->it_idx;
441 1.1 yamt level = it->it_level;
442 1.1 yamt mask = rpst_level2mask(t, level);
443 1.2 yamt maxidx = rpst_maxidx(n, max_x, mask);
444 1.1 yamt KASSERT(n == t->t_root || rpst_iterator_match_p(n, it));
445 1.1 yamt next:
446 1.1 yamt KASSERT(mask == rpst_level2mask(t, level));
447 1.2 yamt KASSERT(idx >= rpst_minidx(n, min_x, mask));
448 1.2 yamt KASSERT(maxidx == rpst_maxidx(n, max_x, mask));
449 1.1 yamt KASSERT(idx <= maxidx + 2);
450 1.1 yamt KASSERT(n != NULL);
451 1.1 yamt #if 0
452 1.1 yamt printf("%s: cur=%p, idx=%u maxidx=%u level=%u mask=%" PRIx64 "\n",
453 1.1 yamt __func__, (void *)n, idx, maxidx, level, mask);
454 1.1 yamt #endif
455 1.1 yamt if (idx == maxidx + 1) { /* visit the current node */
456 1.1 yamt idx++;
457 1.1 yamt if (min_x <= n->n_x && n->n_x <= max_x) {
458 1.1 yamt it->it_cur = n;
459 1.1 yamt it->it_idx = idx;
460 1.1 yamt it->it_level = level;
461 1.1 yamt KASSERT(rpst_iterator_match_p(n, it));
462 1.1 yamt return n; /* report */
463 1.1 yamt }
464 1.1 yamt goto next;
465 1.1 yamt } else if (idx == maxidx + 2) { /* back to the parent */
466 1.1 yamt struct rpst_node **where;
467 1.1 yamt
468 1.5 yamt where = rpst_find_pptr(t, n, &next);
469 1.1 yamt if (next == NULL) {
470 1.1 yamt KASSERT(level == 0);
471 1.1 yamt KASSERT(t->t_root == n);
472 1.1 yamt KASSERT(&t->t_root == where);
473 1.1 yamt return NULL; /* done */
474 1.1 yamt }
475 1.1 yamt KASSERT(level > 0);
476 1.1 yamt level--;
477 1.2 yamt n = next;
478 1.1 yamt mask = rpst_level2mask(t, level);
479 1.2 yamt maxidx = rpst_maxidx(n, max_x, mask);
480 1.1 yamt idx = where - n->n_children + 1;
481 1.1 yamt KASSERT(idx < 2 + 1);
482 1.1 yamt goto next;
483 1.1 yamt }
484 1.1 yamt /* go to a child */
485 1.1 yamt KASSERT(idx < 2);
486 1.1 yamt next = n->n_children[idx];
487 1.1 yamt if (next == NULL || next->n_y > max_y) {
488 1.1 yamt idx++;
489 1.1 yamt goto next;
490 1.1 yamt }
491 1.5 yamt KASSERT(next->n_parent == n);
492 1.2 yamt KASSERT(next->n_y >= n->n_y);
493 1.1 yamt level++;
494 1.1 yamt mask >>= 1;
495 1.1 yamt n = next;
496 1.2 yamt idx = rpst_minidx(n, min_x, mask);
497 1.2 yamt maxidx = rpst_maxidx(n, max_x, mask);
498 1.2 yamt #if 0
499 1.2 yamt printf("%s: visit %p idx=%u level=%u mask=%llx\n",
500 1.2 yamt __func__, n, idx, level, mask);
501 1.2 yamt #endif
502 1.1 yamt goto next;
503 1.1 yamt }
504 1.1 yamt
505 1.1 yamt #if defined(UNITTEST)
506 1.1 yamt #include <sys/time.h>
507 1.1 yamt
508 1.1 yamt #include <inttypes.h>
509 1.1 yamt #include <stdio.h>
510 1.1 yamt #include <stdlib.h>
511 1.1 yamt
512 1.1 yamt static void
513 1.1 yamt rpst_dump_node(const struct rpst_node *n, unsigned int depth)
514 1.1 yamt {
515 1.1 yamt unsigned int i;
516 1.1 yamt
517 1.1 yamt for (i = 0; i < depth; i++) {
518 1.1 yamt printf(" ");
519 1.1 yamt }
520 1.1 yamt printf("[%u]", depth);
521 1.1 yamt if (n == NULL) {
522 1.1 yamt printf("NULL\n");
523 1.1 yamt return;
524 1.1 yamt }
525 1.1 yamt printf("%p x=%" PRIx64 "(%" PRIu64 ") y=%" PRIx64 "(%" PRIu64 ")\n",
526 1.1 yamt (const void *)n, n->n_x, n->n_x, n->n_y, n->n_y);
527 1.1 yamt for (i = 0; i < 2; i++) {
528 1.1 yamt rpst_dump_node(n->n_children[i], depth + 1);
529 1.1 yamt }
530 1.1 yamt }
531 1.1 yamt
532 1.1 yamt static void
533 1.1 yamt rpst_dump_tree(const struct rpst_tree *t)
534 1.1 yamt {
535 1.1 yamt
536 1.2 yamt printf("pst %p height=%u\n", (const void *)t, t->t_height);
537 1.1 yamt rpst_dump_node(t->t_root, 0);
538 1.1 yamt }
539 1.1 yamt
540 1.1 yamt struct testnode {
541 1.1 yamt struct rpst_node n;
542 1.1 yamt struct testnode *next;
543 1.2 yamt bool failed;
544 1.2 yamt bool found;
545 1.1 yamt };
546 1.1 yamt
547 1.2 yamt struct rpst_tree t;
548 1.2 yamt struct testnode *h = NULL;
549 1.2 yamt
550 1.2 yamt static uintmax_t
551 1.2 yamt tvdiff(const struct timeval *tv1, const struct timeval *tv2)
552 1.2 yamt {
553 1.2 yamt
554 1.2 yamt return (uintmax_t)tv1->tv_sec * 1000000 + tv1->tv_usec -
555 1.2 yamt tv2->tv_sec * 1000000 - tv2->tv_usec;
556 1.2 yamt }
557 1.2 yamt
558 1.2 yamt static unsigned int
559 1.2 yamt query(uint64_t max_y, uint64_t min_x, uint64_t max_x)
560 1.2 yamt {
561 1.2 yamt struct testnode *n;
562 1.2 yamt struct rpst_node *rn;
563 1.2 yamt struct rpst_iterator it;
564 1.2 yamt struct timeval start;
565 1.2 yamt struct timeval end;
566 1.2 yamt unsigned int done;
567 1.2 yamt
568 1.2 yamt printf("quering max_y=%" PRIu64 " min_x=%" PRIu64 " max_x=%" PRIu64
569 1.2 yamt "\n",
570 1.2 yamt max_y, min_x, max_x);
571 1.2 yamt done = 0;
572 1.2 yamt gettimeofday(&start, NULL);
573 1.2 yamt for (rn = rpst_iterate_first(&t, max_y, min_x, max_x, &it);
574 1.2 yamt rn != NULL;
575 1.2 yamt rn = rpst_iterate_next(&it)) {
576 1.2 yamt done++;
577 1.2 yamt #if 0
578 1.2 yamt printf("found %p x=%" PRIu64 " y=%" PRIu64 "\n",
579 1.2 yamt (void *)rn, rn->n_x, rn->n_y);
580 1.2 yamt #endif
581 1.2 yamt n = (void *)rn;
582 1.2 yamt assert(!n->found);
583 1.2 yamt n->found = true;
584 1.2 yamt }
585 1.2 yamt gettimeofday(&end, NULL);
586 1.2 yamt printf("%u nodes found in %ju usecs\n", done,
587 1.2 yamt tvdiff(&end, &start));
588 1.2 yamt
589 1.2 yamt gettimeofday(&start, NULL);
590 1.2 yamt for (n = h; n != NULL; n = n->next) {
591 1.2 yamt assert(n->failed ||
592 1.2 yamt n->found == rpst_iterator_match_p(&n->n, &it));
593 1.2 yamt n->found = false;
594 1.2 yamt }
595 1.2 yamt gettimeofday(&end, NULL);
596 1.2 yamt printf("(linear search took %ju usecs)\n", tvdiff(&end, &start));
597 1.2 yamt return done;
598 1.2 yamt }
599 1.2 yamt
600 1.1 yamt int
601 1.1 yamt main(int argc, char *argv[])
602 1.1 yamt {
603 1.1 yamt struct testnode *n;
604 1.2 yamt unsigned int i;
605 1.1 yamt struct rpst_iterator it;
606 1.1 yamt struct timeval start;
607 1.1 yamt struct timeval end;
608 1.2 yamt uint64_t min_y = UINT64_MAX;
609 1.2 yamt uint64_t max_y = 0;
610 1.2 yamt uint64_t min_x = UINT64_MAX;
611 1.2 yamt uint64_t max_x = 0;
612 1.2 yamt uint64_t w;
613 1.1 yamt unsigned int done;
614 1.2 yamt unsigned int fail;
615 1.2 yamt unsigned int num = 500000;
616 1.1 yamt
617 1.1 yamt rpst_init_tree(&t);
618 1.1 yamt rpst_dump_tree(&t);
619 1.1 yamt assert(NULL == rpst_iterate_first(&t, UINT64_MAX, 0, UINT64_MAX, &it));
620 1.1 yamt
621 1.2 yamt for (i = 0; i < num; i++) {
622 1.1 yamt n = malloc(sizeof(*n));
623 1.1 yamt if (i > 499000) {
624 1.1 yamt n->n.n_x = 10;
625 1.1 yamt n->n.n_y = random();
626 1.1 yamt } else if (i > 400000) {
627 1.1 yamt n->n.n_x = i;
628 1.1 yamt n->n.n_y = random();
629 1.1 yamt } else {
630 1.1 yamt n->n.n_x = random();
631 1.1 yamt n->n.n_y = random();
632 1.1 yamt }
633 1.2 yamt if (n->n.n_y < min_y) {
634 1.2 yamt min_y = n->n.n_y;
635 1.2 yamt }
636 1.2 yamt if (n->n.n_y > max_y) {
637 1.2 yamt max_y = n->n.n_y;
638 1.2 yamt }
639 1.2 yamt if (n->n.n_x < min_x) {
640 1.2 yamt min_x = n->n.n_x;
641 1.2 yamt }
642 1.2 yamt if (n->n.n_x > max_x) {
643 1.2 yamt max_x = n->n.n_x;
644 1.2 yamt }
645 1.2 yamt n->found = false;
646 1.2 yamt n->failed = false;
647 1.1 yamt n->next = h;
648 1.1 yamt h = n;
649 1.1 yamt }
650 1.1 yamt
651 1.1 yamt done = 0;
652 1.2 yamt fail = 0;
653 1.1 yamt gettimeofday(&start, NULL);
654 1.2 yamt for (n = h; n != NULL; n = n->next) {
655 1.2 yamt struct rpst_node *o;
656 1.1 yamt #if 0
657 1.2 yamt printf("insert %p x=%" PRIu64 " y=%" PRIu64 "\n",
658 1.2 yamt n, n->n.n_x, n->n.n_y);
659 1.1 yamt #endif
660 1.2 yamt o = rpst_insert_node(&t, &n->n);
661 1.2 yamt if (o == NULL) {
662 1.2 yamt done++;
663 1.2 yamt } else {
664 1.2 yamt n->failed = true;
665 1.2 yamt fail++;
666 1.2 yamt }
667 1.1 yamt }
668 1.1 yamt gettimeofday(&end, NULL);
669 1.2 yamt printf("%u nodes inserted and %u insertion failed in %ju usecs\n",
670 1.2 yamt done, fail,
671 1.2 yamt tvdiff(&end, &start));
672 1.2 yamt
673 1.2 yamt assert(min_y == 0 || 0 == query(min_y - 1, 0, UINT64_MAX));
674 1.2 yamt assert(max_x == UINT64_MAX ||
675 1.2 yamt 0 == query(UINT64_MAX, max_x + 1, UINT64_MAX));
676 1.2 yamt assert(min_x == 0 || 0 == query(UINT64_MAX, 0, min_x - 1));
677 1.2 yamt
678 1.2 yamt done = query(max_y, min_x, max_x);
679 1.2 yamt assert(done == num - fail);
680 1.2 yamt
681 1.2 yamt done = query(UINT64_MAX, 0, UINT64_MAX);
682 1.2 yamt assert(done == num - fail);
683 1.2 yamt
684 1.2 yamt w = max_x - min_x;
685 1.2 yamt query(max_y / 2, min_x, max_x);
686 1.2 yamt query(max_y, min_x + w / 2, max_x);
687 1.2 yamt query(max_y / 2, min_x + w / 2, max_x);
688 1.2 yamt query(max_y / 2, min_x, max_x - w / 2);
689 1.2 yamt query(max_y / 2, min_x + w / 3, max_x - w / 3);
690 1.2 yamt query(max_y - 1, min_x + 1, max_x - 1);
691 1.2 yamt query(UINT64_MAX, 10, 10);
692 1.1 yamt
693 1.1 yamt done = 0;
694 1.1 yamt gettimeofday(&start, NULL);
695 1.2 yamt for (n = h; n != NULL; n = n->next) {
696 1.2 yamt if (n->failed) {
697 1.2 yamt continue;
698 1.2 yamt }
699 1.1 yamt #if 0
700 1.2 yamt printf("remove %p x=%" PRIu64 " y=%" PRIu64 "\n",
701 1.1 yamt n, n->n.n_x, n->n.n_y);
702 1.1 yamt #endif
703 1.1 yamt rpst_remove_node(&t, &n->n);
704 1.1 yamt done++;
705 1.1 yamt }
706 1.1 yamt gettimeofday(&end, NULL);
707 1.1 yamt printf("%u nodes removed in %ju usecs\n", done,
708 1.2 yamt tvdiff(&end, &start));
709 1.1 yamt
710 1.1 yamt rpst_dump_tree(&t);
711 1.1 yamt }
712 1.1 yamt #endif /* defined(UNITTEST) */
713