hash.c revision 1.32 1 1.32 rillig /* $NetBSD: hash.c,v 1.32 2020/09/13 15:15:51 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.32 rillig MAKE_RCSID("$NetBSD: hash.c,v 1.32 2020/09/13 15:15:51 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.28 rillig /* Searches the hash table for an entry corresponding to the key.
192 1.28 rillig * If no entry is found, then one is created.
193 1.1 cgd *
194 1.10 wiz * Input:
195 1.10 wiz * t Hash table to search.
196 1.10 wiz * key A hash key.
197 1.28 rillig * newPtr Filled with TRUE if new entry created,
198 1.10 wiz * FALSE otherwise.
199 1.1 cgd */
200 1.1 cgd Hash_Entry *
201 1.11 christos Hash_CreateEntry(Hash_Table *t, const char *key, Boolean *newPtr)
202 1.1 cgd {
203 1.10 wiz Hash_Entry *e;
204 1.10 wiz unsigned h;
205 1.11 christos const char *p;
206 1.1 cgd int keylen;
207 1.23 sjg int chainlen;
208 1.1 cgd struct Hash_Entry **hp;
209 1.1 cgd
210 1.1 cgd /*
211 1.1 cgd * Hash the key. As a side effect, save the length (strlen) of the
212 1.1 cgd * key in case we need to create the entry.
213 1.1 cgd */
214 1.23 sjg HASH(h, key, p);
215 1.1 cgd keylen = p - key;
216 1.1 cgd p = key;
217 1.25 sjg chainlen = 0;
218 1.25 sjg #ifdef DEBUG_HASH_LOOKUP
219 1.23 sjg if (DEBUG(HASH))
220 1.23 sjg fprintf(debug_file, "%s: %p h=%x key=%s\n", __func__,
221 1.23 sjg t, h, key);
222 1.25 sjg #endif
223 1.29 rillig for (e = t->buckets[h & t->bucketsMask]; e != NULL; e = e->next) {
224 1.23 sjg chainlen++;
225 1.1 cgd if (e->namehash == h && strcmp(e->name, p) == 0) {
226 1.1 cgd if (newPtr != NULL)
227 1.1 cgd *newPtr = FALSE;
228 1.23 sjg break;
229 1.1 cgd }
230 1.1 cgd }
231 1.25 sjg if (chainlen > t->maxchain)
232 1.25 sjg t->maxchain = chainlen;
233 1.23 sjg if (e)
234 1.23 sjg return e;
235 1.1 cgd
236 1.1 cgd /*
237 1.1 cgd * The desired entry isn't there. Before allocating a new entry,
238 1.1 cgd * expand the table if necessary (and this changes the resulting
239 1.6 christos * bucket chain).
240 1.1 cgd */
241 1.29 rillig if (t->numEntries >= rebuildLimit * t->bucketsSize)
242 1.1 cgd RebuildTable(t);
243 1.17 joerg e = bmake_malloc(sizeof(*e) + keylen);
244 1.29 rillig hp = &t->buckets[h & t->bucketsMask];
245 1.1 cgd e->next = *hp;
246 1.1 cgd *hp = e;
247 1.19 dsl Hash_SetValue(e, NULL);
248 1.1 cgd e->namehash = h;
249 1.15 christos (void)strcpy(e->name, p);
250 1.1 cgd t->numEntries++;
251 1.1 cgd
252 1.1 cgd if (newPtr != NULL)
253 1.1 cgd *newPtr = TRUE;
254 1.21 rillig return e;
255 1.1 cgd }
256 1.1 cgd
257 1.28 rillig /* Delete the given hash table entry and free memory associated with it. */
258 1.1 cgd void
259 1.10 wiz Hash_DeleteEntry(Hash_Table *t, Hash_Entry *e)
260 1.1 cgd {
261 1.10 wiz Hash_Entry **hp, *p;
262 1.1 cgd
263 1.1 cgd if (e == NULL)
264 1.1 cgd return;
265 1.29 rillig for (hp = &t->buckets[e->namehash & t->bucketsMask];
266 1.1 cgd (p = *hp) != NULL; hp = &p->next) {
267 1.1 cgd if (p == e) {
268 1.1 cgd *hp = p->next;
269 1.16 christos free(p);
270 1.1 cgd t->numEntries--;
271 1.1 cgd return;
272 1.1 cgd }
273 1.1 cgd }
274 1.15 christos (void)write(2, "bad call to Hash_DeleteEntry\n", 29);
275 1.1 cgd abort();
276 1.1 cgd }
277 1.1 cgd
278 1.28 rillig /* Sets things up for enumerating all entries in the hash table.
279 1.1 cgd *
280 1.10 wiz * Input:
281 1.10 wiz * t Table to be searched.
282 1.10 wiz * searchPtr Area in which to keep state about search.
283 1.10 wiz *
284 1.6 christos * Results:
285 1.1 cgd * The return value is the address of the first entry in
286 1.1 cgd * the hash table, or NULL if the table is empty.
287 1.1 cgd */
288 1.1 cgd Hash_Entry *
289 1.10 wiz Hash_EnumFirst(Hash_Table *t, Hash_Search *searchPtr)
290 1.1 cgd {
291 1.29 rillig searchPtr->table = t;
292 1.29 rillig searchPtr->nextBucket = 0;
293 1.29 rillig searchPtr->entry = NULL;
294 1.1 cgd return Hash_EnumNext(searchPtr);
295 1.1 cgd }
296 1.1 cgd
297 1.28 rillig /* Returns the next entry in the hash table, or NULL if the end of the table
298 1.28 rillig * is reached.
299 1.1 cgd *
300 1.10 wiz * Input:
301 1.10 wiz * searchPtr Area used to keep state about search.
302 1.1 cgd */
303 1.1 cgd Hash_Entry *
304 1.10 wiz Hash_EnumNext(Hash_Search *searchPtr)
305 1.1 cgd {
306 1.10 wiz Hash_Entry *e;
307 1.29 rillig Hash_Table *t = searchPtr->table;
308 1.1 cgd
309 1.1 cgd /*
310 1.29 rillig * The entry field points to the most recently returned
311 1.29 rillig * entry, or is NULL if we are starting up. If not NULL, we have
312 1.1 cgd * to start at the next one in the chain.
313 1.1 cgd */
314 1.29 rillig e = searchPtr->entry;
315 1.1 cgd if (e != NULL)
316 1.1 cgd e = e->next;
317 1.1 cgd /*
318 1.1 cgd * If the chain ran out, or if we are starting up, we need to
319 1.1 cgd * find the next nonempty chain.
320 1.1 cgd */
321 1.1 cgd while (e == NULL) {
322 1.29 rillig if (searchPtr->nextBucket >= t->bucketsSize)
323 1.18 dsl return NULL;
324 1.29 rillig e = t->buckets[searchPtr->nextBucket++];
325 1.1 cgd }
326 1.29 rillig searchPtr->entry = e;
327 1.21 rillig return e;
328 1.1 cgd }
329 1.1 cgd
330 1.28 rillig /* Makes a new hash table that is larger than the old one. The entire hash
331 1.28 rillig * table is moved, so any bucket numbers from the old table become invalid. */
332 1.1 cgd static void
333 1.10 wiz RebuildTable(Hash_Table *t)
334 1.1 cgd {
335 1.10 wiz Hash_Entry *e, *next = NULL, **hp, **xp;
336 1.10 wiz int i, mask;
337 1.26 rillig Hash_Entry **oldhp;
338 1.1 cgd int oldsize;
339 1.1 cgd
340 1.29 rillig oldhp = t->buckets;
341 1.29 rillig oldsize = i = t->bucketsSize;
342 1.1 cgd i <<= 1;
343 1.29 rillig t->bucketsSize = i;
344 1.29 rillig t->bucketsMask = mask = i - 1;
345 1.29 rillig t->buckets = hp = bmake_malloc(sizeof(*hp) * i);
346 1.1 cgd while (--i >= 0)
347 1.1 cgd *hp++ = NULL;
348 1.1 cgd for (hp = oldhp, i = oldsize; --i >= 0;) {
349 1.1 cgd for (e = *hp++; e != NULL; e = next) {
350 1.1 cgd next = e->next;
351 1.29 rillig xp = &t->buckets[e->namehash & mask];
352 1.1 cgd e->next = *xp;
353 1.1 cgd *xp = e;
354 1.1 cgd }
355 1.1 cgd }
356 1.16 christos free(oldhp);
357 1.23 sjg if (DEBUG(HASH))
358 1.25 sjg fprintf(debug_file, "%s: %p size=%d entries=%d maxchain=%d\n",
359 1.29 rillig __func__, t, t->bucketsSize, t->numEntries, t->maxchain);
360 1.25 sjg t->maxchain = 0;
361 1.1 cgd }
362 1.22 rillig
363 1.28 rillig void
364 1.28 rillig Hash_ForEach(Hash_Table *t, void (*action)(void *, void *), void *data)
365 1.22 rillig {
366 1.22 rillig Hash_Search search;
367 1.22 rillig Hash_Entry *e;
368 1.22 rillig
369 1.22 rillig for (e = Hash_EnumFirst(t, &search);
370 1.22 rillig e != NULL;
371 1.22 rillig e = Hash_EnumNext(&search))
372 1.22 rillig action(Hash_GetValue(e), data);
373 1.22 rillig }
374 1.25 sjg
375 1.25 sjg void
376 1.25 sjg Hash_DebugStats(Hash_Table *t, const char *name)
377 1.25 sjg {
378 1.25 sjg if (DEBUG(HASH))
379 1.25 sjg fprintf(debug_file, "Hash_Table %s: size=%d numEntries=%d maxchain=%d\n",
380 1.29 rillig name, t->bucketsSize, t->numEntries, t->maxchain);
381 1.25 sjg }
382