diff options
Diffstat (limited to 'fluent-bit/lib/wasm-micro-runtime-WAMR-1.2.2/core/iwasm/libraries/lib-wasi-threads/tid_allocator.h')
-rw-r--r-- | fluent-bit/lib/wasm-micro-runtime-WAMR-1.2.2/core/iwasm/libraries/lib-wasi-threads/tid_allocator.h | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/fluent-bit/lib/wasm-micro-runtime-WAMR-1.2.2/core/iwasm/libraries/lib-wasi-threads/tid_allocator.h b/fluent-bit/lib/wasm-micro-runtime-WAMR-1.2.2/core/iwasm/libraries/lib-wasi-threads/tid_allocator.h deleted file mode 100644 index 53af1719f..000000000 --- a/fluent-bit/lib/wasm-micro-runtime-WAMR-1.2.2/core/iwasm/libraries/lib-wasi-threads/tid_allocator.h +++ /dev/null @@ -1,36 +0,0 @@ -/* - * Copyright (C) 2023 Amazon.com, Inc. or its affiliates. All Rights Reserved. - * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception - */ - -#ifndef _TID_ALLOCATOR_H -#define _TID_ALLOCATOR_H - -#include "platform_common.h" - -#define TID_ALLOCATOR_INIT_SIZE CLUSTER_MAX_THREAD_NUM -enum { - TID_MIN = 1, - TID_MAX = 0x1FFFFFFF -}; // Reserved TIDs (WASI specification) - -/* Stack data structure to track available thread identifiers */ -typedef struct { - int32 *ids; // Array used to store the stack - uint32 size; // Stack capacity - uint32 pos; // Index of the element after the stack top -} TidAllocator; - -bool -tid_allocator_init(TidAllocator *tid_allocator); - -void -tid_allocator_deinit(TidAllocator *tid_allocator); - -int32 -tid_allocator_get_tid(TidAllocator *tid_allocator); - -void -tid_allocator_release_tid(TidAllocator *tid_allocator, int32 thread_id); - -#endif /* _TID_ALLOCATOR_H */
\ No newline at end of file |