xref: /minix3/lib/libc/db/btree/bt_utils.c (revision 2639ae9b1755f49e4eb4b211ce63d8879b0edd4a)
1*2639ae9bSBen Gras /*	$NetBSD: bt_utils.c,v 1.13 2008/09/10 17:52:35 joerg Exp $	*/
2*2639ae9bSBen Gras 
3*2639ae9bSBen Gras /*-
4*2639ae9bSBen Gras  * Copyright (c) 1990, 1993, 1994
5*2639ae9bSBen Gras  *	The Regents of the University of California.  All rights reserved.
6*2639ae9bSBen Gras  *
7*2639ae9bSBen Gras  * This code is derived from software contributed to Berkeley by
8*2639ae9bSBen Gras  * Mike Olson.
9*2639ae9bSBen Gras  *
10*2639ae9bSBen Gras  * Redistribution and use in source and binary forms, with or without
11*2639ae9bSBen Gras  * modification, are permitted provided that the following conditions
12*2639ae9bSBen Gras  * are met:
13*2639ae9bSBen Gras  * 1. Redistributions of source code must retain the above copyright
14*2639ae9bSBen Gras  *    notice, this list of conditions and the following disclaimer.
15*2639ae9bSBen Gras  * 2. Redistributions in binary form must reproduce the above copyright
16*2639ae9bSBen Gras  *    notice, this list of conditions and the following disclaimer in the
17*2639ae9bSBen Gras  *    documentation and/or other materials provided with the distribution.
18*2639ae9bSBen Gras  * 3. Neither the name of the University nor the names of its contributors
19*2639ae9bSBen Gras  *    may be used to endorse or promote products derived from this software
20*2639ae9bSBen Gras  *    without specific prior written permission.
21*2639ae9bSBen Gras  *
22*2639ae9bSBen Gras  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23*2639ae9bSBen Gras  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24*2639ae9bSBen Gras  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25*2639ae9bSBen Gras  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26*2639ae9bSBen Gras  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27*2639ae9bSBen Gras  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28*2639ae9bSBen Gras  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29*2639ae9bSBen Gras  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30*2639ae9bSBen Gras  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31*2639ae9bSBen Gras  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32*2639ae9bSBen Gras  * SUCH DAMAGE.
33*2639ae9bSBen Gras  */
34*2639ae9bSBen Gras 
35*2639ae9bSBen Gras #if HAVE_NBTOOL_CONFIG_H
36*2639ae9bSBen Gras #include "nbtool_config.h"
37*2639ae9bSBen Gras #endif
38*2639ae9bSBen Gras 
39*2639ae9bSBen Gras #include <sys/cdefs.h>
40*2639ae9bSBen Gras #ifndef __minix
41*2639ae9bSBen Gras __RCSID("$NetBSD: bt_utils.c,v 1.13 2008/09/10 17:52:35 joerg Exp $");
42*2639ae9bSBen Gras #endif
43*2639ae9bSBen Gras 
44*2639ae9bSBen Gras #include <sys/param.h>
45*2639ae9bSBen Gras 
46*2639ae9bSBen Gras #include <assert.h>
47*2639ae9bSBen Gras #include <stdio.h>
48*2639ae9bSBen Gras #include <stdlib.h>
49*2639ae9bSBen Gras #include <string.h>
50*2639ae9bSBen Gras 
51*2639ae9bSBen Gras #include <db.h>
52*2639ae9bSBen Gras #include "btree.h"
53*2639ae9bSBen Gras 
54*2639ae9bSBen Gras #define MAX(a, b)   ((a) > (b) ? (a) : (b))
55*2639ae9bSBen Gras #define MIN(a, b)   ((a) < (b) ? (a) : (b))
56*2639ae9bSBen Gras 
57*2639ae9bSBen Gras /*
58*2639ae9bSBen Gras  * __bt_ret --
59*2639ae9bSBen Gras  *	Build return key/data pair.
60*2639ae9bSBen Gras  *
61*2639ae9bSBen Gras  * Parameters:
62*2639ae9bSBen Gras  *	t:	tree
63*2639ae9bSBen Gras  *	e:	key/data pair to be returned
64*2639ae9bSBen Gras  *	key:	user's key structure (NULL if not to be filled in)
65*2639ae9bSBen Gras  *	rkey:	memory area to hold key
66*2639ae9bSBen Gras  *	data:	user's data structure (NULL if not to be filled in)
67*2639ae9bSBen Gras  *	rdata:	memory area to hold data
68*2639ae9bSBen Gras  *       copy:	always copy the key/data item
69*2639ae9bSBen Gras  *
70*2639ae9bSBen Gras  * Returns:
71*2639ae9bSBen Gras  *	RET_SUCCESS, RET_ERROR.
72*2639ae9bSBen Gras  */
73*2639ae9bSBen Gras int
74*2639ae9bSBen Gras __bt_ret(BTREE *t, EPG *e, DBT *key, DBT *rkey, DBT *data, DBT *rdata, int copy)
75*2639ae9bSBen Gras {
76*2639ae9bSBen Gras 	BLEAF *bl;
77*2639ae9bSBen Gras 	void *p;
78*2639ae9bSBen Gras 
79*2639ae9bSBen Gras 	bl = GETBLEAF(e->page, e->index);
80*2639ae9bSBen Gras 
81*2639ae9bSBen Gras 	/*
82*2639ae9bSBen Gras 	 * We must copy big keys/data to make them contigous.  Otherwise,
83*2639ae9bSBen Gras 	 * leave the page pinned and don't copy unless the user specified
84*2639ae9bSBen Gras 	 * concurrent access.
85*2639ae9bSBen Gras 	 */
86*2639ae9bSBen Gras 	if (key == NULL)
87*2639ae9bSBen Gras 		goto dataonly;
88*2639ae9bSBen Gras 
89*2639ae9bSBen Gras 	if (bl->flags & P_BIGKEY) {
90*2639ae9bSBen Gras 		if (__ovfl_get(t, bl->bytes,
91*2639ae9bSBen Gras 		    &key->size, &rkey->data, &rkey->size))
92*2639ae9bSBen Gras 			return (RET_ERROR);
93*2639ae9bSBen Gras 		key->data = rkey->data;
94*2639ae9bSBen Gras 	} else if (copy || F_ISSET(t, B_DB_LOCK)) {
95*2639ae9bSBen Gras 		if (bl->ksize > rkey->size) {
96*2639ae9bSBen Gras 			p = (void *)(rkey->data == NULL ?
97*2639ae9bSBen Gras 			    malloc(bl->ksize) : realloc(rkey->data, bl->ksize));
98*2639ae9bSBen Gras 			if (p == NULL)
99*2639ae9bSBen Gras 				return (RET_ERROR);
100*2639ae9bSBen Gras 			rkey->data = p;
101*2639ae9bSBen Gras 			rkey->size = bl->ksize;
102*2639ae9bSBen Gras 		}
103*2639ae9bSBen Gras 		memmove(rkey->data, bl->bytes, bl->ksize);
104*2639ae9bSBen Gras 		key->size = bl->ksize;
105*2639ae9bSBen Gras 		key->data = rkey->data;
106*2639ae9bSBen Gras 	} else {
107*2639ae9bSBen Gras 		key->size = bl->ksize;
108*2639ae9bSBen Gras 		key->data = bl->bytes;
109*2639ae9bSBen Gras 	}
110*2639ae9bSBen Gras 
111*2639ae9bSBen Gras dataonly:
112*2639ae9bSBen Gras 	if (data == NULL)
113*2639ae9bSBen Gras 		return (RET_SUCCESS);
114*2639ae9bSBen Gras 
115*2639ae9bSBen Gras 	if (bl->flags & P_BIGDATA) {
116*2639ae9bSBen Gras 		if (__ovfl_get(t, bl->bytes + bl->ksize,
117*2639ae9bSBen Gras 		    &data->size, &rdata->data, &rdata->size))
118*2639ae9bSBen Gras 			return (RET_ERROR);
119*2639ae9bSBen Gras 		data->data = rdata->data;
120*2639ae9bSBen Gras 	} else if (copy || F_ISSET(t, B_DB_LOCK)) {
121*2639ae9bSBen Gras 		/* Use +1 in case the first record retrieved is 0 length. */
122*2639ae9bSBen Gras 		if (bl->dsize + 1 > rdata->size) {
123*2639ae9bSBen Gras 			p = (void *)(rdata->data == NULL ?
124*2639ae9bSBen Gras 			    malloc(bl->dsize + 1) :
125*2639ae9bSBen Gras 			    realloc(rdata->data, bl->dsize + 1));
126*2639ae9bSBen Gras 			if (p == NULL)
127*2639ae9bSBen Gras 				return (RET_ERROR);
128*2639ae9bSBen Gras 			rdata->data = p;
129*2639ae9bSBen Gras 			rdata->size = bl->dsize + 1;
130*2639ae9bSBen Gras 		}
131*2639ae9bSBen Gras 		memmove(rdata->data, bl->bytes + bl->ksize, bl->dsize);
132*2639ae9bSBen Gras 		data->size = bl->dsize;
133*2639ae9bSBen Gras 		data->data = rdata->data;
134*2639ae9bSBen Gras 	} else {
135*2639ae9bSBen Gras 		data->size = bl->dsize;
136*2639ae9bSBen Gras 		data->data = bl->bytes + bl->ksize;
137*2639ae9bSBen Gras 	}
138*2639ae9bSBen Gras 
139*2639ae9bSBen Gras 	return (RET_SUCCESS);
140*2639ae9bSBen Gras }
141*2639ae9bSBen Gras 
142*2639ae9bSBen Gras /*
143*2639ae9bSBen Gras  * __BT_CMP -- Compare a key to a given record.
144*2639ae9bSBen Gras  *
145*2639ae9bSBen Gras  * Parameters:
146*2639ae9bSBen Gras  *	t:	tree
147*2639ae9bSBen Gras  *	k1:	DBT pointer of first arg to comparison
148*2639ae9bSBen Gras  *	e:	pointer to EPG for comparison
149*2639ae9bSBen Gras  *
150*2639ae9bSBen Gras  * Returns:
151*2639ae9bSBen Gras  *	< 0 if k1 is < record
152*2639ae9bSBen Gras  *	= 0 if k1 is = record
153*2639ae9bSBen Gras  *	> 0 if k1 is > record
154*2639ae9bSBen Gras  */
155*2639ae9bSBen Gras int
156*2639ae9bSBen Gras __bt_cmp(BTREE *t, const DBT *k1, EPG *e)
157*2639ae9bSBen Gras {
158*2639ae9bSBen Gras 	BINTERNAL *bi;
159*2639ae9bSBen Gras 	BLEAF *bl;
160*2639ae9bSBen Gras 	DBT k2;
161*2639ae9bSBen Gras 	PAGE *h;
162*2639ae9bSBen Gras 	void *bigkey;
163*2639ae9bSBen Gras 
164*2639ae9bSBen Gras 	/*
165*2639ae9bSBen Gras 	 * The left-most key on internal pages, at any level of the tree, is
166*2639ae9bSBen Gras 	 * guaranteed by the following code to be less than any user key.
167*2639ae9bSBen Gras 	 * This saves us from having to update the leftmost key on an internal
168*2639ae9bSBen Gras 	 * page when the user inserts a new key in the tree smaller than
169*2639ae9bSBen Gras 	 * anything we've yet seen.
170*2639ae9bSBen Gras 	 */
171*2639ae9bSBen Gras 	h = e->page;
172*2639ae9bSBen Gras 	if (e->index == 0 && h->prevpg == P_INVALID && !(h->flags & P_BLEAF))
173*2639ae9bSBen Gras 		return (1);
174*2639ae9bSBen Gras 
175*2639ae9bSBen Gras 	bigkey = NULL;
176*2639ae9bSBen Gras 	if (h->flags & P_BLEAF) {
177*2639ae9bSBen Gras 		bl = GETBLEAF(h, e->index);
178*2639ae9bSBen Gras 		if (bl->flags & P_BIGKEY)
179*2639ae9bSBen Gras 			bigkey = bl->bytes;
180*2639ae9bSBen Gras 		else {
181*2639ae9bSBen Gras 			k2.data = bl->bytes;
182*2639ae9bSBen Gras 			k2.size = bl->ksize;
183*2639ae9bSBen Gras 		}
184*2639ae9bSBen Gras 	} else {
185*2639ae9bSBen Gras 		bi = GETBINTERNAL(h, e->index);
186*2639ae9bSBen Gras 		if (bi->flags & P_BIGKEY)
187*2639ae9bSBen Gras 			bigkey = bi->bytes;
188*2639ae9bSBen Gras 		else {
189*2639ae9bSBen Gras 			k2.data = bi->bytes;
190*2639ae9bSBen Gras 			k2.size = bi->ksize;
191*2639ae9bSBen Gras 		}
192*2639ae9bSBen Gras 	}
193*2639ae9bSBen Gras 
194*2639ae9bSBen Gras 	if (bigkey) {
195*2639ae9bSBen Gras 		if (__ovfl_get(t, bigkey,
196*2639ae9bSBen Gras 		    &k2.size, &t->bt_rdata.data, &t->bt_rdata.size))
197*2639ae9bSBen Gras 			return (RET_ERROR);
198*2639ae9bSBen Gras 		k2.data = t->bt_rdata.data;
199*2639ae9bSBen Gras 	}
200*2639ae9bSBen Gras 	return ((*t->bt_cmp)(k1, &k2));
201*2639ae9bSBen Gras }
202*2639ae9bSBen Gras 
203*2639ae9bSBen Gras /*
204*2639ae9bSBen Gras  * __BT_DEFCMP -- Default comparison routine.
205*2639ae9bSBen Gras  *
206*2639ae9bSBen Gras  * Parameters:
207*2639ae9bSBen Gras  *	a:	DBT #1
208*2639ae9bSBen Gras  *	b: 	DBT #2
209*2639ae9bSBen Gras  *
210*2639ae9bSBen Gras  * Returns:
211*2639ae9bSBen Gras  *	< 0 if a is < b
212*2639ae9bSBen Gras  *	= 0 if a is = b
213*2639ae9bSBen Gras  *	> 0 if a is > b
214*2639ae9bSBen Gras  */
215*2639ae9bSBen Gras int
216*2639ae9bSBen Gras __bt_defcmp(const DBT *a, const DBT *b)
217*2639ae9bSBen Gras {
218*2639ae9bSBen Gras 	size_t len;
219*2639ae9bSBen Gras 	uint8_t *p1, *p2;
220*2639ae9bSBen Gras 
221*2639ae9bSBen Gras 	/*
222*2639ae9bSBen Gras 	 * XXX
223*2639ae9bSBen Gras 	 * If a size_t doesn't fit in an int, this routine can lose.
224*2639ae9bSBen Gras 	 * What we need is a integral type which is guaranteed to be
225*2639ae9bSBen Gras 	 * larger than a size_t, and there is no such thing.
226*2639ae9bSBen Gras 	 */
227*2639ae9bSBen Gras 	len = MIN(a->size, b->size);
228*2639ae9bSBen Gras 	for (p1 = a->data, p2 = b->data; len--; ++p1, ++p2)
229*2639ae9bSBen Gras 		if (*p1 != *p2)
230*2639ae9bSBen Gras 			return ((int)*p1 - (int)*p2);
231*2639ae9bSBen Gras 	return ((int)a->size - (int)b->size);
232*2639ae9bSBen Gras }
233*2639ae9bSBen Gras 
234*2639ae9bSBen Gras /*
235*2639ae9bSBen Gras  * __BT_DEFPFX -- Default prefix routine.
236*2639ae9bSBen Gras  *
237*2639ae9bSBen Gras  * Parameters:
238*2639ae9bSBen Gras  *	a:	DBT #1
239*2639ae9bSBen Gras  *	b: 	DBT #2
240*2639ae9bSBen Gras  *
241*2639ae9bSBen Gras  * Returns:
242*2639ae9bSBen Gras  *	Number of bytes needed to distinguish b from a.
243*2639ae9bSBen Gras  */
244*2639ae9bSBen Gras size_t
245*2639ae9bSBen Gras __bt_defpfx(const DBT *a, const DBT *b)
246*2639ae9bSBen Gras {
247*2639ae9bSBen Gras 	uint8_t *p1, *p2;
248*2639ae9bSBen Gras 	size_t cnt, len;
249*2639ae9bSBen Gras 
250*2639ae9bSBen Gras 	cnt = 1;
251*2639ae9bSBen Gras 	len = MIN(a->size, b->size);
252*2639ae9bSBen Gras 	for (p1 = a->data, p2 = b->data; len--; ++p1, ++p2, ++cnt)
253*2639ae9bSBen Gras 		if (*p1 != *p2)
254*2639ae9bSBen Gras 			return (cnt);
255*2639ae9bSBen Gras 
256*2639ae9bSBen Gras 	/* a->size must be <= b->size, or they wouldn't be in this order. */
257*2639ae9bSBen Gras 	return (a->size < b->size ? a->size + 1 : a->size);
258*2639ae9bSBen Gras }
259