Home | History | Annotate | Line # | Download | only in make
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