Buckets:
| /* ---------------------------------------------------------------------------- | |
| Copyright (c) 2019-2026, Microsoft Research, Daan Leijen | |
| This is free software; you can redistribute it and/or modify it under the | |
| terms of the MIT license. A copy of the license can be found in the file | |
| "LICENSE" at the root of this distribution. | |
| -----------------------------------------------------------------------------*/ | |
| /* ---------------------------------------------------------------------------- | |
| Implement dynamic thread local variables (for heap's). | |
| Unlike most OS native implementations there is no limit on the number | |
| that can be allocated. | |
| -----------------------------------------------------------------------------*/ | |
| /* ----------------------------------------------------------- | |
| Each thread can have (a dynamically expanding) array of | |
| thread-local values. Each slot has a value and a version. | |
| The version is used to safely reuse slots. | |
| ----------------------------------------------------------- */ | |
| typedef struct mi_tls_slot_s { | |
| size_t version; | |
| void* value; | |
| } mi_tls_slot_t; | |
| typedef struct mi_thread_locals_s { | |
| size_t count; | |
| mi_tls_slot_t slots[1]; | |
| } mi_thread_locals_t; | |
| static mi_thread_locals_t mi_thread_locals_empty = { 0, {{0,NULL}} }; | |
| mi_decl_thread mi_thread_locals_t* mi_thread_locals = &mi_thread_locals_empty; // always point to a valid `mi_thread_locals_t` | |
| /* ----------------------------------------------------------- | |
| Each key consists of the slot index in the lower bits, | |
| and its version it the top bits. When we get a value | |
| the version must match or we return NULL. When we set | |
| a value, we also set the version of the key. | |
| ----------------------------------------------------------- */ | |
| static size_t mi_key_index( size_t key ) { | |
| return (key & MI_TLS_IDX_MASK); | |
| } | |
| static size_t mi_key_version( size_t key ) { | |
| return (key >> MI_TLS_IDX_BITS); | |
| } | |
| static mi_thread_local_t mi_key_create( size_t index, size_t version ) { | |
| mi_assert_internal(version != 0); | |
| mi_assert_internal(index <= MI_TLS_IDX_MASK); | |
| const mi_thread_local_t key = ((version << MI_TLS_IDX_BITS) | index); | |
| mi_assert_internal(key != 0); | |
| return key; | |
| } | |
| // dynamically reallocate the thread local slots when needed | |
| static mi_thread_locals_t* mi_thread_locals_expand(size_t least_idx) { | |
| mi_thread_locals_t* tls_old = mi_thread_locals; | |
| const size_t count_old = tls_old->count; | |
| size_t count; | |
| if (count_old==0) { | |
| tls_old = NULL; // so we allocate fresh from mi_thread_locals_empty | |
| count = 16; // start with 16 slots | |
| } | |
| else if (count_old >= MI_TLS_IDX_MASK - 1024) { | |
| return NULL; // too large | |
| } | |
| else if (count_old >= 1024) { | |
| count = count_old + 1024; // at some point increase linearly | |
| } | |
| else { | |
| count = 2*count_old; // and double initially | |
| } | |
| if (count <= least_idx) { | |
| count = least_idx + 1; | |
| } | |
| mi_thread_locals_t* tls = (mi_thread_locals_t*)mi_rezalloc(tls_old, sizeof(mi_thread_locals_t) + count*sizeof(mi_tls_slot_t)); | |
| if mi_unlikely(tls==NULL) return NULL; | |
| tls->count = count; | |
| mi_thread_locals = tls; | |
| return tls; | |
| } | |
| static mi_decl_noinline bool mi_thread_local_set_expand( mi_thread_local_t key, void* val ) { | |
| if (val==NULL) return true; | |
| const size_t idx = mi_key_index(key); | |
| mi_thread_locals_t* tls = mi_thread_locals_expand(idx); | |
| if (tls==NULL) return false; | |
| mi_assert_internal(tls == mi_thread_locals); | |
| mi_assert_internal(idx < tls->count); | |
| tls->slots[idx].value = val; | |
| tls->slots[idx].version = mi_key_version(key); | |
| return true; | |
| } | |
| // set a tls slot; returns `true` if successful. | |
| // Can return `false` if we could not reallocate the slots array. | |
| bool _mi_thread_local_set( mi_thread_local_t key, void* val ) { | |
| mi_thread_locals_t* tls = mi_thread_locals; | |
| mi_assert_internal(tls!=NULL); | |
| mi_assert_internal(key!=0); | |
| const size_t idx = mi_key_index(key); | |
| if mi_likely(idx < tls->count) { | |
| tls->slots[idx].value = val; | |
| tls->slots[idx].version = mi_key_version(key); | |
| return true; | |
| } | |
| else { | |
| return mi_thread_local_set_expand( key, val ); // tailcall | |
| } | |
| } | |
| // get a tls slot value | |
| void* _mi_thread_local_get( mi_thread_local_t key ) { | |
| const mi_thread_locals_t* const tls = mi_thread_locals; | |
| mi_assert_internal(tls!=NULL); | |
| mi_assert_internal(key!=0); | |
| const size_t idx = mi_key_index(key); | |
| if mi_likely(idx < tls->count && mi_key_version(key) == tls->slots[idx].version) { | |
| return tls->slots[idx].value; | |
| } | |
| else { | |
| return NULL; | |
| } | |
| } | |
| void _mi_thread_locals_thread_done(void) { | |
| mi_thread_locals_t* const tls = mi_thread_locals; | |
| if (tls!=NULL && tls->count > 0) { | |
| mi_free(tls); | |
| mi_thread_locals = &mi_thread_locals_empty; | |
| } | |
| } | |
| /* ----------------------------------------------------------- | |
| Create and free fresh TLS key's | |
| ----------------------------------------------------------- */ | |
| static mi_lock_t mi_thread_locals_lock; // we need a lock in order to re-allocate the slot bits | |
| static mi_bitmap_t* mi_thread_locals_free; // reuse an arena bitmap to track which slots were assigned (1=free, 0=in-use) | |
| static size_t mi_thread_locals_version; // version to be able to reuse slots safely | |
| void _mi_thread_locals_init(void) { | |
| mi_lock_init(&mi_thread_locals_lock); | |
| } | |
| void _mi_thread_locals_done(void) { | |
| mi_lock(&mi_thread_locals_lock) { | |
| mi_bitmap_t* const slots = mi_thread_locals_free; | |
| mi_free(slots); | |
| } | |
| mi_lock_done(&mi_thread_locals_lock); | |
| } | |
| // strange signature but allows us to reuse the arena code for claiming free pages | |
| static bool mi_thread_local_claim_fun(size_t _slice_index, mi_arena_t* _arena, bool* keep_set) { | |
| MI_UNUSED(_slice_index); MI_UNUSED(_arena); | |
| *keep_set = false; | |
| return true; | |
| } | |
| // When we claim a free slot, we increase the global version counter | |
| // (so if we reuse a slot it will be returning NULL initially when a thread tries to get it) | |
| static mi_thread_local_t mi_thread_local_claim(void) { | |
| size_t idx = 0; | |
| if (mi_thread_locals_free != NULL && mi_bitmap_try_find_and_claim(mi_thread_locals_free,0,&idx,&mi_thread_local_claim_fun,NULL)) { | |
| mi_thread_locals_version++; | |
| if (mi_thread_locals_version == SIZE_MAX/2) { mi_thread_locals_version = 1; } | |
| return mi_key_create( idx, mi_thread_locals_version); | |
| } | |
| else { | |
| return 0; | |
| } | |
| } | |
| static bool mi_thread_local_create_expand(void) { | |
| mi_bitmap_t* slots = mi_thread_locals_free; | |
| // 1024 bits at a time | |
| const size_t oldcount = (slots==NULL ? 0 : mi_bitmap_max_bits(slots)); | |
| const size_t newcount = 1024 + oldcount; | |
| if (newcount > MI_TLS_IDX_MASK) { return false; } | |
| const size_t newsize = mi_bitmap_size( newcount, NULL ); | |
| slots = (mi_bitmap_t*)mi_realloc_aligned(slots, newsize, MI_BCHUNK_SIZE); | |
| if (slots == NULL) { return false; } | |
| mi_bitmap_init(slots, newcount, true /* or otherwise we would zero all old entries */); | |
| mi_bitmap_unsafe_setN(slots, oldcount, newcount - oldcount); | |
| mi_thread_locals_free = slots; | |
| return true; | |
| } | |
| // create a fresh key | |
| mi_thread_local_t _mi_thread_local_create(void) { | |
| mi_thread_local_t key = 0; | |
| mi_lock(&mi_thread_locals_lock) { | |
| key = mi_thread_local_claim(); | |
| if (key==0) { | |
| if (mi_thread_local_create_expand()) { | |
| key = mi_thread_local_claim(); | |
| } | |
| } | |
| } | |
| return key; | |
| } | |
| // free a key | |
| void _mi_thread_local_free(mi_thread_local_t key) { | |
| if (key==0) return; | |
| const size_t idx = mi_key_index(key); | |
| mi_lock(&mi_thread_locals_lock) { | |
| mi_bitmap_t* const slots = mi_thread_locals_free; | |
| if (slots!=NULL && idx < mi_bitmap_max_bits(slots)) { | |
| mi_bitmap_set(slots,idx); | |
| } | |
| } | |
| } | |
Xet Storage Details
- Size:
- 7.8 kB
- Xet hash:
- dfc721249bd3b6f3c0bfbf8c7c568dcbeb6c41d0f356c4623715a701ffa97c5e
·
Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.