Home | History | Annotate | Line # | Download | only in stdlib
hcreate.c revision 1.12
      1 /* $NetBSD: hcreate.c,v 1.12 2022/03/12 17:31:39 christos Exp $ */
      2 
      3 /*
      4  * Copyright (c) 2001 Christopher G. Demetriou
      5  * All rights reserved.
      6  *
      7  * Redistribution and use in source and binary forms, with or without
      8  * modification, are permitted provided that the following conditions
      9  * are met:
     10  * 1. Redistributions of source code must retain the above copyright
     11  *    notice, this list of conditions and the following disclaimer.
     12  * 2. Redistributions in binary form must reproduce the above copyright
     13  *    notice, this list of conditions and the following disclaimer in the
     14  *    documentation and/or other materials provided with the distribution.
     15  * 3. The name of the author may not be used to endorse or promote products
     16  *    derived from this software without specific prior written permission.
     17  *
     18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     19  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     20  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     21  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     22  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     23  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     24  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     27  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     28  *
     29  * <<Id: LICENSE,v 1.2 2000/06/14 15:57:33 cgd Exp>>
     30  */
     31 
     32 /*
     33  * hcreate() / hsearch() / hdestroy()
     34  *
     35  * SysV/XPG4 hash table functions.
     36  *
     37  * Implementation done based on NetBSD manual page and Solaris manual page,
     38  * plus my own personal experience about how they're supposed to work.
     39  *
     40  * I tried to look at Knuth (as cited by the Solaris manual page), but
     41  * nobody had a copy in the office, so...
     42  */
     43 
     44 #include <sys/cdefs.h>
     45 #if defined(LIBC_SCCS) && !defined(lint)
     46 __RCSID("$NetBSD: hcreate.c,v 1.12 2022/03/12 17:31:39 christos Exp $");
     47 #endif /* LIBC_SCCS and not lint */
     48 
     49 #if !defined(lint)
     50 __COPYRIGHT("@(#) Copyright (c) 2001\
     51  Christopher G. Demetriou.  All rights reserved.");
     52 #endif /* not lint */
     53 
     54 #include "namespace.h"
     55 #include <assert.h>
     56 #include <errno.h>
     57 #include <inttypes.h>
     58 #include <search.h>
     59 #include <stdlib.h>
     60 #include <string.h>
     61 #include <sys/queue.h>
     62 
     63 /*
     64  * DO NOT MAKE THIS STRUCTURE LARGER THAN 32 BYTES (4 ptrs on 64-bit
     65  * ptr machine) without adjusting MAX_BUCKETS_LG2 below.
     66  */
     67 struct internal_entry {
     68 	SLIST_ENTRY(internal_entry) link;
     69 	ENTRY ent;
     70 };
     71 SLIST_HEAD(internal_head, internal_entry);
     72 
     73 #define	MIN_BUCKETS_LG2	4
     74 #define	MIN_BUCKETS	(1 << MIN_BUCKETS_LG2)
     75 
     76 /*
     77  * max * sizeof internal_entry must fit into size_t.
     78  * assumes internal_entry is <= 32 (2^5) bytes.
     79  */
     80 #define	MAX_BUCKETS_LG2	(sizeof (size_t) * 8 - 1 - 5)
     81 #define	MAX_BUCKETS	((size_t)1 << MAX_BUCKETS_LG2)
     82 
     83 /* Default hash function, from db/hash/hash_func.c */
     84 extern u_int32_t (*__default_hash)(const void *, size_t);
     85 
     86 static struct hsearch_data htable;
     87 
     88 int
     89 hcreate(size_t nel)
     90 {
     91 	_DIAGASSERT(htable.table == NULL);
     92 
     93 	/* Make sure this isn't called when a table already exists. */
     94 	if (htable.table != NULL) {
     95 		errno = EINVAL;
     96 		return 0;
     97 	}
     98 	return hcreate_r(nel, &htable);
     99 }
    100 
    101 int
    102 hcreate_r(size_t nel, struct hsearch_data *head)
    103 {
    104 	struct internal_head *table;
    105 	size_t idx;
    106 	unsigned int p2;
    107 
    108 	/* If nel is too small, make it min sized. */
    109 	if (nel < MIN_BUCKETS)
    110 		nel = MIN_BUCKETS;
    111 
    112 	/* If it's too large, cap it. */
    113 	if (nel > MAX_BUCKETS)
    114 		nel = MAX_BUCKETS;
    115 
    116 	/* If it's is not a power of two in size, round up. */
    117 	if ((nel & (nel - 1)) != 0) {
    118 		for (p2 = 0; nel != 0; p2++)
    119 			nel >>= 1;
    120 		_DIAGASSERT(p2 <= MAX_BUCKETS_LG2);
    121 		nel = 1 << p2;
    122 	}
    123 
    124 	/* Allocate the table. */
    125 	head->size = nel;
    126 	head->filled = 0;
    127 	errno = reallocarr(&table, nel, sizeof(*table));
    128 	if (errno)
    129 		return 0;
    130 	head->table = (void *)table;
    131 
    132 	/* Initialize it. */
    133 	for (idx = 0; idx < nel; idx++)
    134 		SLIST_INIT(&table[idx]);
    135 
    136 	return 1;
    137 }
    138 
    139 void
    140 hdestroy1(void (*freekey)(void *), void (*freedata)(void *))
    141 {
    142 	_DIAGASSERT(htable.table != NULL);
    143 	hdestroy1_r(&htable, freekey, freedata);
    144 }
    145 
    146 void
    147 hdestroy(void)
    148 {
    149 	hdestroy1(NULL, NULL);
    150 }
    151 
    152 void
    153 hdestroy1_r(struct hsearch_data *head, void (*freekey)(void *),
    154     void (*freedata)(void *))
    155 {
    156 	struct internal_entry *ie;
    157 	size_t idx;
    158 	void *p;
    159 	struct internal_head *table;
    160 
    161 	if (head == NULL)
    162 		return;
    163 
    164 	p = head->table;
    165 	head->table = NULL;
    166 	table = p;
    167 
    168 	for (idx = 0; idx < head->size; idx++) {
    169 		while (!SLIST_EMPTY(&table[idx])) {
    170 			ie = SLIST_FIRST(&table[idx]);
    171 			SLIST_REMOVE_HEAD(&table[idx], link);
    172 			if (freekey)
    173 				(*freekey)(ie->ent.key);
    174 			if (freedata)
    175 				(*freedata)(ie->ent.data);
    176 			free(ie);
    177 		}
    178 	}
    179 	free(table);
    180 }
    181 
    182 void
    183 hdestroy_r(struct hsearch_data *head)
    184 {
    185 	hdestroy1_r(head, NULL, NULL);
    186 }
    187 
    188 ENTRY *
    189 hsearch(ENTRY item, ACTION action)
    190 {
    191 	ENTRY *ep;
    192 	_DIAGASSERT(htable.table != NULL);
    193 	(void)hsearch_r(item, action, &ep, &htable);
    194 	return ep;
    195 }
    196 
    197 int
    198 hsearch_r(ENTRY item, ACTION action, ENTRY **itemp, struct hsearch_data *head)
    199 {
    200 	struct internal_head *table, *chain;
    201 	struct internal_entry *ie;
    202 	uint32_t hashval;
    203 	size_t len;
    204 	void *p;
    205 
    206 	_DIAGASSERT(item.key != NULL);
    207 	_DIAGASSERT(action == ENTER || action == FIND);
    208 
    209 	p = head->table;
    210 	table = p;
    211 
    212 	len = strlen(item.key);
    213 	hashval = (*__default_hash)(item.key, len);
    214 
    215 	chain = &table[hashval & (head->size - 1)];
    216 	ie = SLIST_FIRST(chain);
    217 	while (ie != NULL) {
    218 		if (strcmp(ie->ent.key, item.key) == 0)
    219 			break;
    220 		ie = SLIST_NEXT(ie, link);
    221 	}
    222 
    223 	if (ie != NULL) {
    224 		*itemp = &ie->ent;
    225 		return 1;
    226 	} else if (action == FIND) {
    227 		*itemp = NULL;
    228 		errno = ESRCH;
    229 		return 1;
    230 	}
    231 
    232 	ie = malloc(sizeof *ie);
    233 	if (ie == NULL)
    234 		return 0;
    235 	ie->ent.key = item.key;
    236 	ie->ent.data = item.data;
    237 
    238 	SLIST_INSERT_HEAD(chain, ie, link);
    239 	*itemp = &ie->ent;
    240 	head->filled++;
    241 	return 1;
    242 }
    243