Home | History | Annotate | Line # | Download | only in btree
bt_seq.c revision 1.13
      1 /*	$NetBSD: bt_seq.c,v 1.13 2003/08/07 16:42:41 agc 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.13 2003/08/07 16:42:41 agc Exp $");
     41 #endif
     42 #endif /* LIBC_SCCS and not lint */
     43 
     44 #include "namespace.h"
     45 #include <sys/types.h>
     46 
     47 #include <errno.h>
     48 #include <stddef.h>
     49 #include <stdio.h>
     50 #include <stdlib.h>
     51 
     52 #include <db.h>
     53 #include "btree.h"
     54 
     55 static int __bt_first __P((BTREE *, const DBT *, EPG *, int *));
     56 static int __bt_seqadv __P((BTREE *, EPG *, int));
     57 static int __bt_seqset __P((BTREE *, EPG *, DBT *, int));
     58 
     59 /*
     60  * Sequential scan support.
     61  *
     62  * The tree can be scanned sequentially, starting from either end of the
     63  * tree or from any specific key.  A scan request before any scanning is
     64  * done is initialized as starting from the least node.
     65  */
     66 
     67 /*
     68  * __bt_seq --
     69  *	Btree sequential scan interface.
     70  *
     71  * Parameters:
     72  *	dbp:	pointer to access method
     73  *	key:	key for positioning and return value
     74  *	data:	data return value
     75  *	flags:	R_CURSOR, R_FIRST, R_LAST, R_NEXT, R_PREV.
     76  *
     77  * Returns:
     78  *	RET_ERROR, RET_SUCCESS or RET_SPECIAL if there's no next key.
     79  */
     80 int
     81 __bt_seq(dbp, key, data, flags)
     82 	const DB *dbp;
     83 	DBT *key, *data;
     84 	u_int flags;
     85 {
     86 	BTREE *t;
     87 	EPG e;
     88 	int status;
     89 
     90 	t = dbp->internal;
     91 
     92 	/* Toss any page pinned across calls. */
     93 	if (t->bt_pinned != NULL) {
     94 		mpool_put(t->bt_mp, t->bt_pinned, 0);
     95 		t->bt_pinned = NULL;
     96 	}
     97 
     98 	/*
     99 	 * If scan unitialized as yet, or starting at a specific record, set
    100 	 * the scan to a specific key.  Both __bt_seqset and __bt_seqadv pin
    101 	 * the page the cursor references if they're successful.
    102 	 */
    103 	switch (flags) {
    104 	case R_NEXT:
    105 	case R_PREV:
    106 		if (F_ISSET(&t->bt_cursor, CURS_INIT)) {
    107 			status = __bt_seqadv(t, &e, (int)flags);
    108 			break;
    109 		}
    110 		/* FALLTHROUGH */
    111 	case R_FIRST:
    112 	case R_LAST:
    113 	case R_CURSOR:
    114 		status = __bt_seqset(t, &e, key, (int)flags);
    115 		break;
    116 	default:
    117 		errno = EINVAL;
    118 		return (RET_ERROR);
    119 	}
    120 
    121 	if (status == RET_SUCCESS) {
    122 		__bt_setcur(t, e.page->pgno, (u_int)e.index);
    123 
    124 		status =
    125 		    __bt_ret(t, &e, key, &t->bt_rkey, data, &t->bt_rdata, 0);
    126 
    127 		/*
    128 		 * If the user is doing concurrent access, we copied the
    129 		 * key/data, toss the page.
    130 		 */
    131 		if (F_ISSET(t, B_DB_LOCK))
    132 			mpool_put(t->bt_mp, e.page, 0);
    133 		else
    134 			t->bt_pinned = e.page;
    135 	}
    136 	return (status);
    137 }
    138 
    139 /*
    140  * __bt_seqset --
    141  *	Set the sequential scan to a specific key.
    142  *
    143  * Parameters:
    144  *	t:	tree
    145  *	ep:	storage for returned key
    146  *	key:	key for initial scan position
    147  *	flags:	R_CURSOR, R_FIRST, R_LAST, R_NEXT, R_PREV
    148  *
    149  * Side effects:
    150  *	Pins the page the cursor references.
    151  *
    152  * Returns:
    153  *	RET_ERROR, RET_SUCCESS or RET_SPECIAL if there's no next key.
    154  */
    155 static int
    156 __bt_seqset(t, ep, key, flags)
    157 	BTREE *t;
    158 	EPG *ep;
    159 	DBT *key;
    160 	int flags;
    161 {
    162 	PAGE *h;
    163 	pgno_t pg;
    164 	int exact;
    165 
    166 	/*
    167 	 * Find the first, last or specific key in the tree and point the
    168 	 * cursor at it.  The cursor may not be moved until a new key has
    169 	 * been found.
    170 	 */
    171 	switch (flags) {
    172 	case R_CURSOR:				/* Keyed scan. */
    173 		/*
    174 		 * Find the first instance of the key or the smallest key
    175 		 * which is greater than or equal to the specified key.
    176 		 */
    177 		if (key->data == NULL || key->size == 0) {
    178 			errno = EINVAL;
    179 			return (RET_ERROR);
    180 		}
    181 		return (__bt_first(t, key, ep, &exact));
    182 	case R_FIRST:				/* First record. */
    183 	case R_NEXT:
    184 		/* Walk down the left-hand side of the tree. */
    185 		for (pg = P_ROOT;;) {
    186 			if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
    187 				return (RET_ERROR);
    188 
    189 			/* Check for an empty tree. */
    190 			if (NEXTINDEX(h) == 0) {
    191 				mpool_put(t->bt_mp, h, 0);
    192 				return (RET_SPECIAL);
    193 			}
    194 
    195 			if (h->flags & (P_BLEAF | P_RLEAF))
    196 				break;
    197 			pg = GETBINTERNAL(h, 0)->pgno;
    198 			mpool_put(t->bt_mp, h, 0);
    199 		}
    200 		ep->page = h;
    201 		ep->index = 0;
    202 		break;
    203 	case R_LAST:				/* Last record. */
    204 	case R_PREV:
    205 		/* Walk down the right-hand side of the tree. */
    206 		for (pg = P_ROOT;;) {
    207 			if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
    208 				return (RET_ERROR);
    209 
    210 			/* Check for an empty tree. */
    211 			if (NEXTINDEX(h) == 0) {
    212 				mpool_put(t->bt_mp, h, 0);
    213 				return (RET_SPECIAL);
    214 			}
    215 
    216 			if (h->flags & (P_BLEAF | P_RLEAF))
    217 				break;
    218 			pg = GETBINTERNAL(h, NEXTINDEX(h) - 1)->pgno;
    219 			mpool_put(t->bt_mp, h, 0);
    220 		}
    221 
    222 		ep->page = h;
    223 		ep->index = NEXTINDEX(h) - 1;
    224 		break;
    225 	}
    226 	return (RET_SUCCESS);
    227 }
    228 
    229 /*
    230  * __bt_seqadvance --
    231  *	Advance the sequential scan.
    232  *
    233  * Parameters:
    234  *	t:	tree
    235  *	flags:	R_NEXT, R_PREV
    236  *
    237  * Side effects:
    238  *	Pins the page the new key/data record is on.
    239  *
    240  * Returns:
    241  *	RET_ERROR, RET_SUCCESS or RET_SPECIAL if there's no next key.
    242  */
    243 static int
    244 __bt_seqadv(t, ep, flags)
    245 	BTREE *t;
    246 	EPG *ep;
    247 	int flags;
    248 {
    249 	CURSOR *c;
    250 	PAGE *h;
    251 	indx_t idx = 0;	/* pacify gcc */
    252 	pgno_t pg;
    253 	int exact;
    254 
    255 	/*
    256 	 * There are a couple of states that we can be in.  The cursor has
    257 	 * been initialized by the time we get here, but that's all we know.
    258 	 */
    259 	c = &t->bt_cursor;
    260 
    261 	/*
    262 	 * The cursor was deleted where there weren't any duplicate records,
    263 	 * so the key was saved.  Find out where that key would go in the
    264 	 * current tree.  It doesn't matter if the returned key is an exact
    265 	 * match or not -- if it's an exact match, the record was added after
    266 	 * the delete so we can just return it.  If not, as long as there's
    267 	 * a record there, return it.
    268 	 */
    269 	if (F_ISSET(c, CURS_ACQUIRE))
    270 		return (__bt_first(t, &c->key, ep, &exact));
    271 
    272 	/* Get the page referenced by the cursor. */
    273 	if ((h = mpool_get(t->bt_mp, c->pg.pgno, 0)) == NULL)
    274 		return (RET_ERROR);
    275 
    276 	/*
    277  	 * Find the next/previous record in the tree and point the cursor at
    278 	 * it.  The cursor may not be moved until a new key has been found.
    279 	 */
    280 	switch (flags) {
    281 	case R_NEXT:			/* Next record. */
    282 		/*
    283 		 * The cursor was deleted in duplicate records, and moved
    284 		 * forward to a record that has yet to be returned.  Clear
    285 		 * that flag, and return the record.
    286 		 */
    287 		if (F_ISSET(c, CURS_AFTER))
    288 			goto usecurrent;
    289 		idx = c->pg.index;
    290 		if (++idx == NEXTINDEX(h)) {
    291 			pg = h->nextpg;
    292 			mpool_put(t->bt_mp, h, 0);
    293 			if (pg == P_INVALID)
    294 				return (RET_SPECIAL);
    295 			if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
    296 				return (RET_ERROR);
    297 			idx = 0;
    298 		}
    299 		break;
    300 	case R_PREV:			/* Previous record. */
    301 		/*
    302 		 * The cursor was deleted in duplicate records, and moved
    303 		 * backward to a record that has yet to be returned.  Clear
    304 		 * that flag, and return the record.
    305 		 */
    306 		if (F_ISSET(c, CURS_BEFORE)) {
    307 usecurrent:		F_CLR(c, CURS_AFTER | CURS_BEFORE);
    308 			ep->page = h;
    309 			ep->index = c->pg.index;
    310 			return (RET_SUCCESS);
    311 		}
    312 		idx = c->pg.index;
    313 		if (idx == 0) {
    314 			pg = h->prevpg;
    315 			mpool_put(t->bt_mp, h, 0);
    316 			if (pg == P_INVALID)
    317 				return (RET_SPECIAL);
    318 			if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
    319 				return (RET_ERROR);
    320 			idx = NEXTINDEX(h) - 1;
    321 		} else
    322 			--idx;
    323 		break;
    324 	}
    325 
    326 	ep->page = h;
    327 	ep->index = idx;
    328 	return (RET_SUCCESS);
    329 }
    330 
    331 /*
    332  * __bt_first --
    333  *	Find the first entry.
    334  *
    335  * Parameters:
    336  *	t:	the tree
    337  *    key:	the key
    338  *  erval:	return EPG
    339  * exactp:	pointer to exact match flag
    340  *
    341  * Returns:
    342  *	The first entry in the tree greater than or equal to key,
    343  *	or RET_SPECIAL if no such key exists.
    344  */
    345 static int
    346 __bt_first(t, key, erval, exactp)
    347 	BTREE *t;
    348 	const DBT *key;
    349 	EPG *erval;
    350 	int *exactp;
    351 {
    352 	PAGE *h;
    353 	EPG *ep, save;
    354 	pgno_t pg;
    355 
    356 	/*
    357 	 * Find any matching record; __bt_search pins the page.
    358 	 *
    359 	 * If it's an exact match and duplicates are possible, walk backwards
    360 	 * in the tree until we find the first one.  Otherwise, make sure it's
    361 	 * a valid key (__bt_search may return an index just past the end of a
    362 	 * page) and return it.
    363 	 */
    364 	if ((ep = __bt_search(t, key, exactp)) == NULL)
    365 		return (0);
    366 	if (*exactp) {
    367 		if (F_ISSET(t, B_NODUPS)) {
    368 			*erval = *ep;
    369 			return (RET_SUCCESS);
    370 		}
    371 
    372 		/*
    373 		 * Walk backwards, as long as the entry matches and there are
    374 		 * keys left in the tree.  Save a copy of each match in case
    375 		 * we go too far.
    376 		 */
    377 		save = *ep;
    378 		h = ep->page;
    379 		do {
    380 			if (save.page->pgno != ep->page->pgno) {
    381 				mpool_put(t->bt_mp, save.page, 0);
    382 				save = *ep;
    383 			} else
    384 				save.index = ep->index;
    385 
    386 			/*
    387 			 * Don't unpin the page the last (or original) match
    388 			 * was on, but make sure it's unpinned if an error
    389 			 * occurs.
    390 			 */
    391 			if (ep->index == 0) {
    392 				if (h->prevpg == P_INVALID)
    393 					break;
    394 				if (h->pgno != save.page->pgno)
    395 					mpool_put(t->bt_mp, h, 0);
    396 				if ((h = mpool_get(t->bt_mp,
    397 				    h->prevpg, 0)) == NULL) {
    398 					if (h->pgno == save.page->pgno)
    399 						mpool_put(t->bt_mp,
    400 						    save.page, 0);
    401 					return (RET_ERROR);
    402 				}
    403 				ep->page = h;
    404 				ep->index = NEXTINDEX(h);
    405 			}
    406 			--ep->index;
    407 		} while (__bt_cmp(t, key, ep) == 0);
    408 
    409 		/*
    410 		 * Reach here with the last page that was looked at pinned,
    411 		 * which may or may not be the same as the last (or original)
    412 		 * match page.  If it's not useful, release it.
    413 		 */
    414 		if (h->pgno != save.page->pgno)
    415 			mpool_put(t->bt_mp, h, 0);
    416 
    417 		*erval = save;
    418 		return (RET_SUCCESS);
    419 	}
    420 
    421 	/* If at the end of a page, find the next entry. */
    422 	if (ep->index == NEXTINDEX(ep->page)) {
    423 		h = ep->page;
    424 		pg = h->nextpg;
    425 		mpool_put(t->bt_mp, h, 0);
    426 		if (pg == P_INVALID)
    427 			return (RET_SPECIAL);
    428 		if ((h = mpool_get(t->bt_mp, pg, 0)) == NULL)
    429 			return (RET_ERROR);
    430 		ep->index = 0;
    431 		ep->page = h;
    432 	}
    433 	*erval = *ep;
    434 	return (RET_SUCCESS);
    435 }
    436 
    437 /*
    438  * __bt_setcur --
    439  *	Set the cursor to an entry in the tree.
    440  *
    441  * Parameters:
    442  *	t:	the tree
    443  *   pgno:	page number
    444  *    idx:	page index
    445  */
    446 void
    447 __bt_setcur(t, pgno, idx)
    448 	BTREE *t;
    449 	pgno_t pgno;
    450 	u_int idx;
    451 {
    452 	/* Lose any already deleted key. */
    453 	if (t->bt_cursor.key.data != NULL) {
    454 		free(t->bt_cursor.key.data);
    455 		t->bt_cursor.key.size = 0;
    456 		t->bt_cursor.key.data = NULL;
    457 	}
    458 	F_CLR(&t->bt_cursor, CURS_ACQUIRE | CURS_AFTER | CURS_BEFORE);
    459 
    460 	/* Update the cursor. */
    461 	t->bt_cursor.pg.pgno = pgno;
    462 	t->bt_cursor.pg.index = idx;
    463 	F_SET(&t->bt_cursor, CURS_INIT);
    464 }
    465