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