hash.c revision 1.22 1 1.22 rillig /* $NetBSD: hash.c,v 1.22 2020/07/03 17:03:09 rillig Exp $ */
2 1.5 christos
3 1.1 cgd /*
4 1.1 cgd * Copyright (c) 1988, 1989, 1990 The Regents of the University of California.
5 1.12 agc * All rights reserved.
6 1.12 agc *
7 1.12 agc * This code is derived from software contributed to Berkeley by
8 1.12 agc * Adam de Boor.
9 1.12 agc *
10 1.12 agc * Redistribution and use in source and binary forms, with or without
11 1.12 agc * modification, are permitted provided that the following conditions
12 1.12 agc * are met:
13 1.12 agc * 1. Redistributions of source code must retain the above copyright
14 1.12 agc * notice, this list of conditions and the following disclaimer.
15 1.12 agc * 2. Redistributions in binary form must reproduce the above copyright
16 1.12 agc * notice, this list of conditions and the following disclaimer in the
17 1.12 agc * 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.12 agc * may be used to endorse or promote products derived from this software
20 1.12 agc * without specific prior written permission.
21 1.12 agc *
22 1.12 agc * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 1.12 agc * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 1.12 agc * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 1.12 agc * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 1.12 agc * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 1.12 agc * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 1.12 agc * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 1.12 agc * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 1.12 agc * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 1.12 agc * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 1.12 agc * SUCH DAMAGE.
33 1.12 agc */
34 1.12 agc
35 1.12 agc /*
36 1.1 cgd * Copyright (c) 1988, 1989 by Adam de Boor
37 1.1 cgd * Copyright (c) 1989 by Berkeley Softworks
38 1.1 cgd * All rights reserved.
39 1.1 cgd *
40 1.1 cgd * This code is derived from software contributed to Berkeley by
41 1.1 cgd * Adam de Boor.
42 1.1 cgd *
43 1.1 cgd * Redistribution and use in source and binary forms, with or without
44 1.1 cgd * modification, are permitted provided that the following conditions
45 1.1 cgd * are met:
46 1.1 cgd * 1. Redistributions of source code must retain the above copyright
47 1.1 cgd * notice, this list of conditions and the following disclaimer.
48 1.1 cgd * 2. Redistributions in binary form must reproduce the above copyright
49 1.1 cgd * notice, this list of conditions and the following disclaimer in the
50 1.1 cgd * documentation and/or other materials provided with the distribution.
51 1.1 cgd * 3. All advertising materials mentioning features or use of this software
52 1.1 cgd * must display the following acknowledgement:
53 1.1 cgd * This product includes software developed by the University of
54 1.1 cgd * California, Berkeley and its contributors.
55 1.1 cgd * 4. Neither the name of the University nor the names of its contributors
56 1.1 cgd * may be used to endorse or promote products derived from this software
57 1.1 cgd * without specific prior written permission.
58 1.1 cgd *
59 1.1 cgd * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
60 1.1 cgd * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
61 1.1 cgd * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
62 1.1 cgd * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
63 1.1 cgd * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
64 1.1 cgd * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
65 1.1 cgd * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
66 1.1 cgd * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
67 1.1 cgd * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
68 1.1 cgd * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
69 1.1 cgd * SUCH DAMAGE.
70 1.1 cgd */
71 1.1 cgd
72 1.13 ross #ifndef MAKE_NATIVE
73 1.22 rillig static char rcsid[] = "$NetBSD: hash.c,v 1.22 2020/07/03 17:03:09 rillig Exp $";
74 1.8 lukem #else
75 1.7 christos #include <sys/cdefs.h>
76 1.1 cgd #ifndef lint
77 1.5 christos #if 0
78 1.6 christos static char sccsid[] = "@(#)hash.c 8.1 (Berkeley) 6/6/93";
79 1.5 christos #else
80 1.22 rillig __RCSID("$NetBSD: hash.c,v 1.22 2020/07/03 17:03:09 rillig Exp $");
81 1.5 christos #endif
82 1.1 cgd #endif /* not lint */
83 1.8 lukem #endif
84 1.1 cgd
85 1.1 cgd /* hash.c --
86 1.1 cgd *
87 1.1 cgd * This module contains routines to manipulate a hash table.
88 1.1 cgd * See hash.h for a definition of the structure of the hash
89 1.1 cgd * table. Hash tables grow automatically as the amount of
90 1.1 cgd * information increases.
91 1.1 cgd */
92 1.1 cgd #include "sprite.h"
93 1.4 cgd #include "make.h"
94 1.1 cgd #include "hash.h"
95 1.1 cgd
96 1.1 cgd /*
97 1.1 cgd * Forward references to local procedures that are used before they're
98 1.1 cgd * defined:
99 1.1 cgd */
100 1.1 cgd
101 1.10 wiz static void RebuildTable(Hash_Table *);
102 1.1 cgd
103 1.6 christos /*
104 1.1 cgd * The following defines the ratio of # entries to # buckets
105 1.1 cgd * at which we rebuild the table to make it larger.
106 1.1 cgd */
107 1.1 cgd
108 1.9 mycroft #define rebuildLimit 3
109 1.1 cgd
110 1.1 cgd /*
111 1.1 cgd *---------------------------------------------------------
112 1.6 christos *
113 1.1 cgd * Hash_InitTable --
114 1.1 cgd *
115 1.1 cgd * This routine just sets up the hash table.
116 1.1 cgd *
117 1.10 wiz * Input:
118 1.10 wiz * t Structure to to hold table.
119 1.10 wiz * numBuckets How many buckets to create for starters. This
120 1.10 wiz * number is rounded up to a power of two. If
121 1.10 wiz * <= 0, a reasonable default is chosen. The
122 1.10 wiz * table will grow in size later as needed.
123 1.10 wiz *
124 1.6 christos * Results:
125 1.1 cgd * None.
126 1.1 cgd *
127 1.1 cgd * Side Effects:
128 1.1 cgd * Memory is allocated for the initial bucket area.
129 1.1 cgd *
130 1.1 cgd *---------------------------------------------------------
131 1.1 cgd */
132 1.1 cgd
133 1.1 cgd void
134 1.10 wiz Hash_InitTable(Hash_Table *t, int numBuckets)
135 1.1 cgd {
136 1.10 wiz int i;
137 1.10 wiz struct Hash_Entry **hp;
138 1.1 cgd
139 1.1 cgd /*
140 1.6 christos * Round up the size to a power of two.
141 1.1 cgd */
142 1.1 cgd if (numBuckets <= 0)
143 1.1 cgd i = 16;
144 1.1 cgd else {
145 1.1 cgd for (i = 2; i < numBuckets; i <<= 1)
146 1.4 cgd continue;
147 1.1 cgd }
148 1.1 cgd t->numEntries = 0;
149 1.1 cgd t->size = i;
150 1.1 cgd t->mask = i - 1;
151 1.17 joerg t->bucketPtr = hp = bmake_malloc(sizeof(*hp) * i);
152 1.1 cgd while (--i >= 0)
153 1.1 cgd *hp++ = NULL;
154 1.1 cgd }
155 1.1 cgd
156 1.1 cgd /*
157 1.1 cgd *---------------------------------------------------------
158 1.1 cgd *
159 1.1 cgd * Hash_DeleteTable --
160 1.1 cgd *
161 1.1 cgd * This routine removes everything from a hash table
162 1.1 cgd * and frees up the memory space it occupied (except for
163 1.1 cgd * the space in the Hash_Table structure).
164 1.1 cgd *
165 1.6 christos * Results:
166 1.1 cgd * None.
167 1.1 cgd *
168 1.1 cgd * Side Effects:
169 1.1 cgd * Lots of memory is freed up.
170 1.1 cgd *
171 1.1 cgd *---------------------------------------------------------
172 1.1 cgd */
173 1.1 cgd
174 1.1 cgd void
175 1.10 wiz Hash_DeleteTable(Hash_Table *t)
176 1.1 cgd {
177 1.10 wiz struct Hash_Entry **hp, *h, *nexth = NULL;
178 1.10 wiz int i;
179 1.1 cgd
180 1.1 cgd for (hp = t->bucketPtr, i = t->size; --i >= 0;) {
181 1.1 cgd for (h = *hp++; h != NULL; h = nexth) {
182 1.1 cgd nexth = h->next;
183 1.16 christos free(h);
184 1.1 cgd }
185 1.1 cgd }
186 1.16 christos free(t->bucketPtr);
187 1.1 cgd
188 1.1 cgd /*
189 1.1 cgd * Set up the hash table to cause memory faults on any future access
190 1.6 christos * attempts until re-initialization.
191 1.1 cgd */
192 1.1 cgd t->bucketPtr = NULL;
193 1.1 cgd }
194 1.1 cgd
195 1.1 cgd /*
196 1.1 cgd *---------------------------------------------------------
197 1.1 cgd *
198 1.1 cgd * Hash_FindEntry --
199 1.1 cgd *
200 1.1 cgd * Searches a hash table for an entry corresponding to key.
201 1.1 cgd *
202 1.10 wiz * Input:
203 1.10 wiz * t Hash table to search.
204 1.10 wiz * key A hash key.
205 1.10 wiz *
206 1.1 cgd * Results:
207 1.1 cgd * The return value is a pointer to the entry for key,
208 1.1 cgd * if key was present in the table. If key was not
209 1.1 cgd * present, NULL is returned.
210 1.1 cgd *
211 1.1 cgd * Side Effects:
212 1.1 cgd * None.
213 1.1 cgd *
214 1.1 cgd *---------------------------------------------------------
215 1.1 cgd */
216 1.1 cgd
217 1.1 cgd Hash_Entry *
218 1.11 christos Hash_FindEntry(Hash_Table *t, const char *key)
219 1.1 cgd {
220 1.10 wiz Hash_Entry *e;
221 1.10 wiz unsigned h;
222 1.11 christos const char *p;
223 1.1 cgd
224 1.20 sjg if (t == NULL || t->bucketPtr == NULL) {
225 1.20 sjg return NULL;
226 1.20 sjg }
227 1.1 cgd for (h = 0, p = key; *p;)
228 1.1 cgd h = (h << 5) - h + *p++;
229 1.1 cgd p = key;
230 1.1 cgd for (e = t->bucketPtr[h & t->mask]; e != NULL; e = e->next)
231 1.1 cgd if (e->namehash == h && strcmp(e->name, p) == 0)
232 1.21 rillig return e;
233 1.18 dsl return NULL;
234 1.1 cgd }
235 1.1 cgd
236 1.1 cgd /*
237 1.1 cgd *---------------------------------------------------------
238 1.1 cgd *
239 1.1 cgd * Hash_CreateEntry --
240 1.1 cgd *
241 1.1 cgd * Searches a hash table for an entry corresponding to
242 1.1 cgd * key. If no entry is found, then one is created.
243 1.1 cgd *
244 1.10 wiz * Input:
245 1.10 wiz * t Hash table to search.
246 1.10 wiz * key A hash key.
247 1.10 wiz * newPtr Filled in with TRUE if new entry created,
248 1.10 wiz * FALSE otherwise.
249 1.10 wiz *
250 1.1 cgd * Results:
251 1.1 cgd * The return value is a pointer to the entry. If *newPtr
252 1.1 cgd * isn't NULL, then *newPtr is filled in with TRUE if a
253 1.1 cgd * new entry was created, and FALSE if an entry already existed
254 1.1 cgd * with the given key.
255 1.1 cgd *
256 1.1 cgd * Side Effects:
257 1.1 cgd * Memory may be allocated, and the hash buckets may be modified.
258 1.1 cgd *---------------------------------------------------------
259 1.1 cgd */
260 1.1 cgd
261 1.1 cgd Hash_Entry *
262 1.11 christos Hash_CreateEntry(Hash_Table *t, const char *key, Boolean *newPtr)
263 1.1 cgd {
264 1.10 wiz Hash_Entry *e;
265 1.10 wiz unsigned h;
266 1.11 christos const char *p;
267 1.1 cgd int keylen;
268 1.1 cgd struct Hash_Entry **hp;
269 1.1 cgd
270 1.1 cgd /*
271 1.1 cgd * Hash the key. As a side effect, save the length (strlen) of the
272 1.1 cgd * key in case we need to create the entry.
273 1.1 cgd */
274 1.1 cgd for (h = 0, p = key; *p;)
275 1.1 cgd h = (h << 5) - h + *p++;
276 1.1 cgd keylen = p - key;
277 1.1 cgd p = key;
278 1.1 cgd for (e = t->bucketPtr[h & t->mask]; e != NULL; e = e->next) {
279 1.1 cgd if (e->namehash == h && strcmp(e->name, p) == 0) {
280 1.1 cgd if (newPtr != NULL)
281 1.1 cgd *newPtr = FALSE;
282 1.21 rillig return e;
283 1.1 cgd }
284 1.1 cgd }
285 1.1 cgd
286 1.1 cgd /*
287 1.1 cgd * The desired entry isn't there. Before allocating a new entry,
288 1.1 cgd * expand the table if necessary (and this changes the resulting
289 1.6 christos * bucket chain).
290 1.1 cgd */
291 1.1 cgd if (t->numEntries >= rebuildLimit * t->size)
292 1.1 cgd RebuildTable(t);
293 1.17 joerg e = bmake_malloc(sizeof(*e) + keylen);
294 1.1 cgd hp = &t->bucketPtr[h & t->mask];
295 1.1 cgd e->next = *hp;
296 1.1 cgd *hp = e;
297 1.19 dsl Hash_SetValue(e, NULL);
298 1.1 cgd e->namehash = h;
299 1.15 christos (void)strcpy(e->name, p);
300 1.1 cgd t->numEntries++;
301 1.1 cgd
302 1.1 cgd if (newPtr != NULL)
303 1.1 cgd *newPtr = TRUE;
304 1.21 rillig return e;
305 1.1 cgd }
306 1.1 cgd
307 1.1 cgd /*
308 1.1 cgd *---------------------------------------------------------
309 1.1 cgd *
310 1.1 cgd * Hash_DeleteEntry --
311 1.1 cgd *
312 1.1 cgd * Delete the given hash table entry and free memory associated with
313 1.1 cgd * it.
314 1.1 cgd *
315 1.1 cgd * Results:
316 1.1 cgd * None.
317 1.1 cgd *
318 1.1 cgd * Side Effects:
319 1.1 cgd * Hash chain that entry lives in is modified and memory is freed.
320 1.1 cgd *
321 1.1 cgd *---------------------------------------------------------
322 1.1 cgd */
323 1.1 cgd
324 1.1 cgd void
325 1.10 wiz Hash_DeleteEntry(Hash_Table *t, Hash_Entry *e)
326 1.1 cgd {
327 1.10 wiz Hash_Entry **hp, *p;
328 1.1 cgd
329 1.1 cgd if (e == NULL)
330 1.1 cgd return;
331 1.1 cgd for (hp = &t->bucketPtr[e->namehash & t->mask];
332 1.1 cgd (p = *hp) != NULL; hp = &p->next) {
333 1.1 cgd if (p == e) {
334 1.1 cgd *hp = p->next;
335 1.16 christos free(p);
336 1.1 cgd t->numEntries--;
337 1.1 cgd return;
338 1.1 cgd }
339 1.1 cgd }
340 1.15 christos (void)write(2, "bad call to Hash_DeleteEntry\n", 29);
341 1.1 cgd abort();
342 1.1 cgd }
343 1.1 cgd
344 1.1 cgd /*
345 1.1 cgd *---------------------------------------------------------
346 1.1 cgd *
347 1.1 cgd * Hash_EnumFirst --
348 1.1 cgd * This procedure sets things up for a complete search
349 1.1 cgd * of all entries recorded in the hash table.
350 1.1 cgd *
351 1.10 wiz * Input:
352 1.10 wiz * t Table to be searched.
353 1.10 wiz * searchPtr Area in which to keep state about search.
354 1.10 wiz *
355 1.6 christos * Results:
356 1.1 cgd * The return value is the address of the first entry in
357 1.1 cgd * the hash table, or NULL if the table is empty.
358 1.1 cgd *
359 1.1 cgd * Side Effects:
360 1.1 cgd * The information in searchPtr is initialized so that successive
361 1.1 cgd * calls to Hash_Next will return successive HashEntry's
362 1.1 cgd * from the table.
363 1.1 cgd *
364 1.1 cgd *---------------------------------------------------------
365 1.1 cgd */
366 1.1 cgd
367 1.1 cgd Hash_Entry *
368 1.10 wiz Hash_EnumFirst(Hash_Table *t, Hash_Search *searchPtr)
369 1.1 cgd {
370 1.1 cgd searchPtr->tablePtr = t;
371 1.1 cgd searchPtr->nextIndex = 0;
372 1.1 cgd searchPtr->hashEntryPtr = NULL;
373 1.1 cgd return Hash_EnumNext(searchPtr);
374 1.1 cgd }
375 1.1 cgd
376 1.1 cgd /*
377 1.1 cgd *---------------------------------------------------------
378 1.1 cgd *
379 1.1 cgd * Hash_EnumNext --
380 1.1 cgd * This procedure returns successive entries in the hash table.
381 1.1 cgd *
382 1.10 wiz * Input:
383 1.10 wiz * searchPtr Area used to keep state about search.
384 1.10 wiz *
385 1.1 cgd * Results:
386 1.1 cgd * The return value is a pointer to the next HashEntry
387 1.1 cgd * in the table, or NULL when the end of the table is
388 1.1 cgd * reached.
389 1.1 cgd *
390 1.1 cgd * Side Effects:
391 1.1 cgd * The information in searchPtr is modified to advance to the
392 1.1 cgd * next entry.
393 1.1 cgd *
394 1.1 cgd *---------------------------------------------------------
395 1.1 cgd */
396 1.1 cgd
397 1.1 cgd Hash_Entry *
398 1.10 wiz Hash_EnumNext(Hash_Search *searchPtr)
399 1.1 cgd {
400 1.10 wiz Hash_Entry *e;
401 1.1 cgd Hash_Table *t = searchPtr->tablePtr;
402 1.1 cgd
403 1.1 cgd /*
404 1.1 cgd * The hashEntryPtr field points to the most recently returned
405 1.1 cgd * entry, or is nil if we are starting up. If not nil, we have
406 1.1 cgd * to start at the next one in the chain.
407 1.1 cgd */
408 1.1 cgd e = searchPtr->hashEntryPtr;
409 1.1 cgd if (e != NULL)
410 1.1 cgd e = e->next;
411 1.1 cgd /*
412 1.1 cgd * If the chain ran out, or if we are starting up, we need to
413 1.1 cgd * find the next nonempty chain.
414 1.1 cgd */
415 1.1 cgd while (e == NULL) {
416 1.1 cgd if (searchPtr->nextIndex >= t->size)
417 1.18 dsl return NULL;
418 1.1 cgd e = t->bucketPtr[searchPtr->nextIndex++];
419 1.1 cgd }
420 1.1 cgd searchPtr->hashEntryPtr = e;
421 1.21 rillig return e;
422 1.1 cgd }
423 1.1 cgd
424 1.1 cgd /*
425 1.1 cgd *---------------------------------------------------------
426 1.1 cgd *
427 1.1 cgd * RebuildTable --
428 1.1 cgd * This local routine makes a new hash table that
429 1.1 cgd * is larger than the old one.
430 1.1 cgd *
431 1.6 christos * Results:
432 1.1 cgd * None.
433 1.1 cgd *
434 1.1 cgd * Side Effects:
435 1.1 cgd * The entire hash table is moved, so any bucket numbers
436 1.1 cgd * from the old table are invalid.
437 1.1 cgd *
438 1.1 cgd *---------------------------------------------------------
439 1.1 cgd */
440 1.1 cgd
441 1.1 cgd static void
442 1.10 wiz RebuildTable(Hash_Table *t)
443 1.1 cgd {
444 1.10 wiz Hash_Entry *e, *next = NULL, **hp, **xp;
445 1.10 wiz int i, mask;
446 1.10 wiz Hash_Entry **oldhp;
447 1.1 cgd int oldsize;
448 1.1 cgd
449 1.1 cgd oldhp = t->bucketPtr;
450 1.1 cgd oldsize = i = t->size;
451 1.1 cgd i <<= 1;
452 1.1 cgd t->size = i;
453 1.1 cgd t->mask = mask = i - 1;
454 1.17 joerg t->bucketPtr = hp = bmake_malloc(sizeof(*hp) * i);
455 1.1 cgd while (--i >= 0)
456 1.1 cgd *hp++ = NULL;
457 1.1 cgd for (hp = oldhp, i = oldsize; --i >= 0;) {
458 1.1 cgd for (e = *hp++; e != NULL; e = next) {
459 1.1 cgd next = e->next;
460 1.1 cgd xp = &t->bucketPtr[e->namehash & mask];
461 1.1 cgd e->next = *xp;
462 1.1 cgd *xp = e;
463 1.1 cgd }
464 1.1 cgd }
465 1.16 christos free(oldhp);
466 1.1 cgd }
467 1.22 rillig
468 1.22 rillig void Hash_ForEach(Hash_Table *t, void (*action)(void *, void *), void *data)
469 1.22 rillig {
470 1.22 rillig Hash_Search search;
471 1.22 rillig Hash_Entry *e;
472 1.22 rillig
473 1.22 rillig for (e = Hash_EnumFirst(t, &search);
474 1.22 rillig e != NULL;
475 1.22 rillig e = Hash_EnumNext(&search))
476 1.22 rillig action(Hash_GetValue(e), data);
477 1.22 rillig }
478