xref: /aosp_15_r20/external/mesa3d/src/util/vma.c (revision 6104692788411f58d303aa86923a9ff6ecaded22)
1*61046927SAndroid Build Coastguard Worker /*
2*61046927SAndroid Build Coastguard Worker  * Copyright © 2018 Intel Corporation
3*61046927SAndroid Build Coastguard Worker  *
4*61046927SAndroid Build Coastguard Worker  * Permission is hereby granted, free of charge, to any person obtaining a
5*61046927SAndroid Build Coastguard Worker  * copy of this software and associated documentation files (the "Software"),
6*61046927SAndroid Build Coastguard Worker  * to deal in the Software without restriction, including without limitation
7*61046927SAndroid Build Coastguard Worker  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8*61046927SAndroid Build Coastguard Worker  * and/or sell copies of the Software, and to permit persons to whom the
9*61046927SAndroid Build Coastguard Worker  * Software is furnished to do so, subject to the following conditions:
10*61046927SAndroid Build Coastguard Worker  *
11*61046927SAndroid Build Coastguard Worker  * The above copyright notice and this permission notice (including the next
12*61046927SAndroid Build Coastguard Worker  * paragraph) shall be included in all copies or substantial portions of the
13*61046927SAndroid Build Coastguard Worker  * Software.
14*61046927SAndroid Build Coastguard Worker  *
15*61046927SAndroid Build Coastguard Worker  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16*61046927SAndroid Build Coastguard Worker  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17*61046927SAndroid Build Coastguard Worker  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
18*61046927SAndroid Build Coastguard Worker  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19*61046927SAndroid Build Coastguard Worker  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20*61046927SAndroid Build Coastguard Worker  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
21*61046927SAndroid Build Coastguard Worker  * IN THE SOFTWARE.
22*61046927SAndroid Build Coastguard Worker  */
23*61046927SAndroid Build Coastguard Worker 
24*61046927SAndroid Build Coastguard Worker #include <stdlib.h>
25*61046927SAndroid Build Coastguard Worker #include <inttypes.h>
26*61046927SAndroid Build Coastguard Worker 
27*61046927SAndroid Build Coastguard Worker #include "util/macros.h"
28*61046927SAndroid Build Coastguard Worker #include "util/u_math.h"
29*61046927SAndroid Build Coastguard Worker #include "util/vma.h"
30*61046927SAndroid Build Coastguard Worker 
31*61046927SAndroid Build Coastguard Worker struct util_vma_hole {
32*61046927SAndroid Build Coastguard Worker    struct list_head link;
33*61046927SAndroid Build Coastguard Worker    uint64_t offset;
34*61046927SAndroid Build Coastguard Worker    uint64_t size;
35*61046927SAndroid Build Coastguard Worker };
36*61046927SAndroid Build Coastguard Worker 
37*61046927SAndroid Build Coastguard Worker #define util_vma_foreach_hole(_hole, _heap) \
38*61046927SAndroid Build Coastguard Worker    list_for_each_entry(struct util_vma_hole, _hole, &(_heap)->holes, link)
39*61046927SAndroid Build Coastguard Worker 
40*61046927SAndroid Build Coastguard Worker #define util_vma_foreach_hole_safe(_hole, _heap) \
41*61046927SAndroid Build Coastguard Worker    list_for_each_entry_safe(struct util_vma_hole, _hole, &(_heap)->holes, link)
42*61046927SAndroid Build Coastguard Worker 
43*61046927SAndroid Build Coastguard Worker #define util_vma_foreach_hole_safe_rev(_hole, _heap) \
44*61046927SAndroid Build Coastguard Worker    list_for_each_entry_safe_rev(struct util_vma_hole, _hole, &(_heap)->holes, link)
45*61046927SAndroid Build Coastguard Worker 
46*61046927SAndroid Build Coastguard Worker void
util_vma_heap_init(struct util_vma_heap * heap,uint64_t start,uint64_t size)47*61046927SAndroid Build Coastguard Worker util_vma_heap_init(struct util_vma_heap *heap,
48*61046927SAndroid Build Coastguard Worker                    uint64_t start, uint64_t size)
49*61046927SAndroid Build Coastguard Worker {
50*61046927SAndroid Build Coastguard Worker    list_inithead(&heap->holes);
51*61046927SAndroid Build Coastguard Worker    heap->free_size = 0;
52*61046927SAndroid Build Coastguard Worker    if (size > 0)
53*61046927SAndroid Build Coastguard Worker       util_vma_heap_free(heap, start, size);
54*61046927SAndroid Build Coastguard Worker 
55*61046927SAndroid Build Coastguard Worker    /* Default to using high addresses */
56*61046927SAndroid Build Coastguard Worker    heap->alloc_high = true;
57*61046927SAndroid Build Coastguard Worker 
58*61046927SAndroid Build Coastguard Worker    /* Default to not having a nospan alignment */
59*61046927SAndroid Build Coastguard Worker    heap->nospan_shift = 0;
60*61046927SAndroid Build Coastguard Worker }
61*61046927SAndroid Build Coastguard Worker 
62*61046927SAndroid Build Coastguard Worker void
util_vma_heap_finish(struct util_vma_heap * heap)63*61046927SAndroid Build Coastguard Worker util_vma_heap_finish(struct util_vma_heap *heap)
64*61046927SAndroid Build Coastguard Worker {
65*61046927SAndroid Build Coastguard Worker    util_vma_foreach_hole_safe(hole, heap)
66*61046927SAndroid Build Coastguard Worker       free(hole);
67*61046927SAndroid Build Coastguard Worker }
68*61046927SAndroid Build Coastguard Worker 
69*61046927SAndroid Build Coastguard Worker #ifndef NDEBUG
70*61046927SAndroid Build Coastguard Worker static void
util_vma_heap_validate(struct util_vma_heap * heap)71*61046927SAndroid Build Coastguard Worker util_vma_heap_validate(struct util_vma_heap *heap)
72*61046927SAndroid Build Coastguard Worker {
73*61046927SAndroid Build Coastguard Worker    uint64_t free_size = 0;
74*61046927SAndroid Build Coastguard Worker    uint64_t prev_offset = 0;
75*61046927SAndroid Build Coastguard Worker    util_vma_foreach_hole(hole, heap) {
76*61046927SAndroid Build Coastguard Worker       assert(hole->offset > 0);
77*61046927SAndroid Build Coastguard Worker       assert(hole->size > 0);
78*61046927SAndroid Build Coastguard Worker 
79*61046927SAndroid Build Coastguard Worker       free_size += hole->size;
80*61046927SAndroid Build Coastguard Worker 
81*61046927SAndroid Build Coastguard Worker       if (&hole->link == heap->holes.next) {
82*61046927SAndroid Build Coastguard Worker          /* This must be the top-most hole.  Assert that, if it overflows, it
83*61046927SAndroid Build Coastguard Worker           * overflows to 0, i.e. 2^64.
84*61046927SAndroid Build Coastguard Worker           */
85*61046927SAndroid Build Coastguard Worker          assert(hole->size + hole->offset == 0 ||
86*61046927SAndroid Build Coastguard Worker                 hole->size + hole->offset > hole->offset);
87*61046927SAndroid Build Coastguard Worker       } else {
88*61046927SAndroid Build Coastguard Worker          /* This is not the top-most hole so it must not overflow and, in
89*61046927SAndroid Build Coastguard Worker           * fact, must be strictly lower than the top-most hole.  If
90*61046927SAndroid Build Coastguard Worker           * hole->size + hole->offset == prev_offset, then we failed to join
91*61046927SAndroid Build Coastguard Worker           * holes during a util_vma_heap_free.
92*61046927SAndroid Build Coastguard Worker           */
93*61046927SAndroid Build Coastguard Worker          assert(hole->size + hole->offset > hole->offset &&
94*61046927SAndroid Build Coastguard Worker                 hole->size + hole->offset < prev_offset);
95*61046927SAndroid Build Coastguard Worker       }
96*61046927SAndroid Build Coastguard Worker       prev_offset = hole->offset;
97*61046927SAndroid Build Coastguard Worker    }
98*61046927SAndroid Build Coastguard Worker 
99*61046927SAndroid Build Coastguard Worker    assert(free_size == heap->free_size);
100*61046927SAndroid Build Coastguard Worker }
101*61046927SAndroid Build Coastguard Worker #else
102*61046927SAndroid Build Coastguard Worker #define util_vma_heap_validate(heap)
103*61046927SAndroid Build Coastguard Worker #endif
104*61046927SAndroid Build Coastguard Worker 
105*61046927SAndroid Build Coastguard Worker static void
util_vma_hole_alloc(struct util_vma_heap * heap,struct util_vma_hole * hole,uint64_t offset,uint64_t size)106*61046927SAndroid Build Coastguard Worker util_vma_hole_alloc(struct util_vma_heap *heap,
107*61046927SAndroid Build Coastguard Worker                     struct util_vma_hole *hole,
108*61046927SAndroid Build Coastguard Worker                     uint64_t offset, uint64_t size)
109*61046927SAndroid Build Coastguard Worker {
110*61046927SAndroid Build Coastguard Worker    assert(hole->offset <= offset);
111*61046927SAndroid Build Coastguard Worker    assert(hole->size >= offset - hole->offset + size);
112*61046927SAndroid Build Coastguard Worker 
113*61046927SAndroid Build Coastguard Worker    if (offset == hole->offset && size == hole->size) {
114*61046927SAndroid Build Coastguard Worker       /* Just get rid of the hole. */
115*61046927SAndroid Build Coastguard Worker       list_del(&hole->link);
116*61046927SAndroid Build Coastguard Worker       free(hole);
117*61046927SAndroid Build Coastguard Worker       goto done;
118*61046927SAndroid Build Coastguard Worker    }
119*61046927SAndroid Build Coastguard Worker 
120*61046927SAndroid Build Coastguard Worker    assert(offset - hole->offset <= hole->size - size);
121*61046927SAndroid Build Coastguard Worker    uint64_t waste = (hole->size - size) - (offset - hole->offset);
122*61046927SAndroid Build Coastguard Worker    if (waste == 0) {
123*61046927SAndroid Build Coastguard Worker       /* We allocated at the top.  Shrink the hole down. */
124*61046927SAndroid Build Coastguard Worker       hole->size -= size;
125*61046927SAndroid Build Coastguard Worker       goto done;
126*61046927SAndroid Build Coastguard Worker    }
127*61046927SAndroid Build Coastguard Worker 
128*61046927SAndroid Build Coastguard Worker    if (offset == hole->offset) {
129*61046927SAndroid Build Coastguard Worker       /* We allocated at the bottom. Shrink the hole up. */
130*61046927SAndroid Build Coastguard Worker       hole->offset += size;
131*61046927SAndroid Build Coastguard Worker       hole->size -= size;
132*61046927SAndroid Build Coastguard Worker       goto done;
133*61046927SAndroid Build Coastguard Worker    }
134*61046927SAndroid Build Coastguard Worker 
135*61046927SAndroid Build Coastguard Worker    /* We allocated in the middle.  We need to split the old hole into two
136*61046927SAndroid Build Coastguard Worker     * holes, one high and one low.
137*61046927SAndroid Build Coastguard Worker     */
138*61046927SAndroid Build Coastguard Worker    struct util_vma_hole *high_hole = calloc(1, sizeof(*hole));
139*61046927SAndroid Build Coastguard Worker    high_hole->offset = offset + size;
140*61046927SAndroid Build Coastguard Worker    high_hole->size = waste;
141*61046927SAndroid Build Coastguard Worker 
142*61046927SAndroid Build Coastguard Worker    /* Adjust the hole to be the amount of space left at he bottom of the
143*61046927SAndroid Build Coastguard Worker     * original hole.
144*61046927SAndroid Build Coastguard Worker     */
145*61046927SAndroid Build Coastguard Worker    hole->size = offset - hole->offset;
146*61046927SAndroid Build Coastguard Worker 
147*61046927SAndroid Build Coastguard Worker    /* Place the new hole before the old hole so that the list is in order
148*61046927SAndroid Build Coastguard Worker     * from high to low.
149*61046927SAndroid Build Coastguard Worker     */
150*61046927SAndroid Build Coastguard Worker    list_addtail(&high_hole->link, &hole->link);
151*61046927SAndroid Build Coastguard Worker 
152*61046927SAndroid Build Coastguard Worker  done:
153*61046927SAndroid Build Coastguard Worker    heap->free_size -= size;
154*61046927SAndroid Build Coastguard Worker }
155*61046927SAndroid Build Coastguard Worker 
156*61046927SAndroid Build Coastguard Worker uint64_t
util_vma_heap_alloc(struct util_vma_heap * heap,uint64_t size,uint64_t alignment)157*61046927SAndroid Build Coastguard Worker util_vma_heap_alloc(struct util_vma_heap *heap,
158*61046927SAndroid Build Coastguard Worker                     uint64_t size, uint64_t alignment)
159*61046927SAndroid Build Coastguard Worker {
160*61046927SAndroid Build Coastguard Worker    /* The caller is expected to reject zero-size allocations */
161*61046927SAndroid Build Coastguard Worker    assert(size > 0);
162*61046927SAndroid Build Coastguard Worker    assert(alignment > 0);
163*61046927SAndroid Build Coastguard Worker 
164*61046927SAndroid Build Coastguard Worker    util_vma_heap_validate(heap);
165*61046927SAndroid Build Coastguard Worker 
166*61046927SAndroid Build Coastguard Worker    /* The requested alignment should not be stronger than the block/nospan
167*61046927SAndroid Build Coastguard Worker     * alignment.
168*61046927SAndroid Build Coastguard Worker     */
169*61046927SAndroid Build Coastguard Worker    if (heap->nospan_shift) {
170*61046927SAndroid Build Coastguard Worker       assert(align64(BITFIELD64_BIT(heap->nospan_shift), alignment) ==
171*61046927SAndroid Build Coastguard Worker             BITFIELD64_BIT(heap->nospan_shift));
172*61046927SAndroid Build Coastguard Worker    }
173*61046927SAndroid Build Coastguard Worker 
174*61046927SAndroid Build Coastguard Worker    if (heap->alloc_high) {
175*61046927SAndroid Build Coastguard Worker       util_vma_foreach_hole_safe(hole, heap) {
176*61046927SAndroid Build Coastguard Worker          if (size > hole->size)
177*61046927SAndroid Build Coastguard Worker             continue;
178*61046927SAndroid Build Coastguard Worker 
179*61046927SAndroid Build Coastguard Worker          /* Compute the offset as the highest address where a chunk of the
180*61046927SAndroid Build Coastguard Worker           * given size can be without going over the top of the hole.
181*61046927SAndroid Build Coastguard Worker           *
182*61046927SAndroid Build Coastguard Worker           * This calculation is known to not overflow because we know that
183*61046927SAndroid Build Coastguard Worker           * hole->size + hole->offset can only overflow to 0 and size > 0.
184*61046927SAndroid Build Coastguard Worker           */
185*61046927SAndroid Build Coastguard Worker          uint64_t offset = (hole->size - size) + hole->offset;
186*61046927SAndroid Build Coastguard Worker 
187*61046927SAndroid Build Coastguard Worker          if (heap->nospan_shift) {
188*61046927SAndroid Build Coastguard Worker             uint64_t end = offset + size - 1;
189*61046927SAndroid Build Coastguard Worker             if ((end >> heap->nospan_shift) != (offset >> heap->nospan_shift)) {
190*61046927SAndroid Build Coastguard Worker                /* can we shift the offset down and still fit in the current hole? */
191*61046927SAndroid Build Coastguard Worker                end &= ~BITFIELD64_MASK(heap->nospan_shift);
192*61046927SAndroid Build Coastguard Worker                assert(end >= size);
193*61046927SAndroid Build Coastguard Worker                offset -= size;
194*61046927SAndroid Build Coastguard Worker                if (offset < hole->offset)
195*61046927SAndroid Build Coastguard Worker                   continue;
196*61046927SAndroid Build Coastguard Worker             }
197*61046927SAndroid Build Coastguard Worker          }
198*61046927SAndroid Build Coastguard Worker 
199*61046927SAndroid Build Coastguard Worker          /* Align the offset.  We align down and not up because we are
200*61046927SAndroid Build Coastguard Worker           * allocating from the top of the hole and not the bottom.
201*61046927SAndroid Build Coastguard Worker           */
202*61046927SAndroid Build Coastguard Worker          offset = (offset / alignment) * alignment;
203*61046927SAndroid Build Coastguard Worker 
204*61046927SAndroid Build Coastguard Worker          if (offset < hole->offset)
205*61046927SAndroid Build Coastguard Worker             continue;
206*61046927SAndroid Build Coastguard Worker 
207*61046927SAndroid Build Coastguard Worker          util_vma_hole_alloc(heap, hole, offset, size);
208*61046927SAndroid Build Coastguard Worker          util_vma_heap_validate(heap);
209*61046927SAndroid Build Coastguard Worker          return offset;
210*61046927SAndroid Build Coastguard Worker       }
211*61046927SAndroid Build Coastguard Worker    } else {
212*61046927SAndroid Build Coastguard Worker       util_vma_foreach_hole_safe_rev(hole, heap) {
213*61046927SAndroid Build Coastguard Worker          if (size > hole->size)
214*61046927SAndroid Build Coastguard Worker             continue;
215*61046927SAndroid Build Coastguard Worker 
216*61046927SAndroid Build Coastguard Worker          uint64_t offset = hole->offset;
217*61046927SAndroid Build Coastguard Worker 
218*61046927SAndroid Build Coastguard Worker          /* Align the offset */
219*61046927SAndroid Build Coastguard Worker          uint64_t misalign = offset % alignment;
220*61046927SAndroid Build Coastguard Worker          if (misalign) {
221*61046927SAndroid Build Coastguard Worker             uint64_t pad = alignment - misalign;
222*61046927SAndroid Build Coastguard Worker             if (pad > hole->size - size)
223*61046927SAndroid Build Coastguard Worker                continue;
224*61046927SAndroid Build Coastguard Worker 
225*61046927SAndroid Build Coastguard Worker             offset += pad;
226*61046927SAndroid Build Coastguard Worker          }
227*61046927SAndroid Build Coastguard Worker 
228*61046927SAndroid Build Coastguard Worker          if (heap->nospan_shift) {
229*61046927SAndroid Build Coastguard Worker             uint64_t end = offset + size - 1;
230*61046927SAndroid Build Coastguard Worker             if ((end >> heap->nospan_shift) != (offset >> heap->nospan_shift)) {
231*61046927SAndroid Build Coastguard Worker                /* can we shift the offset up and still fit in the current hole? */
232*61046927SAndroid Build Coastguard Worker                offset = end & ~BITFIELD64_MASK(heap->nospan_shift);
233*61046927SAndroid Build Coastguard Worker                if ((offset + size) > (hole->offset + hole->size))
234*61046927SAndroid Build Coastguard Worker                   continue;
235*61046927SAndroid Build Coastguard Worker             }
236*61046927SAndroid Build Coastguard Worker          }
237*61046927SAndroid Build Coastguard Worker 
238*61046927SAndroid Build Coastguard Worker          util_vma_hole_alloc(heap, hole, offset, size);
239*61046927SAndroid Build Coastguard Worker          util_vma_heap_validate(heap);
240*61046927SAndroid Build Coastguard Worker          return offset;
241*61046927SAndroid Build Coastguard Worker       }
242*61046927SAndroid Build Coastguard Worker    }
243*61046927SAndroid Build Coastguard Worker 
244*61046927SAndroid Build Coastguard Worker    /* Failed to allocate */
245*61046927SAndroid Build Coastguard Worker    return 0;
246*61046927SAndroid Build Coastguard Worker }
247*61046927SAndroid Build Coastguard Worker 
248*61046927SAndroid Build Coastguard Worker bool
util_vma_heap_alloc_addr(struct util_vma_heap * heap,uint64_t offset,uint64_t size)249*61046927SAndroid Build Coastguard Worker util_vma_heap_alloc_addr(struct util_vma_heap *heap,
250*61046927SAndroid Build Coastguard Worker                          uint64_t offset, uint64_t size)
251*61046927SAndroid Build Coastguard Worker {
252*61046927SAndroid Build Coastguard Worker    /* An offset of 0 is reserved for allocation failure.  It is not a valid
253*61046927SAndroid Build Coastguard Worker     * address and cannot be allocated.
254*61046927SAndroid Build Coastguard Worker     */
255*61046927SAndroid Build Coastguard Worker    assert(offset > 0);
256*61046927SAndroid Build Coastguard Worker 
257*61046927SAndroid Build Coastguard Worker    /* Allocating something with a size of 0 is also not valid. */
258*61046927SAndroid Build Coastguard Worker    assert(size > 0);
259*61046927SAndroid Build Coastguard Worker 
260*61046927SAndroid Build Coastguard Worker    /* It's possible for offset + size to wrap around if we touch the top of
261*61046927SAndroid Build Coastguard Worker     * the 64-bit address space, but we cannot go any higher than 2^64.
262*61046927SAndroid Build Coastguard Worker     */
263*61046927SAndroid Build Coastguard Worker    assert(offset + size == 0 || offset + size > offset);
264*61046927SAndroid Build Coastguard Worker 
265*61046927SAndroid Build Coastguard Worker    /* Find the hole if one exists. */
266*61046927SAndroid Build Coastguard Worker    util_vma_foreach_hole_safe(hole, heap) {
267*61046927SAndroid Build Coastguard Worker       if (hole->offset > offset)
268*61046927SAndroid Build Coastguard Worker          continue;
269*61046927SAndroid Build Coastguard Worker 
270*61046927SAndroid Build Coastguard Worker       /* Holes are ordered high-to-low so the first hole we find with
271*61046927SAndroid Build Coastguard Worker        * hole->offset <= is our hole.  If it's not big enough to contain the
272*61046927SAndroid Build Coastguard Worker        * requested range, then the allocation fails.
273*61046927SAndroid Build Coastguard Worker        */
274*61046927SAndroid Build Coastguard Worker       assert(hole->offset <= offset);
275*61046927SAndroid Build Coastguard Worker       if (hole->size < offset - hole->offset + size)
276*61046927SAndroid Build Coastguard Worker          return false;
277*61046927SAndroid Build Coastguard Worker 
278*61046927SAndroid Build Coastguard Worker       util_vma_hole_alloc(heap, hole, offset, size);
279*61046927SAndroid Build Coastguard Worker       return true;
280*61046927SAndroid Build Coastguard Worker    }
281*61046927SAndroid Build Coastguard Worker 
282*61046927SAndroid Build Coastguard Worker    /* We didn't find a suitable hole */
283*61046927SAndroid Build Coastguard Worker    return false;
284*61046927SAndroid Build Coastguard Worker }
285*61046927SAndroid Build Coastguard Worker 
286*61046927SAndroid Build Coastguard Worker void
util_vma_heap_free(struct util_vma_heap * heap,uint64_t offset,uint64_t size)287*61046927SAndroid Build Coastguard Worker util_vma_heap_free(struct util_vma_heap *heap,
288*61046927SAndroid Build Coastguard Worker                    uint64_t offset, uint64_t size)
289*61046927SAndroid Build Coastguard Worker {
290*61046927SAndroid Build Coastguard Worker    /* An offset of 0 is reserved for allocation failure.  It is not a valid
291*61046927SAndroid Build Coastguard Worker     * address and cannot be freed.
292*61046927SAndroid Build Coastguard Worker     */
293*61046927SAndroid Build Coastguard Worker    assert(offset > 0);
294*61046927SAndroid Build Coastguard Worker 
295*61046927SAndroid Build Coastguard Worker    /* Freeing something with a size of 0 is also not valid. */
296*61046927SAndroid Build Coastguard Worker    assert(size > 0);
297*61046927SAndroid Build Coastguard Worker 
298*61046927SAndroid Build Coastguard Worker    /* It's possible for offset + size to wrap around if we touch the top of
299*61046927SAndroid Build Coastguard Worker     * the 64-bit address space, but we cannot go any higher than 2^64.
300*61046927SAndroid Build Coastguard Worker     */
301*61046927SAndroid Build Coastguard Worker    assert(offset + size == 0 || offset + size > offset);
302*61046927SAndroid Build Coastguard Worker 
303*61046927SAndroid Build Coastguard Worker    util_vma_heap_validate(heap);
304*61046927SAndroid Build Coastguard Worker 
305*61046927SAndroid Build Coastguard Worker    /* Find immediately higher and lower holes if they exist. */
306*61046927SAndroid Build Coastguard Worker    struct util_vma_hole *high_hole = NULL, *low_hole = NULL;
307*61046927SAndroid Build Coastguard Worker    util_vma_foreach_hole(hole, heap) {
308*61046927SAndroid Build Coastguard Worker       if (hole->offset <= offset) {
309*61046927SAndroid Build Coastguard Worker          low_hole = hole;
310*61046927SAndroid Build Coastguard Worker          break;
311*61046927SAndroid Build Coastguard Worker       }
312*61046927SAndroid Build Coastguard Worker       high_hole = hole;
313*61046927SAndroid Build Coastguard Worker    }
314*61046927SAndroid Build Coastguard Worker 
315*61046927SAndroid Build Coastguard Worker    if (high_hole)
316*61046927SAndroid Build Coastguard Worker       assert(offset + size <= high_hole->offset);
317*61046927SAndroid Build Coastguard Worker    bool high_adjacent = high_hole && offset + size == high_hole->offset;
318*61046927SAndroid Build Coastguard Worker 
319*61046927SAndroid Build Coastguard Worker    if (low_hole) {
320*61046927SAndroid Build Coastguard Worker       assert(low_hole->offset + low_hole->size > low_hole->offset);
321*61046927SAndroid Build Coastguard Worker       assert(low_hole->offset + low_hole->size <= offset);
322*61046927SAndroid Build Coastguard Worker    }
323*61046927SAndroid Build Coastguard Worker    bool low_adjacent = low_hole && low_hole->offset + low_hole->size == offset;
324*61046927SAndroid Build Coastguard Worker 
325*61046927SAndroid Build Coastguard Worker    if (low_adjacent && high_adjacent) {
326*61046927SAndroid Build Coastguard Worker       /* Merge the two holes */
327*61046927SAndroid Build Coastguard Worker       low_hole->size += size + high_hole->size;
328*61046927SAndroid Build Coastguard Worker       list_del(&high_hole->link);
329*61046927SAndroid Build Coastguard Worker       free(high_hole);
330*61046927SAndroid Build Coastguard Worker    } else if (low_adjacent) {
331*61046927SAndroid Build Coastguard Worker       /* Merge into the low hole */
332*61046927SAndroid Build Coastguard Worker       low_hole->size += size;
333*61046927SAndroid Build Coastguard Worker    } else if (high_adjacent) {
334*61046927SAndroid Build Coastguard Worker       /* Merge into the high hole */
335*61046927SAndroid Build Coastguard Worker       high_hole->offset = offset;
336*61046927SAndroid Build Coastguard Worker       high_hole->size += size;
337*61046927SAndroid Build Coastguard Worker    } else {
338*61046927SAndroid Build Coastguard Worker       /* Neither hole is adjacent; make a new one */
339*61046927SAndroid Build Coastguard Worker       struct util_vma_hole *hole = calloc(1, sizeof(*hole));
340*61046927SAndroid Build Coastguard Worker 
341*61046927SAndroid Build Coastguard Worker       hole->offset = offset;
342*61046927SAndroid Build Coastguard Worker       hole->size = size;
343*61046927SAndroid Build Coastguard Worker 
344*61046927SAndroid Build Coastguard Worker       /* Add it after the high hole so we maintain high-to-low ordering */
345*61046927SAndroid Build Coastguard Worker       if (high_hole)
346*61046927SAndroid Build Coastguard Worker          list_add(&hole->link, &high_hole->link);
347*61046927SAndroid Build Coastguard Worker       else
348*61046927SAndroid Build Coastguard Worker          list_add(&hole->link, &heap->holes);
349*61046927SAndroid Build Coastguard Worker    }
350*61046927SAndroid Build Coastguard Worker 
351*61046927SAndroid Build Coastguard Worker    heap->free_size += size;
352*61046927SAndroid Build Coastguard Worker    util_vma_heap_validate(heap);
353*61046927SAndroid Build Coastguard Worker }
354*61046927SAndroid Build Coastguard Worker 
355*61046927SAndroid Build Coastguard Worker uint64_t
util_vma_heap_get_max_free_continuous_size(struct util_vma_heap * heap)356*61046927SAndroid Build Coastguard Worker util_vma_heap_get_max_free_continuous_size(struct util_vma_heap *heap)
357*61046927SAndroid Build Coastguard Worker {
358*61046927SAndroid Build Coastguard Worker    if (list_is_empty(&heap->holes))
359*61046927SAndroid Build Coastguard Worker       return 0;
360*61046927SAndroid Build Coastguard Worker 
361*61046927SAndroid Build Coastguard Worker    struct util_vma_hole *top_hole = list_first_entry(&heap->holes, struct util_vma_hole, link);
362*61046927SAndroid Build Coastguard Worker    return top_hole->size;
363*61046927SAndroid Build Coastguard Worker }
364*61046927SAndroid Build Coastguard Worker 
365*61046927SAndroid Build Coastguard Worker void
util_vma_heap_print(struct util_vma_heap * heap,FILE * fp,const char * tab,uint64_t total_size)366*61046927SAndroid Build Coastguard Worker util_vma_heap_print(struct util_vma_heap *heap, FILE *fp,
367*61046927SAndroid Build Coastguard Worker                     const char *tab, uint64_t total_size)
368*61046927SAndroid Build Coastguard Worker {
369*61046927SAndroid Build Coastguard Worker    fprintf(fp, "%sutil_vma_heap:\n", tab);
370*61046927SAndroid Build Coastguard Worker 
371*61046927SAndroid Build Coastguard Worker    uint64_t total_free = 0;
372*61046927SAndroid Build Coastguard Worker    util_vma_foreach_hole(hole, heap) {
373*61046927SAndroid Build Coastguard Worker       fprintf(fp, "%s    hole: offset = %"PRIu64" (0x%"PRIx64"), "
374*61046927SAndroid Build Coastguard Worker               "size = %"PRIu64" (0x%"PRIx64")\n",
375*61046927SAndroid Build Coastguard Worker               tab, hole->offset, hole->offset, hole->size, hole->size);
376*61046927SAndroid Build Coastguard Worker       total_free += hole->size;
377*61046927SAndroid Build Coastguard Worker    }
378*61046927SAndroid Build Coastguard Worker    assert(total_free <= total_size);
379*61046927SAndroid Build Coastguard Worker    assert(total_free == heap->free_size);
380*61046927SAndroid Build Coastguard Worker    fprintf(fp, "%s%"PRIu64"B (0x%"PRIx64") free (%.2f%% full)\n",
381*61046927SAndroid Build Coastguard Worker            tab, total_free, total_free,
382*61046927SAndroid Build Coastguard Worker            ((double)(total_size - total_free) / (double)total_size) * 100);
383*61046927SAndroid Build Coastguard Worker }
384