bt_seq.c revision 1.15 1 /* $NetBSD: bt_seq.c,v 1.15 2007/02/03 23:46:09 christos Exp $ */
2
3 /*-
4 * Copyright (c) 1990, 1993, 1994
5 * The Regents of the University of California. All rights reserved.
6 *
7 * This code is derived from software contributed to Berkeley by
8 * Mike Olson.
9 *
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
12 * are met:
13 * 1. Redistributions of source code must retain the above copyright
14 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in the
17 * documentation and/or other materials provided with the distribution.
18 * 3. Neither the name of the University nor the names of its contributors
19 * may be used to endorse or promote products derived from this software
20 * without specific prior written permission.
21 *
22 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 * SUCH DAMAGE.
33 */
34
35 #include <sys/cdefs.h>
36 #if defined(LIBC_SCCS) && !defined(lint)
37 #if 0
38 static char sccsid[] = "@(#)bt_seq.c 8.7 (Berkeley) 7/20/94";
39 #else
40 __RCSID("$NetBSD: bt_seq.c,v 1.15 2007/02/03 23:46:09 christos Exp $");
41 #endif
42 #endif /* LIBC_SCCS and not lint */
43
44 #include "namespace.h"
45 #include <sys/types.h>
46
47 #include <assert.h>
48 #include <errno.h>
49 #include <stddef.h>
50 #include <stdio.h>
51 #include <stdlib.h>
52
53 #include <db.h>
54 #include "btree.h"
55
56 static int __bt_first(BTREE *, const DBT *, EPG *, int *);
57 static int __bt_seqadv(BTREE *, EPG *, int);
58 static int __bt_seqset(BTREE *, EPG *, DBT *, int);
59
60 /*
61 * Sequential scan support.
62 *
63 * The tree can be scanned sequentially, starting from either end of the
64 * tree or from any specific key. A scan request before any scanning is
65 * done is initialized as starting from the least node.
66 */
67
68 /*
69 * __bt_seq --
70 * Btree sequential scan interface.
71 *
72 * Parameters:
73 * dbp: pointer to access method
74 * key: key for positioning and return value
75 * data: data return value
76 * flags: R_CURSOR, R_FIRST, R_LAST, R_NEXT, R_PREV.
77 *
78 * Returns:
79 * RET_ERROR, RET_SUCCESS or RET_SPECIAL if there's no next key.
80 */
81 int
82 __bt_seq(const DB *dbp, DBT *key, DBT *data, u_int flags)
83 {
84 BTREE *t;
85 EPG e;
86 int status;
87
88 t = dbp->internal;
89
90 /* Toss any page pinned across calls. */
91 if (t->bt_pinned != NULL) {
92 mpool_put(t->bt_mp, t->bt_pinned, 0);
93 t->bt_pinned = NULL;
94 }
95
96 /*
97 * If scan unitialized as yet, or starting at a specific record, set
98 * the scan to a specific key. Both __bt_seqset and __bt_seqadv pin
99 * the page the cursor references if they're successful.
100 */
101 switch (flags) {
102 case R_NEXT:
103 case R_PREV:
104 if (F_ISSET(&t->bt_cursor, CURS_INIT)) {
105 status = __bt_seqadv(t, &e, (int)flags);
106 break;
107 }
108 /* FALLTHROUGH */
109 case R_FIRST:
110 case R_LAST:
111 case R_CURSOR:
112 status = __bt_seqset(t, &e, key, (int)flags);
113 break;
114 default:
115 errno = EINVAL;
116 return (RET_ERROR);
117 }
118
119 if (status == RET_SUCCESS) {
120 __bt_setcur(t, e.page->pgno, (u_int)e.index);
121
122 status =
123 __bt_ret(t, &e, key, &t->bt_rkey, data, &t->bt_rdata, 0);
124
125 /*
126 * If the user is doing concurrent access, we copied the
127 * key/data, toss the page.
128 */
129 if (F_ISSET(t, B_DB_LOCK))
130 mpool_put(t->bt_mp, e.page, 0);
131 else
132 t->bt_pinned = e.page;
133 }
134 return (status);
135 }
136
137 /*
138 * __bt_seqset --
139 * Set the sequential scan to a specific key.
140 *
141 * Parameters:
142 * t: tree
143 * ep: storage for returned key
144 * key: key for initial scan position
145 * flags: R_CURSOR, R_FIRST, R_LAST, R_NEXT, R_PREV
146 *
147 * Side effects:
148 * Pins the page the cursor references.
149 *
150 * Returns:
151 * RET_ERROR, RET_SUCCESS or RET_SPECIAL if there's no next key.
152 */
153 static int
154 __bt_seqset(BTREE *t, EPG *ep, DBT *key, int flags)
155 {
156 PAGE *h;
157 pgno_t pg;
158 int exact;
159
160 /*
161 * Find the first, last or specific key in the tree and point the
162 * cursor at it. The cursor may not be moved until a new key has
163 * been found.
164 */
165 switch (flags) {
166 case R_CURSOR: /* Keyed scan. */
167 /*
168 * Find the first instance of the key or the smallest key
169 * which is greater than or equal to the specified key.
170 */
171 if (key->data == NULL || key->size == 0) {
172 errno = EINVAL;
173 return (RET_ERROR);
174 }
175 return (__bt_first(t, key, ep, &exact));
176 case R_FIRST: /* First record. */
177 case R_NEXT:
178 /* Walk down the left-hand side of the tree. */
179 for (pg = P_ROOT;;) {
180 if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
181 return (RET_ERROR);
182
183 /* Check for an empty tree. */
184 if (NEXTINDEX(h) == 0) {
185 mpool_put(t->bt_mp, h, 0);
186 return (RET_SPECIAL);
187 }
188
189 if (h->flags & (P_BLEAF | P_RLEAF))
190 break;
191 pg = GETBINTERNAL(h, 0)->pgno;
192 mpool_put(t->bt_mp, h, 0);
193 }
194 ep->page = h;
195 ep->index = 0;
196 break;
197 case R_LAST: /* Last record. */
198 case R_PREV:
199 /* Walk down the right-hand side of the tree. */
200 for (pg = P_ROOT;;) {
201 if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
202 return (RET_ERROR);
203
204 /* Check for an empty tree. */
205 if (NEXTINDEX(h) == 0) {
206 mpool_put(t->bt_mp, h, 0);
207 return (RET_SPECIAL);
208 }
209
210 if (h->flags & (P_BLEAF | P_RLEAF))
211 break;
212 pg = GETBINTERNAL(h, NEXTINDEX(h) - 1)->pgno;
213 mpool_put(t->bt_mp, h, 0);
214 }
215
216 ep->page = h;
217 ep->index = NEXTINDEX(h) - 1;
218 break;
219 }
220 return (RET_SUCCESS);
221 }
222
223 /*
224 * __bt_seqadvance --
225 * Advance the sequential scan.
226 *
227 * Parameters:
228 * t: tree
229 * flags: R_NEXT, R_PREV
230 *
231 * Side effects:
232 * Pins the page the new key/data record is on.
233 *
234 * Returns:
235 * RET_ERROR, RET_SUCCESS or RET_SPECIAL if there's no next key.
236 */
237 static int
238 __bt_seqadv(BTREE *t, EPG *ep, int flags)
239 {
240 CURSOR *c;
241 PAGE *h;
242 indx_t idx = 0; /* pacify gcc */
243 pgno_t pg;
244 int exact;
245
246 /*
247 * There are a couple of states that we can be in. The cursor has
248 * been initialized by the time we get here, but that's all we know.
249 */
250 c = &t->bt_cursor;
251
252 /*
253 * The cursor was deleted where there weren't any duplicate records,
254 * so the key was saved. Find out where that key would go in the
255 * current tree. It doesn't matter if the returned key is an exact
256 * match or not -- if it's an exact match, the record was added after
257 * the delete so we can just return it. If not, as long as there's
258 * a record there, return it.
259 */
260 if (F_ISSET(c, CURS_ACQUIRE))
261 return (__bt_first(t, &c->key, ep, &exact));
262
263 /* Get the page referenced by the cursor. */
264 if ((h = mpool_get(t->bt_mp, c->pg.pgno, 0)) == NULL)
265 return (RET_ERROR);
266
267 /*
268 * Find the next/previous record in the tree and point the cursor at
269 * it. The cursor may not be moved until a new key has been found.
270 */
271 switch (flags) {
272 case R_NEXT: /* Next record. */
273 /*
274 * The cursor was deleted in duplicate records, and moved
275 * forward to a record that has yet to be returned. Clear
276 * that flag, and return the record.
277 */
278 if (F_ISSET(c, CURS_AFTER))
279 goto usecurrent;
280 idx = c->pg.index;
281 if (++idx == NEXTINDEX(h)) {
282 pg = h->nextpg;
283 mpool_put(t->bt_mp, h, 0);
284 if (pg == P_INVALID)
285 return (RET_SPECIAL);
286 if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
287 return (RET_ERROR);
288 idx = 0;
289 }
290 break;
291 case R_PREV: /* Previous record. */
292 /*
293 * The cursor was deleted in duplicate records, and moved
294 * backward to a record that has yet to be returned. Clear
295 * that flag, and return the record.
296 */
297 if (F_ISSET(c, CURS_BEFORE)) {
298 usecurrent: F_CLR(c, CURS_AFTER | CURS_BEFORE);
299 ep->page = h;
300 ep->index = c->pg.index;
301 return (RET_SUCCESS);
302 }
303 idx = c->pg.index;
304 if (idx == 0) {
305 pg = h->prevpg;
306 mpool_put(t->bt_mp, h, 0);
307 if (pg == P_INVALID)
308 return (RET_SPECIAL);
309 if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
310 return (RET_ERROR);
311 idx = NEXTINDEX(h) - 1;
312 } else
313 --idx;
314 break;
315 }
316
317 ep->page = h;
318 ep->index = idx;
319 return (RET_SUCCESS);
320 }
321
322 /*
323 * __bt_first --
324 * Find the first entry.
325 *
326 * Parameters:
327 * t: the tree
328 * key: the key
329 * erval: return EPG
330 * exactp: pointer to exact match flag
331 *
332 * Returns:
333 * The first entry in the tree greater than or equal to key,
334 * or RET_SPECIAL if no such key exists.
335 */
336 static int
337 __bt_first(BTREE *t, const DBT *key, EPG *erval, int *exactp)
338 {
339 PAGE *h;
340 EPG *ep, save;
341 pgno_t pg;
342
343 /*
344 * Find any matching record; __bt_search pins the page.
345 *
346 * If it's an exact match and duplicates are possible, walk backwards
347 * in the tree until we find the first one. Otherwise, make sure it's
348 * a valid key (__bt_search may return an index just past the end of a
349 * page) and return it.
350 */
351 if ((ep = __bt_search(t, key, exactp)) == NULL)
352 return (0);
353 if (*exactp) {
354 if (F_ISSET(t, B_NODUPS)) {
355 *erval = *ep;
356 return (RET_SUCCESS);
357 }
358
359 /*
360 * Walk backwards, as long as the entry matches and there are
361 * keys left in the tree. Save a copy of each match in case
362 * we go too far.
363 */
364 save = *ep;
365 h = ep->page;
366 do {
367 if (save.page->pgno != ep->page->pgno) {
368 mpool_put(t->bt_mp, save.page, 0);
369 save = *ep;
370 } else
371 save.index = ep->index;
372
373 /*
374 * Don't unpin the page the last (or original) match
375 * was on, but make sure it's unpinned if an error
376 * occurs.
377 */
378 if (ep->index == 0) {
379 if (h->prevpg == P_INVALID)
380 break;
381 if (h->pgno != save.page->pgno)
382 mpool_put(t->bt_mp, h, 0);
383 if ((h = mpool_get(t->bt_mp,
384 h->prevpg, 0)) == NULL)
385 return (RET_ERROR);
386 ep->page = h;
387 ep->index = NEXTINDEX(h);
388 }
389 --ep->index;
390 } while (__bt_cmp(t, key, ep) == 0);
391
392 /*
393 * Reach here with the last page that was looked at pinned,
394 * which may or may not be the same as the last (or original)
395 * match page. If it's not useful, release it.
396 */
397 if (h->pgno != save.page->pgno)
398 mpool_put(t->bt_mp, h, 0);
399
400 *erval = save;
401 return (RET_SUCCESS);
402 }
403
404 /* If at the end of a page, find the next entry. */
405 if (ep->index == NEXTINDEX(ep->page)) {
406 h = ep->page;
407 pg = h->nextpg;
408 mpool_put(t->bt_mp, h, 0);
409 if (pg == P_INVALID)
410 return (RET_SPECIAL);
411 if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
412 return (RET_ERROR);
413 ep->index = 0;
414 ep->page = h;
415 }
416 *erval = *ep;
417 return (RET_SUCCESS);
418 }
419
420 /*
421 * __bt_setcur --
422 * Set the cursor to an entry in the tree.
423 *
424 * Parameters:
425 * t: the tree
426 * pgno: page number
427 * idx: page index
428 */
429 void
430 __bt_setcur(BTREE *t, pgno_t pgno, u_int idx)
431 {
432 /* Lose any already deleted key. */
433 if (t->bt_cursor.key.data != NULL) {
434 free(t->bt_cursor.key.data);
435 t->bt_cursor.key.size = 0;
436 t->bt_cursor.key.data = NULL;
437 }
438 F_CLR(&t->bt_cursor, CURS_ACQUIRE | CURS_AFTER | CURS_BEFORE);
439
440 /* Update the cursor. */
441 t->bt_cursor.pg.pgno = pgno;
442 t->bt_cursor.pg.index = idx;
443 F_SET(&t->bt_cursor, CURS_INIT);
444 }
445