rpst.c revision 1.4 1 1.4 yamt /* $NetBSD: rpst.c,v 1.4 2009/05/25 14:16:54 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.4 yamt __KERNEL_RCSID(0, "$NetBSD: rpst.c,v 1.4 2009/05/25 14:16:54 yamt Exp $");
47 1.1 yamt #include <sys/param.h>
48 1.1 yamt #else /* defined(_KERNEL) */
49 1.4 yamt __RCSID("$NetBSD: rpst.c,v 1.4 2009/05/25 14:16:54 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.4 yamt /*
266 1.4 yamt * now we have:
267 1.4 yamt *
268 1.4 yamt * \ <- where
269 1.4 yamt * cur
270 1.4 yamt * / \
271 1.4 yamt * A selected
272 1.4 yamt * / \
273 1.4 yamt * B C
274 1.4 yamt */
275 1.1 yamt *where = selected;
276 1.1 yamt if (selected == NULL) {
277 1.1 yamt return;
278 1.1 yamt }
279 1.1 yamt /*
280 1.1 yamt * swap selected->n_children and cur->n_children.
281 1.1 yamt */
282 1.1 yamt memcpy(tmp, selected->n_children, sizeof(tmp));
283 1.1 yamt memcpy(selected->n_children, cur->n_children, sizeof(tmp));
284 1.1 yamt memcpy(cur->n_children, tmp, sizeof(tmp));
285 1.4 yamt /*
286 1.4 yamt * \ <- where
287 1.4 yamt * selected
288 1.4 yamt * / \
289 1.4 yamt * A selected
290 1.4 yamt *
291 1.4 yamt * cur
292 1.4 yamt * / \
293 1.4 yamt * B C
294 1.4 yamt */
295 1.1 yamt where = &selected->n_children[selected_idx];
296 1.4 yamt /*
297 1.4 yamt * \
298 1.4 yamt * selected
299 1.4 yamt * / \ <- where
300 1.4 yamt * A selected
301 1.4 yamt *
302 1.4 yamt * cur
303 1.4 yamt * / \
304 1.4 yamt * B C
305 1.4 yamt */
306 1.1 yamt goto next;
307 1.1 yamt }
308 1.1 yamt
309 1.1 yamt /*
310 1.1 yamt * rpst_remove_node: remove a node from the tree.
311 1.1 yamt */
312 1.1 yamt
313 1.1 yamt void
314 1.1 yamt rpst_remove_node(struct rpst_tree *t, struct rpst_node *n)
315 1.1 yamt {
316 1.1 yamt struct rpst_node *parent;
317 1.1 yamt struct rpst_node **where;
318 1.1 yamt
319 1.1 yamt where = rpst_find_pptr(&t->t_root, n, rpst_startmask(t), &parent);
320 1.1 yamt KASSERT(*where == n);
321 1.1 yamt rpst_remove_node_at(where);
322 1.1 yamt }
323 1.1 yamt
324 1.1 yamt static bool __unused
325 1.1 yamt rpst_iterator_match_p(const struct rpst_node *n, const struct rpst_iterator *it)
326 1.1 yamt {
327 1.1 yamt
328 1.1 yamt if (n->n_y > it->it_max_y) {
329 1.1 yamt return false;
330 1.1 yamt }
331 1.1 yamt if (n->n_x < it->it_min_x) {
332 1.1 yamt return false;
333 1.1 yamt }
334 1.1 yamt if (n->n_x > it->it_max_x) {
335 1.1 yamt return false;
336 1.1 yamt }
337 1.1 yamt return true;
338 1.1 yamt }
339 1.1 yamt
340 1.1 yamt struct rpst_node *
341 1.1 yamt rpst_iterate_first(struct rpst_tree *t, uint64_t max_y, uint64_t min_x,
342 1.1 yamt uint64_t max_x, struct rpst_iterator *it)
343 1.1 yamt {
344 1.1 yamt struct rpst_node *n;
345 1.1 yamt
346 1.1 yamt KASSERT(min_x <= max_x);
347 1.1 yamt n = t->t_root;
348 1.2 yamt if (n == NULL || n->n_y > max_y) {
349 1.1 yamt return NULL;
350 1.1 yamt }
351 1.1 yamt it->it_tree = t;
352 1.1 yamt it->it_cur = n;
353 1.2 yamt it->it_idx = (min_x & rpst_startmask(t)) != 0;
354 1.1 yamt it->it_level = 0;
355 1.1 yamt it->it_max_y = max_y;
356 1.1 yamt it->it_min_x = min_x;
357 1.1 yamt it->it_max_x = max_x;
358 1.1 yamt return rpst_iterate_next(it);
359 1.1 yamt }
360 1.1 yamt
361 1.2 yamt static unsigned int
362 1.2 yamt rpst_node_on_edge_p(const struct rpst_node *n, uint64_t val, uint64_t mask)
363 1.2 yamt {
364 1.2 yamt
365 1.2 yamt return ((n->n_x ^ val) & ((-mask) << 1)) == 0;
366 1.2 yamt }
367 1.2 yamt
368 1.2 yamt static uint64_t
369 1.2 yamt rpst_maxidx(const struct rpst_node *n, uint64_t max_x, uint64_t mask)
370 1.2 yamt {
371 1.2 yamt
372 1.2 yamt if (rpst_node_on_edge_p(n, max_x, mask)) {
373 1.2 yamt return (max_x & mask) != 0;
374 1.2 yamt } else {
375 1.2 yamt return 1;
376 1.2 yamt }
377 1.2 yamt }
378 1.2 yamt
379 1.2 yamt static uint64_t
380 1.2 yamt rpst_minidx(const struct rpst_node *n, uint64_t min_x, uint64_t mask)
381 1.2 yamt {
382 1.2 yamt
383 1.2 yamt if (rpst_node_on_edge_p(n, min_x, mask)) {
384 1.2 yamt return (min_x & mask) != 0;
385 1.2 yamt } else {
386 1.2 yamt return 0;
387 1.2 yamt }
388 1.2 yamt }
389 1.2 yamt
390 1.1 yamt struct rpst_node *
391 1.1 yamt rpst_iterate_next(struct rpst_iterator *it)
392 1.1 yamt {
393 1.1 yamt struct rpst_tree *t;
394 1.1 yamt struct rpst_node *n;
395 1.1 yamt struct rpst_node *next;
396 1.1 yamt const uint64_t max_y = it->it_max_y;
397 1.1 yamt const uint64_t min_x = it->it_min_x;
398 1.1 yamt const uint64_t max_x = it->it_max_x;
399 1.1 yamt unsigned int idx;
400 1.1 yamt unsigned int maxidx;
401 1.1 yamt unsigned int level;
402 1.1 yamt uint64_t mask;
403 1.1 yamt
404 1.1 yamt t = it->it_tree;
405 1.1 yamt n = it->it_cur;
406 1.1 yamt idx = it->it_idx;
407 1.1 yamt level = it->it_level;
408 1.1 yamt mask = rpst_level2mask(t, level);
409 1.2 yamt maxidx = rpst_maxidx(n, max_x, mask);
410 1.1 yamt KASSERT(n == t->t_root || rpst_iterator_match_p(n, it));
411 1.1 yamt next:
412 1.1 yamt KASSERT(mask == rpst_level2mask(t, level));
413 1.2 yamt KASSERT(idx >= rpst_minidx(n, min_x, mask));
414 1.2 yamt KASSERT(maxidx == rpst_maxidx(n, max_x, mask));
415 1.1 yamt KASSERT(idx <= maxidx + 2);
416 1.1 yamt KASSERT(n != NULL);
417 1.1 yamt #if 0
418 1.1 yamt printf("%s: cur=%p, idx=%u maxidx=%u level=%u mask=%" PRIx64 "\n",
419 1.1 yamt __func__, (void *)n, idx, maxidx, level, mask);
420 1.1 yamt #endif
421 1.1 yamt if (idx == maxidx + 1) { /* visit the current node */
422 1.1 yamt idx++;
423 1.1 yamt if (min_x <= n->n_x && n->n_x <= max_x) {
424 1.1 yamt it->it_tree = t;
425 1.1 yamt it->it_cur = n;
426 1.1 yamt it->it_idx = idx;
427 1.1 yamt it->it_level = level;
428 1.1 yamt KASSERT(rpst_iterator_match_p(n, it));
429 1.1 yamt return n; /* report */
430 1.1 yamt }
431 1.1 yamt goto next;
432 1.1 yamt } else if (idx == maxidx + 2) { /* back to the parent */
433 1.1 yamt struct rpst_node **where;
434 1.1 yamt
435 1.1 yamt where = rpst_find_pptr(&t->t_root, n, rpst_startmask(t), &next);
436 1.1 yamt if (next == NULL) {
437 1.1 yamt KASSERT(level == 0);
438 1.1 yamt KASSERT(t->t_root == n);
439 1.1 yamt KASSERT(&t->t_root == where);
440 1.1 yamt return NULL; /* done */
441 1.1 yamt }
442 1.1 yamt KASSERT(level > 0);
443 1.1 yamt level--;
444 1.2 yamt n = next;
445 1.1 yamt mask = rpst_level2mask(t, level);
446 1.2 yamt maxidx = rpst_maxidx(n, max_x, mask);
447 1.1 yamt idx = where - n->n_children + 1;
448 1.1 yamt KASSERT(idx < 2 + 1);
449 1.1 yamt goto next;
450 1.1 yamt }
451 1.1 yamt /* go to a child */
452 1.1 yamt KASSERT(idx < 2);
453 1.1 yamt next = n->n_children[idx];
454 1.1 yamt if (next == NULL || next->n_y > max_y) {
455 1.1 yamt idx++;
456 1.1 yamt goto next;
457 1.1 yamt }
458 1.2 yamt KASSERT(next->n_y >= n->n_y);
459 1.1 yamt level++;
460 1.1 yamt mask >>= 1;
461 1.1 yamt n = next;
462 1.2 yamt idx = rpst_minidx(n, min_x, mask);
463 1.2 yamt maxidx = rpst_maxidx(n, max_x, mask);
464 1.2 yamt #if 0
465 1.2 yamt printf("%s: visit %p idx=%u level=%u mask=%llx\n",
466 1.2 yamt __func__, n, idx, level, mask);
467 1.2 yamt #endif
468 1.1 yamt goto next;
469 1.1 yamt }
470 1.1 yamt
471 1.1 yamt #if defined(UNITTEST)
472 1.1 yamt #include <sys/time.h>
473 1.1 yamt
474 1.1 yamt #include <inttypes.h>
475 1.1 yamt #include <stdio.h>
476 1.1 yamt #include <stdlib.h>
477 1.1 yamt
478 1.1 yamt static void
479 1.1 yamt rpst_dump_node(const struct rpst_node *n, unsigned int depth)
480 1.1 yamt {
481 1.1 yamt unsigned int i;
482 1.1 yamt
483 1.1 yamt for (i = 0; i < depth; i++) {
484 1.1 yamt printf(" ");
485 1.1 yamt }
486 1.1 yamt printf("[%u]", depth);
487 1.1 yamt if (n == NULL) {
488 1.1 yamt printf("NULL\n");
489 1.1 yamt return;
490 1.1 yamt }
491 1.1 yamt printf("%p x=%" PRIx64 "(%" PRIu64 ") y=%" PRIx64 "(%" PRIu64 ")\n",
492 1.1 yamt (const void *)n, n->n_x, n->n_x, n->n_y, n->n_y);
493 1.1 yamt for (i = 0; i < 2; i++) {
494 1.1 yamt rpst_dump_node(n->n_children[i], depth + 1);
495 1.1 yamt }
496 1.1 yamt }
497 1.1 yamt
498 1.1 yamt static void
499 1.1 yamt rpst_dump_tree(const struct rpst_tree *t)
500 1.1 yamt {
501 1.1 yamt
502 1.2 yamt printf("pst %p height=%u\n", (const void *)t, t->t_height);
503 1.1 yamt rpst_dump_node(t->t_root, 0);
504 1.1 yamt }
505 1.1 yamt
506 1.1 yamt struct testnode {
507 1.1 yamt struct rpst_node n;
508 1.1 yamt struct testnode *next;
509 1.2 yamt bool failed;
510 1.2 yamt bool found;
511 1.1 yamt };
512 1.1 yamt
513 1.2 yamt struct rpst_tree t;
514 1.2 yamt struct testnode *h = NULL;
515 1.2 yamt
516 1.2 yamt static uintmax_t
517 1.2 yamt tvdiff(const struct timeval *tv1, const struct timeval *tv2)
518 1.2 yamt {
519 1.2 yamt
520 1.2 yamt return (uintmax_t)tv1->tv_sec * 1000000 + tv1->tv_usec -
521 1.2 yamt tv2->tv_sec * 1000000 - tv2->tv_usec;
522 1.2 yamt }
523 1.2 yamt
524 1.2 yamt static unsigned int
525 1.2 yamt query(uint64_t max_y, uint64_t min_x, uint64_t max_x)
526 1.2 yamt {
527 1.2 yamt struct testnode *n;
528 1.2 yamt struct rpst_node *rn;
529 1.2 yamt struct rpst_iterator it;
530 1.2 yamt struct timeval start;
531 1.2 yamt struct timeval end;
532 1.2 yamt unsigned int done;
533 1.2 yamt
534 1.2 yamt printf("quering max_y=%" PRIu64 " min_x=%" PRIu64 " max_x=%" PRIu64
535 1.2 yamt "\n",
536 1.2 yamt max_y, min_x, max_x);
537 1.2 yamt done = 0;
538 1.2 yamt gettimeofday(&start, NULL);
539 1.2 yamt for (rn = rpst_iterate_first(&t, max_y, min_x, max_x, &it);
540 1.2 yamt rn != NULL;
541 1.2 yamt rn = rpst_iterate_next(&it)) {
542 1.2 yamt done++;
543 1.2 yamt #if 0
544 1.2 yamt printf("found %p x=%" PRIu64 " y=%" PRIu64 "\n",
545 1.2 yamt (void *)rn, rn->n_x, rn->n_y);
546 1.2 yamt #endif
547 1.2 yamt n = (void *)rn;
548 1.2 yamt assert(!n->found);
549 1.2 yamt n->found = true;
550 1.2 yamt }
551 1.2 yamt gettimeofday(&end, NULL);
552 1.2 yamt printf("%u nodes found in %ju usecs\n", done,
553 1.2 yamt tvdiff(&end, &start));
554 1.2 yamt
555 1.2 yamt gettimeofday(&start, NULL);
556 1.2 yamt for (n = h; n != NULL; n = n->next) {
557 1.2 yamt assert(n->failed ||
558 1.2 yamt n->found == rpst_iterator_match_p(&n->n, &it));
559 1.2 yamt n->found = false;
560 1.2 yamt }
561 1.2 yamt gettimeofday(&end, NULL);
562 1.2 yamt printf("(linear search took %ju usecs)\n", tvdiff(&end, &start));
563 1.2 yamt return done;
564 1.2 yamt }
565 1.2 yamt
566 1.1 yamt int
567 1.1 yamt main(int argc, char *argv[])
568 1.1 yamt {
569 1.1 yamt struct testnode *n;
570 1.2 yamt unsigned int i;
571 1.1 yamt struct rpst_iterator it;
572 1.1 yamt struct timeval start;
573 1.1 yamt struct timeval end;
574 1.2 yamt uint64_t min_y = UINT64_MAX;
575 1.2 yamt uint64_t max_y = 0;
576 1.2 yamt uint64_t min_x = UINT64_MAX;
577 1.2 yamt uint64_t max_x = 0;
578 1.2 yamt uint64_t w;
579 1.1 yamt unsigned int done;
580 1.2 yamt unsigned int fail;
581 1.2 yamt unsigned int num = 500000;
582 1.1 yamt
583 1.1 yamt rpst_init_tree(&t);
584 1.1 yamt rpst_dump_tree(&t);
585 1.1 yamt assert(NULL == rpst_iterate_first(&t, UINT64_MAX, 0, UINT64_MAX, &it));
586 1.1 yamt
587 1.2 yamt for (i = 0; i < num; i++) {
588 1.1 yamt n = malloc(sizeof(*n));
589 1.1 yamt if (i > 499000) {
590 1.1 yamt n->n.n_x = 10;
591 1.1 yamt n->n.n_y = random();
592 1.1 yamt } else if (i > 400000) {
593 1.1 yamt n->n.n_x = i;
594 1.1 yamt n->n.n_y = random();
595 1.1 yamt } else {
596 1.1 yamt n->n.n_x = random();
597 1.1 yamt n->n.n_y = random();
598 1.1 yamt }
599 1.2 yamt if (n->n.n_y < min_y) {
600 1.2 yamt min_y = n->n.n_y;
601 1.2 yamt }
602 1.2 yamt if (n->n.n_y > max_y) {
603 1.2 yamt max_y = n->n.n_y;
604 1.2 yamt }
605 1.2 yamt if (n->n.n_x < min_x) {
606 1.2 yamt min_x = n->n.n_x;
607 1.2 yamt }
608 1.2 yamt if (n->n.n_x > max_x) {
609 1.2 yamt max_x = n->n.n_x;
610 1.2 yamt }
611 1.2 yamt n->found = false;
612 1.2 yamt n->failed = false;
613 1.1 yamt n->next = h;
614 1.1 yamt h = n;
615 1.1 yamt }
616 1.1 yamt
617 1.1 yamt done = 0;
618 1.2 yamt fail = 0;
619 1.1 yamt gettimeofday(&start, NULL);
620 1.2 yamt for (n = h; n != NULL; n = n->next) {
621 1.2 yamt struct rpst_node *o;
622 1.1 yamt #if 0
623 1.2 yamt printf("insert %p x=%" PRIu64 " y=%" PRIu64 "\n",
624 1.2 yamt n, n->n.n_x, n->n.n_y);
625 1.1 yamt #endif
626 1.2 yamt o = rpst_insert_node(&t, &n->n);
627 1.2 yamt if (o == NULL) {
628 1.2 yamt done++;
629 1.2 yamt } else {
630 1.2 yamt n->failed = true;
631 1.2 yamt fail++;
632 1.2 yamt }
633 1.1 yamt }
634 1.1 yamt gettimeofday(&end, NULL);
635 1.2 yamt printf("%u nodes inserted and %u insertion failed in %ju usecs\n",
636 1.2 yamt done, fail,
637 1.2 yamt tvdiff(&end, &start));
638 1.2 yamt
639 1.2 yamt assert(min_y == 0 || 0 == query(min_y - 1, 0, UINT64_MAX));
640 1.2 yamt assert(max_x == UINT64_MAX ||
641 1.2 yamt 0 == query(UINT64_MAX, max_x + 1, UINT64_MAX));
642 1.2 yamt assert(min_x == 0 || 0 == query(UINT64_MAX, 0, min_x - 1));
643 1.2 yamt
644 1.2 yamt done = query(max_y, min_x, max_x);
645 1.2 yamt assert(done == num - fail);
646 1.2 yamt
647 1.2 yamt done = query(UINT64_MAX, 0, UINT64_MAX);
648 1.2 yamt assert(done == num - fail);
649 1.2 yamt
650 1.2 yamt w = max_x - min_x;
651 1.2 yamt query(max_y / 2, min_x, max_x);
652 1.2 yamt query(max_y, min_x + w / 2, max_x);
653 1.2 yamt query(max_y / 2, min_x + w / 2, max_x);
654 1.2 yamt query(max_y / 2, min_x, max_x - w / 2);
655 1.2 yamt query(max_y / 2, min_x + w / 3, max_x - w / 3);
656 1.2 yamt query(max_y - 1, min_x + 1, max_x - 1);
657 1.2 yamt query(UINT64_MAX, 10, 10);
658 1.1 yamt
659 1.1 yamt done = 0;
660 1.1 yamt gettimeofday(&start, NULL);
661 1.2 yamt for (n = h; n != NULL; n = n->next) {
662 1.2 yamt if (n->failed) {
663 1.2 yamt continue;
664 1.2 yamt }
665 1.1 yamt #if 0
666 1.2 yamt printf("remove %p x=%" PRIu64 " y=%" PRIu64 "\n",
667 1.1 yamt n, n->n.n_x, n->n.n_y);
668 1.1 yamt #endif
669 1.1 yamt rpst_remove_node(&t, &n->n);
670 1.1 yamt done++;
671 1.1 yamt }
672 1.1 yamt gettimeofday(&end, NULL);
673 1.1 yamt printf("%u nodes removed in %ju usecs\n", done,
674 1.2 yamt tvdiff(&end, &start));
675 1.1 yamt
676 1.1 yamt rpst_dump_tree(&t);
677 1.1 yamt }
678 1.1 yamt #endif /* defined(UNITTEST) */
679