1*4882a593Smuzhiyun /* x-hash.c - basic hash tables
2*4882a593Smuzhiyun *
3*4882a593Smuzhiyun * Copyright (c) 2002-2012 Apple Inc. All rights reserved.
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Permission is hereby granted, free of charge, to any person
6*4882a593Smuzhiyun * obtaining a copy of this software and associated documentation files
7*4882a593Smuzhiyun * (the "Software"), to deal in the Software without restriction,
8*4882a593Smuzhiyun * including without limitation the rights to use, copy, modify, merge,
9*4882a593Smuzhiyun * publish, distribute, sublicense, and/or sell copies of the Software,
10*4882a593Smuzhiyun * and to permit persons to whom the Software is furnished to do so,
11*4882a593Smuzhiyun * subject to the following conditions:
12*4882a593Smuzhiyun *
13*4882a593Smuzhiyun * The above copyright notice and this permission notice shall be
14*4882a593Smuzhiyun * included in all copies or substantial portions of the Software.
15*4882a593Smuzhiyun *
16*4882a593Smuzhiyun * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
17*4882a593Smuzhiyun * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
18*4882a593Smuzhiyun * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
19*4882a593Smuzhiyun * NONINFRINGEMENT. IN NO EVENT SHALL THE ABOVE LISTED COPYRIGHT
20*4882a593Smuzhiyun * HOLDER(S) BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
21*4882a593Smuzhiyun * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22*4882a593Smuzhiyun * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
23*4882a593Smuzhiyun * DEALINGS IN THE SOFTWARE.
24*4882a593Smuzhiyun *
25*4882a593Smuzhiyun * Except as contained in this notice, the name(s) of the above
26*4882a593Smuzhiyun * copyright holders shall not be used in advertising or otherwise to
27*4882a593Smuzhiyun * promote the sale, use or other dealings in this Software without
28*4882a593Smuzhiyun * prior written authorization.
29*4882a593Smuzhiyun */
30*4882a593Smuzhiyun
31*4882a593Smuzhiyun #ifdef HAVE_DIX_CONFIG_H
32*4882a593Smuzhiyun #include <dix-config.h>
33*4882a593Smuzhiyun #endif
34*4882a593Smuzhiyun
35*4882a593Smuzhiyun #include "x-hash.h"
36*4882a593Smuzhiyun #include "x-list.h"
37*4882a593Smuzhiyun #include <stdlib.h>
38*4882a593Smuzhiyun #include <assert.h>
39*4882a593Smuzhiyun
40*4882a593Smuzhiyun #define ARRAY_SIZE(a) (sizeof((a)) / sizeof((a)[0]))
41*4882a593Smuzhiyun
42*4882a593Smuzhiyun struct x_hash_table_struct {
43*4882a593Smuzhiyun unsigned int bucket_index;
44*4882a593Smuzhiyun unsigned int total_keys;
45*4882a593Smuzhiyun x_list **buckets;
46*4882a593Smuzhiyun
47*4882a593Smuzhiyun x_hash_fun *hash_key;
48*4882a593Smuzhiyun x_compare_fun *compare_keys;
49*4882a593Smuzhiyun x_destroy_fun *destroy_key;
50*4882a593Smuzhiyun x_destroy_fun *destroy_value;
51*4882a593Smuzhiyun };
52*4882a593Smuzhiyun
53*4882a593Smuzhiyun #define ITEM_NEW(k, v) X_PFX(list_prepend) ((x_list *)(k), v)
54*4882a593Smuzhiyun #define ITEM_FREE(i) X_PFX(list_free_1) (i)
55*4882a593Smuzhiyun #define ITEM_KEY(i) ((void *)(i)->next)
56*4882a593Smuzhiyun #define ITEM_VALUE(i) ((i)->data)
57*4882a593Smuzhiyun
58*4882a593Smuzhiyun #define SPLIT_THRESHOLD_FACTOR 2
59*4882a593Smuzhiyun
60*4882a593Smuzhiyun /* http://planetmath.org/?op=getobj&from=objects&name=GoodHashTablePrimes */
61*4882a593Smuzhiyun static const unsigned int bucket_sizes[] = {
62*4882a593Smuzhiyun 29, 53, 97, 193, 389, 769, 1543,
63*4882a593Smuzhiyun 3079, 6151, 12289, 24593, 49157,
64*4882a593Smuzhiyun 98317, 196613, 393241, 786433, 1572869, 3145739, 6291469,
65*4882a593Smuzhiyun 12582917,
66*4882a593Smuzhiyun 25165843, 50331653, 100663319, 201326611, 402653189, 805306457,
67*4882a593Smuzhiyun 1610612741
68*4882a593Smuzhiyun };
69*4882a593Smuzhiyun
70*4882a593Smuzhiyun static inline unsigned int
hash_table_total_buckets(x_hash_table * h)71*4882a593Smuzhiyun hash_table_total_buckets(x_hash_table *h)
72*4882a593Smuzhiyun {
73*4882a593Smuzhiyun return bucket_sizes[h->bucket_index];
74*4882a593Smuzhiyun }
75*4882a593Smuzhiyun
76*4882a593Smuzhiyun static inline void
hash_table_destroy_item(x_hash_table * h,void * k,void * v)77*4882a593Smuzhiyun hash_table_destroy_item(x_hash_table *h, void *k, void *v)
78*4882a593Smuzhiyun {
79*4882a593Smuzhiyun if (h->destroy_key != 0)
80*4882a593Smuzhiyun (*h->destroy_key)(k);
81*4882a593Smuzhiyun
82*4882a593Smuzhiyun if (h->destroy_value != 0)
83*4882a593Smuzhiyun (*h->destroy_value)(v);
84*4882a593Smuzhiyun }
85*4882a593Smuzhiyun
86*4882a593Smuzhiyun static inline size_t
hash_table_hash_key(x_hash_table * h,void * k)87*4882a593Smuzhiyun hash_table_hash_key(x_hash_table *h, void *k)
88*4882a593Smuzhiyun {
89*4882a593Smuzhiyun if (h->hash_key != 0)
90*4882a593Smuzhiyun return (*h->hash_key)(k);
91*4882a593Smuzhiyun else
92*4882a593Smuzhiyun return (size_t)k;
93*4882a593Smuzhiyun }
94*4882a593Smuzhiyun
95*4882a593Smuzhiyun static inline int
hash_table_compare_keys(x_hash_table * h,void * k1,void * k2)96*4882a593Smuzhiyun hash_table_compare_keys(x_hash_table *h, void *k1, void *k2)
97*4882a593Smuzhiyun {
98*4882a593Smuzhiyun if (h->compare_keys == 0)
99*4882a593Smuzhiyun return k1 == k2;
100*4882a593Smuzhiyun else
101*4882a593Smuzhiyun return (*h->compare_keys)(k1, k2) == 0;
102*4882a593Smuzhiyun }
103*4882a593Smuzhiyun
104*4882a593Smuzhiyun static void
hash_table_split(x_hash_table * h)105*4882a593Smuzhiyun hash_table_split(x_hash_table *h)
106*4882a593Smuzhiyun {
107*4882a593Smuzhiyun x_list **new, **old;
108*4882a593Smuzhiyun x_list *node, *item, *next;
109*4882a593Smuzhiyun int new_size, old_size;
110*4882a593Smuzhiyun size_t b;
111*4882a593Smuzhiyun int i;
112*4882a593Smuzhiyun
113*4882a593Smuzhiyun if (h->bucket_index == ARRAY_SIZE(bucket_sizes) - 1)
114*4882a593Smuzhiyun return;
115*4882a593Smuzhiyun
116*4882a593Smuzhiyun old_size = hash_table_total_buckets(h);
117*4882a593Smuzhiyun old = h->buckets;
118*4882a593Smuzhiyun
119*4882a593Smuzhiyun h->bucket_index++;
120*4882a593Smuzhiyun
121*4882a593Smuzhiyun new_size = hash_table_total_buckets(h);
122*4882a593Smuzhiyun new = calloc(new_size, sizeof(x_list *));
123*4882a593Smuzhiyun
124*4882a593Smuzhiyun if (new == 0) {
125*4882a593Smuzhiyun h->bucket_index--;
126*4882a593Smuzhiyun return;
127*4882a593Smuzhiyun }
128*4882a593Smuzhiyun
129*4882a593Smuzhiyun for (i = 0; i < old_size; i++) {
130*4882a593Smuzhiyun for (node = old[i]; node != 0; node = next) {
131*4882a593Smuzhiyun next = node->next;
132*4882a593Smuzhiyun item = node->data;
133*4882a593Smuzhiyun
134*4882a593Smuzhiyun b = hash_table_hash_key(h, ITEM_KEY(item)) % new_size;
135*4882a593Smuzhiyun
136*4882a593Smuzhiyun node->next = new[b];
137*4882a593Smuzhiyun new[b] = node;
138*4882a593Smuzhiyun }
139*4882a593Smuzhiyun }
140*4882a593Smuzhiyun
141*4882a593Smuzhiyun h->buckets = new;
142*4882a593Smuzhiyun free(old);
143*4882a593Smuzhiyun }
144*4882a593Smuzhiyun
145*4882a593Smuzhiyun X_EXTERN x_hash_table *
X_PFX(hash_table_new)146*4882a593Smuzhiyun X_PFX(hash_table_new) (x_hash_fun * hash,
147*4882a593Smuzhiyun x_compare_fun * compare,
148*4882a593Smuzhiyun x_destroy_fun * key_destroy,
149*4882a593Smuzhiyun x_destroy_fun * value_destroy) {
150*4882a593Smuzhiyun x_hash_table *h;
151*4882a593Smuzhiyun
152*4882a593Smuzhiyun h = calloc(1, sizeof(x_hash_table));
153*4882a593Smuzhiyun if (h == 0)
154*4882a593Smuzhiyun return 0;
155*4882a593Smuzhiyun
156*4882a593Smuzhiyun h->bucket_index = 0;
157*4882a593Smuzhiyun h->buckets = calloc(hash_table_total_buckets(h), sizeof(x_list *));
158*4882a593Smuzhiyun
159*4882a593Smuzhiyun if (h->buckets == 0) {
160*4882a593Smuzhiyun free(h);
161*4882a593Smuzhiyun return 0;
162*4882a593Smuzhiyun }
163*4882a593Smuzhiyun
164*4882a593Smuzhiyun h->hash_key = hash;
165*4882a593Smuzhiyun h->compare_keys = compare;
166*4882a593Smuzhiyun h->destroy_key = key_destroy;
167*4882a593Smuzhiyun h->destroy_value = value_destroy;
168*4882a593Smuzhiyun
169*4882a593Smuzhiyun return h;
170*4882a593Smuzhiyun }
171*4882a593Smuzhiyun
172*4882a593Smuzhiyun X_EXTERN void
X_PFX(hash_table_free)173*4882a593Smuzhiyun X_PFX(hash_table_free) (x_hash_table * h) {
174*4882a593Smuzhiyun int n, i;
175*4882a593Smuzhiyun x_list *node, *item;
176*4882a593Smuzhiyun
177*4882a593Smuzhiyun assert(h != NULL);
178*4882a593Smuzhiyun
179*4882a593Smuzhiyun n = hash_table_total_buckets(h);
180*4882a593Smuzhiyun
181*4882a593Smuzhiyun for (i = 0; i < n; i++) {
182*4882a593Smuzhiyun for (node = h->buckets[i]; node != 0; node = node->next) {
183*4882a593Smuzhiyun item = node->data;
184*4882a593Smuzhiyun hash_table_destroy_item(h, ITEM_KEY(item), ITEM_VALUE(item));
185*4882a593Smuzhiyun ITEM_FREE(item);
186*4882a593Smuzhiyun }
187*4882a593Smuzhiyun X_PFX(list_free) (h->buckets[i]);
188*4882a593Smuzhiyun }
189*4882a593Smuzhiyun
190*4882a593Smuzhiyun free(h->buckets);
191*4882a593Smuzhiyun free(h);
192*4882a593Smuzhiyun }
193*4882a593Smuzhiyun
194*4882a593Smuzhiyun X_EXTERN unsigned int
X_PFX(hash_table_size)195*4882a593Smuzhiyun X_PFX(hash_table_size) (x_hash_table * h) {
196*4882a593Smuzhiyun assert(h != NULL);
197*4882a593Smuzhiyun
198*4882a593Smuzhiyun return h->total_keys;
199*4882a593Smuzhiyun }
200*4882a593Smuzhiyun
201*4882a593Smuzhiyun static void
hash_table_modify(x_hash_table * h,void * k,void * v,int replace)202*4882a593Smuzhiyun hash_table_modify(x_hash_table *h, void *k, void *v, int replace)
203*4882a593Smuzhiyun {
204*4882a593Smuzhiyun size_t hash_value;
205*4882a593Smuzhiyun x_list *node, *item;
206*4882a593Smuzhiyun
207*4882a593Smuzhiyun assert(h != NULL);
208*4882a593Smuzhiyun
209*4882a593Smuzhiyun hash_value = hash_table_hash_key(h, k);
210*4882a593Smuzhiyun
211*4882a593Smuzhiyun for (node = h->buckets[hash_value % hash_table_total_buckets(h)];
212*4882a593Smuzhiyun node != 0; node = node->next) {
213*4882a593Smuzhiyun item = node->data;
214*4882a593Smuzhiyun
215*4882a593Smuzhiyun if (hash_table_compare_keys(h, ITEM_KEY(item), k)) {
216*4882a593Smuzhiyun if (replace) {
217*4882a593Smuzhiyun hash_table_destroy_item(h, ITEM_KEY(item),
218*4882a593Smuzhiyun ITEM_VALUE(item));
219*4882a593Smuzhiyun item->next = k;
220*4882a593Smuzhiyun ITEM_VALUE(item) = v;
221*4882a593Smuzhiyun }
222*4882a593Smuzhiyun else {
223*4882a593Smuzhiyun hash_table_destroy_item(h, k, ITEM_VALUE(item));
224*4882a593Smuzhiyun ITEM_VALUE(item) = v;
225*4882a593Smuzhiyun }
226*4882a593Smuzhiyun return;
227*4882a593Smuzhiyun }
228*4882a593Smuzhiyun }
229*4882a593Smuzhiyun
230*4882a593Smuzhiyun /* Key isn't already in the table. Insert it. */
231*4882a593Smuzhiyun
232*4882a593Smuzhiyun if (h->total_keys + 1
233*4882a593Smuzhiyun > hash_table_total_buckets(h) * SPLIT_THRESHOLD_FACTOR) {
234*4882a593Smuzhiyun hash_table_split(h);
235*4882a593Smuzhiyun }
236*4882a593Smuzhiyun
237*4882a593Smuzhiyun hash_value = hash_value % hash_table_total_buckets(h);
238*4882a593Smuzhiyun h->buckets[hash_value] = X_PFX(list_prepend) (h->buckets[hash_value],
239*4882a593Smuzhiyun ITEM_NEW(k, v));
240*4882a593Smuzhiyun h->total_keys++;
241*4882a593Smuzhiyun }
242*4882a593Smuzhiyun
243*4882a593Smuzhiyun X_EXTERN void
X_PFX(hash_table_insert)244*4882a593Smuzhiyun X_PFX(hash_table_insert) (x_hash_table * h, void *k, void *v) {
245*4882a593Smuzhiyun hash_table_modify(h, k, v, 0);
246*4882a593Smuzhiyun }
247*4882a593Smuzhiyun
248*4882a593Smuzhiyun X_EXTERN void
X_PFX(hash_table_replace)249*4882a593Smuzhiyun X_PFX(hash_table_replace) (x_hash_table * h, void *k, void *v) {
250*4882a593Smuzhiyun hash_table_modify(h, k, v, 1);
251*4882a593Smuzhiyun }
252*4882a593Smuzhiyun
253*4882a593Smuzhiyun X_EXTERN void
X_PFX(hash_table_remove)254*4882a593Smuzhiyun X_PFX(hash_table_remove) (x_hash_table * h, void *k) {
255*4882a593Smuzhiyun size_t hash_value;
256*4882a593Smuzhiyun x_list **ptr, *item;
257*4882a593Smuzhiyun
258*4882a593Smuzhiyun assert(h != NULL);
259*4882a593Smuzhiyun
260*4882a593Smuzhiyun hash_value = hash_table_hash_key(h, k);
261*4882a593Smuzhiyun
262*4882a593Smuzhiyun for (ptr = &h->buckets[hash_value % hash_table_total_buckets(h)];
263*4882a593Smuzhiyun *ptr != 0; ptr = &((*ptr)->next)) {
264*4882a593Smuzhiyun item = (*ptr)->data;
265*4882a593Smuzhiyun
266*4882a593Smuzhiyun if (hash_table_compare_keys(h, ITEM_KEY(item), k)) {
267*4882a593Smuzhiyun hash_table_destroy_item(h, ITEM_KEY(item), ITEM_VALUE(item));
268*4882a593Smuzhiyun ITEM_FREE(item);
269*4882a593Smuzhiyun item = *ptr;
270*4882a593Smuzhiyun *ptr = item->next;
271*4882a593Smuzhiyun X_PFX(list_free_1) (item);
272*4882a593Smuzhiyun h->total_keys--;
273*4882a593Smuzhiyun return;
274*4882a593Smuzhiyun }
275*4882a593Smuzhiyun }
276*4882a593Smuzhiyun }
277*4882a593Smuzhiyun
278*4882a593Smuzhiyun X_EXTERN void *
X_PFX(hash_table_lookup)279*4882a593Smuzhiyun X_PFX(hash_table_lookup) (x_hash_table * h, void *k, void **k_ret) {
280*4882a593Smuzhiyun size_t hash_value;
281*4882a593Smuzhiyun x_list *node, *item;
282*4882a593Smuzhiyun
283*4882a593Smuzhiyun assert(h != NULL);
284*4882a593Smuzhiyun
285*4882a593Smuzhiyun hash_value = hash_table_hash_key(h, k);
286*4882a593Smuzhiyun
287*4882a593Smuzhiyun for (node = h->buckets[hash_value % hash_table_total_buckets(h)];
288*4882a593Smuzhiyun node != 0; node = node->next) {
289*4882a593Smuzhiyun item = node->data;
290*4882a593Smuzhiyun
291*4882a593Smuzhiyun if (hash_table_compare_keys(h, ITEM_KEY(item), k)) {
292*4882a593Smuzhiyun if (k_ret != 0)
293*4882a593Smuzhiyun *k_ret = ITEM_KEY(item);
294*4882a593Smuzhiyun
295*4882a593Smuzhiyun return ITEM_VALUE(item);
296*4882a593Smuzhiyun }
297*4882a593Smuzhiyun }
298*4882a593Smuzhiyun
299*4882a593Smuzhiyun if (k_ret != 0)
300*4882a593Smuzhiyun *k_ret = 0;
301*4882a593Smuzhiyun
302*4882a593Smuzhiyun return 0;
303*4882a593Smuzhiyun }
304*4882a593Smuzhiyun
305*4882a593Smuzhiyun X_EXTERN void
X_PFX(hash_table_foreach)306*4882a593Smuzhiyun X_PFX(hash_table_foreach) (x_hash_table * h,
307*4882a593Smuzhiyun x_hash_foreach_fun * fun, void *data) {
308*4882a593Smuzhiyun int i, n;
309*4882a593Smuzhiyun x_list *node, *item;
310*4882a593Smuzhiyun
311*4882a593Smuzhiyun assert(h != NULL);
312*4882a593Smuzhiyun
313*4882a593Smuzhiyun n = hash_table_total_buckets(h);
314*4882a593Smuzhiyun
315*4882a593Smuzhiyun for (i = 0; i < n; i++) {
316*4882a593Smuzhiyun for (node = h->buckets[i]; node != 0; node = node->next) {
317*4882a593Smuzhiyun item = node->data;
318*4882a593Smuzhiyun (*fun)(ITEM_KEY(item), ITEM_VALUE(item), data);
319*4882a593Smuzhiyun }
320*4882a593Smuzhiyun }
321*4882a593Smuzhiyun }
322