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