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