2 * FRR ID Number Allocator
3 * Copyright (C) 2018 Amazon.com, Inc. or its affiliates
5 * This program is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License as published by the Free
7 * Software Foundation; either version 2 of the License, or (at your option)
10 * This program is distributed in the hope that it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15 * You should have received a copy of the GNU General Public License along
16 * with this program; see the file COPYING; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
27 #include "lib_errors.h"
32 DEFINE_MTYPE_STATIC(LIB
, IDALLOC_ALLOCATOR
, "ID Number Allocator");
33 DEFINE_MTYPE_STATIC(LIB
, IDALLOC_ALLOCATOR_NAME
, "ID Number Allocator Name");
34 DEFINE_MTYPE_STATIC(LIB
, IDALLOC_DIRECTORY
, "ID Number Allocator Directory");
35 DEFINE_MTYPE_STATIC(LIB
, IDALLOC_SUBDIRECTORY
,
36 "ID Number Allocator Subdirectory");
37 DEFINE_MTYPE_STATIC(LIB
, IDALLOC_PAGE
, "ID Number Allocator Page");
38 DEFINE_MTYPE_STATIC(LIB
, IDALLOC_POOL
,
39 "ID Number temporary holding pool entry");
41 #if UINT_MAX >= UINT32_MAX
42 #define FFS32(x) ffs(x)
44 /* ints less than 32 bits? Yikes. */
45 #define FFS32(x) ffsl(x)
48 #define DIR_MASK ((1<<IDALLOC_DIR_BITS)-1)
49 #define SUBDIR_MASK ((1<<IDALLOC_SUBDIR_BITS)-1)
50 #define FRR_ID_PAGE_MASK ((1<<IDALLOC_PAGE_BITS)-1)
51 #define WORD_MASK ((1<<IDALLOC_WORD_BITS)-1)
52 #define OFFSET_MASK ((1<<IDALLOC_OFFSET_BITS)-1)
54 #define DIR_SHIFT (IDALLOC_OFFSET_BITS + IDALLOC_WORD_BITS + \
55 IDALLOC_PAGE_BITS + IDALLOC_SUBDIR_BITS)
56 #define SUBDIR_SHIFT (IDALLOC_OFFSET_BITS + IDALLOC_WORD_BITS + \
58 #define FRR_ID_PAGE_SHIFT (IDALLOC_OFFSET_BITS + IDALLOC_WORD_BITS)
59 #define WORD_SHIFT (IDALLOC_OFFSET_BITS)
60 #define OFFSET_SHIFT (0)
62 #define ID_DIR(id) ((id >> DIR_SHIFT) & DIR_MASK)
63 #define ID_SUBDIR(id) ((id >> SUBDIR_SHIFT) & SUBDIR_MASK)
64 #define ID_PAGE(id) ((id >> FRR_ID_PAGE_SHIFT) & FRR_ID_PAGE_MASK)
65 #define ID_WORD(id) ((id >> WORD_SHIFT) & WORD_MASK)
66 #define ID_OFFSET(id) ((id >> OFFSET_SHIFT) & OFFSET_MASK)
69 * Find the page that an ID number belongs to in an allocator.
70 * Optionally create the page if it doesn't exist.
72 static struct id_alloc_page
*find_or_create_page(struct id_alloc
*alloc
,
73 uint32_t id
, int create
)
75 struct id_alloc_dir
*dir
= NULL
;
76 struct id_alloc_subdir
*subdir
= NULL
;
77 struct id_alloc_page
*page
= NULL
;
79 dir
= alloc
->sublevels
[ID_DIR(id
)];
82 dir
= XCALLOC(MTYPE_IDALLOC_DIRECTORY
, sizeof(*dir
));
83 alloc
->sublevels
[ID_DIR(id
)] = dir
;
89 subdir
= dir
->sublevels
[ID_SUBDIR(id
)];
92 subdir
= XCALLOC(MTYPE_IDALLOC_SUBDIRECTORY
,
94 dir
->sublevels
[ID_SUBDIR(id
)] = subdir
;
100 page
= subdir
->sublevels
[ID_PAGE(id
)];
101 if (page
== NULL
&& create
) {
102 page
= XCALLOC(MTYPE_IDALLOC_PAGE
, sizeof(*page
));
103 page
->base_value
= id
;
104 subdir
->sublevels
[ID_PAGE(id
)] = page
;
106 alloc
->capacity
+= 1 << FRR_ID_PAGE_SHIFT
;
107 page
->next_has_free
= alloc
->has_free
;
108 alloc
->has_free
= page
;
109 } else if (page
!= NULL
&& create
) {
111 EC_LIB_ID_CONSISTENCY
,
112 "ID Allocator %s attempt to re-create page at %u",
120 * Return an ID number back to the allocator.
121 * While this ID can be re-assigned through idalloc_allocate, the underlying
122 * memory will not be freed. If this is the first free ID in the page, the page
123 * will be added to the allocator's list of pages with free IDs.
125 void idalloc_free(struct id_alloc
*alloc
, uint32_t id
)
127 struct id_alloc_page
*page
= NULL
;
130 uint32_t old_word
, old_word_mask
;
132 page
= find_or_create_page(alloc
, id
, 0);
134 flog_err(EC_LIB_ID_CONSISTENCY
,
135 "ID Allocator %s cannot free #%u. ID Block does not exist.",
141 offset
= ID_OFFSET(id
);
143 if ((page
->allocated_mask
[word
] & (1 << offset
)) == 0) {
144 flog_err(EC_LIB_ID_CONSISTENCY
,
145 "ID Allocator %s cannot free #%u. ID was not allocated at the time of free.",
150 old_word
= page
->allocated_mask
[word
];
151 page
->allocated_mask
[word
] &= ~(((uint32_t)1) << offset
);
152 alloc
->allocated
-= 1;
154 if (old_word
== UINT32_MAX
) {
155 /* first bit in this block of 32 to be freed.*/
157 old_word_mask
= page
->full_word_mask
;
158 page
->full_word_mask
&= ~(((uint32_t)1) << word
);
160 if (old_word_mask
== UINT32_MAX
) {
161 /* first bit in page freed, add this to the allocator's
162 * list of pages with free space
164 page
->next_has_free
= alloc
->has_free
;
165 alloc
->has_free
= page
;
171 * Add a allocation page to the end of the allocator's current range.
172 * Returns null if the allocator has had all possible pages allocated already.
174 static struct id_alloc_page
*create_next_page(struct id_alloc
*alloc
)
176 if (alloc
->capacity
== 0 && alloc
->sublevels
[0])
177 return NULL
; /* All IDs allocated and the capacity looped. */
179 return find_or_create_page(alloc
, alloc
->capacity
, 1);
183 * Marks an ID within an allocator page as in use.
184 * If the ID was the last free ID in the page, the page is removed from the
185 * allocator's list of free IDs. In the typical allocation case, this page is
186 * the first page in the list, and removing the page is fast. If instead an ID
187 * is being reserved by number, this may end up scanning the whole single linked
188 * list of pages in order to remove it.
190 static void reserve_bit(struct id_alloc
*alloc
, struct id_alloc_page
*page
,
191 int word
, int offset
)
193 struct id_alloc_page
*itr
;
195 page
->allocated_mask
[word
] |= ((uint32_t)1) << offset
;
196 alloc
->allocated
+= 1;
198 if (page
->allocated_mask
[word
] == UINT32_MAX
) {
199 page
->full_word_mask
|= ((uint32_t)1) << word
;
200 if (page
->full_word_mask
== UINT32_MAX
) {
201 if (alloc
->has_free
== page
) {
202 /* allocate always pulls from alloc->has_free */
203 alloc
->has_free
= page
->next_has_free
;
205 /* reserve could pull from any page with free
208 itr
= alloc
->has_free
;
210 if (itr
->next_has_free
== page
) {
216 itr
= itr
->next_has_free
;
224 * Reserve an ID number from the allocator. Returns IDALLOC_INVALID (0) if the
225 * allocator has no more IDs available.
227 uint32_t idalloc_allocate(struct id_alloc
*alloc
)
229 struct id_alloc_page
*page
;
231 uint32_t return_value
;
233 if (alloc
->has_free
== NULL
)
234 create_next_page(alloc
);
236 if (alloc
->has_free
== NULL
) {
237 flog_err(EC_LIB_ID_EXHAUST
,
238 "ID Allocator %s has run out of IDs.", alloc
->name
);
239 return IDALLOC_INVALID
;
242 page
= alloc
->has_free
;
243 word
= FFS32(~(page
->full_word_mask
)) - 1;
245 if (word
< 0 || word
>= 32) {
246 flog_err(EC_LIB_ID_CONSISTENCY
,
247 "ID Allocator %s internal error. Page starting at %d is inconsistent.",
248 alloc
->name
, page
->base_value
);
249 return IDALLOC_INVALID
;
252 offset
= FFS32(~(page
->allocated_mask
[word
])) - 1;
253 if (offset
< 0 || offset
>= 32) {
254 flog_err(EC_LIB_ID_CONSISTENCY
,
255 "ID Allocator %s internal error. Page starting at %d is inconsistent on word %d",
256 alloc
->name
, page
->base_value
, word
);
257 return IDALLOC_INVALID
;
259 return_value
= page
->base_value
+ word
* 32 + offset
;
261 reserve_bit(alloc
, page
, word
, offset
);
267 * Tries to allocate a specific ID from the allocator. Returns IDALLOC_INVALID
268 * when the ID being "reserved" has allready been assigned/reserved. This should
269 * only be done with low numbered IDs, as the allocator needs to reserve bit-map
272 uint32_t idalloc_reserve(struct id_alloc
*alloc
, uint32_t id
)
274 struct id_alloc_page
*page
;
277 while (alloc
->capacity
<= id
)
278 create_next_page(alloc
);
281 offset
= ID_OFFSET(id
);
282 page
= find_or_create_page(alloc
, id
, 0);
283 /* page can't be null because the loop above ensured it was created. */
285 if (page
->allocated_mask
[word
] & (((uint32_t)1) << offset
)) {
286 flog_err(EC_LIB_ID_CONSISTENCY
,
287 "ID Allocator %s could not reserve %u because it is already allocated.",
289 return IDALLOC_INVALID
;
292 reserve_bit(alloc
, page
, word
, offset
);
297 * Set up an empty ID allocator, with IDALLOC_INVALID pre-reserved.
299 struct id_alloc
*idalloc_new(const char *name
)
301 struct id_alloc
*ret
;
303 ret
= XCALLOC(MTYPE_IDALLOC_ALLOCATOR
, sizeof(*ret
));
304 ret
->name
= XSTRDUP(MTYPE_IDALLOC_ALLOCATOR_NAME
, name
);
306 idalloc_reserve(ret
, IDALLOC_INVALID
);
312 * Free a subdir, and all pages below it.
314 static void idalloc_destroy_subdir(struct id_alloc_subdir
*subdir
)
318 for (i
= 0; i
< IDALLOC_PAGE_COUNT
; i
++) {
319 if (subdir
->sublevels
[i
])
320 XFREE(MTYPE_IDALLOC_PAGE
, subdir
->sublevels
[i
]);
324 XFREE(MTYPE_IDALLOC_SUBDIRECTORY
, subdir
);
328 * Free a dir, and all subdirs/pages below it.
330 static void idalloc_destroy_dir(struct id_alloc_dir
*dir
)
334 for (i
= 0; i
< IDALLOC_SUBDIR_COUNT
; i
++) {
335 if (dir
->sublevels
[i
])
336 idalloc_destroy_subdir(dir
->sublevels
[i
]);
340 XFREE(MTYPE_IDALLOC_DIRECTORY
, dir
);
344 * Free all memory associated with an ID allocator.
346 void idalloc_destroy(struct id_alloc
*alloc
)
350 for (i
= 0; i
< IDALLOC_DIR_COUNT
; i
++) {
351 if (alloc
->sublevels
[i
])
352 idalloc_destroy_dir(alloc
->sublevels
[i
]);
357 XFREE(MTYPE_IDALLOC_ALLOCATOR_NAME
, alloc
->name
);
358 XFREE(MTYPE_IDALLOC_ALLOCATOR
, alloc
);
362 * Give an ID number to temporary holding pool.
364 void idalloc_free_to_pool(struct id_alloc_pool
**pool_ptr
, uint32_t id
)
366 struct id_alloc_pool
*new_pool
;
368 new_pool
= XMALLOC(MTYPE_IDALLOC_POOL
, sizeof(*new_pool
));
370 new_pool
->next
= *pool_ptr
;
371 *pool_ptr
= new_pool
;
375 * Free all ID numbers held in a holding pool back to the main allocator.
377 void idalloc_drain_pool(struct id_alloc
*alloc
, struct id_alloc_pool
**pool_ptr
)
379 struct id_alloc_pool
*current
, *next
;
383 next
= current
->next
;
384 idalloc_free(alloc
, current
->id
);
385 XFREE(MTYPE_IDALLOC_POOL
, current
);
391 * Allocate an ID from either a holding pool, or the main allocator. IDs will
392 * only be pulled form the main allocator when the pool is empty.
394 uint32_t idalloc_allocate_prefer_pool(struct id_alloc
*alloc
,
395 struct id_alloc_pool
**pool_ptr
)
398 struct id_alloc_pool
*pool_head
= *pool_ptr
;
402 *pool_ptr
= pool_head
->next
;
403 XFREE(MTYPE_IDALLOC_POOL
, pool_head
);
406 return idalloc_allocate(alloc
);