hash.c revision 1.33 1 1.33 rillig /* $NetBSD: hash.c,v 1.33 2020/09/26 14:48:31 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.1 cgd /* hash.c --
73 1.1 cgd *
74 1.1 cgd * This module contains routines to manipulate a hash table.
75 1.1 cgd * See hash.h for a definition of the structure of the hash
76 1.1 cgd * table. Hash tables grow automatically as the amount of
77 1.1 cgd * information increases.
78 1.1 cgd */
79 1.4 cgd #include "make.h"
80 1.1 cgd
81 1.32 rillig /* "@(#)hash.c 8.1 (Berkeley) 6/6/93" */
82 1.33 rillig MAKE_RCSID("$NetBSD: hash.c,v 1.33 2020/09/26 14:48:31 rillig Exp $");
83 1.32 rillig
84 1.1 cgd /*
85 1.1 cgd * Forward references to local procedures that are used before they're
86 1.1 cgd * defined:
87 1.1 cgd */
88 1.1 cgd
89 1.10 wiz static void RebuildTable(Hash_Table *);
90 1.1 cgd
91 1.6 christos /*
92 1.1 cgd * The following defines the ratio of # entries to # buckets
93 1.1 cgd * at which we rebuild the table to make it larger.
94 1.1 cgd */
95 1.1 cgd
96 1.9 mycroft #define rebuildLimit 3
97 1.1 cgd
98 1.23 sjg /* The hash function(s) */
99 1.25 sjg
100 1.25 sjg #ifndef HASH
101 1.25 sjg /* The default: this one matches Gosling's emacs */
102 1.23 sjg #define HASH(h, key, p) do { \
103 1.23 sjg for (h = 0, p = key; *p;) \
104 1.30 rillig h = (h << 5) - h + (unsigned char)*p++; \
105 1.23 sjg } while (0)
106 1.23 sjg
107 1.25 sjg #endif
108 1.23 sjg
109 1.28 rillig /* Sets up the hash table.
110 1.1 cgd *
111 1.10 wiz * Input:
112 1.28 rillig * t Structure to to hold the table.
113 1.1 cgd */
114 1.1 cgd void
115 1.31 rillig Hash_InitTable(Hash_Table *t)
116 1.1 cgd {
117 1.31 rillig size_t n = 16, i;
118 1.10 wiz struct Hash_Entry **hp;
119 1.1 cgd
120 1.1 cgd t->numEntries = 0;
121 1.25 sjg t->maxchain = 0;
122 1.31 rillig t->bucketsSize = n;
123 1.31 rillig t->bucketsMask = n - 1;
124 1.31 rillig t->buckets = hp = bmake_malloc(sizeof(*hp) * n);
125 1.31 rillig for (i = 0; i < n; i++)
126 1.31 rillig hp[i] = NULL;
127 1.1 cgd }
128 1.1 cgd
129 1.28 rillig /* Removes everything from the hash table and frees up the memory space it
130 1.28 rillig * occupied (except for the space in the Hash_Table structure). */
131 1.1 cgd void
132 1.10 wiz Hash_DeleteTable(Hash_Table *t)
133 1.1 cgd {
134 1.10 wiz struct Hash_Entry **hp, *h, *nexth = NULL;
135 1.10 wiz int i;
136 1.1 cgd
137 1.29 rillig for (hp = t->buckets, i = t->bucketsSize; --i >= 0;) {
138 1.1 cgd for (h = *hp++; h != NULL; h = nexth) {
139 1.1 cgd nexth = h->next;
140 1.16 christos free(h);
141 1.1 cgd }
142 1.1 cgd }
143 1.29 rillig free(t->buckets);
144 1.1 cgd
145 1.1 cgd /*
146 1.1 cgd * Set up the hash table to cause memory faults on any future access
147 1.6 christos * attempts until re-initialization.
148 1.1 cgd */
149 1.29 rillig t->buckets = NULL;
150 1.1 cgd }
151 1.1 cgd
152 1.28 rillig /* Searches the hash table for an entry corresponding to the key.
153 1.1 cgd *
154 1.10 wiz * Input:
155 1.10 wiz * t Hash table to search.
156 1.10 wiz * key A hash key.
157 1.10 wiz *
158 1.1 cgd * Results:
159 1.28 rillig * Returns a pointer to the entry for key, or NULL if the table contains
160 1.28 rillig * no entry for the key.
161 1.1 cgd */
162 1.1 cgd Hash_Entry *
163 1.11 christos Hash_FindEntry(Hash_Table *t, const char *key)
164 1.1 cgd {
165 1.10 wiz Hash_Entry *e;
166 1.10 wiz unsigned h;
167 1.11 christos const char *p;
168 1.23 sjg int chainlen;
169 1.1 cgd
170 1.29 rillig if (t == NULL || t->buckets == NULL) {
171 1.20 sjg return NULL;
172 1.20 sjg }
173 1.23 sjg HASH(h, key, p);
174 1.1 cgd p = key;
175 1.25 sjg chainlen = 0;
176 1.25 sjg #ifdef DEBUG_HASH_LOOKUP
177 1.23 sjg if (DEBUG(HASH))
178 1.23 sjg fprintf(debug_file, "%s: %p h=%x key=%s\n", __func__,
179 1.23 sjg t, h, key);
180 1.25 sjg #endif
181 1.29 rillig for (e = t->buckets[h & t->bucketsMask]; e != NULL; e = e->next) {
182 1.23 sjg chainlen++;
183 1.24 riastrad if (e->namehash == h && strcmp(e->name, p) == 0)
184 1.23 sjg break;
185 1.23 sjg }
186 1.25 sjg if (chainlen > t->maxchain)
187 1.25 sjg t->maxchain = chainlen;
188 1.23 sjg return e;
189 1.1 cgd }
190 1.1 cgd
191 1.33 rillig void *
192 1.33 rillig Hash_FindValue(Hash_Table *t, const char *key)
193 1.33 rillig {
194 1.33 rillig Hash_Entry *he = Hash_FindEntry(t, key);
195 1.33 rillig return he != NULL ? he->value : NULL;
196 1.33 rillig }
197 1.33 rillig
198 1.28 rillig /* Searches the hash table for an entry corresponding to the key.
199 1.28 rillig * If no entry is found, then one is created.
200 1.1 cgd *
201 1.10 wiz * Input:
202 1.10 wiz * t Hash table to search.
203 1.10 wiz * key A hash key.
204 1.28 rillig * newPtr Filled with TRUE if new entry created,
205 1.10 wiz * FALSE otherwise.
206 1.1 cgd */
207 1.1 cgd Hash_Entry *
208 1.11 christos Hash_CreateEntry(Hash_Table *t, const char *key, Boolean *newPtr)
209 1.1 cgd {
210 1.10 wiz Hash_Entry *e;
211 1.10 wiz unsigned h;
212 1.11 christos const char *p;
213 1.1 cgd int keylen;
214 1.23 sjg int chainlen;
215 1.1 cgd struct Hash_Entry **hp;
216 1.1 cgd
217 1.1 cgd /*
218 1.1 cgd * Hash the key. As a side effect, save the length (strlen) of the
219 1.1 cgd * key in case we need to create the entry.
220 1.1 cgd */
221 1.23 sjg HASH(h, key, p);
222 1.1 cgd keylen = p - key;
223 1.1 cgd p = key;
224 1.25 sjg chainlen = 0;
225 1.25 sjg #ifdef DEBUG_HASH_LOOKUP
226 1.23 sjg if (DEBUG(HASH))
227 1.23 sjg fprintf(debug_file, "%s: %p h=%x key=%s\n", __func__,
228 1.23 sjg t, h, key);
229 1.25 sjg #endif
230 1.29 rillig for (e = t->buckets[h & t->bucketsMask]; e != NULL; e = e->next) {
231 1.23 sjg chainlen++;
232 1.1 cgd if (e->namehash == h && strcmp(e->name, p) == 0) {
233 1.1 cgd if (newPtr != NULL)
234 1.1 cgd *newPtr = FALSE;
235 1.23 sjg break;
236 1.1 cgd }
237 1.1 cgd }
238 1.25 sjg if (chainlen > t->maxchain)
239 1.25 sjg t->maxchain = chainlen;
240 1.23 sjg if (e)
241 1.23 sjg return e;
242 1.1 cgd
243 1.1 cgd /*
244 1.1 cgd * The desired entry isn't there. Before allocating a new entry,
245 1.1 cgd * expand the table if necessary (and this changes the resulting
246 1.6 christos * bucket chain).
247 1.1 cgd */
248 1.29 rillig if (t->numEntries >= rebuildLimit * t->bucketsSize)
249 1.1 cgd RebuildTable(t);
250 1.17 joerg e = bmake_malloc(sizeof(*e) + keylen);
251 1.29 rillig hp = &t->buckets[h & t->bucketsMask];
252 1.1 cgd e->next = *hp;
253 1.1 cgd *hp = e;
254 1.19 dsl Hash_SetValue(e, NULL);
255 1.1 cgd e->namehash = h;
256 1.15 christos (void)strcpy(e->name, p);
257 1.1 cgd t->numEntries++;
258 1.1 cgd
259 1.1 cgd if (newPtr != NULL)
260 1.1 cgd *newPtr = TRUE;
261 1.21 rillig return e;
262 1.1 cgd }
263 1.1 cgd
264 1.28 rillig /* Delete the given hash table entry and free memory associated with it. */
265 1.1 cgd void
266 1.10 wiz Hash_DeleteEntry(Hash_Table *t, Hash_Entry *e)
267 1.1 cgd {
268 1.10 wiz Hash_Entry **hp, *p;
269 1.1 cgd
270 1.1 cgd if (e == NULL)
271 1.1 cgd return;
272 1.29 rillig for (hp = &t->buckets[e->namehash & t->bucketsMask];
273 1.1 cgd (p = *hp) != NULL; hp = &p->next) {
274 1.1 cgd if (p == e) {
275 1.1 cgd *hp = p->next;
276 1.16 christos free(p);
277 1.1 cgd t->numEntries--;
278 1.1 cgd return;
279 1.1 cgd }
280 1.1 cgd }
281 1.15 christos (void)write(2, "bad call to Hash_DeleteEntry\n", 29);
282 1.1 cgd abort();
283 1.1 cgd }
284 1.1 cgd
285 1.28 rillig /* Sets things up for enumerating all entries in the hash table.
286 1.1 cgd *
287 1.10 wiz * Input:
288 1.10 wiz * t Table to be searched.
289 1.10 wiz * searchPtr Area in which to keep state about search.
290 1.10 wiz *
291 1.6 christos * Results:
292 1.1 cgd * The return value is the address of the first entry in
293 1.1 cgd * the hash table, or NULL if the table is empty.
294 1.1 cgd */
295 1.1 cgd Hash_Entry *
296 1.10 wiz Hash_EnumFirst(Hash_Table *t, Hash_Search *searchPtr)
297 1.1 cgd {
298 1.29 rillig searchPtr->table = t;
299 1.29 rillig searchPtr->nextBucket = 0;
300 1.29 rillig searchPtr->entry = NULL;
301 1.1 cgd return Hash_EnumNext(searchPtr);
302 1.1 cgd }
303 1.1 cgd
304 1.28 rillig /* Returns the next entry in the hash table, or NULL if the end of the table
305 1.28 rillig * is reached.
306 1.1 cgd *
307 1.10 wiz * Input:
308 1.10 wiz * searchPtr Area used to keep state about search.
309 1.1 cgd */
310 1.1 cgd Hash_Entry *
311 1.10 wiz Hash_EnumNext(Hash_Search *searchPtr)
312 1.1 cgd {
313 1.10 wiz Hash_Entry *e;
314 1.29 rillig Hash_Table *t = searchPtr->table;
315 1.1 cgd
316 1.1 cgd /*
317 1.29 rillig * The entry field points to the most recently returned
318 1.29 rillig * entry, or is NULL if we are starting up. If not NULL, we have
319 1.1 cgd * to start at the next one in the chain.
320 1.1 cgd */
321 1.29 rillig e = searchPtr->entry;
322 1.1 cgd if (e != NULL)
323 1.1 cgd e = e->next;
324 1.1 cgd /*
325 1.1 cgd * If the chain ran out, or if we are starting up, we need to
326 1.1 cgd * find the next nonempty chain.
327 1.1 cgd */
328 1.1 cgd while (e == NULL) {
329 1.29 rillig if (searchPtr->nextBucket >= t->bucketsSize)
330 1.18 dsl return NULL;
331 1.29 rillig e = t->buckets[searchPtr->nextBucket++];
332 1.1 cgd }
333 1.29 rillig searchPtr->entry = e;
334 1.21 rillig return e;
335 1.1 cgd }
336 1.1 cgd
337 1.28 rillig /* Makes a new hash table that is larger than the old one. The entire hash
338 1.28 rillig * table is moved, so any bucket numbers from the old table become invalid. */
339 1.1 cgd static void
340 1.10 wiz RebuildTable(Hash_Table *t)
341 1.1 cgd {
342 1.10 wiz Hash_Entry *e, *next = NULL, **hp, **xp;
343 1.10 wiz int i, mask;
344 1.26 rillig Hash_Entry **oldhp;
345 1.1 cgd int oldsize;
346 1.1 cgd
347 1.29 rillig oldhp = t->buckets;
348 1.29 rillig oldsize = i = t->bucketsSize;
349 1.1 cgd i <<= 1;
350 1.29 rillig t->bucketsSize = i;
351 1.29 rillig t->bucketsMask = mask = i - 1;
352 1.29 rillig t->buckets = hp = bmake_malloc(sizeof(*hp) * i);
353 1.1 cgd while (--i >= 0)
354 1.1 cgd *hp++ = NULL;
355 1.1 cgd for (hp = oldhp, i = oldsize; --i >= 0;) {
356 1.1 cgd for (e = *hp++; e != NULL; e = next) {
357 1.1 cgd next = e->next;
358 1.29 rillig xp = &t->buckets[e->namehash & mask];
359 1.1 cgd e->next = *xp;
360 1.1 cgd *xp = e;
361 1.1 cgd }
362 1.1 cgd }
363 1.16 christos free(oldhp);
364 1.23 sjg if (DEBUG(HASH))
365 1.25 sjg fprintf(debug_file, "%s: %p size=%d entries=%d maxchain=%d\n",
366 1.29 rillig __func__, t, t->bucketsSize, t->numEntries, t->maxchain);
367 1.25 sjg t->maxchain = 0;
368 1.1 cgd }
369 1.22 rillig
370 1.28 rillig void
371 1.28 rillig Hash_ForEach(Hash_Table *t, void (*action)(void *, void *), void *data)
372 1.22 rillig {
373 1.22 rillig Hash_Search search;
374 1.22 rillig Hash_Entry *e;
375 1.22 rillig
376 1.22 rillig for (e = Hash_EnumFirst(t, &search);
377 1.22 rillig e != NULL;
378 1.22 rillig e = Hash_EnumNext(&search))
379 1.22 rillig action(Hash_GetValue(e), data);
380 1.22 rillig }
381 1.25 sjg
382 1.25 sjg void
383 1.25 sjg Hash_DebugStats(Hash_Table *t, const char *name)
384 1.25 sjg {
385 1.25 sjg if (DEBUG(HASH))
386 1.25 sjg fprintf(debug_file, "Hash_Table %s: size=%d numEntries=%d maxchain=%d\n",
387 1.29 rillig name, t->bucketsSize, t->numEntries, t->maxchain);
388 1.25 sjg }
389