Skip to content

Commit fcf0a37

Browse files
committed
cleanup atomics
1 parent 4094ad8 commit fcf0a37

23 files changed

+288
-106
lines changed

src/critnib/critnib.c

Lines changed: 30 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
/*
22
*
3-
* Copyright (C) 2023-2024 Intel Corporation
3+
* Copyright (C) 2023-2025 Intel Corporation
44
*
55
* Under the Apache License v2.0 with LLVM Exceptions. See LICENSE.TXT.
66
* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
@@ -133,24 +133,6 @@ struct critnib {
133133
struct utils_mutex_t mutex; /* writes/removes */
134134
};
135135

136-
/*
137-
* atomic load
138-
*/
139-
static void load(void *src, void *dst) {
140-
utils_atomic_load_acquire((word *)src, (word *)dst);
141-
}
142-
143-
static void load64(uint64_t *src, uint64_t *dst) {
144-
utils_atomic_load_acquire(src, dst);
145-
}
146-
147-
/*
148-
* atomic store
149-
*/
150-
static void store(void *dst, void *src) {
151-
utils_atomic_store_release((word *)dst, (word)src);
152-
}
153-
154136
/*
155137
* internal: is_leaf -- check tagged pointer for leafness
156138
*/
@@ -303,7 +285,7 @@ static void free_leaf(struct critnib *__restrict c,
303285
*/
304286
static struct critnib_leaf *alloc_leaf(struct critnib *__restrict c) {
305287
if (!c->deleted_leaf) {
306-
return umf_ba_global_alloc(sizeof(struct critnib_leaf));
288+
return umf_ba_global_aligned_alloc(sizeof(struct critnib_leaf), 8);
307289
}
308290

309291
struct critnib_leaf *k = c->deleted_leaf;
@@ -343,10 +325,8 @@ int critnib_insert(struct critnib *c, word key, void *value, int update) {
343325

344326
struct critnib_node *n = c->root;
345327
if (!n) {
346-
store(&c->root, kn);
347-
328+
utils_atomic_store_release_ptr((void **)&c->root, kn);
348329
utils_mutex_unlock(&c->mutex);
349-
350330
return 0;
351331
}
352332

@@ -361,7 +341,8 @@ int critnib_insert(struct critnib *c, word key, void *value, int update) {
361341

362342
if (!n) {
363343
n = prev;
364-
store(&n->child[slice_index(key, n->shift)], kn);
344+
utils_atomic_store_release_ptr(
345+
(void **)&n->child[slice_index(key, n->shift)], kn);
365346

366347
utils_mutex_unlock(&c->mutex);
367348

@@ -406,7 +387,7 @@ int critnib_insert(struct critnib *c, word key, void *value, int update) {
406387
m->child[slice_index(path, sh)] = n;
407388
m->shift = sh;
408389
m->path = key & path_mask(sh);
409-
store(parent, m);
390+
utils_atomic_store_release_ptr((void **)parent, m);
410391

411392
utils_mutex_unlock(&c->mutex);
412393

@@ -427,7 +408,8 @@ void *critnib_remove(struct critnib *c, word key) {
427408
goto not_found;
428409
}
429410

430-
word del = (utils_atomic_increment(&c->remove_count) - 1) % DELETED_LIFE;
411+
word del =
412+
(utils_atomic_increment_u64(&c->remove_count) - 1) % DELETED_LIFE;
431413
free_node(c, c->pending_del_nodes[del]);
432414
free_leaf(c, c->pending_del_leaves[del]);
433415
c->pending_del_nodes[del] = NULL;
@@ -436,7 +418,7 @@ void *critnib_remove(struct critnib *c, word key) {
436418
if (is_leaf(n)) {
437419
k = to_leaf(n);
438420
if (k->key == key) {
439-
store(&c->root, NULL);
421+
utils_atomic_store_release_ptr((void **)&c->root, NULL);
440422
goto del_leaf;
441423
}
442424

@@ -466,7 +448,8 @@ void *critnib_remove(struct critnib *c, word key) {
466448
goto not_found;
467449
}
468450

469-
store(&n->child[slice_index(key, n->shift)], NULL);
451+
utils_atomic_store_release_ptr(
452+
(void **)&n->child[slice_index(key, n->shift)], NULL);
470453

471454
/* Remove the node if there's only one remaining child. */
472455
int ochild = -1;
@@ -482,7 +465,7 @@ void *critnib_remove(struct critnib *c, word key) {
482465

483466
ASSERTne(ochild, -1);
484467

485-
store(n_parent, n->child[ochild]);
468+
utils_atomic_store_release_ptr((void **)n_parent, n->child[ochild]);
486469
c->pending_del_nodes[del] = n;
487470

488471
del_leaf:
@@ -511,22 +494,23 @@ void *critnib_get(struct critnib *c, word key) {
511494
do {
512495
struct critnib_node *n;
513496

514-
load64(&c->remove_count, &wrs1);
515-
load(&c->root, &n);
497+
utils_atomic_load_acquire_u64(&c->remove_count, &wrs1);
498+
utils_atomic_load_acquire_ptr((void **)&c->root, (void **)&n);
516499

517500
/*
518501
* critbit algorithm: dive into the tree, looking at nothing but
519502
* each node's critical bit^H^H^Hnibble. This means we risk
520503
* going wrong way if our path is missing, but that's ok...
521504
*/
522505
while (n && !is_leaf(n)) {
523-
load(&n->child[slice_index(key, n->shift)], &n);
506+
utils_atomic_load_acquire_ptr(
507+
(void **)&n->child[slice_index(key, n->shift)], (void **)&n);
524508
}
525509

526510
/* ... as we check it at the end. */
527511
struct critnib_leaf *k = to_leaf(n);
528512
res = (n && k->key == key) ? k->value : NULL;
529-
load64(&c->remove_count, &wrs2);
513+
utils_atomic_load_acquire_u64(&c->remove_count, &wrs2);
530514
} while (wrs1 + DELETED_LIFE <= wrs2);
531515

532516
return res;
@@ -597,7 +581,7 @@ static struct critnib_leaf *find_le(struct critnib_node *__restrict n,
597581
/* recursive call: follow the path */
598582
{
599583
struct critnib_node *m;
600-
load(&n->child[nib], &m);
584+
utils_atomic_load_acquire_ptr((void **)&n->child[nib], (void **)&m);
601585
struct critnib_leaf *k = find_le(m, key);
602586
if (k) {
603587
return k;
@@ -611,7 +595,7 @@ static struct critnib_leaf *find_le(struct critnib_node *__restrict n,
611595
*/
612596
for (; nib > 0; nib--) {
613597
struct critnib_node *m;
614-
load(&n->child[nib - 1], &m);
598+
utils_atomic_load_acquire_ptr((void **)&n->child[nib - 1], (void **)&m);
615599
if (m) {
616600
n = m;
617601
if (is_leaf(n)) {
@@ -635,12 +619,12 @@ void *critnib_find_le(struct critnib *c, word key) {
635619
void *res;
636620

637621
do {
638-
load64(&c->remove_count, &wrs1);
622+
utils_atomic_load_acquire_u64(&c->remove_count, &wrs1);
639623
struct critnib_node *n; /* avoid a subtle TOCTOU */
640-
load(&c->root, &n);
624+
utils_atomic_load_acquire_ptr((void **)&c->root, (void **)&n);
641625
struct critnib_leaf *k = n ? find_le(n, key) : NULL;
642626
res = k ? k->value : NULL;
643-
load64(&c->remove_count, &wrs2);
627+
utils_atomic_load_acquire_u64(&c->remove_count, &wrs2);
644628
} while (wrs1 + DELETED_LIFE <= wrs2);
645629

646630
return res;
@@ -694,7 +678,7 @@ static struct critnib_leaf *find_ge(struct critnib_node *__restrict n,
694678
unsigned nib = slice_index(key, n->shift);
695679
{
696680
struct critnib_node *m;
697-
load(&n->child[nib], &m);
681+
utils_atomic_load_acquire_ptr((void **)&n->child[nib], (void **)&m);
698682
struct critnib_leaf *k = find_ge(m, key);
699683
if (k) {
700684
return k;
@@ -703,7 +687,7 @@ static struct critnib_leaf *find_ge(struct critnib_node *__restrict n,
703687

704688
for (; nib < NIB; nib++) {
705689
struct critnib_node *m;
706-
load(&n->child[nib + 1], &m);
690+
utils_atomic_load_acquire_ptr((void **)&n->child[nib + 1], (void **)&m);
707691
if (m) {
708692
n = m;
709693
if (is_leaf(n)) {
@@ -741,17 +725,19 @@ int critnib_find(struct critnib *c, uintptr_t key, enum find_dir_t dir,
741725
}
742726

743727
do {
744-
load64(&c->remove_count, &wrs1);
728+
utils_atomic_load_acquire_u64(&c->remove_count, &wrs1);
745729
struct critnib_node *n;
746-
load(&c->root, &n);
730+
utils_atomic_load_acquire_ptr((void **)&c->root, (void **)&n);
747731

748732
if (dir < 0) {
749733
k = find_le(n, key);
750734
} else if (dir > 0) {
751735
k = find_ge(n, key);
752736
} else {
753737
while (n && !is_leaf(n)) {
754-
load(&n->child[slice_index(key, n->shift)], &n);
738+
utils_atomic_load_acquire_ptr(
739+
(void **)&n->child[slice_index(key, n->shift)],
740+
(void **)&n);
755741
}
756742

757743
struct critnib_leaf *kk = to_leaf(n);
@@ -761,7 +747,7 @@ int critnib_find(struct critnib *c, uintptr_t key, enum find_dir_t dir,
761747
_rkey = k->key;
762748
_rvalue = k->value;
763749
}
764-
load64(&c->remove_count, &wrs2);
750+
utils_atomic_load_acquire_u64(&c->remove_count, &wrs2);
765751
} while (wrs1 + DELETED_LIFE <= wrs2);
766752

767753
if (k) {

src/ipc_cache.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -232,7 +232,7 @@ umf_result_t umfIpcOpenedCacheGet(ipc_opened_cache_handle_t cache,
232232

233233
exit:
234234
if (ret == UMF_RESULT_SUCCESS) {
235-
utils_atomic_increment(&entry->ref_count);
235+
utils_atomic_increment_u64(&entry->ref_count);
236236
*retEntry = &entry->value;
237237
}
238238

src/libumf.c

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -24,10 +24,10 @@
2424

2525
umf_memory_tracker_handle_t TRACKER = NULL;
2626

27-
static unsigned long long umfRefCount = 0;
27+
static uint64_t umfRefCount = 0;
2828

2929
int umfInit(void) {
30-
if (utils_fetch_and_add64(&umfRefCount, 1) == 0) {
30+
if (utils_fetch_and_add_u64(&umfRefCount, 1) == 0) {
3131
utils_log_init();
3232
TRACKER = umfMemoryTrackerCreate();
3333
if (!TRACKER) {
@@ -54,7 +54,7 @@ int umfInit(void) {
5454
}
5555

5656
void umfTearDown(void) {
57-
if (utils_fetch_and_add64(&umfRefCount, -1) == 1) {
57+
if (utils_fetch_and_sub_u64(&umfRefCount, 1) == 1) {
5858
#if !defined(_WIN32) && !defined(UMF_NO_HWLOC)
5959
umfMemspaceHostAllDestroy();
6060
umfMemspaceHighestCapacityDestroy();

src/pool/pool_disjoint.c

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88
#include <assert.h>
99
#include <ctype.h>
1010
#include <errno.h>
11+
#include <inttypes.h>
1112
#include <stdlib.h>
1213
#include <string.h>
1314

@@ -20,6 +21,7 @@
2021
#include "provider/provider_tracking.h"
2122
#include "uthash/utlist.h"
2223
#include "utils_common.h"
24+
#include "utils_concurrency.h"
2325
#include "utils_log.h"
2426
#include "utils_math.h"
2527

@@ -523,7 +525,7 @@ static void disjoint_pool_print_stats(disjoint_pool_t *pool) {
523525
utils_mutex_unlock(&bucket->bucket_lock);
524526
}
525527

526-
LOG_DEBUG("current pool size: %zu",
528+
LOG_DEBUG("current pool size: %" PRIu64,
527529
disjoint_pool_get_limits(pool)->total_size);
528530
LOG_DEBUG("suggested setting=;%c%s:%zu,%zu,64K", (char)tolower(name[0]),
529531
(name + 1), high_bucket_size, high_peak_slabs_in_use);
@@ -864,7 +866,8 @@ umf_result_t disjoint_pool_free(void *pool, void *ptr) {
864866

865867
if (disjoint_pool->params.pool_trace > 2) {
866868
const char *name = disjoint_pool->params.name;
867-
LOG_DEBUG("freed %s %p to %s, current total pool size: %zu, current "
869+
LOG_DEBUG("freed %s %p to %s, current total pool size: %" PRIu64
870+
", current "
868871
"pool size for %s: %zu",
869872
name, ptr, (to_pool ? "pool" : "provider"),
870873
disjoint_pool_get_limits(disjoint_pool)->total_size, name,

src/pool/pool_disjoint_internal.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@ typedef struct slab_t {
102102

103103
typedef struct umf_disjoint_pool_shared_limits_t {
104104
size_t max_size;
105-
size_t total_size; // requires atomic access
105+
uint64_t total_size; // requires atomic access
106106
} umf_disjoint_pool_shared_limits_t;
107107

108108
typedef struct umf_disjoint_pool_params_t {

src/provider/provider_os_memory.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -934,7 +934,7 @@ static membind_t membindFirst(os_memory_provider_t *provider, void *addr,
934934

935935
if (provider->mode == UMF_NUMA_MODE_INTERLEAVE) {
936936
assert(provider->part_size != 0);
937-
size_t s = utils_fetch_and_add64(&provider->alloc_sum, size);
937+
size_t s = utils_fetch_and_add_u64(&provider->alloc_sum, size);
938938
membind.node = (s / provider->part_size) % provider->nodeset_len;
939939
membind.bitmap = provider->nodeset[membind.node];
940940
membind.bind_size = ALIGN_UP(provider->part_size, membind.page_size);

src/provider/provider_os_memory_internal.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright (C) 2023-2024 Intel Corporation
2+
* Copyright (C) 2023-2025 Intel Corporation
33
*
44
* Under the Apache License v2.0 with LLVM Exceptions. See LICENSE.TXT.
55
* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
@@ -58,7 +58,7 @@ typedef struct os_memory_provider_t {
5858
int numa_flags; // combination of hwloc flags
5959

6060
size_t part_size;
61-
size_t alloc_sum; // sum of all allocations - used for manual interleaving
61+
uint64_t alloc_sum; // sum of all allocations - used for manual interleaving
6262

6363
struct {
6464
unsigned weight;

src/provider/provider_tracking.c

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -565,7 +565,7 @@ static umf_result_t trackingGetIpcHandle(void *provider, const void *ptr,
565565
return ret;
566566
}
567567

568-
cache_value->handle_id = utils_atomic_increment(&IPC_HANDLE_ID);
568+
cache_value->handle_id = utils_atomic_increment_u64(&IPC_HANDLE_ID);
569569
cache_value->ipcDataSize = ipcDataSize;
570570

571571
int insRes = critnib_insert(p->ipcCache, (uintptr_t)ptr,
@@ -703,18 +703,20 @@ static umf_result_t trackingOpenIpcHandle(void *provider, void *providerIpcData,
703703
assert(cache_entry != NULL);
704704

705705
void *mapped_ptr = NULL;
706-
utils_atomic_load_acquire(&(cache_entry->mapped_base_ptr), &mapped_ptr);
706+
utils_atomic_load_acquire_ptr(&(cache_entry->mapped_base_ptr),
707+
(void **)&mapped_ptr);
707708
if (mapped_ptr == NULL) {
708709
utils_mutex_lock(&(cache_entry->mmap_lock));
709-
utils_atomic_load_acquire(&(cache_entry->mapped_base_ptr), &mapped_ptr);
710+
utils_atomic_load_acquire_ptr(&(cache_entry->mapped_base_ptr),
711+
(void **)&mapped_ptr);
710712
if (mapped_ptr == NULL) {
711713
ret = upstreamOpenIPCHandle(p, providerIpcData,
712714
ipcUmfData->baseSize, &mapped_ptr);
713715
if (ret == UMF_RESULT_SUCCESS) {
714716
// Put to the cache
715717
cache_entry->mapped_size = ipcUmfData->baseSize;
716-
utils_atomic_store_release(&(cache_entry->mapped_base_ptr),
717-
mapped_ptr);
718+
utils_atomic_store_release_ptr(&(cache_entry->mapped_base_ptr),
719+
mapped_ptr);
718720
}
719721
}
720722
utils_mutex_unlock(&(cache_entry->mmap_lock));

0 commit comments

Comments
 (0)