/src/jansson/src/hashtable.c
Line | Count | Source |
1 | | /* |
2 | | * Copyright (c) 2009-2016 Petri Lehtinen <petri@digip.org> |
3 | | * |
4 | | * This library is free software; you can redistribute it and/or modify |
5 | | * it under the terms of the MIT license. See LICENSE for details. |
6 | | */ |
7 | | |
8 | | #ifdef HAVE_CONFIG_H |
9 | | #include <jansson_private_config.h> |
10 | | #endif |
11 | | |
12 | | #include <stdlib.h> |
13 | | #include <string.h> |
14 | | |
15 | | #ifdef HAVE_STDINT_H |
16 | | #include <stdint.h> |
17 | | #endif |
18 | | |
19 | | #include "hashtable.h" |
20 | | #include "jansson_private.h" /* for container_of() */ |
21 | | #include <jansson_config.h> /* for JSON_INLINE */ |
22 | | |
23 | | #ifndef INITIAL_HASHTABLE_ORDER |
24 | | #define INITIAL_HASHTABLE_ORDER 3 |
25 | | #endif |
26 | | |
27 | | typedef struct hashtable_list list_t; |
28 | | typedef struct hashtable_pair pair_t; |
29 | | typedef struct hashtable_bucket bucket_t; |
30 | | |
31 | | extern volatile uint32_t hashtable_seed; |
32 | | |
33 | | /* Implementation of the hash function */ |
34 | | #include "lookup3.h" |
35 | | |
36 | 0 | #define list_to_pair(list_) container_of(list_, pair_t, list) |
37 | 0 | #define ordered_list_to_pair(list_) container_of(list_, pair_t, ordered_list) |
38 | 0 | #define hash_str(key, len) ((size_t)hashlittle((key), len, hashtable_seed)) |
39 | | |
40 | 0 | static JSON_INLINE void list_init(list_t *list) { |
41 | 0 | list->next = list; |
42 | 0 | list->prev = list; |
43 | 0 | } |
44 | | |
45 | 0 | static JSON_INLINE void list_insert(list_t *list, list_t *node) { |
46 | 0 | node->next = list; |
47 | 0 | node->prev = list->prev; |
48 | 0 | list->prev->next = node; |
49 | 0 | list->prev = node; |
50 | 0 | } |
51 | | |
52 | 0 | static JSON_INLINE void list_remove(list_t *list) { |
53 | 0 | list->prev->next = list->next; |
54 | 0 | list->next->prev = list->prev; |
55 | 0 | } |
56 | | |
57 | 0 | static JSON_INLINE int bucket_is_empty(hashtable_t *hashtable, bucket_t *bucket) { |
58 | 0 | return bucket->first == &hashtable->list && bucket->first == bucket->last; |
59 | 0 | } |
60 | | |
61 | 0 | static void insert_to_bucket(hashtable_t *hashtable, bucket_t *bucket, list_t *list) { |
62 | 0 | if (bucket_is_empty(hashtable, bucket)) { |
63 | 0 | list_insert(&hashtable->list, list); |
64 | 0 | bucket->first = bucket->last = list; |
65 | 0 | } else { |
66 | 0 | list_insert(bucket->first, list); |
67 | 0 | bucket->first = list; |
68 | 0 | } |
69 | 0 | } |
70 | | |
71 | | static pair_t *hashtable_find_pair(hashtable_t *hashtable, bucket_t *bucket, |
72 | 0 | const char *key, size_t key_len, size_t hash) { |
73 | 0 | list_t *list; |
74 | 0 | pair_t *pair; |
75 | |
|
76 | 0 | if (bucket_is_empty(hashtable, bucket)) |
77 | 0 | return NULL; |
78 | | |
79 | 0 | list = bucket->first; |
80 | 0 | while (1) { |
81 | 0 | pair = list_to_pair(list); |
82 | 0 | if (pair->hash == hash && pair->key_len == key_len && |
83 | 0 | memcmp(pair->key, key, key_len) == 0) |
84 | 0 | return pair; |
85 | | |
86 | 0 | if (list == bucket->last) |
87 | 0 | break; |
88 | | |
89 | 0 | list = list->next; |
90 | 0 | } |
91 | | |
92 | 0 | return NULL; |
93 | 0 | } |
94 | | |
95 | | /* returns 0 on success, -1 if key was not found */ |
96 | | static int hashtable_do_del(hashtable_t *hashtable, const char *key, size_t key_len, |
97 | 0 | size_t hash) { |
98 | 0 | pair_t *pair; |
99 | 0 | bucket_t *bucket; |
100 | 0 | size_t index; |
101 | |
|
102 | 0 | index = hash & hashmask(hashtable->order); |
103 | 0 | bucket = &hashtable->buckets[index]; |
104 | |
|
105 | 0 | pair = hashtable_find_pair(hashtable, bucket, key, key_len, hash); |
106 | 0 | if (!pair) |
107 | 0 | return -1; |
108 | | |
109 | 0 | if (&pair->list == bucket->first && &pair->list == bucket->last) |
110 | 0 | bucket->first = bucket->last = &hashtable->list; |
111 | | |
112 | 0 | else if (&pair->list == bucket->first) |
113 | 0 | bucket->first = pair->list.next; |
114 | | |
115 | 0 | else if (&pair->list == bucket->last) |
116 | 0 | bucket->last = pair->list.prev; |
117 | |
|
118 | 0 | list_remove(&pair->list); |
119 | 0 | list_remove(&pair->ordered_list); |
120 | 0 | json_decref(pair->value); |
121 | |
|
122 | 0 | jsonp_free(pair); |
123 | 0 | hashtable->size--; |
124 | |
|
125 | 0 | return 0; |
126 | 0 | } |
127 | | |
128 | 0 | static void hashtable_do_clear(hashtable_t *hashtable) { |
129 | 0 | list_t *list, *next; |
130 | 0 | pair_t *pair; |
131 | |
|
132 | 0 | for (list = hashtable->list.next; list != &hashtable->list; list = next) { |
133 | 0 | next = list->next; |
134 | 0 | pair = list_to_pair(list); |
135 | 0 | json_decref(pair->value); |
136 | 0 | jsonp_free(pair); |
137 | 0 | } |
138 | 0 | } |
139 | | |
140 | 0 | static int hashtable_do_rehash(hashtable_t *hashtable) { |
141 | 0 | list_t *list, *next; |
142 | 0 | pair_t *pair; |
143 | 0 | size_t i, index, new_size, new_order; |
144 | 0 | struct hashtable_bucket *new_buckets; |
145 | |
|
146 | 0 | new_order = hashtable->order + 1; |
147 | 0 | new_size = hashsize(new_order); |
148 | |
|
149 | 0 | new_buckets = jsonp_malloc(new_size * sizeof(bucket_t)); |
150 | 0 | if (!new_buckets) |
151 | 0 | return -1; |
152 | | |
153 | 0 | jsonp_free(hashtable->buckets); |
154 | 0 | hashtable->buckets = new_buckets; |
155 | 0 | hashtable->order = new_order; |
156 | |
|
157 | 0 | for (i = 0; i < new_size; i++) { |
158 | 0 | hashtable->buckets[i].first = hashtable->buckets[i].last = &hashtable->list; |
159 | 0 | } |
160 | |
|
161 | 0 | list = hashtable->list.next; |
162 | 0 | list_init(&hashtable->list); |
163 | |
|
164 | 0 | for (; list != &hashtable->list; list = next) { |
165 | 0 | next = list->next; |
166 | 0 | pair = list_to_pair(list); |
167 | 0 | index = pair->hash % new_size; |
168 | 0 | insert_to_bucket(hashtable, &hashtable->buckets[index], &pair->list); |
169 | 0 | } |
170 | |
|
171 | 0 | return 0; |
172 | 0 | } |
173 | | |
174 | 0 | int hashtable_init(hashtable_t *hashtable) { |
175 | 0 | size_t i; |
176 | |
|
177 | 0 | hashtable->size = 0; |
178 | 0 | hashtable->order = INITIAL_HASHTABLE_ORDER; |
179 | 0 | hashtable->buckets = jsonp_malloc(hashsize(hashtable->order) * sizeof(bucket_t)); |
180 | 0 | if (!hashtable->buckets) |
181 | 0 | return -1; |
182 | | |
183 | 0 | list_init(&hashtable->list); |
184 | 0 | list_init(&hashtable->ordered_list); |
185 | |
|
186 | 0 | for (i = 0; i < hashsize(hashtable->order); i++) { |
187 | 0 | hashtable->buckets[i].first = hashtable->buckets[i].last = &hashtable->list; |
188 | 0 | } |
189 | |
|
190 | 0 | return 0; |
191 | 0 | } |
192 | | |
193 | 0 | void hashtable_close(hashtable_t *hashtable) { |
194 | 0 | hashtable_do_clear(hashtable); |
195 | 0 | jsonp_free(hashtable->buckets); |
196 | 0 | } |
197 | | |
198 | 0 | static pair_t *init_pair(json_t *value, const char *key, size_t key_len, size_t hash) { |
199 | 0 | pair_t *pair; |
200 | | |
201 | | /* offsetof(...) returns the size of pair_t without the last, |
202 | | flexible member. This way, the correct amount is |
203 | | allocated. */ |
204 | |
|
205 | 0 | if (key_len >= (size_t)-1 - offsetof(pair_t, key)) { |
206 | | /* Avoid an overflow if the key is very long */ |
207 | 0 | return NULL; |
208 | 0 | } |
209 | | |
210 | 0 | pair = jsonp_malloc(offsetof(pair_t, key) + key_len + 1); |
211 | |
|
212 | 0 | if (!pair) |
213 | 0 | return NULL; |
214 | | |
215 | 0 | pair->hash = hash; |
216 | 0 | memcpy(pair->key, key, key_len); |
217 | 0 | pair->key[key_len] = '\0'; |
218 | 0 | pair->key_len = key_len; |
219 | 0 | pair->value = value; |
220 | |
|
221 | 0 | list_init(&pair->list); |
222 | 0 | list_init(&pair->ordered_list); |
223 | |
|
224 | 0 | return pair; |
225 | 0 | } |
226 | | |
227 | | int hashtable_set(hashtable_t *hashtable, const char *key, size_t key_len, |
228 | 0 | json_t *value) { |
229 | 0 | pair_t *pair; |
230 | 0 | bucket_t *bucket; |
231 | 0 | size_t hash, index; |
232 | | |
233 | | /* rehash if the load ratio exceeds 1 */ |
234 | 0 | if (hashtable->size >= hashsize(hashtable->order)) |
235 | 0 | if (hashtable_do_rehash(hashtable)) |
236 | 0 | return -1; |
237 | | |
238 | 0 | hash = hash_str(key, key_len); |
239 | 0 | index = hash & hashmask(hashtable->order); |
240 | 0 | bucket = &hashtable->buckets[index]; |
241 | 0 | pair = hashtable_find_pair(hashtable, bucket, key, key_len, hash); |
242 | |
|
243 | 0 | if (pair) { |
244 | 0 | json_decref(pair->value); |
245 | 0 | pair->value = value; |
246 | 0 | } else { |
247 | 0 | pair = init_pair(value, key, key_len, hash); |
248 | |
|
249 | 0 | if (!pair) |
250 | 0 | return -1; |
251 | | |
252 | 0 | insert_to_bucket(hashtable, bucket, &pair->list); |
253 | 0 | list_insert(&hashtable->ordered_list, &pair->ordered_list); |
254 | |
|
255 | 0 | hashtable->size++; |
256 | 0 | } |
257 | 0 | return 0; |
258 | 0 | } |
259 | | |
260 | 0 | void *hashtable_get(hashtable_t *hashtable, const char *key, size_t key_len) { |
261 | 0 | pair_t *pair; |
262 | 0 | size_t hash; |
263 | 0 | bucket_t *bucket; |
264 | |
|
265 | 0 | hash = hash_str(key, key_len); |
266 | 0 | bucket = &hashtable->buckets[hash & hashmask(hashtable->order)]; |
267 | |
|
268 | 0 | pair = hashtable_find_pair(hashtable, bucket, key, key_len, hash); |
269 | 0 | if (!pair) |
270 | 0 | return NULL; |
271 | | |
272 | 0 | return pair->value; |
273 | 0 | } |
274 | | |
275 | 0 | int hashtable_del(hashtable_t *hashtable, const char *key, size_t key_len) { |
276 | 0 | size_t hash = hash_str(key, key_len); |
277 | 0 | return hashtable_do_del(hashtable, key, key_len, hash); |
278 | 0 | } |
279 | | |
280 | 0 | void hashtable_clear(hashtable_t *hashtable) { |
281 | 0 | size_t i; |
282 | |
|
283 | 0 | hashtable_do_clear(hashtable); |
284 | |
|
285 | 0 | for (i = 0; i < hashsize(hashtable->order); i++) { |
286 | 0 | hashtable->buckets[i].first = hashtable->buckets[i].last = &hashtable->list; |
287 | 0 | } |
288 | |
|
289 | 0 | list_init(&hashtable->list); |
290 | 0 | list_init(&hashtable->ordered_list); |
291 | 0 | hashtable->size = 0; |
292 | 0 | } |
293 | | |
294 | 0 | void *hashtable_iter(hashtable_t *hashtable) { |
295 | 0 | return hashtable_iter_next(hashtable, &hashtable->ordered_list); |
296 | 0 | } |
297 | | |
298 | 0 | void *hashtable_iter_at(hashtable_t *hashtable, const char *key, size_t key_len) { |
299 | 0 | pair_t *pair; |
300 | 0 | size_t hash; |
301 | 0 | bucket_t *bucket; |
302 | |
|
303 | 0 | hash = hash_str(key, key_len); |
304 | 0 | bucket = &hashtable->buckets[hash & hashmask(hashtable->order)]; |
305 | |
|
306 | 0 | pair = hashtable_find_pair(hashtable, bucket, key, key_len, hash); |
307 | 0 | if (!pair) |
308 | 0 | return NULL; |
309 | | |
310 | 0 | return &pair->ordered_list; |
311 | 0 | } |
312 | | |
313 | 0 | void *hashtable_iter_next(hashtable_t *hashtable, void *iter) { |
314 | 0 | list_t *list = (list_t *)iter; |
315 | 0 | if (list->next == &hashtable->ordered_list) |
316 | 0 | return NULL; |
317 | 0 | return list->next; |
318 | 0 | } |
319 | | |
320 | 0 | void *hashtable_iter_key(void *iter) { |
321 | 0 | pair_t *pair = ordered_list_to_pair((list_t *)iter); |
322 | 0 | return pair->key; |
323 | 0 | } |
324 | | |
325 | 0 | size_t hashtable_iter_key_len(void *iter) { |
326 | 0 | pair_t *pair = ordered_list_to_pair((list_t *)iter); |
327 | 0 | return pair->key_len; |
328 | 0 | } |
329 | | |
330 | 0 | void *hashtable_iter_value(void *iter) { |
331 | 0 | pair_t *pair = ordered_list_to_pair((list_t *)iter); |
332 | 0 | return pair->value; |
333 | 0 | } |
334 | | |
335 | 0 | void hashtable_iter_set(void *iter, json_t *value) { |
336 | 0 | pair_t *pair = ordered_list_to_pair((list_t *)iter); |
337 | |
|
338 | 0 | json_decref(pair->value); |
339 | 0 | pair->value = value; |
340 | 0 | } |