blob: 8a1255ffd46efdefdb5c0b1332451fb46244b3e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// SPDX-License-Identifier: GPL-2.0-or-later
/*
* FRR ID Number Allocator
* Copyright (C) 2018 Amazon.com, Inc. or its affiliates
*/
#ifndef _ZEBRA_ID_ALLOC_H
#define _ZEBRA_ID_ALLOC_H
#include <strings.h>
#include <limits.h>
#include <stdint.h>
#ifdef __cplusplus
extern "C" {
#endif
#define IDALLOC_INVALID 0
#define IDALLOC_DIR_BITS 8
#define IDALLOC_SUBDIR_BITS 7
#define IDALLOC_PAGE_BITS 7
#define IDALLOC_WORD_BITS 5
#define IDALLOC_OFFSET_BITS 5
#define IDALLOC_DIR_COUNT (1 << IDALLOC_DIR_BITS)
#define IDALLOC_SUBDIR_COUNT (1 << IDALLOC_SUBDIR_BITS)
#define IDALLOC_PAGE_COUNT (1 << IDALLOC_PAGE_BITS)
#define IDALLOC_WORD_COUNT (1 << IDALLOC_WORD_BITS)
struct id_alloc_page {
/* Bitmask of allocations. 1s indicates the ID is already allocated. */
uint32_t allocated_mask[IDALLOC_WORD_COUNT];
/* Bitmask for free space in allocated_mask. 1s indicate whole 32 bit
* section is full.
*/
uint32_t full_word_mask;
/* The ID that bit 0 in allocated_mask corresponds to. */
uint32_t base_value;
struct id_alloc_page
*next_has_free; /* Next page with at least one bit open */
};
struct id_alloc_subdir {
struct id_alloc_page *sublevels[IDALLOC_PAGE_COUNT];
};
struct id_alloc_dir {
struct id_alloc_subdir *sublevels[IDALLOC_SUBDIR_COUNT];
};
struct id_alloc {
struct id_alloc_dir *sublevels[IDALLOC_DIR_COUNT];
struct id_alloc_page *has_free;
char *name;
uint32_t allocated, capacity;
};
struct id_alloc_pool {
struct id_alloc_pool *next;
uint32_t id;
};
void idalloc_free(struct id_alloc *alloc, uint32_t id);
void idalloc_free_to_pool(struct id_alloc_pool **pool_ptr, uint32_t id);
void idalloc_drain_pool(struct id_alloc *alloc,
struct id_alloc_pool **pool_ptr);
uint32_t idalloc_allocate(struct id_alloc *alloc);
uint32_t idalloc_allocate_prefer_pool(struct id_alloc *alloc,
struct id_alloc_pool **pool_ptr);
uint32_t idalloc_reserve(struct id_alloc *alloc, uint32_t id);
struct id_alloc *idalloc_new(const char *name);
void idalloc_destroy(struct id_alloc *alloc);
#ifdef __cplusplus
}
#endif
#endif
|