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