1f6bde1fdSPoul-Henning Kamp /*- 2f6bde1fdSPoul-Henning Kamp * Copyright (c) 2004 Poul-Henning Kamp 3f6bde1fdSPoul-Henning Kamp * All rights reserved. 4f6bde1fdSPoul-Henning Kamp * 5f6bde1fdSPoul-Henning Kamp * Redistribution and use in source and binary forms, with or without 6f6bde1fdSPoul-Henning Kamp * modification, are permitted provided that the following conditions 7f6bde1fdSPoul-Henning Kamp * are met: 8f6bde1fdSPoul-Henning Kamp * 1. Redistributions of source code must retain the above copyright 9f6bde1fdSPoul-Henning Kamp * notice, this list of conditions and the following disclaimer. 10f6bde1fdSPoul-Henning Kamp * 2. Redistributions in binary form must reproduce the above copyright 11f6bde1fdSPoul-Henning Kamp * notice, this list of conditions and the following disclaimer in the 12f6bde1fdSPoul-Henning Kamp * documentation and/or other materials provided with the distribution. 13f6bde1fdSPoul-Henning Kamp * 14f6bde1fdSPoul-Henning Kamp * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 15f6bde1fdSPoul-Henning Kamp * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16f6bde1fdSPoul-Henning Kamp * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17f6bde1fdSPoul-Henning Kamp * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 18f6bde1fdSPoul-Henning Kamp * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 19f6bde1fdSPoul-Henning Kamp * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 20f6bde1fdSPoul-Henning Kamp * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 21f6bde1fdSPoul-Henning Kamp * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 22f6bde1fdSPoul-Henning Kamp * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 23f6bde1fdSPoul-Henning Kamp * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 24f6bde1fdSPoul-Henning Kamp * SUCH DAMAGE. 25f6bde1fdSPoul-Henning Kamp * 26f6bde1fdSPoul-Henning Kamp * $FreeBSD$ 27d9a54d5cSPoul-Henning Kamp * 28d9a54d5cSPoul-Henning Kamp * 29d9a54d5cSPoul-Henning Kamp * Unit number allocation functions. 30f6bde1fdSPoul-Henning Kamp * 31f6bde1fdSPoul-Henning Kamp * These functions implement a mixed run-length/bitmap management of unit 32d9a54d5cSPoul-Henning Kamp * number spaces in a very memory efficient manner. 33f6bde1fdSPoul-Henning Kamp * 34d9a54d5cSPoul-Henning Kamp * Allocation policy is always lowest free number first. 35f6bde1fdSPoul-Henning Kamp * 36d9a54d5cSPoul-Henning Kamp * A return value of -1 signals that no more unit numbers are available. 37f6bde1fdSPoul-Henning Kamp * 38d9a54d5cSPoul-Henning Kamp * There is no cost associated with the range of unitnumbers, so unless 39d9a54d5cSPoul-Henning Kamp * the resource really is finite, specify INT_MAX to new_unrhdr() and 40d9a54d5cSPoul-Henning Kamp * forget about checking the return value. 41f6bde1fdSPoul-Henning Kamp * 42d9a54d5cSPoul-Henning Kamp * If a mutex is not provided when the unit number space is created, a 43d9a54d5cSPoul-Henning Kamp * default global mutex is used. The advantage to passing a mutex in, is 446bccea7cSRebecca Cran * that the alloc_unrl() function can be called with the mutex already 45d9a54d5cSPoul-Henning Kamp * held (it will not be released by alloc_unrl()). 46d9a54d5cSPoul-Henning Kamp * 47d9a54d5cSPoul-Henning Kamp * The allocation function alloc_unr{l}() never sleeps (but it may block on 48d9a54d5cSPoul-Henning Kamp * the mutex of course). 49d9a54d5cSPoul-Henning Kamp * 50d9a54d5cSPoul-Henning Kamp * Freeing a unit number may require allocating memory, and can therefore 51d9a54d5cSPoul-Henning Kamp * sleep so the free_unr() function does not come in a pre-locked variant. 52f6bde1fdSPoul-Henning Kamp * 53f6bde1fdSPoul-Henning Kamp * A userland test program is included. 54f6bde1fdSPoul-Henning Kamp * 556bccea7cSRebecca Cran * Memory usage is a very complex function of the exact allocation 56d9a54d5cSPoul-Henning Kamp * pattern, but always very compact: 57d9a54d5cSPoul-Henning Kamp * * For the very typical case where a single unbroken run of unit 58d9a54d5cSPoul-Henning Kamp * numbers are allocated 44 bytes are used on i386. 59d9a54d5cSPoul-Henning Kamp * * For a unit number space of 1000 units and the random pattern 60d9a54d5cSPoul-Henning Kamp * in the usermode test program included, the worst case usage 61d9a54d5cSPoul-Henning Kamp * was 252 bytes on i386 for 500 allocated and 500 free units. 62d9a54d5cSPoul-Henning Kamp * * For a unit number space of 10000 units and the random pattern 63d9a54d5cSPoul-Henning Kamp * in the usermode test program included, the worst case usage 64d9a54d5cSPoul-Henning Kamp * was 798 bytes on i386 for 5000 allocated and 5000 free units. 65d9a54d5cSPoul-Henning Kamp * * The worst case is where every other unit number is allocated and 6696240c89SEitan Adler * the rest are free. In that case 44 + N/4 bytes are used where 67d9a54d5cSPoul-Henning Kamp * N is the number of the highest unit allocated. 68f6bde1fdSPoul-Henning Kamp */ 69f6bde1fdSPoul-Henning Kamp 708907f744SAlan Somers #include <sys/param.h> 71f6bde1fdSPoul-Henning Kamp #include <sys/types.h> 72dc872d46SKonstantin Belousov #include <sys/_unrhdr.h> 73f6bde1fdSPoul-Henning Kamp 74f6bde1fdSPoul-Henning Kamp #ifdef _KERNEL 75f6bde1fdSPoul-Henning Kamp 76794277daSAlan Somers #include <sys/bitstring.h> 77f6bde1fdSPoul-Henning Kamp #include <sys/malloc.h> 78f6bde1fdSPoul-Henning Kamp #include <sys/kernel.h> 79f6bde1fdSPoul-Henning Kamp #include <sys/systm.h> 80d9a54d5cSPoul-Henning Kamp #include <sys/limits.h> 81d9a54d5cSPoul-Henning Kamp #include <sys/lock.h> 82d9a54d5cSPoul-Henning Kamp #include <sys/mutex.h> 83f6bde1fdSPoul-Henning Kamp 84f6bde1fdSPoul-Henning Kamp /* 85f6bde1fdSPoul-Henning Kamp * In theory it would be smarter to allocate the individual blocks 86f6bde1fdSPoul-Henning Kamp * with the zone allocator, but at this time the expectation is that 87f6bde1fdSPoul-Henning Kamp * there will typically not even be enough allocations to fill a single 88f6bde1fdSPoul-Henning Kamp * page, so we stick with malloc for now. 89f6bde1fdSPoul-Henning Kamp */ 90f6bde1fdSPoul-Henning Kamp static MALLOC_DEFINE(M_UNIT, "Unitno", "Unit number allocation"); 91f6bde1fdSPoul-Henning Kamp 92f6bde1fdSPoul-Henning Kamp #define Malloc(foo) malloc(foo, M_UNIT, M_WAITOK | M_ZERO) 93f6bde1fdSPoul-Henning Kamp #define Free(foo) free(foo, M_UNIT) 94f6bde1fdSPoul-Henning Kamp 95d9a54d5cSPoul-Henning Kamp static struct mtx unitmtx; 96d9a54d5cSPoul-Henning Kamp 97d9a54d5cSPoul-Henning Kamp MTX_SYSINIT(unit, &unitmtx, "unit# allocation", MTX_DEF); 98d9a54d5cSPoul-Henning Kamp 99f6bde1fdSPoul-Henning Kamp #else /* ...USERLAND */ 100f6bde1fdSPoul-Henning Kamp 101794277daSAlan Somers #include <bitstring.h> 102794277daSAlan Somers #include <err.h> 103794277daSAlan Somers #include <errno.h> 104794277daSAlan Somers #include <getopt.h> 105794277daSAlan Somers #include <stdbool.h> 106f6bde1fdSPoul-Henning Kamp #include <stdio.h> 107f6bde1fdSPoul-Henning Kamp #include <stdlib.h> 108d9a54d5cSPoul-Henning Kamp #include <string.h> 109f6bde1fdSPoul-Henning Kamp 110f6bde1fdSPoul-Henning Kamp #define KASSERT(cond, arg) \ 111f6bde1fdSPoul-Henning Kamp do { \ 112f6bde1fdSPoul-Henning Kamp if (!(cond)) { \ 113f6bde1fdSPoul-Henning Kamp printf arg; \ 114d9a54d5cSPoul-Henning Kamp abort(); \ 115f6bde1fdSPoul-Henning Kamp } \ 116f6bde1fdSPoul-Henning Kamp } while (0) 117f6bde1fdSPoul-Henning Kamp 118d9a54d5cSPoul-Henning Kamp static int no_alloc; 119d9a54d5cSPoul-Henning Kamp #define Malloc(foo) _Malloc(foo, __LINE__) 120d9a54d5cSPoul-Henning Kamp static void * 121d9a54d5cSPoul-Henning Kamp _Malloc(size_t foo, int line) 122d9a54d5cSPoul-Henning Kamp { 123d9a54d5cSPoul-Henning Kamp 124d9a54d5cSPoul-Henning Kamp KASSERT(no_alloc == 0, ("malloc in wrong place() line %d", line)); 125d9a54d5cSPoul-Henning Kamp return (calloc(foo, 1)); 126d9a54d5cSPoul-Henning Kamp } 127f6bde1fdSPoul-Henning Kamp #define Free(foo) free(foo) 128f6bde1fdSPoul-Henning Kamp 129d9a54d5cSPoul-Henning Kamp struct unrhdr; 130d9a54d5cSPoul-Henning Kamp 131d9a54d5cSPoul-Henning Kamp 132d9a54d5cSPoul-Henning Kamp struct mtx { 133d9a54d5cSPoul-Henning Kamp int state; 134d9a54d5cSPoul-Henning Kamp } unitmtx; 135d9a54d5cSPoul-Henning Kamp 136d9a54d5cSPoul-Henning Kamp static void 137d9a54d5cSPoul-Henning Kamp mtx_lock(struct mtx *mp) 138d9a54d5cSPoul-Henning Kamp { 139d9a54d5cSPoul-Henning Kamp KASSERT(mp->state == 0, ("mutex already locked")); 140d9a54d5cSPoul-Henning Kamp mp->state = 1; 141d9a54d5cSPoul-Henning Kamp } 142d9a54d5cSPoul-Henning Kamp 143d9a54d5cSPoul-Henning Kamp static void 144d9a54d5cSPoul-Henning Kamp mtx_unlock(struct mtx *mp) 145d9a54d5cSPoul-Henning Kamp { 146d9a54d5cSPoul-Henning Kamp KASSERT(mp->state == 1, ("mutex not locked")); 147d9a54d5cSPoul-Henning Kamp mp->state = 0; 148d9a54d5cSPoul-Henning Kamp } 149d9a54d5cSPoul-Henning Kamp 150d9a54d5cSPoul-Henning Kamp #define MA_OWNED 9 151d9a54d5cSPoul-Henning Kamp 152d9a54d5cSPoul-Henning Kamp static void 153d9a54d5cSPoul-Henning Kamp mtx_assert(struct mtx *mp, int flag) 154d9a54d5cSPoul-Henning Kamp { 155d9a54d5cSPoul-Henning Kamp if (flag == MA_OWNED) { 156d9a54d5cSPoul-Henning Kamp KASSERT(mp->state == 1, ("mtx_assert(MA_OWNED) not true")); 157d9a54d5cSPoul-Henning Kamp } 158d9a54d5cSPoul-Henning Kamp } 159d9a54d5cSPoul-Henning Kamp 160d9a54d5cSPoul-Henning Kamp #define CTASSERT(foo) 16124e8eaf1SJaakko Heinonen #define WITNESS_WARN(flags, lock, fmt, ...) (void)0 162d9a54d5cSPoul-Henning Kamp 163d9a54d5cSPoul-Henning Kamp #endif /* USERLAND */ 164f6bde1fdSPoul-Henning Kamp 165f6bde1fdSPoul-Henning Kamp /* 166f6bde1fdSPoul-Henning Kamp * This is our basic building block. 167f6bde1fdSPoul-Henning Kamp * 168f6bde1fdSPoul-Henning Kamp * It can be used in three different ways depending on the value of the ptr 169f6bde1fdSPoul-Henning Kamp * element: 170f6bde1fdSPoul-Henning Kamp * If ptr is NULL, it represents a run of free items. 171f6bde1fdSPoul-Henning Kamp * If ptr points to the unrhdr it represents a run of allocated items. 1728907f744SAlan Somers * Otherwise it points to a bitstring of allocated items. 173f6bde1fdSPoul-Henning Kamp * 174f6bde1fdSPoul-Henning Kamp * For runs the len field is the length of the run. 175f6bde1fdSPoul-Henning Kamp * For bitmaps the len field represents the number of allocated items. 176f6bde1fdSPoul-Henning Kamp * 177f6bde1fdSPoul-Henning Kamp * The bitmap is the same size as struct unr to optimize memory management. 178f6bde1fdSPoul-Henning Kamp */ 179f6bde1fdSPoul-Henning Kamp struct unr { 180f6bde1fdSPoul-Henning Kamp TAILQ_ENTRY(unr) list; 181f6bde1fdSPoul-Henning Kamp u_int len; 182f6bde1fdSPoul-Henning Kamp void *ptr; 183f6bde1fdSPoul-Henning Kamp }; 184f6bde1fdSPoul-Henning Kamp 185d9a54d5cSPoul-Henning Kamp struct unrb { 1868907f744SAlan Somers bitstr_t map[sizeof(struct unr) / sizeof(bitstr_t)]; 187d9a54d5cSPoul-Henning Kamp }; 188d9a54d5cSPoul-Henning Kamp 1898907f744SAlan Somers CTASSERT((sizeof(struct unr) % sizeof(bitstr_t)) == 0); 190d9a54d5cSPoul-Henning Kamp 1918907f744SAlan Somers /* Number of bits we can store in the bitmap */ 1928907f744SAlan Somers #define NBITS (8 * sizeof(((struct unrb*)NULL)->map)) 1938907f744SAlan Somers 1948907f744SAlan Somers /* Is the unrb empty in at least the first len bits? */ 1958907f744SAlan Somers static inline bool 1968907f744SAlan Somers ub_empty(struct unrb *ub, int len) { 1978907f744SAlan Somers int first_set; 1988907f744SAlan Somers 1998907f744SAlan Somers bit_ffs(ub->map, len, &first_set); 2008907f744SAlan Somers return (first_set == -1); 2018907f744SAlan Somers } 2028907f744SAlan Somers 2038907f744SAlan Somers /* Is the unrb full? That is, is the number of set elements equal to len? */ 2048907f744SAlan Somers static inline bool 2058907f744SAlan Somers ub_full(struct unrb *ub, int len) 2068907f744SAlan Somers { 2078907f744SAlan Somers int first_clear; 2088907f744SAlan Somers 2098907f744SAlan Somers bit_ffc(ub->map, len, &first_clear); 2108907f744SAlan Somers return (first_clear == -1); 2118907f744SAlan Somers } 2128907f744SAlan Somers 213f6bde1fdSPoul-Henning Kamp 214f6bde1fdSPoul-Henning Kamp #if defined(DIAGNOSTIC) || !defined(_KERNEL) 215f6bde1fdSPoul-Henning Kamp /* 216f6bde1fdSPoul-Henning Kamp * Consistency check function. 217f6bde1fdSPoul-Henning Kamp * 218f6bde1fdSPoul-Henning Kamp * Checks the internal consistency as well as we can. 219f6bde1fdSPoul-Henning Kamp * 220f6bde1fdSPoul-Henning Kamp * Called at all boundaries of this API. 221f6bde1fdSPoul-Henning Kamp */ 222f6bde1fdSPoul-Henning Kamp static void 223f6bde1fdSPoul-Henning Kamp check_unrhdr(struct unrhdr *uh, int line) 224f6bde1fdSPoul-Henning Kamp { 225f6bde1fdSPoul-Henning Kamp struct unr *up; 226d9a54d5cSPoul-Henning Kamp struct unrb *ub; 227f6bde1fdSPoul-Henning Kamp u_int x, y, z, w; 228f6bde1fdSPoul-Henning Kamp 229d9a54d5cSPoul-Henning Kamp y = uh->first; 230f6bde1fdSPoul-Henning Kamp z = 0; 231f6bde1fdSPoul-Henning Kamp TAILQ_FOREACH(up, &uh->head, list) { 232f6bde1fdSPoul-Henning Kamp z++; 233f6bde1fdSPoul-Henning Kamp if (up->ptr != uh && up->ptr != NULL) { 234d9a54d5cSPoul-Henning Kamp ub = up->ptr; 235d9a54d5cSPoul-Henning Kamp KASSERT (up->len <= NBITS, 2368907f744SAlan Somers ("UNR inconsistency: len %u max %zd (line %d)\n", 237d9a54d5cSPoul-Henning Kamp up->len, NBITS, line)); 238f6bde1fdSPoul-Henning Kamp z++; 239f6bde1fdSPoul-Henning Kamp w = 0; 240d9a54d5cSPoul-Henning Kamp for (x = 0; x < up->len; x++) 241d9a54d5cSPoul-Henning Kamp if (bit_test(ub->map, x)) 242f6bde1fdSPoul-Henning Kamp w++; 243d9a54d5cSPoul-Henning Kamp y += w; 244d9a54d5cSPoul-Henning Kamp } else if (up->ptr != NULL) 245f6bde1fdSPoul-Henning Kamp y += up->len; 246f6bde1fdSPoul-Henning Kamp } 247f6bde1fdSPoul-Henning Kamp KASSERT (y == uh->busy, 248f6bde1fdSPoul-Henning Kamp ("UNR inconsistency: items %u found %u (line %d)\n", 249f6bde1fdSPoul-Henning Kamp uh->busy, y, line)); 250f6bde1fdSPoul-Henning Kamp KASSERT (z == uh->alloc, 251f6bde1fdSPoul-Henning Kamp ("UNR inconsistency: chunks %u found %u (line %d)\n", 252f6bde1fdSPoul-Henning Kamp uh->alloc, z, line)); 253f6bde1fdSPoul-Henning Kamp } 254f6bde1fdSPoul-Henning Kamp 255f6bde1fdSPoul-Henning Kamp #else 256f6bde1fdSPoul-Henning Kamp 257f6bde1fdSPoul-Henning Kamp static __inline void 2588907f744SAlan Somers check_unrhdr(struct unrhdr *uh __unused, int line __unused) 259f6bde1fdSPoul-Henning Kamp { 260f6bde1fdSPoul-Henning Kamp 261f6bde1fdSPoul-Henning Kamp } 262f6bde1fdSPoul-Henning Kamp 263f6bde1fdSPoul-Henning Kamp #endif 264f6bde1fdSPoul-Henning Kamp 265f6bde1fdSPoul-Henning Kamp 266f6bde1fdSPoul-Henning Kamp /* 267f6bde1fdSPoul-Henning Kamp * Userland memory management. Just use calloc and keep track of how 268f6bde1fdSPoul-Henning Kamp * many elements we have allocated for check_unrhdr(). 269f6bde1fdSPoul-Henning Kamp */ 270f6bde1fdSPoul-Henning Kamp 271f6bde1fdSPoul-Henning Kamp static __inline void * 272d9a54d5cSPoul-Henning Kamp new_unr(struct unrhdr *uh, void **p1, void **p2) 273f6bde1fdSPoul-Henning Kamp { 274d9a54d5cSPoul-Henning Kamp void *p; 275f6bde1fdSPoul-Henning Kamp 276d9a54d5cSPoul-Henning Kamp uh->alloc++; 277d9a54d5cSPoul-Henning Kamp KASSERT(*p1 != NULL || *p2 != NULL, ("Out of cached memory")); 278d9a54d5cSPoul-Henning Kamp if (*p1 != NULL) { 279d9a54d5cSPoul-Henning Kamp p = *p1; 280d9a54d5cSPoul-Henning Kamp *p1 = NULL; 281d9a54d5cSPoul-Henning Kamp return (p); 282d9a54d5cSPoul-Henning Kamp } else { 283d9a54d5cSPoul-Henning Kamp p = *p2; 284d9a54d5cSPoul-Henning Kamp *p2 = NULL; 285d9a54d5cSPoul-Henning Kamp return (p); 286d9a54d5cSPoul-Henning Kamp } 287f6bde1fdSPoul-Henning Kamp } 288f6bde1fdSPoul-Henning Kamp 289f6bde1fdSPoul-Henning Kamp static __inline void 290f6bde1fdSPoul-Henning Kamp delete_unr(struct unrhdr *uh, void *ptr) 291f6bde1fdSPoul-Henning Kamp { 29209828ba9SKonstantin Belousov struct unr *up; 293d9a54d5cSPoul-Henning Kamp 294f6bde1fdSPoul-Henning Kamp uh->alloc--; 29509828ba9SKonstantin Belousov up = ptr; 29609828ba9SKonstantin Belousov TAILQ_INSERT_TAIL(&uh->ppfree, up, list); 29709828ba9SKonstantin Belousov } 29809828ba9SKonstantin Belousov 29909828ba9SKonstantin Belousov void 30009828ba9SKonstantin Belousov clean_unrhdrl(struct unrhdr *uh) 30109828ba9SKonstantin Belousov { 30209828ba9SKonstantin Belousov struct unr *up; 30309828ba9SKonstantin Belousov 30409828ba9SKonstantin Belousov mtx_assert(uh->mtx, MA_OWNED); 30509828ba9SKonstantin Belousov while ((up = TAILQ_FIRST(&uh->ppfree)) != NULL) { 30609828ba9SKonstantin Belousov TAILQ_REMOVE(&uh->ppfree, up, list); 30709828ba9SKonstantin Belousov mtx_unlock(uh->mtx); 30809828ba9SKonstantin Belousov Free(up); 30909828ba9SKonstantin Belousov mtx_lock(uh->mtx); 31009828ba9SKonstantin Belousov } 31109828ba9SKonstantin Belousov 31209828ba9SKonstantin Belousov } 31309828ba9SKonstantin Belousov 31409828ba9SKonstantin Belousov void 31509828ba9SKonstantin Belousov clean_unrhdr(struct unrhdr *uh) 31609828ba9SKonstantin Belousov { 31709828ba9SKonstantin Belousov 31809828ba9SKonstantin Belousov mtx_lock(uh->mtx); 31909828ba9SKonstantin Belousov clean_unrhdrl(uh); 32009828ba9SKonstantin Belousov mtx_unlock(uh->mtx); 321f6bde1fdSPoul-Henning Kamp } 322f6bde1fdSPoul-Henning Kamp 323dc872d46SKonstantin Belousov void 324dc872d46SKonstantin Belousov init_unrhdr(struct unrhdr *uh, int low, int high, struct mtx *mutex) 325f6bde1fdSPoul-Henning Kamp { 326f6bde1fdSPoul-Henning Kamp 327831aa555SJaakko Heinonen KASSERT(low >= 0 && low <= high, 328501812f2SJaakko Heinonen ("UNR: use error: new_unrhdr(%d, %d)", low, high)); 329d9a54d5cSPoul-Henning Kamp if (mutex != NULL) 330d9a54d5cSPoul-Henning Kamp uh->mtx = mutex; 331d9a54d5cSPoul-Henning Kamp else 332d9a54d5cSPoul-Henning Kamp uh->mtx = &unitmtx; 333f6bde1fdSPoul-Henning Kamp TAILQ_INIT(&uh->head); 33409828ba9SKonstantin Belousov TAILQ_INIT(&uh->ppfree); 335f6bde1fdSPoul-Henning Kamp uh->low = low; 336f6bde1fdSPoul-Henning Kamp uh->high = high; 337d9a54d5cSPoul-Henning Kamp uh->first = 0; 338d9a54d5cSPoul-Henning Kamp uh->last = 1 + (high - low); 339f6bde1fdSPoul-Henning Kamp check_unrhdr(uh, __LINE__); 340dc872d46SKonstantin Belousov } 341dc872d46SKonstantin Belousov 342dc872d46SKonstantin Belousov /* 343dc872d46SKonstantin Belousov * Allocate a new unrheader set. 344dc872d46SKonstantin Belousov * 345dc872d46SKonstantin Belousov * Highest and lowest valid values given as parameters. 346dc872d46SKonstantin Belousov */ 347dc872d46SKonstantin Belousov 348dc872d46SKonstantin Belousov struct unrhdr * 349dc872d46SKonstantin Belousov new_unrhdr(int low, int high, struct mtx *mutex) 350dc872d46SKonstantin Belousov { 351dc872d46SKonstantin Belousov struct unrhdr *uh; 352dc872d46SKonstantin Belousov 353dc872d46SKonstantin Belousov uh = Malloc(sizeof *uh); 354dc872d46SKonstantin Belousov init_unrhdr(uh, low, high, mutex); 355f6bde1fdSPoul-Henning Kamp return (uh); 356f6bde1fdSPoul-Henning Kamp } 357f6bde1fdSPoul-Henning Kamp 358e4fea39eSPoul-Henning Kamp void 359e4fea39eSPoul-Henning Kamp delete_unrhdr(struct unrhdr *uh) 360e4fea39eSPoul-Henning Kamp { 361e4fea39eSPoul-Henning Kamp 362d9a54d5cSPoul-Henning Kamp check_unrhdr(uh, __LINE__); 363e4fea39eSPoul-Henning Kamp KASSERT(uh->busy == 0, ("unrhdr has %u allocations", uh->busy)); 364e4fea39eSPoul-Henning Kamp KASSERT(uh->alloc == 0, ("UNR memory leak in delete_unrhdr")); 36509828ba9SKonstantin Belousov KASSERT(TAILQ_FIRST(&uh->ppfree) == NULL, 36609828ba9SKonstantin Belousov ("unrhdr has postponed item for free")); 367e4fea39eSPoul-Henning Kamp Free(uh); 368e4fea39eSPoul-Henning Kamp } 369e4fea39eSPoul-Henning Kamp 370d9a54d5cSPoul-Henning Kamp static __inline int 371d9a54d5cSPoul-Henning Kamp is_bitmap(struct unrhdr *uh, struct unr *up) 372d9a54d5cSPoul-Henning Kamp { 373d9a54d5cSPoul-Henning Kamp return (up->ptr != uh && up->ptr != NULL); 374d9a54d5cSPoul-Henning Kamp } 375d9a54d5cSPoul-Henning Kamp 376f6bde1fdSPoul-Henning Kamp /* 377d9a54d5cSPoul-Henning Kamp * Look for sequence of items which can be combined into a bitmap, if 378d9a54d5cSPoul-Henning Kamp * multiple are present, take the one which saves most memory. 379d9a54d5cSPoul-Henning Kamp * 380d9a54d5cSPoul-Henning Kamp * Return (1) if a sequence was found to indicate that another call 381d9a54d5cSPoul-Henning Kamp * might be able to do more. Return (0) if we found no suitable sequence. 382d9a54d5cSPoul-Henning Kamp * 383d9a54d5cSPoul-Henning Kamp * NB: called from alloc_unr(), no new memory allocation allowed. 384d9a54d5cSPoul-Henning Kamp */ 385d9a54d5cSPoul-Henning Kamp static int 386d9a54d5cSPoul-Henning Kamp optimize_unr(struct unrhdr *uh) 387d9a54d5cSPoul-Henning Kamp { 388d9a54d5cSPoul-Henning Kamp struct unr *up, *uf, *us; 389d9a54d5cSPoul-Henning Kamp struct unrb *ub, *ubf; 390d9a54d5cSPoul-Henning Kamp u_int a, l, ba; 391d9a54d5cSPoul-Henning Kamp 392d9a54d5cSPoul-Henning Kamp /* 393d9a54d5cSPoul-Henning Kamp * Look for the run of items (if any) which when collapsed into 394d9a54d5cSPoul-Henning Kamp * a bitmap would save most memory. 395d9a54d5cSPoul-Henning Kamp */ 396d9a54d5cSPoul-Henning Kamp us = NULL; 397d9a54d5cSPoul-Henning Kamp ba = 0; 398d9a54d5cSPoul-Henning Kamp TAILQ_FOREACH(uf, &uh->head, list) { 399d9a54d5cSPoul-Henning Kamp if (uf->len >= NBITS) 400d9a54d5cSPoul-Henning Kamp continue; 401d9a54d5cSPoul-Henning Kamp a = 1; 402d9a54d5cSPoul-Henning Kamp if (is_bitmap(uh, uf)) 403d9a54d5cSPoul-Henning Kamp a++; 404d9a54d5cSPoul-Henning Kamp l = uf->len; 405d9a54d5cSPoul-Henning Kamp up = uf; 406d9a54d5cSPoul-Henning Kamp while (1) { 407d9a54d5cSPoul-Henning Kamp up = TAILQ_NEXT(up, list); 408d9a54d5cSPoul-Henning Kamp if (up == NULL) 409d9a54d5cSPoul-Henning Kamp break; 410d9a54d5cSPoul-Henning Kamp if ((up->len + l) > NBITS) 411d9a54d5cSPoul-Henning Kamp break; 412d9a54d5cSPoul-Henning Kamp a++; 413d9a54d5cSPoul-Henning Kamp if (is_bitmap(uh, up)) 414d9a54d5cSPoul-Henning Kamp a++; 415d9a54d5cSPoul-Henning Kamp l += up->len; 416d9a54d5cSPoul-Henning Kamp } 417d9a54d5cSPoul-Henning Kamp if (a > ba) { 418d9a54d5cSPoul-Henning Kamp ba = a; 419d9a54d5cSPoul-Henning Kamp us = uf; 420d9a54d5cSPoul-Henning Kamp } 421d9a54d5cSPoul-Henning Kamp } 422d9a54d5cSPoul-Henning Kamp if (ba < 3) 423d9a54d5cSPoul-Henning Kamp return (0); 424d9a54d5cSPoul-Henning Kamp 425d9a54d5cSPoul-Henning Kamp /* 426d9a54d5cSPoul-Henning Kamp * If the first element is not a bitmap, make it one. 427d9a54d5cSPoul-Henning Kamp * Trying to do so without allocating more memory complicates things 428d9a54d5cSPoul-Henning Kamp * a bit 429d9a54d5cSPoul-Henning Kamp */ 430d9a54d5cSPoul-Henning Kamp if (!is_bitmap(uh, us)) { 431d9a54d5cSPoul-Henning Kamp uf = TAILQ_NEXT(us, list); 432d9a54d5cSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, us, list); 433d9a54d5cSPoul-Henning Kamp a = us->len; 434d9a54d5cSPoul-Henning Kamp l = us->ptr == uh ? 1 : 0; 435d9a54d5cSPoul-Henning Kamp ub = (void *)us; 4368907f744SAlan Somers bit_nclear(ub->map, 0, NBITS - 1); 4378907f744SAlan Somers if (l) 438d9a54d5cSPoul-Henning Kamp bit_nset(ub->map, 0, a); 439d9a54d5cSPoul-Henning Kamp if (!is_bitmap(uh, uf)) { 4408907f744SAlan Somers if (uf->ptr == NULL) 441d9a54d5cSPoul-Henning Kamp bit_nclear(ub->map, a, a + uf->len - 1); 4428907f744SAlan Somers else 443d9a54d5cSPoul-Henning Kamp bit_nset(ub->map, a, a + uf->len - 1); 444d9a54d5cSPoul-Henning Kamp uf->ptr = ub; 445d9a54d5cSPoul-Henning Kamp uf->len += a; 446d9a54d5cSPoul-Henning Kamp us = uf; 447d9a54d5cSPoul-Henning Kamp } else { 448d9a54d5cSPoul-Henning Kamp ubf = uf->ptr; 449d9a54d5cSPoul-Henning Kamp for (l = 0; l < uf->len; l++, a++) { 4508907f744SAlan Somers if (bit_test(ubf->map, l)) 451d9a54d5cSPoul-Henning Kamp bit_set(ub->map, a); 4528907f744SAlan Somers else 453d9a54d5cSPoul-Henning Kamp bit_clear(ub->map, a); 454d9a54d5cSPoul-Henning Kamp } 455d9a54d5cSPoul-Henning Kamp uf->len = a; 456d9a54d5cSPoul-Henning Kamp delete_unr(uh, uf->ptr); 457d9a54d5cSPoul-Henning Kamp uf->ptr = ub; 458d9a54d5cSPoul-Henning Kamp us = uf; 459d9a54d5cSPoul-Henning Kamp } 460d9a54d5cSPoul-Henning Kamp } 461d9a54d5cSPoul-Henning Kamp ub = us->ptr; 462d9a54d5cSPoul-Henning Kamp while (1) { 463d9a54d5cSPoul-Henning Kamp uf = TAILQ_NEXT(us, list); 464d9a54d5cSPoul-Henning Kamp if (uf == NULL) 465d9a54d5cSPoul-Henning Kamp return (1); 466d9a54d5cSPoul-Henning Kamp if (uf->len + us->len > NBITS) 467d9a54d5cSPoul-Henning Kamp return (1); 468d9a54d5cSPoul-Henning Kamp if (uf->ptr == NULL) { 469d9a54d5cSPoul-Henning Kamp bit_nclear(ub->map, us->len, us->len + uf->len - 1); 470d9a54d5cSPoul-Henning Kamp us->len += uf->len; 471d9a54d5cSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, uf, list); 472d9a54d5cSPoul-Henning Kamp delete_unr(uh, uf); 473d9a54d5cSPoul-Henning Kamp } else if (uf->ptr == uh) { 474d9a54d5cSPoul-Henning Kamp bit_nset(ub->map, us->len, us->len + uf->len - 1); 475d9a54d5cSPoul-Henning Kamp us->len += uf->len; 476d9a54d5cSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, uf, list); 477d9a54d5cSPoul-Henning Kamp delete_unr(uh, uf); 478d9a54d5cSPoul-Henning Kamp } else { 479d9a54d5cSPoul-Henning Kamp ubf = uf->ptr; 480d9a54d5cSPoul-Henning Kamp for (l = 0; l < uf->len; l++, us->len++) { 4818907f744SAlan Somers if (bit_test(ubf->map, l)) 482d9a54d5cSPoul-Henning Kamp bit_set(ub->map, us->len); 4838907f744SAlan Somers else 484d9a54d5cSPoul-Henning Kamp bit_clear(ub->map, us->len); 485d9a54d5cSPoul-Henning Kamp } 486d9a54d5cSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, uf, list); 487d9a54d5cSPoul-Henning Kamp delete_unr(uh, ubf); 488d9a54d5cSPoul-Henning Kamp delete_unr(uh, uf); 489d9a54d5cSPoul-Henning Kamp } 490d9a54d5cSPoul-Henning Kamp } 491d9a54d5cSPoul-Henning Kamp } 492d9a54d5cSPoul-Henning Kamp 493d9a54d5cSPoul-Henning Kamp /* 494d9a54d5cSPoul-Henning Kamp * See if a given unr should be collapsed with a neighbor. 495d9a54d5cSPoul-Henning Kamp * 496d9a54d5cSPoul-Henning Kamp * NB: called from alloc_unr(), no new memory allocation allowed. 497f6bde1fdSPoul-Henning Kamp */ 498f6bde1fdSPoul-Henning Kamp static void 499f6bde1fdSPoul-Henning Kamp collapse_unr(struct unrhdr *uh, struct unr *up) 500f6bde1fdSPoul-Henning Kamp { 501f6bde1fdSPoul-Henning Kamp struct unr *upp; 502d9a54d5cSPoul-Henning Kamp struct unrb *ub; 503f6bde1fdSPoul-Henning Kamp 504d9a54d5cSPoul-Henning Kamp /* If bitmap is all set or clear, change it to runlength */ 505d9a54d5cSPoul-Henning Kamp if (is_bitmap(uh, up)) { 506d9a54d5cSPoul-Henning Kamp ub = up->ptr; 5078907f744SAlan Somers if (ub_full(ub, up->len)) { 508d9a54d5cSPoul-Henning Kamp delete_unr(uh, up->ptr); 509d9a54d5cSPoul-Henning Kamp up->ptr = uh; 5108907f744SAlan Somers } else if (ub_empty(ub, up->len)) { 511d9a54d5cSPoul-Henning Kamp delete_unr(uh, up->ptr); 512d9a54d5cSPoul-Henning Kamp up->ptr = NULL; 513d9a54d5cSPoul-Henning Kamp } 514d9a54d5cSPoul-Henning Kamp } 515d9a54d5cSPoul-Henning Kamp 516d9a54d5cSPoul-Henning Kamp /* If nothing left in runlength, delete it */ 517d9a54d5cSPoul-Henning Kamp if (up->len == 0) { 518d9a54d5cSPoul-Henning Kamp upp = TAILQ_PREV(up, unrhd, list); 519d9a54d5cSPoul-Henning Kamp if (upp == NULL) 520d9a54d5cSPoul-Henning Kamp upp = TAILQ_NEXT(up, list); 521d9a54d5cSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, up, list); 522d9a54d5cSPoul-Henning Kamp delete_unr(uh, up); 523d9a54d5cSPoul-Henning Kamp up = upp; 524d9a54d5cSPoul-Henning Kamp } 525d9a54d5cSPoul-Henning Kamp 526d9a54d5cSPoul-Henning Kamp /* If we have "hot-spot" still, merge with neighbor if possible */ 527d9a54d5cSPoul-Henning Kamp if (up != NULL) { 528f6bde1fdSPoul-Henning Kamp upp = TAILQ_PREV(up, unrhd, list); 529f6bde1fdSPoul-Henning Kamp if (upp != NULL && up->ptr == upp->ptr) { 530f6bde1fdSPoul-Henning Kamp up->len += upp->len; 531f6bde1fdSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, upp, list); 532f6bde1fdSPoul-Henning Kamp delete_unr(uh, upp); 533f6bde1fdSPoul-Henning Kamp } 534f6bde1fdSPoul-Henning Kamp upp = TAILQ_NEXT(up, list); 535f6bde1fdSPoul-Henning Kamp if (upp != NULL && up->ptr == upp->ptr) { 536f6bde1fdSPoul-Henning Kamp up->len += upp->len; 537f6bde1fdSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, upp, list); 538f6bde1fdSPoul-Henning Kamp delete_unr(uh, upp); 539f6bde1fdSPoul-Henning Kamp } 540f6bde1fdSPoul-Henning Kamp } 541f6bde1fdSPoul-Henning Kamp 542d9a54d5cSPoul-Henning Kamp /* Merge into ->first if possible */ 543d9a54d5cSPoul-Henning Kamp upp = TAILQ_FIRST(&uh->head); 544d9a54d5cSPoul-Henning Kamp if (upp != NULL && upp->ptr == uh) { 545d9a54d5cSPoul-Henning Kamp uh->first += upp->len; 546d9a54d5cSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, upp, list); 547d9a54d5cSPoul-Henning Kamp delete_unr(uh, upp); 548d9a54d5cSPoul-Henning Kamp if (up == upp) 549d9a54d5cSPoul-Henning Kamp up = NULL; 550d9a54d5cSPoul-Henning Kamp } 551d9a54d5cSPoul-Henning Kamp 552d9a54d5cSPoul-Henning Kamp /* Merge into ->last if possible */ 553d9a54d5cSPoul-Henning Kamp upp = TAILQ_LAST(&uh->head, unrhd); 554d9a54d5cSPoul-Henning Kamp if (upp != NULL && upp->ptr == NULL) { 555d9a54d5cSPoul-Henning Kamp uh->last += upp->len; 556d9a54d5cSPoul-Henning Kamp TAILQ_REMOVE(&uh->head, upp, list); 557d9a54d5cSPoul-Henning Kamp delete_unr(uh, upp); 558d9a54d5cSPoul-Henning Kamp if (up == upp) 559d9a54d5cSPoul-Henning Kamp up = NULL; 560d9a54d5cSPoul-Henning Kamp } 561d9a54d5cSPoul-Henning Kamp 562d9a54d5cSPoul-Henning Kamp /* Try to make bitmaps */ 563d9a54d5cSPoul-Henning Kamp while (optimize_unr(uh)) 564d9a54d5cSPoul-Henning Kamp continue; 565d9a54d5cSPoul-Henning Kamp } 566d9a54d5cSPoul-Henning Kamp 567f6bde1fdSPoul-Henning Kamp /* 568f6bde1fdSPoul-Henning Kamp * Allocate a free unr. 569f6bde1fdSPoul-Henning Kamp */ 570d9a54d5cSPoul-Henning Kamp int 571d9a54d5cSPoul-Henning Kamp alloc_unrl(struct unrhdr *uh) 572f6bde1fdSPoul-Henning Kamp { 573d9a54d5cSPoul-Henning Kamp struct unr *up; 574d9a54d5cSPoul-Henning Kamp struct unrb *ub; 575f6bde1fdSPoul-Henning Kamp u_int x; 576f6bde1fdSPoul-Henning Kamp int y; 577f6bde1fdSPoul-Henning Kamp 578d9a54d5cSPoul-Henning Kamp mtx_assert(uh->mtx, MA_OWNED); 579f6bde1fdSPoul-Henning Kamp check_unrhdr(uh, __LINE__); 580d9a54d5cSPoul-Henning Kamp x = uh->low + uh->first; 581d9a54d5cSPoul-Henning Kamp 582f6bde1fdSPoul-Henning Kamp up = TAILQ_FIRST(&uh->head); 583f6bde1fdSPoul-Henning Kamp 584d9a54d5cSPoul-Henning Kamp /* 585d9a54d5cSPoul-Henning Kamp * If we have an ideal split, just adjust the first+last 586d9a54d5cSPoul-Henning Kamp */ 587d9a54d5cSPoul-Henning Kamp if (up == NULL && uh->last > 0) { 588d9a54d5cSPoul-Henning Kamp uh->first++; 589d9a54d5cSPoul-Henning Kamp uh->last--; 590f6bde1fdSPoul-Henning Kamp uh->busy++; 591f6bde1fdSPoul-Henning Kamp return (x); 592f6bde1fdSPoul-Henning Kamp } 593f6bde1fdSPoul-Henning Kamp 594f6bde1fdSPoul-Henning Kamp /* 595d9a54d5cSPoul-Henning Kamp * We can always allocate from the first list element, so if we have 596d9a54d5cSPoul-Henning Kamp * nothing on the list, we must have run out of unit numbers. 597f6bde1fdSPoul-Henning Kamp */ 59893f6c81eSPoul-Henning Kamp if (up == NULL) 599d9a54d5cSPoul-Henning Kamp return (-1); 600d9a54d5cSPoul-Henning Kamp 601d9a54d5cSPoul-Henning Kamp KASSERT(up->ptr != uh, ("UNR first element is allocated")); 602d9a54d5cSPoul-Henning Kamp 603d9a54d5cSPoul-Henning Kamp if (up->ptr == NULL) { /* free run */ 604d9a54d5cSPoul-Henning Kamp uh->first++; 605f6bde1fdSPoul-Henning Kamp up->len--; 606d9a54d5cSPoul-Henning Kamp } else { /* bitmap */ 607d9a54d5cSPoul-Henning Kamp ub = up->ptr; 608d9a54d5cSPoul-Henning Kamp bit_ffc(ub->map, up->len, &y); 609d9a54d5cSPoul-Henning Kamp KASSERT(y != -1, ("UNR corruption: No clear bit in bitmap.")); 610d9a54d5cSPoul-Henning Kamp bit_set(ub->map, y); 611d9a54d5cSPoul-Henning Kamp x += y; 612d9a54d5cSPoul-Henning Kamp } 613f6bde1fdSPoul-Henning Kamp uh->busy++; 614d9a54d5cSPoul-Henning Kamp collapse_unr(uh, up); 615f6bde1fdSPoul-Henning Kamp return (x); 616f6bde1fdSPoul-Henning Kamp } 617f6bde1fdSPoul-Henning Kamp 618d9a54d5cSPoul-Henning Kamp int 619d9a54d5cSPoul-Henning Kamp alloc_unr(struct unrhdr *uh) 620d9a54d5cSPoul-Henning Kamp { 621d9a54d5cSPoul-Henning Kamp int i; 622d9a54d5cSPoul-Henning Kamp 623d9a54d5cSPoul-Henning Kamp mtx_lock(uh->mtx); 624d9a54d5cSPoul-Henning Kamp i = alloc_unrl(uh); 62509828ba9SKonstantin Belousov clean_unrhdrl(uh); 626d9a54d5cSPoul-Henning Kamp mtx_unlock(uh->mtx); 627d9a54d5cSPoul-Henning Kamp return (i); 628d9a54d5cSPoul-Henning Kamp } 629d9a54d5cSPoul-Henning Kamp 63013c02cbbSJaakko Heinonen static int 63113c02cbbSJaakko Heinonen alloc_unr_specificl(struct unrhdr *uh, u_int item, void **p1, void **p2) 63213c02cbbSJaakko Heinonen { 63313c02cbbSJaakko Heinonen struct unr *up, *upn; 63413c02cbbSJaakko Heinonen struct unrb *ub; 63513c02cbbSJaakko Heinonen u_int i, last, tl; 63613c02cbbSJaakko Heinonen 63713c02cbbSJaakko Heinonen mtx_assert(uh->mtx, MA_OWNED); 63813c02cbbSJaakko Heinonen 63913c02cbbSJaakko Heinonen if (item < uh->low + uh->first || item > uh->high) 64013c02cbbSJaakko Heinonen return (-1); 64113c02cbbSJaakko Heinonen 64213c02cbbSJaakko Heinonen up = TAILQ_FIRST(&uh->head); 64313c02cbbSJaakko Heinonen /* Ideal split. */ 64413c02cbbSJaakko Heinonen if (up == NULL && item - uh->low == uh->first) { 64513c02cbbSJaakko Heinonen uh->first++; 64613c02cbbSJaakko Heinonen uh->last--; 64713c02cbbSJaakko Heinonen uh->busy++; 64813c02cbbSJaakko Heinonen check_unrhdr(uh, __LINE__); 64913c02cbbSJaakko Heinonen return (item); 65013c02cbbSJaakko Heinonen } 65113c02cbbSJaakko Heinonen 65213c02cbbSJaakko Heinonen i = item - uh->low - uh->first; 65313c02cbbSJaakko Heinonen 65413c02cbbSJaakko Heinonen if (up == NULL) { 65513c02cbbSJaakko Heinonen up = new_unr(uh, p1, p2); 65613c02cbbSJaakko Heinonen up->ptr = NULL; 65713c02cbbSJaakko Heinonen up->len = i; 65813c02cbbSJaakko Heinonen TAILQ_INSERT_TAIL(&uh->head, up, list); 65913c02cbbSJaakko Heinonen up = new_unr(uh, p1, p2); 66013c02cbbSJaakko Heinonen up->ptr = uh; 66113c02cbbSJaakko Heinonen up->len = 1; 66213c02cbbSJaakko Heinonen TAILQ_INSERT_TAIL(&uh->head, up, list); 66313c02cbbSJaakko Heinonen uh->last = uh->high - uh->low - i; 66413c02cbbSJaakko Heinonen uh->busy++; 66513c02cbbSJaakko Heinonen check_unrhdr(uh, __LINE__); 66613c02cbbSJaakko Heinonen return (item); 66713c02cbbSJaakko Heinonen } else { 66813c02cbbSJaakko Heinonen /* Find the item which contains the unit we want to allocate. */ 66913c02cbbSJaakko Heinonen TAILQ_FOREACH(up, &uh->head, list) { 67013c02cbbSJaakko Heinonen if (up->len > i) 67113c02cbbSJaakko Heinonen break; 67213c02cbbSJaakko Heinonen i -= up->len; 67313c02cbbSJaakko Heinonen } 67413c02cbbSJaakko Heinonen } 67513c02cbbSJaakko Heinonen 67613c02cbbSJaakko Heinonen if (up == NULL) { 67713c02cbbSJaakko Heinonen if (i > 0) { 67813c02cbbSJaakko Heinonen up = new_unr(uh, p1, p2); 67913c02cbbSJaakko Heinonen up->ptr = NULL; 68013c02cbbSJaakko Heinonen up->len = i; 68113c02cbbSJaakko Heinonen TAILQ_INSERT_TAIL(&uh->head, up, list); 68213c02cbbSJaakko Heinonen } 68313c02cbbSJaakko Heinonen up = new_unr(uh, p1, p2); 68413c02cbbSJaakko Heinonen up->ptr = uh; 68513c02cbbSJaakko Heinonen up->len = 1; 68613c02cbbSJaakko Heinonen TAILQ_INSERT_TAIL(&uh->head, up, list); 68713c02cbbSJaakko Heinonen goto done; 68813c02cbbSJaakko Heinonen } 68913c02cbbSJaakko Heinonen 69013c02cbbSJaakko Heinonen if (is_bitmap(uh, up)) { 69113c02cbbSJaakko Heinonen ub = up->ptr; 69213c02cbbSJaakko Heinonen if (bit_test(ub->map, i) == 0) { 69313c02cbbSJaakko Heinonen bit_set(ub->map, i); 69413c02cbbSJaakko Heinonen goto done; 69513c02cbbSJaakko Heinonen } else 69613c02cbbSJaakko Heinonen return (-1); 69713c02cbbSJaakko Heinonen } else if (up->ptr == uh) 69813c02cbbSJaakko Heinonen return (-1); 69913c02cbbSJaakko Heinonen 70013c02cbbSJaakko Heinonen KASSERT(up->ptr == NULL, 70113c02cbbSJaakko Heinonen ("alloc_unr_specificl: up->ptr != NULL (up=%p)", up)); 70213c02cbbSJaakko Heinonen 70313c02cbbSJaakko Heinonen /* Split off the tail end, if any. */ 70413c02cbbSJaakko Heinonen tl = up->len - (1 + i); 70513c02cbbSJaakko Heinonen if (tl > 0) { 70613c02cbbSJaakko Heinonen upn = new_unr(uh, p1, p2); 70713c02cbbSJaakko Heinonen upn->ptr = NULL; 70813c02cbbSJaakko Heinonen upn->len = tl; 70913c02cbbSJaakko Heinonen TAILQ_INSERT_AFTER(&uh->head, up, upn, list); 71013c02cbbSJaakko Heinonen } 71113c02cbbSJaakko Heinonen 71213c02cbbSJaakko Heinonen /* Split off head end, if any */ 71313c02cbbSJaakko Heinonen if (i > 0) { 71413c02cbbSJaakko Heinonen upn = new_unr(uh, p1, p2); 71513c02cbbSJaakko Heinonen upn->len = i; 71613c02cbbSJaakko Heinonen upn->ptr = NULL; 71713c02cbbSJaakko Heinonen TAILQ_INSERT_BEFORE(up, upn, list); 71813c02cbbSJaakko Heinonen } 71913c02cbbSJaakko Heinonen up->len = 1; 72013c02cbbSJaakko Heinonen up->ptr = uh; 72113c02cbbSJaakko Heinonen 72213c02cbbSJaakko Heinonen done: 72313c02cbbSJaakko Heinonen last = uh->high - uh->low - (item - uh->low); 72413c02cbbSJaakko Heinonen if (uh->last > last) 72513c02cbbSJaakko Heinonen uh->last = last; 72613c02cbbSJaakko Heinonen uh->busy++; 72713c02cbbSJaakko Heinonen collapse_unr(uh, up); 72813c02cbbSJaakko Heinonen check_unrhdr(uh, __LINE__); 72913c02cbbSJaakko Heinonen return (item); 73013c02cbbSJaakko Heinonen } 73113c02cbbSJaakko Heinonen 73213c02cbbSJaakko Heinonen int 73313c02cbbSJaakko Heinonen alloc_unr_specific(struct unrhdr *uh, u_int item) 73413c02cbbSJaakko Heinonen { 73513c02cbbSJaakko Heinonen void *p1, *p2; 73613c02cbbSJaakko Heinonen int i; 73713c02cbbSJaakko Heinonen 73813c02cbbSJaakko Heinonen WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, "alloc_unr_specific"); 73913c02cbbSJaakko Heinonen 74013c02cbbSJaakko Heinonen p1 = Malloc(sizeof(struct unr)); 74113c02cbbSJaakko Heinonen p2 = Malloc(sizeof(struct unr)); 74213c02cbbSJaakko Heinonen 74313c02cbbSJaakko Heinonen mtx_lock(uh->mtx); 74413c02cbbSJaakko Heinonen i = alloc_unr_specificl(uh, item, &p1, &p2); 74513c02cbbSJaakko Heinonen mtx_unlock(uh->mtx); 74613c02cbbSJaakko Heinonen 74713c02cbbSJaakko Heinonen if (p1 != NULL) 74813c02cbbSJaakko Heinonen Free(p1); 74913c02cbbSJaakko Heinonen if (p2 != NULL) 75013c02cbbSJaakko Heinonen Free(p2); 75113c02cbbSJaakko Heinonen 75213c02cbbSJaakko Heinonen return (i); 75313c02cbbSJaakko Heinonen } 75413c02cbbSJaakko Heinonen 755f6bde1fdSPoul-Henning Kamp /* 756f6bde1fdSPoul-Henning Kamp * Free a unr. 757f6bde1fdSPoul-Henning Kamp * 758f6bde1fdSPoul-Henning Kamp * If we can save unrs by using a bitmap, do so. 759f6bde1fdSPoul-Henning Kamp */ 760d9a54d5cSPoul-Henning Kamp static void 761d9a54d5cSPoul-Henning Kamp free_unrl(struct unrhdr *uh, u_int item, void **p1, void **p2) 762f6bde1fdSPoul-Henning Kamp { 763d9a54d5cSPoul-Henning Kamp struct unr *up, *upp, *upn; 764d9a54d5cSPoul-Henning Kamp struct unrb *ub; 765d9a54d5cSPoul-Henning Kamp u_int pl; 766f6bde1fdSPoul-Henning Kamp 767f6bde1fdSPoul-Henning Kamp KASSERT(item >= uh->low && item <= uh->high, 768f6bde1fdSPoul-Henning Kamp ("UNR: free_unr(%u) out of range [%u...%u]", 769f6bde1fdSPoul-Henning Kamp item, uh->low, uh->high)); 770f6bde1fdSPoul-Henning Kamp check_unrhdr(uh, __LINE__); 771f6bde1fdSPoul-Henning Kamp item -= uh->low; 772d9a54d5cSPoul-Henning Kamp upp = TAILQ_FIRST(&uh->head); 773f6bde1fdSPoul-Henning Kamp /* 774d9a54d5cSPoul-Henning Kamp * Freeing in the ideal split case 775f6bde1fdSPoul-Henning Kamp */ 776d9a54d5cSPoul-Henning Kamp if (item + 1 == uh->first && upp == NULL) { 777d9a54d5cSPoul-Henning Kamp uh->last++; 778d9a54d5cSPoul-Henning Kamp uh->first--; 779d9a54d5cSPoul-Henning Kamp uh->busy--; 780f6bde1fdSPoul-Henning Kamp check_unrhdr(uh, __LINE__); 781f6bde1fdSPoul-Henning Kamp return; 782f6bde1fdSPoul-Henning Kamp } 783d9a54d5cSPoul-Henning Kamp /* 784d9a54d5cSPoul-Henning Kamp * Freeing in the ->first section. Create a run starting at the 785d9a54d5cSPoul-Henning Kamp * freed item. The code below will subdivide it. 786d9a54d5cSPoul-Henning Kamp */ 787d9a54d5cSPoul-Henning Kamp if (item < uh->first) { 788d9a54d5cSPoul-Henning Kamp up = new_unr(uh, p1, p2); 789d9a54d5cSPoul-Henning Kamp up->ptr = uh; 790d9a54d5cSPoul-Henning Kamp up->len = uh->first - item; 791d9a54d5cSPoul-Henning Kamp TAILQ_INSERT_HEAD(&uh->head, up, list); 792d9a54d5cSPoul-Henning Kamp uh->first -= up->len; 793f6bde1fdSPoul-Henning Kamp } 794f6bde1fdSPoul-Henning Kamp 795d9a54d5cSPoul-Henning Kamp item -= uh->first; 796d9a54d5cSPoul-Henning Kamp 797d9a54d5cSPoul-Henning Kamp /* Find the item which contains the unit we want to free */ 798d9a54d5cSPoul-Henning Kamp TAILQ_FOREACH(up, &uh->head, list) { 799d9a54d5cSPoul-Henning Kamp if (up->len > item) 800d9a54d5cSPoul-Henning Kamp break; 801d9a54d5cSPoul-Henning Kamp item -= up->len; 802d9a54d5cSPoul-Henning Kamp } 803d9a54d5cSPoul-Henning Kamp 804d9a54d5cSPoul-Henning Kamp /* Handle bitmap items */ 805d9a54d5cSPoul-Henning Kamp if (is_bitmap(uh, up)) { 806d9a54d5cSPoul-Henning Kamp ub = up->ptr; 807d9a54d5cSPoul-Henning Kamp 808d9a54d5cSPoul-Henning Kamp KASSERT(bit_test(ub->map, item) != 0, 809d9a54d5cSPoul-Henning Kamp ("UNR: Freeing free item %d (bitmap)\n", item)); 810d9a54d5cSPoul-Henning Kamp bit_clear(ub->map, item); 811d9a54d5cSPoul-Henning Kamp uh->busy--; 812d9a54d5cSPoul-Henning Kamp collapse_unr(uh, up); 813d9a54d5cSPoul-Henning Kamp return; 814d9a54d5cSPoul-Henning Kamp } 815d9a54d5cSPoul-Henning Kamp 816d9a54d5cSPoul-Henning Kamp KASSERT(up->ptr == uh, ("UNR Freeing free item %d (run))\n", item)); 817f6bde1fdSPoul-Henning Kamp 818f6bde1fdSPoul-Henning Kamp /* Just this one left, reap it */ 819f6bde1fdSPoul-Henning Kamp if (up->len == 1) { 820f6bde1fdSPoul-Henning Kamp up->ptr = NULL; 821f6bde1fdSPoul-Henning Kamp uh->busy--; 822f6bde1fdSPoul-Henning Kamp collapse_unr(uh, up); 823f6bde1fdSPoul-Henning Kamp return; 824f6bde1fdSPoul-Henning Kamp } 825f6bde1fdSPoul-Henning Kamp 826d9a54d5cSPoul-Henning Kamp /* Check if we can shift the item into the previous 'free' run */ 827f6bde1fdSPoul-Henning Kamp upp = TAILQ_PREV(up, unrhd, list); 828d9a54d5cSPoul-Henning Kamp if (item == 0 && upp != NULL && upp->ptr == NULL) { 829f6bde1fdSPoul-Henning Kamp upp->len++; 830f6bde1fdSPoul-Henning Kamp up->len--; 831f6bde1fdSPoul-Henning Kamp uh->busy--; 832d9a54d5cSPoul-Henning Kamp collapse_unr(uh, up); 833f6bde1fdSPoul-Henning Kamp return; 834f6bde1fdSPoul-Henning Kamp } 835f6bde1fdSPoul-Henning Kamp 836d9a54d5cSPoul-Henning Kamp /* Check if we can shift the item to the next 'free' run */ 837f6bde1fdSPoul-Henning Kamp upn = TAILQ_NEXT(up, list); 838d9a54d5cSPoul-Henning Kamp if (item == up->len - 1 && upn != NULL && upn->ptr == NULL) { 839f6bde1fdSPoul-Henning Kamp upn->len++; 840f6bde1fdSPoul-Henning Kamp up->len--; 841f6bde1fdSPoul-Henning Kamp uh->busy--; 842d9a54d5cSPoul-Henning Kamp collapse_unr(uh, up); 843f6bde1fdSPoul-Henning Kamp return; 844f6bde1fdSPoul-Henning Kamp } 845f6bde1fdSPoul-Henning Kamp 846f6bde1fdSPoul-Henning Kamp /* Split off the tail end, if any. */ 847d9a54d5cSPoul-Henning Kamp pl = up->len - (1 + item); 848f6bde1fdSPoul-Henning Kamp if (pl > 0) { 849d9a54d5cSPoul-Henning Kamp upp = new_unr(uh, p1, p2); 850f6bde1fdSPoul-Henning Kamp upp->ptr = uh; 851f6bde1fdSPoul-Henning Kamp upp->len = pl; 852f6bde1fdSPoul-Henning Kamp TAILQ_INSERT_AFTER(&uh->head, up, upp, list); 853f6bde1fdSPoul-Henning Kamp } 854f6bde1fdSPoul-Henning Kamp 855d9a54d5cSPoul-Henning Kamp /* Split off head end, if any */ 856d9a54d5cSPoul-Henning Kamp if (item > 0) { 857d9a54d5cSPoul-Henning Kamp upp = new_unr(uh, p1, p2); 858d9a54d5cSPoul-Henning Kamp upp->len = item; 859d9a54d5cSPoul-Henning Kamp upp->ptr = uh; 860d9a54d5cSPoul-Henning Kamp TAILQ_INSERT_BEFORE(up, upp, list); 861d9a54d5cSPoul-Henning Kamp } 862f6bde1fdSPoul-Henning Kamp up->len = 1; 863f6bde1fdSPoul-Henning Kamp up->ptr = NULL; 864f6bde1fdSPoul-Henning Kamp uh->busy--; 865d9a54d5cSPoul-Henning Kamp collapse_unr(uh, up); 866f6bde1fdSPoul-Henning Kamp } 867f6bde1fdSPoul-Henning Kamp 868d9a54d5cSPoul-Henning Kamp void 869d9a54d5cSPoul-Henning Kamp free_unr(struct unrhdr *uh, u_int item) 870d9a54d5cSPoul-Henning Kamp { 871d9a54d5cSPoul-Henning Kamp void *p1, *p2; 872f6bde1fdSPoul-Henning Kamp 8737550e3eaSKonstantin Belousov WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, "free_unr"); 874d9a54d5cSPoul-Henning Kamp p1 = Malloc(sizeof(struct unr)); 875d9a54d5cSPoul-Henning Kamp p2 = Malloc(sizeof(struct unr)); 876d9a54d5cSPoul-Henning Kamp mtx_lock(uh->mtx); 877d9a54d5cSPoul-Henning Kamp free_unrl(uh, item, &p1, &p2); 87809828ba9SKonstantin Belousov clean_unrhdrl(uh); 879d9a54d5cSPoul-Henning Kamp mtx_unlock(uh->mtx); 880d9a54d5cSPoul-Henning Kamp if (p1 != NULL) 881d9a54d5cSPoul-Henning Kamp Free(p1); 882d9a54d5cSPoul-Henning Kamp if (p2 != NULL) 883d9a54d5cSPoul-Henning Kamp Free(p2); 884f6bde1fdSPoul-Henning Kamp } 885f6bde1fdSPoul-Henning Kamp 88693f6c81eSPoul-Henning Kamp #ifndef _KERNEL /* USERLAND test driver */ 88793f6c81eSPoul-Henning Kamp 888f6bde1fdSPoul-Henning Kamp /* 889794277daSAlan Somers * Simple stochastic test driver for the above functions. The code resides 890794277daSAlan Somers * here so that it can access static functions and structures. 891f6bde1fdSPoul-Henning Kamp */ 892f6bde1fdSPoul-Henning Kamp 893794277daSAlan Somers static bool verbose; 894794277daSAlan Somers #define VPRINTF(...) {if (verbose) printf(__VA_ARGS__);} 895794277daSAlan Somers 896f6bde1fdSPoul-Henning Kamp static void 897f6bde1fdSPoul-Henning Kamp print_unr(struct unrhdr *uh, struct unr *up) 898f6bde1fdSPoul-Henning Kamp { 899f6bde1fdSPoul-Henning Kamp u_int x; 900d9a54d5cSPoul-Henning Kamp struct unrb *ub; 901f6bde1fdSPoul-Henning Kamp 902f6bde1fdSPoul-Henning Kamp printf(" %p len = %5u ", up, up->len); 903f6bde1fdSPoul-Henning Kamp if (up->ptr == NULL) 904f6bde1fdSPoul-Henning Kamp printf("free\n"); 905f6bde1fdSPoul-Henning Kamp else if (up->ptr == uh) 906f6bde1fdSPoul-Henning Kamp printf("alloc\n"); 907f6bde1fdSPoul-Henning Kamp else { 908d9a54d5cSPoul-Henning Kamp ub = up->ptr; 9098907f744SAlan Somers printf("bitmap ["); 910d9a54d5cSPoul-Henning Kamp for (x = 0; x < up->len; x++) { 911d9a54d5cSPoul-Henning Kamp if (bit_test(ub->map, x)) 912d9a54d5cSPoul-Henning Kamp printf("#"); 913f6bde1fdSPoul-Henning Kamp else 914d9a54d5cSPoul-Henning Kamp printf(" "); 915f6bde1fdSPoul-Henning Kamp } 916f6bde1fdSPoul-Henning Kamp printf("]\n"); 917f6bde1fdSPoul-Henning Kamp } 918f6bde1fdSPoul-Henning Kamp } 919f6bde1fdSPoul-Henning Kamp 920f6bde1fdSPoul-Henning Kamp static void 921f6bde1fdSPoul-Henning Kamp print_unrhdr(struct unrhdr *uh) 922f6bde1fdSPoul-Henning Kamp { 923f6bde1fdSPoul-Henning Kamp struct unr *up; 924f6bde1fdSPoul-Henning Kamp u_int x; 925f6bde1fdSPoul-Henning Kamp 926d9a54d5cSPoul-Henning Kamp printf( 927d9a54d5cSPoul-Henning Kamp "%p low = %u high = %u first = %u last = %u busy %u chunks = %u\n", 928d9a54d5cSPoul-Henning Kamp uh, uh->low, uh->high, uh->first, uh->last, uh->busy, uh->alloc); 929d9a54d5cSPoul-Henning Kamp x = uh->low + uh->first; 930f6bde1fdSPoul-Henning Kamp TAILQ_FOREACH(up, &uh->head, list) { 931f6bde1fdSPoul-Henning Kamp printf(" from = %5u", x); 932f6bde1fdSPoul-Henning Kamp print_unr(uh, up); 933f6bde1fdSPoul-Henning Kamp if (up->ptr == NULL || up->ptr == uh) 934f6bde1fdSPoul-Henning Kamp x += up->len; 935f6bde1fdSPoul-Henning Kamp else 936f6bde1fdSPoul-Henning Kamp x += NBITS; 937f6bde1fdSPoul-Henning Kamp } 938f6bde1fdSPoul-Henning Kamp } 939f6bde1fdSPoul-Henning Kamp 94013c02cbbSJaakko Heinonen static void 94113c02cbbSJaakko Heinonen test_alloc_unr(struct unrhdr *uh, u_int i, char a[]) 94213c02cbbSJaakko Heinonen { 94313c02cbbSJaakko Heinonen int j; 94413c02cbbSJaakko Heinonen 94513c02cbbSJaakko Heinonen if (a[i]) { 946794277daSAlan Somers VPRINTF("F %u\n", i); 94713c02cbbSJaakko Heinonen free_unr(uh, i); 94813c02cbbSJaakko Heinonen a[i] = 0; 94913c02cbbSJaakko Heinonen } else { 95013c02cbbSJaakko Heinonen no_alloc = 1; 95113c02cbbSJaakko Heinonen j = alloc_unr(uh); 95213c02cbbSJaakko Heinonen if (j != -1) { 95313c02cbbSJaakko Heinonen a[j] = 1; 954794277daSAlan Somers VPRINTF("A %d\n", j); 95513c02cbbSJaakko Heinonen } 95613c02cbbSJaakko Heinonen no_alloc = 0; 95713c02cbbSJaakko Heinonen } 95813c02cbbSJaakko Heinonen } 95913c02cbbSJaakko Heinonen 96013c02cbbSJaakko Heinonen static void 96113c02cbbSJaakko Heinonen test_alloc_unr_specific(struct unrhdr *uh, u_int i, char a[]) 96213c02cbbSJaakko Heinonen { 96313c02cbbSJaakko Heinonen int j; 96413c02cbbSJaakko Heinonen 96513c02cbbSJaakko Heinonen j = alloc_unr_specific(uh, i); 96613c02cbbSJaakko Heinonen if (j == -1) { 967794277daSAlan Somers VPRINTF("F %u\n", i); 96813c02cbbSJaakko Heinonen a[i] = 0; 96913c02cbbSJaakko Heinonen free_unr(uh, i); 97013c02cbbSJaakko Heinonen } else { 97113c02cbbSJaakko Heinonen a[i] = 1; 972794277daSAlan Somers VPRINTF("A %d\n", j); 97313c02cbbSJaakko Heinonen } 97413c02cbbSJaakko Heinonen } 97513c02cbbSJaakko Heinonen 976794277daSAlan Somers static void 977794277daSAlan Somers usage(char** argv) 978794277daSAlan Somers { 979794277daSAlan Somers printf("%s [-h] [-r REPETITIONS] [-v]\n", argv[0]); 980794277daSAlan Somers } 981f6bde1fdSPoul-Henning Kamp 982f6bde1fdSPoul-Henning Kamp int 983794277daSAlan Somers main(int argc, char **argv) 984f6bde1fdSPoul-Henning Kamp { 985f6bde1fdSPoul-Henning Kamp struct unrhdr *uh; 986794277daSAlan Somers char *a; 987794277daSAlan Somers long count = 10000; /* Number of unrs to test */ 988794277daSAlan Somers long reps = 1; 989794277daSAlan Somers int ch; 990d9a54d5cSPoul-Henning Kamp u_int i, x, m, j; 991794277daSAlan Somers 992794277daSAlan Somers verbose = false; 993794277daSAlan Somers 994794277daSAlan Somers while ((ch = getopt(argc, argv, "hr:v")) != -1) { 995794277daSAlan Somers switch (ch) { 996794277daSAlan Somers case 'r': 997794277daSAlan Somers errno = 0; 998794277daSAlan Somers reps = strtol(optarg, NULL, 0); 999794277daSAlan Somers if (errno == ERANGE || errno == EINVAL) { 1000794277daSAlan Somers usage(argv); 1001794277daSAlan Somers exit(2); 1002794277daSAlan Somers } 1003794277daSAlan Somers 1004794277daSAlan Somers break; 1005794277daSAlan Somers case 'v': 1006794277daSAlan Somers verbose = true; 1007794277daSAlan Somers break; 1008794277daSAlan Somers case 'h': 1009794277daSAlan Somers default: 1010794277daSAlan Somers usage(argv); 1011794277daSAlan Somers exit(2); 1012794277daSAlan Somers } 1013794277daSAlan Somers 1014794277daSAlan Somers 1015794277daSAlan Somers } 1016f6bde1fdSPoul-Henning Kamp 1017d9a54d5cSPoul-Henning Kamp setbuf(stdout, NULL); 1018794277daSAlan Somers uh = new_unrhdr(0, count - 1, NULL); 1019d9a54d5cSPoul-Henning Kamp print_unrhdr(uh); 1020f6bde1fdSPoul-Henning Kamp 1021794277daSAlan Somers a = calloc(count, sizeof(char)); 1022794277daSAlan Somers if (a == NULL) 1023794277daSAlan Somers err(1, "calloc failed"); 102413c02cbbSJaakko Heinonen srandomdev(); 1025f6bde1fdSPoul-Henning Kamp 1026794277daSAlan Somers printf("sizeof(struct unr) %zu\n", sizeof(struct unr)); 1027794277daSAlan Somers printf("sizeof(struct unrb) %zu\n", sizeof(struct unrb)); 1028794277daSAlan Somers printf("sizeof(struct unrhdr) %zu\n", sizeof(struct unrhdr)); 1029*b4f69365SEd Maste printf("NBITS %lu\n", (unsigned long)NBITS); 1030f6bde1fdSPoul-Henning Kamp x = 1; 1031794277daSAlan Somers for (m = 0; m < count * reps; m++) { 1032d9a54d5cSPoul-Henning Kamp j = random(); 1033794277daSAlan Somers i = (j >> 1) % count; 1034d9a54d5cSPoul-Henning Kamp #if 0 1035d9a54d5cSPoul-Henning Kamp if (a[i] && (j & 1)) 1036d9a54d5cSPoul-Henning Kamp continue; 1037d9a54d5cSPoul-Henning Kamp #endif 103813c02cbbSJaakko Heinonen if ((random() & 1) != 0) 103913c02cbbSJaakko Heinonen test_alloc_unr(uh, i, a); 104013c02cbbSJaakko Heinonen else 104113c02cbbSJaakko Heinonen test_alloc_unr_specific(uh, i, a); 104213c02cbbSJaakko Heinonen 1043794277daSAlan Somers if (verbose) 1044f6bde1fdSPoul-Henning Kamp print_unrhdr(uh); 1045f6bde1fdSPoul-Henning Kamp check_unrhdr(uh, __LINE__); 1046f6bde1fdSPoul-Henning Kamp } 1047794277daSAlan Somers for (i = 0; i < count; i++) { 1048d9a54d5cSPoul-Henning Kamp if (a[i]) { 1049794277daSAlan Somers if (verbose) { 1050d9a54d5cSPoul-Henning Kamp printf("C %u\n", i); 1051e4fea39eSPoul-Henning Kamp print_unrhdr(uh); 1052d9a54d5cSPoul-Henning Kamp } 1053794277daSAlan Somers free_unr(uh, i); 1054794277daSAlan Somers } 1055d9a54d5cSPoul-Henning Kamp } 1056d9a54d5cSPoul-Henning Kamp print_unrhdr(uh); 1057e4fea39eSPoul-Henning Kamp delete_unrhdr(uh); 1058794277daSAlan Somers free(a); 1059f6bde1fdSPoul-Henning Kamp return (0); 1060f6bde1fdSPoul-Henning Kamp } 1061f6bde1fdSPoul-Henning Kamp #endif 1062