rculfhash: add c++ ifdef
[urcu.git] / rculfhash.c
CommitLineData
5e28c532 1/*
abc490a1
MD
2 * rculfhash.c
3 *
4 * Userspace RCU library - Lock-Free Expandable RCU Hash Table
5 *
6 * Copyright 2010-2011 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
7 *
8 * This library is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
12 *
13 * This library is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
17 *
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with this library; if not, write to the Free Software
20 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
5e28c532
MD
21 */
22
2ed95849
MD
23#define _LGPL_SOURCE
24#include <stdlib.h>
e0ba718a
MD
25#include <errno.h>
26#include <assert.h>
27#include <stdio.h>
abc490a1 28#include <stdint.h>
f000907d 29#include <string.h>
e0ba718a 30
2ed95849 31#include <urcu.h>
abc490a1 32#include <urcu-call-rcu.h>
a42cc659
MD
33#include <urcu/arch.h>
34#include <urcu/uatomic.h>
674f7a69 35#include <urcu/jhash.h>
a42cc659 36#include <urcu/compiler.h>
abc490a1 37#include <urcu/rculfhash.h>
5e28c532 38#include <stdio.h>
464a1ec9 39#include <pthread.h>
44395fb7 40
f9830efd
MD
41#define DEBUG /* Test */
42
43#ifdef DEBUG
44#define dbg_printf(args...) printf(args)
45#else
46#define dbg_printf(args...)
47#endif
48
65e8e729
MD
49#define CHAIN_LEN_TARGET 1
50#define CHAIN_LEN_RESIZE_THRESHOLD 2
2ed95849 51
abc490a1
MD
52#ifndef max
53#define max(a, b) ((a) > (b) ? (a) : (b))
54#endif
2ed95849 55
395270b6 56struct rcu_table {
abc490a1 57 unsigned long size; /* always a power of 2 */
f9830efd 58 unsigned long resize_target;
11519af6 59 int resize_initiated;
abc490a1 60 struct rcu_head head;
395270b6
MD
61 struct rcu_ht_node *tbl[0];
62};
63
2ed95849 64struct rcu_ht {
395270b6 65 struct rcu_table *t; /* shared */
2ed95849 66 ht_hash_fct hash_fct;
732ad076
MD
67 ht_compare_fct compare_fct;
68 unsigned long hash_seed;
464a1ec9 69 pthread_mutex_t resize_mutex; /* resize mutex: add/del mutex */
abc490a1
MD
70 void (*ht_call_rcu)(struct rcu_head *head,
71 void (*func)(struct rcu_head *head));
2ed95849
MD
72};
73
abc490a1
MD
74struct rcu_resize_work {
75 struct rcu_head head;
2ed95849 76 struct rcu_ht *ht;
abc490a1 77};
2ed95849 78
abc490a1
MD
79/*
80 * Algorithm to reverse bits in a word by lookup table, extended to
81 * 64-bit words.
f9830efd 82 * Source:
abc490a1 83 * http://graphics.stanford.edu/~seander/bithacks.html#BitReverseTable
f9830efd 84 * Originally from Public Domain.
abc490a1
MD
85 */
86
87static const uint8_t BitReverseTable256[256] =
2ed95849 88{
abc490a1
MD
89#define R2(n) (n), (n) + 2*64, (n) + 1*64, (n) + 3*64
90#define R4(n) R2(n), R2((n) + 2*16), R2((n) + 1*16), R2((n) + 3*16)
91#define R6(n) R4(n), R4((n) + 2*4 ), R4((n) + 1*4 ), R4((n) + 3*4 )
92 R6(0), R6(2), R6(1), R6(3)
93};
94#undef R2
95#undef R4
96#undef R6
2ed95849 97
abc490a1
MD
98static
99uint8_t bit_reverse_u8(uint8_t v)
100{
101 return BitReverseTable256[v];
102}
ab7d5fc6 103
abc490a1
MD
104static __attribute__((unused))
105uint32_t bit_reverse_u32(uint32_t v)
106{
107 return ((uint32_t) bit_reverse_u8(v) << 24) |
108 ((uint32_t) bit_reverse_u8(v >> 8) << 16) |
109 ((uint32_t) bit_reverse_u8(v >> 16) << 8) |
110 ((uint32_t) bit_reverse_u8(v >> 24));
2ed95849
MD
111}
112
abc490a1
MD
113static __attribute__((unused))
114uint64_t bit_reverse_u64(uint64_t v)
2ed95849 115{
abc490a1
MD
116 return ((uint64_t) bit_reverse_u8(v) << 56) |
117 ((uint64_t) bit_reverse_u8(v >> 8) << 48) |
118 ((uint64_t) bit_reverse_u8(v >> 16) << 40) |
119 ((uint64_t) bit_reverse_u8(v >> 24) << 32) |
120 ((uint64_t) bit_reverse_u8(v >> 32) << 24) |
121 ((uint64_t) bit_reverse_u8(v >> 40) << 16) |
122 ((uint64_t) bit_reverse_u8(v >> 48) << 8) |
123 ((uint64_t) bit_reverse_u8(v >> 56));
124}
125
126static
127unsigned long bit_reverse_ulong(unsigned long v)
128{
129#if (CAA_BITS_PER_LONG == 32)
130 return bit_reverse_u32(v);
131#else
132 return bit_reverse_u64(v);
133#endif
134}
135
f9830efd
MD
136/*
137 * Algorithm to find the log2 of a 32-bit unsigned integer.
138 * source: http://graphics.stanford.edu/~seander/bithacks.html#IntegerLogLookup
139 * Originally from Public Domain.
140 */
141static const char LogTable256[256] =
142{
143#define LT(n) n, n, n, n, n, n, n, n, n, n, n, n, n, n, n, n
144 -1, 0, 1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3,
145 LT(4), LT(5), LT(5), LT(6), LT(6), LT(6), LT(6),
146 LT(7), LT(7), LT(7), LT(7), LT(7), LT(7), LT(7), LT(7)
147};
148
149uint32_t log2_u32(uint32_t v)
150{
151 uint32_t t, tt;
152
153 if ((tt = (v >> 16)))
154 return (t = (tt >> 8))
155 ? 24 + LogTable256[t]
156 : 16 + LogTable256[tt];
157 else
158 return (t = (v >> 8))
159 ? 8 + LogTable256[t]
160 : LogTable256[v];
161}
162
163static
164void ht_resize_lazy(struct rcu_ht *ht, struct rcu_table *t, int growth);
165
166static
167void check_resize(struct rcu_ht *ht, struct rcu_table *t,
168 uint32_t chain_len)
169{
3390d470
MD
170 if (chain_len >= CHAIN_LEN_RESIZE_THRESHOLD)
171 ht_resize_lazy(ht, t,
65e8e729 172 log2_u32(chain_len - CHAIN_LEN_TARGET - 1));
f9830efd
MD
173}
174
abc490a1
MD
175static
176struct rcu_ht_node *clear_flag(struct rcu_ht_node *node)
177{
178 return (struct rcu_ht_node *) (((unsigned long) node) & ~0x1);
179}
180
181static
182int is_removed(struct rcu_ht_node *node)
183{
184 return ((unsigned long) node) & 0x1;
185}
186
187static
188struct rcu_ht_node *flag_removed(struct rcu_ht_node *node)
189{
190 return (struct rcu_ht_node *) (((unsigned long) node) | 0x1);
191}
192
193static
f9830efd 194unsigned long _uatomic_max(unsigned long *ptr, unsigned long v)
abc490a1
MD
195{
196 unsigned long old1, old2;
197
198 old1 = uatomic_read(ptr);
199 do {
200 old2 = old1;
201 if (old2 >= v)
f9830efd 202 return old2;
abc490a1 203 } while ((old1 = uatomic_cmpxchg(ptr, old2, v)) != old2);
f9830efd 204 return v;
abc490a1
MD
205}
206
273399de
MD
207/*
208 * Remove all logically deleted nodes from a bucket up to a certain node key.
209 */
210static
211void _ht_gc_bucket(struct rcu_ht_node *dummy, struct rcu_ht_node *node)
212{
213 struct rcu_ht_node *iter_prev, *iter, *next;
214
215 for (;;) {
216 iter_prev = dummy;
217 /* We can always skip the dummy node initially */
218 iter = rcu_dereference(iter_prev->next);
219 assert(iter_prev->reverse_hash <= node->reverse_hash);
273399de 220 for (;;) {
479c8a32
MD
221 if (unlikely(!iter))
222 return;
273399de
MD
223 if (clear_flag(iter)->reverse_hash > node->reverse_hash)
224 return;
225 next = rcu_dereference(clear_flag(iter)->next);
226 if (is_removed(next))
227 break;
273399de
MD
228 iter_prev = iter;
229 iter = next;
230 }
231 assert(!is_removed(iter));
232 (void) uatomic_cmpxchg(&iter_prev->next, iter, clear_flag(next));
233 }
234}
235
abc490a1 236static
18117871
MD
237struct rcu_ht_node *_ht_add(struct rcu_ht *ht, struct rcu_table *t,
238 struct rcu_ht_node *node, int unique)
abc490a1 239{
273399de 240 struct rcu_ht_node *iter_prev, *dummy, *iter, *next;
49c2e2d6 241 unsigned long hash;
abc490a1 242
18117871
MD
243 if (!t->size) {
244 assert(node->dummy);
245 return node; /* Initial first add (head) */
246 }
49c2e2d6 247 hash = bit_reverse_ulong(node->reverse_hash);
abc490a1 248 for (;;) {
f9830efd 249 uint32_t chain_len = 0;
abc490a1 250
11519af6
MD
251 /*
252 * iter_prev points to the non-removed node prior to the
253 * insert location.
11519af6 254 */
49c2e2d6 255 iter_prev = rcu_dereference(t->tbl[hash & (t->size - 1)]);
11519af6 256 /* We can always skip the dummy node initially */
273399de 257 iter = rcu_dereference(iter_prev->next);
abc490a1
MD
258 assert(iter_prev->reverse_hash <= node->reverse_hash);
259 for (;;) {
273399de
MD
260 if (unlikely(!iter))
261 goto insert;
11519af6 262 if (clear_flag(iter)->reverse_hash > node->reverse_hash)
273399de
MD
263 goto insert;
264 next = rcu_dereference(clear_flag(iter)->next);
265 if (is_removed(next))
9dba85be 266 goto gc_node;
e43f23f8
MD
267 if (unique
268 && !clear_flag(iter)->dummy
269 && !ht->compare_fct(node->key, node->key_len,
270 clear_flag(iter)->key,
271 clear_flag(iter)->key_len))
18117871 272 return clear_flag(iter);
11519af6
MD
273 /* Only account for identical reverse hash once */
274 if (iter_prev->reverse_hash != clear_flag(iter)->reverse_hash)
275 check_resize(ht, t, ++chain_len);
276 iter_prev = clear_flag(iter);
273399de 277 iter = next;
abc490a1 278 }
273399de 279 insert:
7ec59d3b 280 assert(node != clear_flag(iter));
11519af6 281 assert(!is_removed(iter_prev));
f000907d 282 assert(iter_prev != node);
11519af6 283 node->next = iter;
273399de
MD
284 if (uatomic_cmpxchg(&iter_prev->next, iter,
285 node) != iter)
286 continue; /* retry */
11519af6 287 else
273399de 288 goto gc_end;
9dba85be
MD
289 gc_node:
290 assert(!is_removed(iter));
291 (void) uatomic_cmpxchg(&iter_prev->next, iter, clear_flag(next));
273399de 292 /* retry */
464a1ec9 293 }
273399de
MD
294gc_end:
295 /* Garbage collect logically removed nodes in the bucket */
49c2e2d6 296 dummy = rcu_dereference(t->tbl[hash & (t->size - 1)]);
273399de 297 _ht_gc_bucket(dummy, node);
18117871 298 return node;
abc490a1 299}
464a1ec9 300
abc490a1
MD
301static
302int _ht_remove(struct rcu_ht *ht, struct rcu_table *t, struct rcu_ht_node *node)
303{
273399de 304 struct rcu_ht_node *dummy, *next, *old;
abc490a1 305 int flagged = 0;
49c2e2d6 306 unsigned long hash;
5e28c532 307
7ec59d3b
MD
308 /* logically delete the node */
309 old = rcu_dereference(node->next);
310 do {
311 next = old;
312 if (is_removed(next))
313 goto end;
273399de 314 assert(!node->dummy);
7ec59d3b
MD
315 old = uatomic_cmpxchg(&node->next, next,
316 flag_removed(next));
317 } while (old != next);
318
319 /* We performed the (logical) deletion. */
320 flagged = 1;
321
322 /*
323 * Ensure that the node is not visible to readers anymore: lookup for
273399de
MD
324 * the node, and remove it (along with any other logically removed node)
325 * if found.
11519af6 326 */
49c2e2d6
MD
327 hash = bit_reverse_ulong(node->reverse_hash);
328 dummy = rcu_dereference(t->tbl[hash & (t->size - 1)]);
273399de 329 _ht_gc_bucket(dummy, node);
2ed95849 330end:
11519af6
MD
331 /*
332 * Only the flagging action indicated that we (and no other)
333 * removed the node from the hash.
334 */
7ec59d3b
MD
335 if (flagged) {
336 assert(is_removed(rcu_dereference(node->next)));
11519af6 337 return 0;
7ec59d3b 338 } else
11519af6 339 return -ENOENT;
abc490a1 340}
2ed95849 341
abc490a1
MD
342static
343void init_table(struct rcu_ht *ht, struct rcu_table *t,
344 unsigned long first, unsigned long len)
345{
346 unsigned long i, end;
347
348 end = first + len;
349 for (i = first; i < end; i++) {
350 /* Update table size when power of two */
351 if (i != 0 && !(i & (i - 1)))
352 t->size = i;
353 t->tbl[i] = calloc(1, sizeof(struct rcu_ht_node));
354 t->tbl[i]->dummy = 1;
abc490a1 355 t->tbl[i]->reverse_hash = bit_reverse_ulong(i);
3eca1b8c 356 (void) _ht_add(ht, t, t->tbl[i], 0);
abc490a1 357 }
f9830efd 358 t->resize_target = t->size = end;
11519af6 359 t->resize_initiated = 0;
2ed95849
MD
360}
361
abc490a1 362struct rcu_ht *ht_new(ht_hash_fct hash_fct,
732ad076
MD
363 ht_compare_fct compare_fct,
364 unsigned long hash_seed,
abc490a1
MD
365 unsigned long init_size,
366 void (*ht_call_rcu)(struct rcu_head *head,
367 void (*func)(struct rcu_head *head)))
368{
369 struct rcu_ht *ht;
370
371 ht = calloc(1, sizeof(struct rcu_ht));
372 ht->hash_fct = hash_fct;
732ad076
MD
373 ht->compare_fct = compare_fct;
374 ht->hash_seed = hash_seed;
f000907d 375 ht->ht_call_rcu = ht_call_rcu;
abc490a1
MD
376 /* this mutex should not nest in read-side C.S. */
377 pthread_mutex_init(&ht->resize_mutex, NULL);
378 ht->t = calloc(1, sizeof(struct rcu_table)
379 + (max(init_size, 1) * sizeof(struct rcu_ht_node *)));
380 ht->t->size = 0;
f000907d 381 pthread_mutex_lock(&ht->resize_mutex);
abc490a1 382 init_table(ht, ht->t, 0, max(init_size, 1));
f000907d 383 pthread_mutex_unlock(&ht->resize_mutex);
abc490a1
MD
384 return ht;
385}
386
732ad076 387struct rcu_ht_node *ht_lookup(struct rcu_ht *ht, void *key, size_t key_len)
2ed95849 388{
395270b6 389 struct rcu_table *t;
abc490a1
MD
390 struct rcu_ht_node *node;
391 unsigned long hash, reverse_hash;
2ed95849 392
732ad076 393 hash = ht->hash_fct(key, key_len, ht->hash_seed);
abc490a1 394 reverse_hash = bit_reverse_ulong(hash);
464a1ec9 395
395270b6 396 t = rcu_dereference(ht->t);
abc490a1 397 node = rcu_dereference(t->tbl[hash & (t->size - 1)]);
2ed95849 398 for (;;) {
abc490a1
MD
399 if (unlikely(!node))
400 break;
dd4505e0 401 if (unlikely(node->reverse_hash > reverse_hash)) {
abc490a1
MD
402 node = NULL;
403 break;
2ed95849 404 }
49c2e2d6
MD
405 if (likely(!is_removed(rcu_dereference(node->next)))
406 && !node->dummy
407 && likely(!ht->compare_fct(node->key, node->key_len, key, key_len))) {
273399de 408 break;
2ed95849 409 }
abc490a1 410 node = clear_flag(rcu_dereference(node->next));
2ed95849 411 }
273399de 412 assert(!node || !node->dummy);
abc490a1
MD
413 return node;
414}
e0ba718a 415
f000907d 416void ht_add(struct rcu_ht *ht, struct rcu_ht_node *node)
abc490a1
MD
417{
418 struct rcu_table *t;
49c2e2d6 419 unsigned long hash;
ab7d5fc6 420
49c2e2d6
MD
421 hash = ht->hash_fct(node->key, node->key_len, ht->hash_seed);
422 node->reverse_hash = bit_reverse_ulong((unsigned long) hash);
2ed95849 423
abc490a1 424 t = rcu_dereference(ht->t);
3eca1b8c
MD
425 (void) _ht_add(ht, t, node, 0);
426}
427
18117871 428struct rcu_ht_node *ht_add_unique(struct rcu_ht *ht, struct rcu_ht_node *node)
3eca1b8c
MD
429{
430 struct rcu_table *t;
49c2e2d6 431 unsigned long hash;
3eca1b8c 432
49c2e2d6
MD
433 hash = ht->hash_fct(node->key, node->key_len, ht->hash_seed);
434 node->reverse_hash = bit_reverse_ulong((unsigned long) hash);
3eca1b8c
MD
435
436 t = rcu_dereference(ht->t);
437 return _ht_add(ht, t, node, 1);
2ed95849
MD
438}
439
abc490a1 440int ht_remove(struct rcu_ht *ht, struct rcu_ht_node *node)
2ed95849 441{
abc490a1
MD
442 struct rcu_table *t;
443
444 t = rcu_dereference(ht->t);
abc490a1 445 return _ht_remove(ht, t, node);
2ed95849 446}
ab7d5fc6 447
abc490a1
MD
448static
449int ht_delete_dummy(struct rcu_ht *ht)
674f7a69 450{
395270b6 451 struct rcu_table *t;
abc490a1
MD
452 struct rcu_ht_node *node;
453 unsigned long i;
674f7a69 454
abc490a1
MD
455 t = ht->t;
456 /* Check that the table is empty */
457 node = t->tbl[0];
458 do {
459 if (!node->dummy)
460 return -EPERM;
461 node = node->next;
273399de 462 assert(!is_removed(node));
abc490a1
MD
463 } while (node);
464 /* Internal sanity check: all nodes left should be dummy */
395270b6 465 for (i = 0; i < t->size; i++) {
abc490a1
MD
466 assert(t->tbl[i]->dummy);
467 free(t->tbl[i]);
674f7a69 468 }
abc490a1 469 return 0;
674f7a69
MD
470}
471
472/*
473 * Should only be called when no more concurrent readers nor writers can
474 * possibly access the table.
475 */
5e28c532 476int ht_destroy(struct rcu_ht *ht)
674f7a69 477{
5e28c532
MD
478 int ret;
479
abc490a1
MD
480 ret = ht_delete_dummy(ht);
481 if (ret)
482 return ret;
395270b6 483 free(ht->t);
674f7a69 484 free(ht);
5e28c532 485 return ret;
674f7a69
MD
486}
487
273399de
MD
488void ht_count_nodes(struct rcu_ht *ht,
489 unsigned long *count,
490 unsigned long *removed)
491{
492 struct rcu_table *t;
493 struct rcu_ht_node *node, *next;
494
495 *count = 0;
496 *removed = 0;
497
498 t = rcu_dereference(ht->t);
499 /* Check that the table is empty */
500 node = rcu_dereference(t->tbl[0]);
501 do {
502 next = rcu_dereference(node->next);
503 if (is_removed(next)) {
504 assert(!node->dummy);
505 (*removed)++;
506 } else if (!node->dummy)
507 (*count)++;
508 node = clear_flag(next);
509 } while (node);
510}
511
abc490a1
MD
512static
513void ht_free_table_cb(struct rcu_head *head)
514{
515 struct rcu_table *t =
516 caa_container_of(head, struct rcu_table, head);
517 free(t);
518}
519
520/* called with resize mutex held */
521static
522void _do_ht_resize(struct rcu_ht *ht)
464a1ec9 523{
abc490a1 524 unsigned long new_size, old_size;
395270b6 525 struct rcu_table *new_t, *old_t;
464a1ec9 526
395270b6
MD
527 old_t = ht->t;
528 old_size = old_t->size;
464a1ec9 529
f9830efd
MD
530 new_size = CMM_LOAD_SHARED(old_t->resize_target);
531 dbg_printf("rculfhash: resize from %lu to %lu buckets\n",
532 old_size, new_size);
abc490a1 533 if (old_size == new_size)
464a1ec9 534 return;
f000907d 535 new_t = malloc(sizeof(struct rcu_table)
abc490a1 536 + (new_size * sizeof(struct rcu_ht_node *)));
f000907d
MD
537 assert(new_size > old_size);
538 memcpy(&new_t->tbl, &old_t->tbl,
539 old_size * sizeof(struct rcu_ht_node *));
540 init_table(ht, new_t, old_size, new_size - old_size);
f000907d
MD
541 /* Changing table and size atomically wrt lookups */
542 rcu_assign_pointer(ht->t, new_t);
543 ht->ht_call_rcu(&old_t->head, ht_free_table_cb);
464a1ec9
MD
544}
545
abc490a1 546static
f9830efd
MD
547unsigned long resize_target_update(struct rcu_table *t,
548 int growth_order)
464a1ec9 549{
f9830efd
MD
550 return _uatomic_max(&t->resize_target,
551 t->size << growth_order);
464a1ec9
MD
552}
553
464a1ec9
MD
554void ht_resize(struct rcu_ht *ht, int growth)
555{
f9830efd
MD
556 struct rcu_table *t = rcu_dereference(ht->t);
557 unsigned long target_size;
558
559 target_size = resize_target_update(t, growth);
560 if (t->size < target_size) {
11519af6 561 CMM_STORE_SHARED(t->resize_initiated, 1);
f9830efd
MD
562 pthread_mutex_lock(&ht->resize_mutex);
563 _do_ht_resize(ht);
564 pthread_mutex_unlock(&ht->resize_mutex);
565 }
abc490a1 566}
464a1ec9 567
abc490a1
MD
568static
569void do_resize_cb(struct rcu_head *head)
570{
571 struct rcu_resize_work *work =
572 caa_container_of(head, struct rcu_resize_work, head);
573 struct rcu_ht *ht = work->ht;
574
575 pthread_mutex_lock(&ht->resize_mutex);
576 _do_ht_resize(ht);
577 pthread_mutex_unlock(&ht->resize_mutex);
578 free(work);
464a1ec9
MD
579}
580
abc490a1 581static
f000907d 582void ht_resize_lazy(struct rcu_ht *ht, struct rcu_table *t, int growth)
ab7d5fc6 583{
abc490a1 584 struct rcu_resize_work *work;
f9830efd 585 unsigned long target_size;
abc490a1 586
f9830efd 587 target_size = resize_target_update(t, growth);
11519af6 588 if (!CMM_LOAD_SHARED(t->resize_initiated) && t->size < target_size) {
f9830efd
MD
589 work = malloc(sizeof(*work));
590 work->ht = ht;
591 ht->ht_call_rcu(&work->head, do_resize_cb);
11519af6 592 CMM_STORE_SHARED(t->resize_initiated, 1);
f9830efd 593 }
ab7d5fc6 594}
This page took 0.05021 seconds and 4 git commands to generate.