Skip to content
charmOS docs

ID Allocator (id_space)

include/structures/id_space.h View source View on GitHub

Structs

Section titled “Structs”

id_range

Section titled “id_range”
struct id_range {
    struct rbt_node  node;
    uint64_t         start;
    uint64_t         length;
    struct id_range  *next;
};

id_space

Section titled “id_space”
struct id_space {
    struct rbt       tree;
    struct spinlock  lock;
    struct id_range  reserve_pool[ID_RANGE_RESERVE_COUNT];
    struct id_range  *reserve_free;
};

Functions

Section titled “Functions”

id_space_init

Section titled “id_space_init”
struct id_space * id_space_init(uint64_t max_id);

id_space_destroy

Section titled “id_space_destroy”
void id_space_destroy(struct id_space *is);

id_space_alloc

Section titled “id_space_alloc”
uint64_t id_space_alloc(struct id_space *is);

id_space_free

Section titled “id_space_free”
void id_space_free(struct id_space *is, uint64_t id);

id_space_alloc_range

Section titled “id_space_alloc_range”
uint64_t id_space_alloc_range(struct id_space *is, uint64_t count);

id_space_free_range

Section titled “id_space_free_range”
void id_space_free_range(struct id_space *is, uint64_t start, uint64_t count);

Macros

Section titled “Macros”

ID_RANGE_RESERVE_COUNT

Section titled “ID_RANGE_RESERVE_COUNT”
#define ID_RANGE_RESERVE_COUNT 128

ID_SPACE_INIT

Section titled “ID_SPACE_INIT”
#define ID_SPACE_INIT \
    (struct id_space) { \
        .reserve_free = NULL \
    }