Home | History | Annotate | Line # | Download | only in btree
bt_delete.c revision 1.16
      1  1.16     joerg /*	$NetBSD: bt_delete.c,v 1.16 2008/09/11 12:58:00 joerg Exp $	*/
      2   1.6       cgd 
      3   1.1       cgd /*-
      4   1.5       cgd  * Copyright (c) 1990, 1993, 1994
      5   1.1       cgd  *	The Regents of the University of California.  All rights reserved.
      6   1.1       cgd  *
      7   1.1       cgd  * This code is derived from software contributed to Berkeley by
      8   1.1       cgd  * Mike Olson.
      9   1.1       cgd  *
     10   1.1       cgd  * Redistribution and use in source and binary forms, with or without
     11   1.1       cgd  * modification, are permitted provided that the following conditions
     12   1.1       cgd  * are met:
     13   1.1       cgd  * 1. Redistributions of source code must retain the above copyright
     14   1.1       cgd  *    notice, this list of conditions and the following disclaimer.
     15   1.1       cgd  * 2. Redistributions in binary form must reproduce the above copyright
     16   1.1       cgd  *    notice, this list of conditions and the following disclaimer in the
     17   1.1       cgd  *    documentation and/or other materials provided with the distribution.
     18  1.12       agc  * 3. Neither the name of the University nor the names of its contributors
     19   1.1       cgd  *    may be used to endorse or promote products derived from this software
     20   1.1       cgd  *    without specific prior written permission.
     21   1.1       cgd  *
     22   1.1       cgd  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     23   1.1       cgd  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     24   1.1       cgd  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     25   1.1       cgd  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     26   1.1       cgd  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     27   1.1       cgd  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     28   1.1       cgd  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     29   1.1       cgd  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     30   1.1       cgd  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     31   1.1       cgd  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     32   1.1       cgd  * SUCH DAMAGE.
     33   1.1       cgd  */
     34   1.1       cgd 
     35  1.16     joerg #if HAVE_NBTOOL_CONFIG_H
     36  1.16     joerg #include "nbtool_config.h"
     37  1.16     joerg #endif
     38  1.16     joerg 
     39   1.8  christos #include <sys/cdefs.h>
     40  1.16     joerg __RCSID("$NetBSD: bt_delete.c,v 1.16 2008/09/11 12:58:00 joerg Exp $");
     41   1.1       cgd 
     42   1.9       jtc #include "namespace.h"
     43   1.1       cgd #include <sys/types.h>
     44   1.1       cgd 
     45  1.13  christos #include <assert.h>
     46   1.1       cgd #include <errno.h>
     47   1.1       cgd #include <stdio.h>
     48   1.1       cgd #include <string.h>
     49   1.1       cgd 
     50   1.1       cgd #include <db.h>
     51   1.1       cgd #include "btree.h"
     52   1.1       cgd 
     53  1.13  christos static int __bt_bdelete(BTREE *, const DBT *);
     54  1.13  christos static int __bt_curdel(BTREE *, const DBT *, PAGE *, u_int);
     55  1.13  christos static int __bt_pdelete(BTREE *, PAGE *);
     56  1.13  christos static int __bt_relink(BTREE *, PAGE *);
     57  1.13  christos static int __bt_stkacq(BTREE *, PAGE **, CURSOR *);
     58   1.1       cgd 
     59   1.1       cgd /*
     60   1.7       cgd  * __bt_delete
     61   1.7       cgd  *	Delete the item(s) referenced by a key.
     62   1.1       cgd  *
     63   1.7       cgd  * Return RET_SPECIAL if the key is not found.
     64   1.1       cgd  */
     65   1.1       cgd int
     66  1.13  christos __bt_delete(const DB *dbp, const DBT *key, u_int flags)
     67   1.1       cgd {
     68   1.1       cgd 	BTREE *t;
     69   1.7       cgd 	CURSOR *c;
     70   1.7       cgd 	PAGE *h;
     71   1.1       cgd 	int status;
     72   1.1       cgd 
     73   1.1       cgd 	t = dbp->internal;
     74   1.4       cgd 
     75   1.4       cgd 	/* Toss any page pinned across calls. */
     76   1.4       cgd 	if (t->bt_pinned != NULL) {
     77   1.4       cgd 		mpool_put(t->bt_mp, t->bt_pinned, 0);
     78   1.4       cgd 		t->bt_pinned = NULL;
     79   1.4       cgd 	}
     80   1.4       cgd 
     81   1.7       cgd 	/* Check for change to a read-only tree. */
     82   1.7       cgd 	if (F_ISSET(t, B_RDONLY)) {
     83   1.1       cgd 		errno = EPERM;
     84   1.1       cgd 		return (RET_ERROR);
     85   1.1       cgd 	}
     86   1.4       cgd 
     87   1.7       cgd 	switch (flags) {
     88   1.1       cgd 	case 0:
     89   1.7       cgd 		status = __bt_bdelete(t, key);
     90   1.1       cgd 		break;
     91   1.1       cgd 	case R_CURSOR:
     92   1.1       cgd 		/*
     93   1.7       cgd 		 * If flags is R_CURSOR, delete the cursor.  Must already
     94   1.7       cgd 		 * have started a scan and not have already deleted it.
     95   1.1       cgd 		 */
     96   1.7       cgd 		c = &t->bt_cursor;
     97   1.7       cgd 		if (F_ISSET(c, CURS_INIT)) {
     98   1.7       cgd 			if (F_ISSET(c, CURS_ACQUIRE | CURS_AFTER | CURS_BEFORE))
     99   1.7       cgd 				return (RET_SPECIAL);
    100   1.7       cgd 			if ((h = mpool_get(t->bt_mp, c->pg.pgno, 0)) == NULL)
    101   1.7       cgd 				return (RET_ERROR);
    102   1.7       cgd 
    103   1.7       cgd 			/*
    104   1.7       cgd 			 * If the page is about to be emptied, we'll need to
    105   1.7       cgd 			 * delete it, which means we have to acquire a stack.
    106   1.7       cgd 			 */
    107   1.7       cgd 			if (NEXTINDEX(h) == 1)
    108   1.7       cgd 				if (__bt_stkacq(t, &h, &t->bt_cursor))
    109   1.7       cgd 					return (RET_ERROR);
    110   1.7       cgd 
    111  1.10  christos 			status = __bt_dleaf(t, NULL, h, (u_int)c->pg.index);
    112   1.7       cgd 
    113   1.7       cgd 			if (NEXTINDEX(h) == 0 && status == RET_SUCCESS) {
    114   1.7       cgd 				if (__bt_pdelete(t, h))
    115   1.7       cgd 					return (RET_ERROR);
    116   1.7       cgd 			} else
    117  1.10  christos 				mpool_put(t->bt_mp, h,
    118  1.10  christos 				    (u_int)(status == RET_SUCCESS ?
    119  1.10  christos 				    MPOOL_DIRTY : 0));
    120   1.7       cgd 			break;
    121   1.7       cgd 		}
    122   1.7       cgd 		/* FALLTHROUGH */
    123   1.1       cgd 	default:
    124   1.7       cgd 		errno = EINVAL;
    125   1.1       cgd 		return (RET_ERROR);
    126   1.1       cgd 	}
    127   1.1       cgd 	if (status == RET_SUCCESS)
    128   1.7       cgd 		F_SET(t, B_MODIFIED);
    129   1.1       cgd 	return (status);
    130   1.1       cgd }
    131   1.1       cgd 
    132   1.1       cgd /*
    133   1.7       cgd  * __bt_stkacq --
    134   1.7       cgd  *	Acquire a stack so we can delete a cursor entry.
    135   1.7       cgd  *
    136   1.7       cgd  * Parameters:
    137   1.7       cgd  *	  t:	tree
    138   1.7       cgd  *	 hp:	pointer to current, pinned PAGE pointer
    139   1.7       cgd  *	  c:	pointer to the cursor
    140   1.7       cgd  *
    141   1.7       cgd  * Returns:
    142   1.7       cgd  *	0 on success, 1 on failure
    143   1.7       cgd  */
    144   1.7       cgd static int
    145  1.13  christos __bt_stkacq(BTREE *t, PAGE **hp, CURSOR *c)
    146   1.7       cgd {
    147   1.7       cgd 	BINTERNAL *bi;
    148   1.7       cgd 	EPG *e;
    149   1.7       cgd 	EPGNO *parent;
    150   1.7       cgd 	PAGE *h;
    151  1.10  christos 	indx_t idx = 0;	/* Pacify gcc */
    152   1.7       cgd 	pgno_t pgno;
    153   1.7       cgd 	recno_t nextpg, prevpg;
    154   1.7       cgd 	int exact, level;
    155   1.7       cgd 
    156   1.7       cgd 	/*
    157   1.7       cgd 	 * Find the first occurrence of the key in the tree.  Toss the
    158   1.7       cgd 	 * currently locked page so we don't hit an already-locked page.
    159   1.7       cgd 	 */
    160   1.7       cgd 	h = *hp;
    161   1.7       cgd 	mpool_put(t->bt_mp, h, 0);
    162   1.7       cgd 	if ((e = __bt_search(t, &c->key, &exact)) == NULL)
    163   1.7       cgd 		return (1);
    164   1.7       cgd 	h = e->page;
    165   1.7       cgd 
    166   1.7       cgd 	/* See if we got it in one shot. */
    167   1.7       cgd 	if (h->pgno == c->pg.pgno)
    168   1.7       cgd 		goto ret;
    169   1.7       cgd 
    170   1.7       cgd 	/*
    171   1.7       cgd 	 * Move right, looking for the page.  At each move we have to move
    172   1.7       cgd 	 * up the stack until we don't have to move to the next page.  If
    173   1.7       cgd 	 * we have to change pages at an internal level, we have to fix the
    174   1.7       cgd 	 * stack back up.
    175   1.7       cgd 	 */
    176   1.7       cgd 	while (h->pgno != c->pg.pgno) {
    177   1.7       cgd 		if ((nextpg = h->nextpg) == P_INVALID)
    178   1.7       cgd 			break;
    179   1.7       cgd 		mpool_put(t->bt_mp, h, 0);
    180   1.7       cgd 
    181   1.7       cgd 		/* Move up the stack. */
    182   1.7       cgd 		for (level = 0; (parent = BT_POP(t)) != NULL; ++level) {
    183   1.7       cgd 			/* Get the parent page. */
    184   1.7       cgd 			if ((h = mpool_get(t->bt_mp, parent->pgno, 0)) == NULL)
    185   1.7       cgd 				return (1);
    186   1.7       cgd 
    187   1.7       cgd 			/* Move to the next index. */
    188   1.7       cgd 			if (parent->index != NEXTINDEX(h) - 1) {
    189  1.10  christos 				idx = parent->index + 1;
    190  1.10  christos 				BT_PUSH(t, h->pgno, idx);
    191   1.7       cgd 				break;
    192   1.7       cgd 			}
    193   1.7       cgd 			mpool_put(t->bt_mp, h, 0);
    194   1.7       cgd 		}
    195   1.7       cgd 
    196   1.7       cgd 		/* Restore the stack. */
    197   1.7       cgd 		while (level--) {
    198   1.7       cgd 			/* Push the next level down onto the stack. */
    199  1.10  christos 			bi = GETBINTERNAL(h, idx);
    200   1.7       cgd 			pgno = bi->pgno;
    201   1.7       cgd 			BT_PUSH(t, pgno, 0);
    202   1.7       cgd 
    203   1.7       cgd 			/* Lose the currently pinned page. */
    204   1.7       cgd 			mpool_put(t->bt_mp, h, 0);
    205   1.7       cgd 
    206   1.7       cgd 			/* Get the next level down. */
    207   1.7       cgd 			if ((h = mpool_get(t->bt_mp, pgno, 0)) == NULL)
    208   1.7       cgd 				return (1);
    209  1.10  christos 			idx = 0;
    210   1.7       cgd 		}
    211   1.7       cgd 		mpool_put(t->bt_mp, h, 0);
    212   1.7       cgd 		if ((h = mpool_get(t->bt_mp, nextpg, 0)) == NULL)
    213   1.7       cgd 			return (1);
    214   1.7       cgd 	}
    215   1.7       cgd 
    216   1.7       cgd 	if (h->pgno == c->pg.pgno)
    217   1.7       cgd 		goto ret;
    218   1.7       cgd 
    219   1.7       cgd 	/* Reacquire the original stack. */
    220   1.7       cgd 	mpool_put(t->bt_mp, h, 0);
    221   1.7       cgd 	if ((e = __bt_search(t, &c->key, &exact)) == NULL)
    222   1.7       cgd 		return (1);
    223   1.7       cgd 	h = e->page;
    224   1.7       cgd 
    225   1.7       cgd 	/*
    226   1.7       cgd 	 * Move left, looking for the page.  At each move we have to move
    227   1.7       cgd 	 * up the stack until we don't have to change pages to move to the
    228   1.7       cgd 	 * next page.  If we have to change pages at an internal level, we
    229   1.7       cgd 	 * have to fix the stack back up.
    230   1.7       cgd 	 */
    231   1.7       cgd 	while (h->pgno != c->pg.pgno) {
    232   1.7       cgd 		if ((prevpg = h->prevpg) == P_INVALID)
    233   1.7       cgd 			break;
    234   1.7       cgd 		mpool_put(t->bt_mp, h, 0);
    235   1.7       cgd 
    236   1.7       cgd 		/* Move up the stack. */
    237   1.7       cgd 		for (level = 0; (parent = BT_POP(t)) != NULL; ++level) {
    238   1.7       cgd 			/* Get the parent page. */
    239   1.7       cgd 			if ((h = mpool_get(t->bt_mp, parent->pgno, 0)) == NULL)
    240   1.7       cgd 				return (1);
    241   1.7       cgd 
    242   1.7       cgd 			/* Move to the next index. */
    243   1.7       cgd 			if (parent->index != 0) {
    244  1.10  christos 				idx = parent->index - 1;
    245  1.10  christos 				BT_PUSH(t, h->pgno, idx);
    246   1.7       cgd 				break;
    247   1.7       cgd 			}
    248   1.7       cgd 			mpool_put(t->bt_mp, h, 0);
    249   1.7       cgd 		}
    250   1.7       cgd 
    251   1.7       cgd 		/* Restore the stack. */
    252   1.7       cgd 		while (level--) {
    253   1.7       cgd 			/* Push the next level down onto the stack. */
    254  1.10  christos 			bi = GETBINTERNAL(h, idx);
    255   1.7       cgd 			pgno = bi->pgno;
    256   1.7       cgd 
    257   1.7       cgd 			/* Lose the currently pinned page. */
    258   1.7       cgd 			mpool_put(t->bt_mp, h, 0);
    259   1.7       cgd 
    260   1.7       cgd 			/* Get the next level down. */
    261   1.7       cgd 			if ((h = mpool_get(t->bt_mp, pgno, 0)) == NULL)
    262   1.7       cgd 				return (1);
    263   1.7       cgd 
    264  1.10  christos 			idx = NEXTINDEX(h) - 1;
    265  1.10  christos 			BT_PUSH(t, pgno, idx);
    266   1.7       cgd 		}
    267   1.7       cgd 		mpool_put(t->bt_mp, h, 0);
    268   1.7       cgd 		if ((h = mpool_get(t->bt_mp, prevpg, 0)) == NULL)
    269   1.7       cgd 			return (1);
    270   1.7       cgd 	}
    271   1.7       cgd 
    272   1.7       cgd 
    273   1.7       cgd ret:	mpool_put(t->bt_mp, h, 0);
    274   1.7       cgd 	return ((*hp = mpool_get(t->bt_mp, c->pg.pgno, 0)) == NULL);
    275   1.7       cgd }
    276   1.7       cgd 
    277   1.7       cgd /*
    278   1.7       cgd  * __bt_bdelete --
    279   1.7       cgd  *	Delete all key/data pairs matching the specified key.
    280   1.1       cgd  *
    281   1.1       cgd  * Parameters:
    282   1.7       cgd  *	  t:	tree
    283   1.1       cgd  *	key:	key to delete
    284   1.1       cgd  *
    285   1.1       cgd  * Returns:
    286   1.1       cgd  *	RET_ERROR, RET_SUCCESS and RET_SPECIAL if the key not found.
    287   1.1       cgd  */
    288   1.1       cgd static int
    289  1.13  christos __bt_bdelete(BTREE *t, const DBT *key)
    290   1.1       cgd {
    291   1.7       cgd 	EPG *e;
    292   1.1       cgd 	PAGE *h;
    293   1.7       cgd 	int deleted, exact, redo;
    294   1.7       cgd 
    295   1.7       cgd 	deleted = 0;
    296   1.1       cgd 
    297   1.1       cgd 	/* Find any matching record; __bt_search pins the page. */
    298   1.7       cgd loop:	if ((e = __bt_search(t, key, &exact)) == NULL)
    299   1.7       cgd 		return (deleted ? RET_SUCCESS : RET_ERROR);
    300   1.1       cgd 	if (!exact) {
    301   1.1       cgd 		mpool_put(t->bt_mp, e->page, 0);
    302   1.7       cgd 		return (deleted ? RET_SUCCESS : RET_SPECIAL);
    303   1.1       cgd 	}
    304   1.1       cgd 
    305   1.1       cgd 	/*
    306   1.7       cgd 	 * Delete forward, then delete backward, from the found key.  If
    307   1.7       cgd 	 * there are duplicates and we reach either side of the page, do
    308   1.7       cgd 	 * the key search again, so that we get them all.
    309   1.1       cgd 	 */
    310   1.7       cgd 	redo = 0;
    311   1.7       cgd 	h = e->page;
    312   1.7       cgd 	do {
    313  1.10  christos 		if (__bt_dleaf(t, key, h, (u_int)e->index)) {
    314   1.7       cgd 			mpool_put(t->bt_mp, h, 0);
    315   1.7       cgd 			return (RET_ERROR);
    316   1.7       cgd 		}
    317   1.7       cgd 		if (F_ISSET(t, B_NODUPS)) {
    318   1.7       cgd 			if (NEXTINDEX(h) == 0) {
    319   1.7       cgd 				if (__bt_pdelete(t, h))
    320   1.1       cgd 					return (RET_ERROR);
    321   1.7       cgd 			} else
    322   1.7       cgd 				mpool_put(t->bt_mp, h, MPOOL_DIRTY);
    323   1.7       cgd 			return (RET_SUCCESS);
    324   1.7       cgd 		}
    325   1.7       cgd 		deleted = 1;
    326   1.7       cgd 	} while (e->index < NEXTINDEX(h) && __bt_cmp(t, key, e) == 0);
    327   1.7       cgd 
    328   1.7       cgd 	/* Check for right-hand edge of the page. */
    329   1.7       cgd 	if (e->index == NEXTINDEX(h))
    330   1.7       cgd 		redo = 1;
    331   1.1       cgd 
    332   1.7       cgd 	/* Delete from the key to the beginning of the page. */
    333   1.7       cgd 	while (e->index-- > 0) {
    334   1.7       cgd 		if (__bt_cmp(t, key, e) != 0)
    335   1.1       cgd 			break;
    336  1.10  christos 		if (__bt_dleaf(t, key, h, (u_int)e->index) == RET_ERROR) {
    337   1.7       cgd 			mpool_put(t->bt_mp, h, 0);
    338   1.7       cgd 			return (RET_ERROR);
    339   1.1       cgd 		}
    340   1.7       cgd 		if (e->index == 0)
    341   1.7       cgd 			redo = 1;
    342   1.7       cgd 	}
    343   1.1       cgd 
    344   1.7       cgd 	/* Check for an empty page. */
    345   1.7       cgd 	if (NEXTINDEX(h) == 0) {
    346   1.7       cgd 		if (__bt_pdelete(t, h))
    347   1.7       cgd 			return (RET_ERROR);
    348   1.7       cgd 		goto loop;
    349   1.1       cgd 	}
    350   1.1       cgd 
    351   1.7       cgd 	/* Put the page. */
    352   1.7       cgd 	mpool_put(t->bt_mp, h, MPOOL_DIRTY);
    353   1.7       cgd 
    354   1.7       cgd 	if (redo)
    355   1.7       cgd 		goto loop;
    356   1.7       cgd 	return (RET_SUCCESS);
    357   1.7       cgd }
    358   1.7       cgd 
    359   1.7       cgd /*
    360   1.7       cgd  * __bt_pdelete --
    361   1.7       cgd  *	Delete a single page from the tree.
    362   1.7       cgd  *
    363   1.7       cgd  * Parameters:
    364   1.7       cgd  *	t:	tree
    365   1.7       cgd  *	h:	leaf page
    366   1.7       cgd  *
    367   1.7       cgd  * Returns:
    368   1.7       cgd  *	RET_SUCCESS, RET_ERROR.
    369   1.7       cgd  *
    370   1.7       cgd  * Side-effects:
    371   1.7       cgd  *	mpool_put's the page
    372   1.7       cgd  */
    373   1.7       cgd static int
    374  1.13  christos __bt_pdelete(BTREE *t, PAGE *h)
    375   1.7       cgd {
    376   1.7       cgd 	BINTERNAL *bi;
    377   1.7       cgd 	PAGE *pg;
    378   1.7       cgd 	EPGNO *parent;
    379  1.10  christos 	indx_t cnt, idx, *ip, offset;
    380  1.14     joerg 	uint32_t nksize;
    381   1.7       cgd 	char *from;
    382   1.7       cgd 
    383   1.1       cgd 	/*
    384   1.7       cgd 	 * Walk the parent page stack -- a LIFO stack of the pages that were
    385   1.7       cgd 	 * traversed when we searched for the page where the delete occurred.
    386   1.7       cgd 	 * Each stack entry is a page number and a page index offset.  The
    387   1.7       cgd 	 * offset is for the page traversed on the search.  We've just deleted
    388   1.7       cgd 	 * a page, so we have to delete the key from the parent page.
    389   1.7       cgd 	 *
    390   1.7       cgd 	 * If the delete from the parent page makes it empty, this process may
    391   1.7       cgd 	 * continue all the way up the tree.  We stop if we reach the root page
    392   1.7       cgd 	 * (which is never deleted, it's just not worth the effort) or if the
    393   1.7       cgd 	 * delete does not empty the page.
    394   1.1       cgd 	 */
    395   1.7       cgd 	while ((parent = BT_POP(t)) != NULL) {
    396   1.7       cgd 		/* Get the parent page. */
    397   1.7       cgd 		if ((pg = mpool_get(t->bt_mp, parent->pgno, 0)) == NULL)
    398   1.7       cgd 			return (RET_ERROR);
    399   1.7       cgd 
    400  1.10  christos 		idx = parent->index;
    401  1.10  christos 		bi = GETBINTERNAL(pg, idx);
    402   1.7       cgd 
    403   1.7       cgd 		/* Free any overflow pages. */
    404   1.7       cgd 		if (bi->flags & P_BIGKEY &&
    405   1.7       cgd 		    __ovfl_delete(t, bi->bytes) == RET_ERROR) {
    406   1.7       cgd 			mpool_put(t->bt_mp, pg, 0);
    407   1.7       cgd 			return (RET_ERROR);
    408   1.7       cgd 		}
    409   1.1       cgd 
    410   1.7       cgd 		/*
    411   1.7       cgd 		 * Free the parent if it has only the one key and it's not the
    412   1.7       cgd 		 * root page. If it's the rootpage, turn it back into an empty
    413   1.7       cgd 		 * leaf page.
    414   1.7       cgd 		 */
    415  1.11  christos 		if (NEXTINDEX(pg) == 1) {
    416   1.7       cgd 			if (pg->pgno == P_ROOT) {
    417   1.7       cgd 				pg->lower = BTDATAOFF;
    418   1.7       cgd 				pg->upper = t->bt_psize;
    419   1.7       cgd 				pg->flags = P_BLEAF;
    420   1.1       cgd 			} else {
    421   1.7       cgd 				if (__bt_relink(t, pg) || __bt_free(t, pg))
    422   1.1       cgd 					return (RET_ERROR);
    423   1.7       cgd 				continue;
    424   1.1       cgd 			}
    425  1.11  christos 		} else {
    426   1.7       cgd 			/* Pack remaining key items at the end of the page. */
    427   1.7       cgd 			nksize = NBINTERNAL(bi->ksize);
    428  1.10  christos 			from = (char *)(void *)pg + pg->upper;
    429  1.10  christos 			memmove(from + nksize, from,
    430  1.10  christos 			(size_t)((char *)(void *)bi - from));
    431   1.7       cgd 			pg->upper += nksize;
    432   1.7       cgd 
    433   1.7       cgd 			/* Adjust indices' offsets, shift the indices down. */
    434  1.10  christos 			offset = pg->linp[idx];
    435  1.10  christos 			for (cnt = idx, ip = &pg->linp[0]; cnt--; ++ip)
    436   1.7       cgd 				if (ip[0] < offset)
    437   1.7       cgd 					ip[0] += nksize;
    438  1.10  christos 			for (cnt = NEXTINDEX(pg) - idx; --cnt; ++ip)
    439   1.7       cgd 				ip[0] = ip[1] < offset ? ip[1] + nksize : ip[1];
    440   1.7       cgd 			pg->lower -= sizeof(indx_t);
    441   1.1       cgd 		}
    442   1.1       cgd 
    443   1.7       cgd 		mpool_put(t->bt_mp, pg, MPOOL_DIRTY);
    444   1.7       cgd 		break;
    445   1.1       cgd 	}
    446   1.1       cgd 
    447   1.7       cgd 	/* Free the leaf page, as long as it wasn't the root. */
    448   1.7       cgd 	if (h->pgno == P_ROOT) {
    449   1.7       cgd 		mpool_put(t->bt_mp, h, MPOOL_DIRTY);
    450   1.7       cgd 		return (RET_SUCCESS);
    451   1.7       cgd 	}
    452   1.7       cgd 	return (__bt_relink(t, h) || __bt_free(t, h));
    453   1.1       cgd }
    454   1.1       cgd 
    455   1.1       cgd /*
    456   1.7       cgd  * __bt_dleaf --
    457   1.7       cgd  *	Delete a single record from a leaf page.
    458   1.1       cgd  *
    459   1.1       cgd  * Parameters:
    460   1.1       cgd  *	t:	tree
    461   1.7       cgd  *    key:	referenced key
    462   1.7       cgd  *	h:	page
    463  1.10  christos  *	idx:	index on page to delete
    464   1.1       cgd  *
    465   1.1       cgd  * Returns:
    466   1.1       cgd  *	RET_SUCCESS, RET_ERROR.
    467   1.1       cgd  */
    468   1.1       cgd int
    469  1.13  christos __bt_dleaf(BTREE *t, const DBT *key, PAGE *h, u_int idx)
    470   1.1       cgd {
    471   1.7       cgd 	BLEAF *bl;
    472   1.7       cgd 	indx_t cnt, *ip, offset;
    473  1.14     joerg 	uint32_t nbytes;
    474   1.7       cgd 	void *to;
    475   1.1       cgd 	char *from;
    476   1.1       cgd 
    477   1.7       cgd 	/* If this record is referenced by the cursor, delete the cursor. */
    478   1.7       cgd 	if (F_ISSET(&t->bt_cursor, CURS_INIT) &&
    479   1.7       cgd 	    !F_ISSET(&t->bt_cursor, CURS_ACQUIRE) &&
    480  1.10  christos 	    t->bt_cursor.pg.pgno == h->pgno && t->bt_cursor.pg.index == idx &&
    481  1.10  christos 	    __bt_curdel(t, key, h, idx))
    482   1.7       cgd 		return (RET_ERROR);
    483   1.7       cgd 
    484   1.7       cgd 	/* If the entry uses overflow pages, make them available for reuse. */
    485  1.10  christos 	to = bl = GETBLEAF(h, idx);
    486   1.1       cgd 	if (bl->flags & P_BIGKEY && __ovfl_delete(t, bl->bytes) == RET_ERROR)
    487   1.1       cgd 		return (RET_ERROR);
    488   1.1       cgd 	if (bl->flags & P_BIGDATA &&
    489   1.1       cgd 	    __ovfl_delete(t, bl->bytes + bl->ksize) == RET_ERROR)
    490   1.1       cgd 		return (RET_ERROR);
    491   1.7       cgd 
    492   1.7       cgd 	/* Pack the remaining key/data items at the end of the page. */
    493   1.1       cgd 	nbytes = NBLEAF(bl);
    494  1.10  christos 	from = (char *)(void *)h + h->upper;
    495  1.10  christos 	memmove(from + nbytes, from, (size_t)((char *)(void *)to - from));
    496   1.1       cgd 	h->upper += nbytes;
    497   1.1       cgd 
    498   1.7       cgd 	/* Adjust the indices' offsets, shift the indices down. */
    499  1.10  christos 	offset = h->linp[idx];
    500  1.10  christos 	for (cnt = idx, ip = &h->linp[0]; cnt--; ++ip)
    501   1.1       cgd 		if (ip[0] < offset)
    502   1.1       cgd 			ip[0] += nbytes;
    503  1.10  christos 	for (cnt = NEXTINDEX(h) - idx; --cnt; ++ip)
    504   1.1       cgd 		ip[0] = ip[1] < offset ? ip[1] + nbytes : ip[1];
    505   1.1       cgd 	h->lower -= sizeof(indx_t);
    506   1.7       cgd 
    507   1.7       cgd 	/* If the cursor is on this page, adjust it as necessary. */
    508   1.7       cgd 	if (F_ISSET(&t->bt_cursor, CURS_INIT) &&
    509   1.7       cgd 	    !F_ISSET(&t->bt_cursor, CURS_ACQUIRE) &&
    510  1.10  christos 	    t->bt_cursor.pg.pgno == h->pgno && t->bt_cursor.pg.index > idx)
    511   1.7       cgd 		--t->bt_cursor.pg.index;
    512   1.7       cgd 
    513   1.1       cgd 	return (RET_SUCCESS);
    514   1.7       cgd }
    515   1.7       cgd 
    516   1.7       cgd /*
    517   1.7       cgd  * __bt_curdel --
    518   1.7       cgd  *	Delete the cursor.
    519   1.7       cgd  *
    520   1.7       cgd  * Parameters:
    521   1.7       cgd  *	t:	tree
    522   1.7       cgd  *    key:	referenced key (or NULL)
    523   1.7       cgd  *	h:	page
    524  1.10  christos  *  idx:	index on page to delete
    525   1.7       cgd  *
    526   1.7       cgd  * Returns:
    527   1.7       cgd  *	RET_SUCCESS, RET_ERROR.
    528   1.7       cgd  */
    529   1.7       cgd static int
    530  1.13  christos __bt_curdel(BTREE *t, const DBT *key, PAGE *h, u_int idx)
    531   1.7       cgd {
    532   1.7       cgd 	CURSOR *c;
    533   1.7       cgd 	EPG e;
    534   1.7       cgd 	PAGE *pg;
    535   1.7       cgd 	int curcopy, status;
    536   1.7       cgd 
    537   1.7       cgd 	/*
    538   1.7       cgd 	 * If there are duplicates, move forward or backward to one.
    539   1.7       cgd 	 * Otherwise, copy the key into the cursor area.
    540   1.7       cgd 	 */
    541   1.7       cgd 	c = &t->bt_cursor;
    542   1.7       cgd 	F_CLR(c, CURS_AFTER | CURS_BEFORE | CURS_ACQUIRE);
    543   1.7       cgd 
    544   1.7       cgd 	curcopy = 0;
    545   1.7       cgd 	if (!F_ISSET(t, B_NODUPS)) {
    546   1.7       cgd 		/*
    547   1.7       cgd 		 * We're going to have to do comparisons.  If we weren't
    548   1.7       cgd 		 * provided a copy of the key, i.e. the user is deleting
    549   1.7       cgd 		 * the current cursor position, get one.
    550   1.7       cgd 		 */
    551   1.7       cgd 		if (key == NULL) {
    552   1.7       cgd 			e.page = h;
    553  1.10  christos 			e.index = idx;
    554   1.7       cgd 			if ((status = __bt_ret(t, &e,
    555   1.7       cgd 			    &c->key, &c->key, NULL, NULL, 1)) != RET_SUCCESS)
    556   1.7       cgd 				return (status);
    557   1.7       cgd 			curcopy = 1;
    558   1.7       cgd 			key = &c->key;
    559   1.7       cgd 		}
    560   1.7       cgd 		/* Check previous key, if not at the beginning of the page. */
    561  1.10  christos 		if (idx > 0) {
    562   1.7       cgd 			e.page = h;
    563  1.10  christos 			e.index = idx - 1;
    564   1.7       cgd 			if (__bt_cmp(t, key, &e) == 0) {
    565   1.7       cgd 				F_SET(c, CURS_BEFORE);
    566   1.7       cgd 				goto dup2;
    567   1.7       cgd 			}
    568   1.7       cgd 		}
    569   1.7       cgd 		/* Check next key, if not at the end of the page. */
    570  1.10  christos 		if (idx < NEXTINDEX(h) - 1) {
    571   1.7       cgd 			e.page = h;
    572  1.10  christos 			e.index = idx + 1;
    573   1.7       cgd 			if (__bt_cmp(t, key, &e) == 0) {
    574   1.7       cgd 				F_SET(c, CURS_AFTER);
    575   1.7       cgd 				goto dup2;
    576   1.7       cgd 			}
    577   1.7       cgd 		}
    578   1.7       cgd 		/* Check previous key if at the beginning of the page. */
    579  1.10  christos 		if (idx == 0 && h->prevpg != P_INVALID) {
    580   1.7       cgd 			if ((pg = mpool_get(t->bt_mp, h->prevpg, 0)) == NULL)
    581   1.7       cgd 				return (RET_ERROR);
    582   1.7       cgd 			e.page = pg;
    583   1.7       cgd 			e.index = NEXTINDEX(pg) - 1;
    584   1.7       cgd 			if (__bt_cmp(t, key, &e) == 0) {
    585   1.7       cgd 				F_SET(c, CURS_BEFORE);
    586   1.7       cgd 				goto dup1;
    587   1.7       cgd 			}
    588   1.7       cgd 			mpool_put(t->bt_mp, pg, 0);
    589   1.7       cgd 		}
    590   1.7       cgd 		/* Check next key if at the end of the page. */
    591  1.10  christos 		if (idx == NEXTINDEX(h) - 1 && h->nextpg != P_INVALID) {
    592   1.7       cgd 			if ((pg = mpool_get(t->bt_mp, h->nextpg, 0)) == NULL)
    593   1.7       cgd 				return (RET_ERROR);
    594   1.7       cgd 			e.page = pg;
    595   1.7       cgd 			e.index = 0;
    596   1.7       cgd 			if (__bt_cmp(t, key, &e) == 0) {
    597   1.7       cgd 				F_SET(c, CURS_AFTER);
    598   1.7       cgd dup1:				mpool_put(t->bt_mp, pg, 0);
    599   1.7       cgd dup2:				c->pg.pgno = e.page->pgno;
    600   1.7       cgd 				c->pg.index = e.index;
    601   1.7       cgd 				return (RET_SUCCESS);
    602   1.7       cgd 			}
    603   1.7       cgd 			mpool_put(t->bt_mp, pg, 0);
    604   1.7       cgd 		}
    605   1.7       cgd 	}
    606   1.7       cgd 	e.page = h;
    607  1.10  christos 	e.index = idx;
    608   1.7       cgd 	if (curcopy || (status =
    609   1.7       cgd 	    __bt_ret(t, &e, &c->key, &c->key, NULL, NULL, 1)) == RET_SUCCESS) {
    610   1.7       cgd 		F_SET(c, CURS_ACQUIRE);
    611   1.7       cgd 		return (RET_SUCCESS);
    612   1.7       cgd 	}
    613   1.7       cgd 	return (status);
    614   1.7       cgd }
    615   1.7       cgd 
    616   1.7       cgd /*
    617   1.7       cgd  * __bt_relink --
    618   1.7       cgd  *	Link around a deleted page.
    619   1.7       cgd  *
    620   1.7       cgd  * Parameters:
    621   1.7       cgd  *	t:	tree
    622   1.7       cgd  *	h:	page to be deleted
    623   1.7       cgd  */
    624   1.7       cgd static int
    625  1.13  christos __bt_relink(BTREE *t, PAGE *h)
    626   1.7       cgd {
    627   1.7       cgd 	PAGE *pg;
    628   1.7       cgd 
    629   1.7       cgd 	if (h->nextpg != P_INVALID) {
    630   1.7       cgd 		if ((pg = mpool_get(t->bt_mp, h->nextpg, 0)) == NULL)
    631   1.7       cgd 			return (RET_ERROR);
    632   1.7       cgd 		pg->prevpg = h->prevpg;
    633   1.7       cgd 		mpool_put(t->bt_mp, pg, MPOOL_DIRTY);
    634   1.7       cgd 	}
    635   1.7       cgd 	if (h->prevpg != P_INVALID) {
    636   1.7       cgd 		if ((pg = mpool_get(t->bt_mp, h->prevpg, 0)) == NULL)
    637   1.7       cgd 			return (RET_ERROR);
    638   1.7       cgd 		pg->nextpg = h->nextpg;
    639   1.7       cgd 		mpool_put(t->bt_mp, pg, MPOOL_DIRTY);
    640   1.7       cgd 	}
    641   1.7       cgd 	return (0);
    642   1.1       cgd }
    643