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