xref: /openbmc/qemu/util/hbitmap.c (revision e1cf5582644ef63528993fb2b88dd3b43b9914c6)
1e7c033c3SPaolo Bonzini /*
2e7c033c3SPaolo Bonzini  * Hierarchical Bitmap Data Type
3e7c033c3SPaolo Bonzini  *
4e7c033c3SPaolo Bonzini  * Copyright Red Hat, Inc., 2012
5e7c033c3SPaolo Bonzini  *
6e7c033c3SPaolo Bonzini  * Author: Paolo Bonzini <pbonzini@redhat.com>
7e7c033c3SPaolo Bonzini  *
8e7c033c3SPaolo Bonzini  * This work is licensed under the terms of the GNU GPL, version 2 or
9e7c033c3SPaolo Bonzini  * later.  See the COPYING file in the top-level directory.
10e7c033c3SPaolo Bonzini  */
11e7c033c3SPaolo Bonzini 
12e7c033c3SPaolo Bonzini #include <string.h>
13e7c033c3SPaolo Bonzini #include <glib.h>
14e7c033c3SPaolo Bonzini #include <assert.h>
15e7c033c3SPaolo Bonzini #include "qemu/osdep.h"
16e7c033c3SPaolo Bonzini #include "qemu/hbitmap.h"
17e7c033c3SPaolo Bonzini #include "qemu/host-utils.h"
18e7c033c3SPaolo Bonzini #include "trace.h"
19e7c033c3SPaolo Bonzini 
20e7c033c3SPaolo Bonzini /* HBitmaps provides an array of bits.  The bits are stored as usual in an
21e7c033c3SPaolo Bonzini  * array of unsigned longs, but HBitmap is also optimized to provide fast
22e7c033c3SPaolo Bonzini  * iteration over set bits; going from one bit to the next is O(logB n)
23e7c033c3SPaolo Bonzini  * worst case, with B = sizeof(long) * CHAR_BIT: the result is low enough
24e7c033c3SPaolo Bonzini  * that the number of levels is in fact fixed.
25e7c033c3SPaolo Bonzini  *
26e7c033c3SPaolo Bonzini  * In order to do this, it stacks multiple bitmaps with progressively coarser
27e7c033c3SPaolo Bonzini  * granularity; in all levels except the last, bit N is set iff the N-th
28e7c033c3SPaolo Bonzini  * unsigned long is nonzero in the immediately next level.  When iteration
29e7c033c3SPaolo Bonzini  * completes on the last level it can examine the 2nd-last level to quickly
30e7c033c3SPaolo Bonzini  * skip entire words, and even do so recursively to skip blocks of 64 words or
31e7c033c3SPaolo Bonzini  * powers thereof (32 on 32-bit machines).
32e7c033c3SPaolo Bonzini  *
33e7c033c3SPaolo Bonzini  * Given an index in the bitmap, it can be split in group of bits like
34e7c033c3SPaolo Bonzini  * this (for the 64-bit case):
35e7c033c3SPaolo Bonzini  *
36e7c033c3SPaolo Bonzini  *   bits 0-57 => word in the last bitmap     | bits 58-63 => bit in the word
37e7c033c3SPaolo Bonzini  *   bits 0-51 => word in the 2nd-last bitmap | bits 52-57 => bit in the word
38e7c033c3SPaolo Bonzini  *   bits 0-45 => word in the 3rd-last bitmap | bits 46-51 => bit in the word
39e7c033c3SPaolo Bonzini  *
40e7c033c3SPaolo Bonzini  * So it is easy to move up simply by shifting the index right by
41e7c033c3SPaolo Bonzini  * log2(BITS_PER_LONG) bits.  To move down, you shift the index left
42e7c033c3SPaolo Bonzini  * similarly, and add the word index within the group.  Iteration uses
43e7c033c3SPaolo Bonzini  * ffs (find first set bit) to find the next word to examine; this
44e7c033c3SPaolo Bonzini  * operation can be done in constant time in most current architectures.
45e7c033c3SPaolo Bonzini  *
46e7c033c3SPaolo Bonzini  * Setting or clearing a range of m bits on all levels, the work to perform
47e7c033c3SPaolo Bonzini  * is O(m + m/W + m/W^2 + ...), which is O(m) like on a regular bitmap.
48e7c033c3SPaolo Bonzini  *
49e7c033c3SPaolo Bonzini  * When iterating on a bitmap, each bit (on any level) is only visited
50e7c033c3SPaolo Bonzini  * once.  Hence, The total cost of visiting a bitmap with m bits in it is
51e7c033c3SPaolo Bonzini  * the number of bits that are set in all bitmaps.  Unless the bitmap is
52e7c033c3SPaolo Bonzini  * extremely sparse, this is also O(m + m/W + m/W^2 + ...), so the amortized
53e7c033c3SPaolo Bonzini  * cost of advancing from one bit to the next is usually constant (worst case
54e7c033c3SPaolo Bonzini  * O(logB n) as in the non-amortized complexity).
55e7c033c3SPaolo Bonzini  */
56e7c033c3SPaolo Bonzini 
57e7c033c3SPaolo Bonzini struct HBitmap {
58e7c033c3SPaolo Bonzini     /* Number of total bits in the bottom level.  */
59e7c033c3SPaolo Bonzini     uint64_t size;
60e7c033c3SPaolo Bonzini 
61e7c033c3SPaolo Bonzini     /* Number of set bits in the bottom level.  */
62e7c033c3SPaolo Bonzini     uint64_t count;
63e7c033c3SPaolo Bonzini 
64e7c033c3SPaolo Bonzini     /* A scaling factor.  Given a granularity of G, each bit in the bitmap will
65e7c033c3SPaolo Bonzini      * will actually represent a group of 2^G elements.  Each operation on a
66e7c033c3SPaolo Bonzini      * range of bits first rounds the bits to determine which group they land
67e7c033c3SPaolo Bonzini      * in, and then affect the entire page; iteration will only visit the first
68e7c033c3SPaolo Bonzini      * bit of each group.  Here is an example of operations in a size-16,
69e7c033c3SPaolo Bonzini      * granularity-1 HBitmap:
70e7c033c3SPaolo Bonzini      *
71e7c033c3SPaolo Bonzini      *    initial state            00000000
72e7c033c3SPaolo Bonzini      *    set(start=0, count=9)    11111000 (iter: 0, 2, 4, 6, 8)
73e7c033c3SPaolo Bonzini      *    reset(start=1, count=3)  00111000 (iter: 4, 6, 8)
74e7c033c3SPaolo Bonzini      *    set(start=9, count=2)    00111100 (iter: 4, 6, 8, 10)
75e7c033c3SPaolo Bonzini      *    reset(start=5, count=5)  00000000
76e7c033c3SPaolo Bonzini      *
77e7c033c3SPaolo Bonzini      * From an implementation point of view, when setting or resetting bits,
78e7c033c3SPaolo Bonzini      * the bitmap will scale bit numbers right by this amount of bits.  When
79e7c033c3SPaolo Bonzini      * iterating, the bitmap will scale bit numbers left by this amount of
80e7c033c3SPaolo Bonzini      * bits.
81e7c033c3SPaolo Bonzini      */
82e7c033c3SPaolo Bonzini     int granularity;
83e7c033c3SPaolo Bonzini 
84e7c033c3SPaolo Bonzini     /* A number of progressively less coarse bitmaps (i.e. level 0 is the
85e7c033c3SPaolo Bonzini      * coarsest).  Each bit in level N represents a word in level N+1 that
86e7c033c3SPaolo Bonzini      * has a set bit, except the last level where each bit represents the
87e7c033c3SPaolo Bonzini      * actual bitmap.
88e7c033c3SPaolo Bonzini      *
89e7c033c3SPaolo Bonzini      * Note that all bitmaps have the same number of levels.  Even a 1-bit
90e7c033c3SPaolo Bonzini      * bitmap will still allocate HBITMAP_LEVELS arrays.
91e7c033c3SPaolo Bonzini      */
92e7c033c3SPaolo Bonzini     unsigned long *levels[HBITMAP_LEVELS];
93e7c033c3SPaolo Bonzini };
94e7c033c3SPaolo Bonzini 
95e7c033c3SPaolo Bonzini /* Advance hbi to the next nonzero word and return it.  hbi->pos
96e7c033c3SPaolo Bonzini  * is updated.  Returns zero if we reach the end of the bitmap.
97e7c033c3SPaolo Bonzini  */
98e7c033c3SPaolo Bonzini unsigned long hbitmap_iter_skip_words(HBitmapIter *hbi)
99e7c033c3SPaolo Bonzini {
100e7c033c3SPaolo Bonzini     size_t pos = hbi->pos;
101e7c033c3SPaolo Bonzini     const HBitmap *hb = hbi->hb;
102e7c033c3SPaolo Bonzini     unsigned i = HBITMAP_LEVELS - 1;
103e7c033c3SPaolo Bonzini 
104e7c033c3SPaolo Bonzini     unsigned long cur;
105e7c033c3SPaolo Bonzini     do {
106e7c033c3SPaolo Bonzini         cur = hbi->cur[--i];
107e7c033c3SPaolo Bonzini         pos >>= BITS_PER_LEVEL;
108e7c033c3SPaolo Bonzini     } while (cur == 0);
109e7c033c3SPaolo Bonzini 
110e7c033c3SPaolo Bonzini     /* Check for end of iteration.  We always use fewer than BITS_PER_LONG
111e7c033c3SPaolo Bonzini      * bits in the level 0 bitmap; thus we can repurpose the most significant
112e7c033c3SPaolo Bonzini      * bit as a sentinel.  The sentinel is set in hbitmap_alloc and ensures
113e7c033c3SPaolo Bonzini      * that the above loop ends even without an explicit check on i.
114e7c033c3SPaolo Bonzini      */
115e7c033c3SPaolo Bonzini 
116e7c033c3SPaolo Bonzini     if (i == 0 && cur == (1UL << (BITS_PER_LONG - 1))) {
117e7c033c3SPaolo Bonzini         return 0;
118e7c033c3SPaolo Bonzini     }
119e7c033c3SPaolo Bonzini     for (; i < HBITMAP_LEVELS - 1; i++) {
120e7c033c3SPaolo Bonzini         /* Shift back pos to the left, matching the right shifts above.
121e7c033c3SPaolo Bonzini          * The index of this word's least significant set bit provides
122e7c033c3SPaolo Bonzini          * the low-order bits.
123e7c033c3SPaolo Bonzini          */
12418331e7cSRichard Henderson         assert(cur);
12518331e7cSRichard Henderson         pos = (pos << BITS_PER_LEVEL) + ctzl(cur);
126e7c033c3SPaolo Bonzini         hbi->cur[i] = cur & (cur - 1);
127e7c033c3SPaolo Bonzini 
128e7c033c3SPaolo Bonzini         /* Set up next level for iteration.  */
129e7c033c3SPaolo Bonzini         cur = hb->levels[i + 1][pos];
130e7c033c3SPaolo Bonzini     }
131e7c033c3SPaolo Bonzini 
132e7c033c3SPaolo Bonzini     hbi->pos = pos;
133e7c033c3SPaolo Bonzini     trace_hbitmap_iter_skip_words(hbi->hb, hbi, pos, cur);
134e7c033c3SPaolo Bonzini 
135e7c033c3SPaolo Bonzini     assert(cur);
136e7c033c3SPaolo Bonzini     return cur;
137e7c033c3SPaolo Bonzini }
138e7c033c3SPaolo Bonzini 
139e7c033c3SPaolo Bonzini void hbitmap_iter_init(HBitmapIter *hbi, const HBitmap *hb, uint64_t first)
140e7c033c3SPaolo Bonzini {
141e7c033c3SPaolo Bonzini     unsigned i, bit;
142e7c033c3SPaolo Bonzini     uint64_t pos;
143e7c033c3SPaolo Bonzini 
144e7c033c3SPaolo Bonzini     hbi->hb = hb;
145e7c033c3SPaolo Bonzini     pos = first >> hb->granularity;
1461b095244SPaolo Bonzini     assert(pos < hb->size);
147e7c033c3SPaolo Bonzini     hbi->pos = pos >> BITS_PER_LEVEL;
148e7c033c3SPaolo Bonzini     hbi->granularity = hb->granularity;
149e7c033c3SPaolo Bonzini 
150e7c033c3SPaolo Bonzini     for (i = HBITMAP_LEVELS; i-- > 0; ) {
151e7c033c3SPaolo Bonzini         bit = pos & (BITS_PER_LONG - 1);
152e7c033c3SPaolo Bonzini         pos >>= BITS_PER_LEVEL;
153e7c033c3SPaolo Bonzini 
154e7c033c3SPaolo Bonzini         /* Drop bits representing items before first.  */
155e7c033c3SPaolo Bonzini         hbi->cur[i] = hb->levels[i][pos] & ~((1UL << bit) - 1);
156e7c033c3SPaolo Bonzini 
157e7c033c3SPaolo Bonzini         /* We have already added level i+1, so the lowest set bit has
158e7c033c3SPaolo Bonzini          * been processed.  Clear it.
159e7c033c3SPaolo Bonzini          */
160e7c033c3SPaolo Bonzini         if (i != HBITMAP_LEVELS - 1) {
161e7c033c3SPaolo Bonzini             hbi->cur[i] &= ~(1UL << bit);
162e7c033c3SPaolo Bonzini         }
163e7c033c3SPaolo Bonzini     }
164e7c033c3SPaolo Bonzini }
165e7c033c3SPaolo Bonzini 
166e7c033c3SPaolo Bonzini bool hbitmap_empty(const HBitmap *hb)
167e7c033c3SPaolo Bonzini {
168e7c033c3SPaolo Bonzini     return hb->count == 0;
169e7c033c3SPaolo Bonzini }
170e7c033c3SPaolo Bonzini 
171e7c033c3SPaolo Bonzini int hbitmap_granularity(const HBitmap *hb)
172e7c033c3SPaolo Bonzini {
173e7c033c3SPaolo Bonzini     return hb->granularity;
174e7c033c3SPaolo Bonzini }
175e7c033c3SPaolo Bonzini 
176e7c033c3SPaolo Bonzini uint64_t hbitmap_count(const HBitmap *hb)
177e7c033c3SPaolo Bonzini {
178e7c033c3SPaolo Bonzini     return hb->count << hb->granularity;
179e7c033c3SPaolo Bonzini }
180e7c033c3SPaolo Bonzini 
181e7c033c3SPaolo Bonzini /* Count the number of set bits between start and end, not accounting for
182e7c033c3SPaolo Bonzini  * the granularity.  Also an example of how to use hbitmap_iter_next_word.
183e7c033c3SPaolo Bonzini  */
184e7c033c3SPaolo Bonzini static uint64_t hb_count_between(HBitmap *hb, uint64_t start, uint64_t last)
185e7c033c3SPaolo Bonzini {
186e7c033c3SPaolo Bonzini     HBitmapIter hbi;
187e7c033c3SPaolo Bonzini     uint64_t count = 0;
188e7c033c3SPaolo Bonzini     uint64_t end = last + 1;
189e7c033c3SPaolo Bonzini     unsigned long cur;
190e7c033c3SPaolo Bonzini     size_t pos;
191e7c033c3SPaolo Bonzini 
192e7c033c3SPaolo Bonzini     hbitmap_iter_init(&hbi, hb, start << hb->granularity);
193e7c033c3SPaolo Bonzini     for (;;) {
194e7c033c3SPaolo Bonzini         pos = hbitmap_iter_next_word(&hbi, &cur);
195e7c033c3SPaolo Bonzini         if (pos >= (end >> BITS_PER_LEVEL)) {
196e7c033c3SPaolo Bonzini             break;
197e7c033c3SPaolo Bonzini         }
198591b320aSPeter Maydell         count += ctpopl(cur);
199e7c033c3SPaolo Bonzini     }
200e7c033c3SPaolo Bonzini 
201e7c033c3SPaolo Bonzini     if (pos == (end >> BITS_PER_LEVEL)) {
202e7c033c3SPaolo Bonzini         /* Drop bits representing the END-th and subsequent items.  */
203e7c033c3SPaolo Bonzini         int bit = end & (BITS_PER_LONG - 1);
204e7c033c3SPaolo Bonzini         cur &= (1UL << bit) - 1;
205591b320aSPeter Maydell         count += ctpopl(cur);
206e7c033c3SPaolo Bonzini     }
207e7c033c3SPaolo Bonzini 
208e7c033c3SPaolo Bonzini     return count;
209e7c033c3SPaolo Bonzini }
210e7c033c3SPaolo Bonzini 
211e7c033c3SPaolo Bonzini /* Setting starts at the last layer and propagates up if an element
212e7c033c3SPaolo Bonzini  * changes from zero to non-zero.
213e7c033c3SPaolo Bonzini  */
214e7c033c3SPaolo Bonzini static inline bool hb_set_elem(unsigned long *elem, uint64_t start, uint64_t last)
215e7c033c3SPaolo Bonzini {
216e7c033c3SPaolo Bonzini     unsigned long mask;
217e7c033c3SPaolo Bonzini     bool changed;
218e7c033c3SPaolo Bonzini 
219e7c033c3SPaolo Bonzini     assert((last >> BITS_PER_LEVEL) == (start >> BITS_PER_LEVEL));
220e7c033c3SPaolo Bonzini     assert(start <= last);
221e7c033c3SPaolo Bonzini 
222e7c033c3SPaolo Bonzini     mask = 2UL << (last & (BITS_PER_LONG - 1));
223e7c033c3SPaolo Bonzini     mask -= 1UL << (start & (BITS_PER_LONG - 1));
224e7c033c3SPaolo Bonzini     changed = (*elem == 0);
225e7c033c3SPaolo Bonzini     *elem |= mask;
226e7c033c3SPaolo Bonzini     return changed;
227e7c033c3SPaolo Bonzini }
228e7c033c3SPaolo Bonzini 
229e7c033c3SPaolo Bonzini /* The recursive workhorse (the depth is limited to HBITMAP_LEVELS)... */
230e7c033c3SPaolo Bonzini static void hb_set_between(HBitmap *hb, int level, uint64_t start, uint64_t last)
231e7c033c3SPaolo Bonzini {
232e7c033c3SPaolo Bonzini     size_t pos = start >> BITS_PER_LEVEL;
233e7c033c3SPaolo Bonzini     size_t lastpos = last >> BITS_PER_LEVEL;
234e7c033c3SPaolo Bonzini     bool changed = false;
235e7c033c3SPaolo Bonzini     size_t i;
236e7c033c3SPaolo Bonzini 
237e7c033c3SPaolo Bonzini     i = pos;
238e7c033c3SPaolo Bonzini     if (i < lastpos) {
239e7c033c3SPaolo Bonzini         uint64_t next = (start | (BITS_PER_LONG - 1)) + 1;
240e7c033c3SPaolo Bonzini         changed |= hb_set_elem(&hb->levels[level][i], start, next - 1);
241e7c033c3SPaolo Bonzini         for (;;) {
242e7c033c3SPaolo Bonzini             start = next;
243e7c033c3SPaolo Bonzini             next += BITS_PER_LONG;
244e7c033c3SPaolo Bonzini             if (++i == lastpos) {
245e7c033c3SPaolo Bonzini                 break;
246e7c033c3SPaolo Bonzini             }
247e7c033c3SPaolo Bonzini             changed |= (hb->levels[level][i] == 0);
248e7c033c3SPaolo Bonzini             hb->levels[level][i] = ~0UL;
249e7c033c3SPaolo Bonzini         }
250e7c033c3SPaolo Bonzini     }
251e7c033c3SPaolo Bonzini     changed |= hb_set_elem(&hb->levels[level][i], start, last);
252e7c033c3SPaolo Bonzini 
253e7c033c3SPaolo Bonzini     /* If there was any change in this layer, we may have to update
254e7c033c3SPaolo Bonzini      * the one above.
255e7c033c3SPaolo Bonzini      */
256e7c033c3SPaolo Bonzini     if (level > 0 && changed) {
257e7c033c3SPaolo Bonzini         hb_set_between(hb, level - 1, pos, lastpos);
258e7c033c3SPaolo Bonzini     }
259e7c033c3SPaolo Bonzini }
260e7c033c3SPaolo Bonzini 
261e7c033c3SPaolo Bonzini void hbitmap_set(HBitmap *hb, uint64_t start, uint64_t count)
262e7c033c3SPaolo Bonzini {
263e7c033c3SPaolo Bonzini     /* Compute range in the last layer.  */
264e7c033c3SPaolo Bonzini     uint64_t last = start + count - 1;
265e7c033c3SPaolo Bonzini 
266e7c033c3SPaolo Bonzini     trace_hbitmap_set(hb, start, count,
267e7c033c3SPaolo Bonzini                       start >> hb->granularity, last >> hb->granularity);
268e7c033c3SPaolo Bonzini 
269e7c033c3SPaolo Bonzini     start >>= hb->granularity;
270e7c033c3SPaolo Bonzini     last >>= hb->granularity;
271e7c033c3SPaolo Bonzini     count = last - start + 1;
272e7c033c3SPaolo Bonzini 
273e7c033c3SPaolo Bonzini     hb->count += count - hb_count_between(hb, start, last);
274e7c033c3SPaolo Bonzini     hb_set_between(hb, HBITMAP_LEVELS - 1, start, last);
275e7c033c3SPaolo Bonzini }
276e7c033c3SPaolo Bonzini 
277e7c033c3SPaolo Bonzini /* Resetting works the other way round: propagate up if the new
278e7c033c3SPaolo Bonzini  * value is zero.
279e7c033c3SPaolo Bonzini  */
280e7c033c3SPaolo Bonzini static inline bool hb_reset_elem(unsigned long *elem, uint64_t start, uint64_t last)
281e7c033c3SPaolo Bonzini {
282e7c033c3SPaolo Bonzini     unsigned long mask;
283e7c033c3SPaolo Bonzini     bool blanked;
284e7c033c3SPaolo Bonzini 
285e7c033c3SPaolo Bonzini     assert((last >> BITS_PER_LEVEL) == (start >> BITS_PER_LEVEL));
286e7c033c3SPaolo Bonzini     assert(start <= last);
287e7c033c3SPaolo Bonzini 
288e7c033c3SPaolo Bonzini     mask = 2UL << (last & (BITS_PER_LONG - 1));
289e7c033c3SPaolo Bonzini     mask -= 1UL << (start & (BITS_PER_LONG - 1));
290e7c033c3SPaolo Bonzini     blanked = *elem != 0 && ((*elem & ~mask) == 0);
291e7c033c3SPaolo Bonzini     *elem &= ~mask;
292e7c033c3SPaolo Bonzini     return blanked;
293e7c033c3SPaolo Bonzini }
294e7c033c3SPaolo Bonzini 
295e7c033c3SPaolo Bonzini /* The recursive workhorse (the depth is limited to HBITMAP_LEVELS)... */
296e7c033c3SPaolo Bonzini static void hb_reset_between(HBitmap *hb, int level, uint64_t start, uint64_t last)
297e7c033c3SPaolo Bonzini {
298e7c033c3SPaolo Bonzini     size_t pos = start >> BITS_PER_LEVEL;
299e7c033c3SPaolo Bonzini     size_t lastpos = last >> BITS_PER_LEVEL;
300e7c033c3SPaolo Bonzini     bool changed = false;
301e7c033c3SPaolo Bonzini     size_t i;
302e7c033c3SPaolo Bonzini 
303e7c033c3SPaolo Bonzini     i = pos;
304e7c033c3SPaolo Bonzini     if (i < lastpos) {
305e7c033c3SPaolo Bonzini         uint64_t next = (start | (BITS_PER_LONG - 1)) + 1;
306e7c033c3SPaolo Bonzini 
307e7c033c3SPaolo Bonzini         /* Here we need a more complex test than when setting bits.  Even if
308e7c033c3SPaolo Bonzini          * something was changed, we must not blank bits in the upper level
309e7c033c3SPaolo Bonzini          * unless the lower-level word became entirely zero.  So, remove pos
310e7c033c3SPaolo Bonzini          * from the upper-level range if bits remain set.
311e7c033c3SPaolo Bonzini          */
312e7c033c3SPaolo Bonzini         if (hb_reset_elem(&hb->levels[level][i], start, next - 1)) {
313e7c033c3SPaolo Bonzini             changed = true;
314e7c033c3SPaolo Bonzini         } else {
315e7c033c3SPaolo Bonzini             pos++;
316e7c033c3SPaolo Bonzini         }
317e7c033c3SPaolo Bonzini 
318e7c033c3SPaolo Bonzini         for (;;) {
319e7c033c3SPaolo Bonzini             start = next;
320e7c033c3SPaolo Bonzini             next += BITS_PER_LONG;
321e7c033c3SPaolo Bonzini             if (++i == lastpos) {
322e7c033c3SPaolo Bonzini                 break;
323e7c033c3SPaolo Bonzini             }
324e7c033c3SPaolo Bonzini             changed |= (hb->levels[level][i] != 0);
325e7c033c3SPaolo Bonzini             hb->levels[level][i] = 0UL;
326e7c033c3SPaolo Bonzini         }
327e7c033c3SPaolo Bonzini     }
328e7c033c3SPaolo Bonzini 
329e7c033c3SPaolo Bonzini     /* Same as above, this time for lastpos.  */
330e7c033c3SPaolo Bonzini     if (hb_reset_elem(&hb->levels[level][i], start, last)) {
331e7c033c3SPaolo Bonzini         changed = true;
332e7c033c3SPaolo Bonzini     } else {
333e7c033c3SPaolo Bonzini         lastpos--;
334e7c033c3SPaolo Bonzini     }
335e7c033c3SPaolo Bonzini 
336e7c033c3SPaolo Bonzini     if (level > 0 && changed) {
337e7c033c3SPaolo Bonzini         hb_reset_between(hb, level - 1, pos, lastpos);
338e7c033c3SPaolo Bonzini     }
339e7c033c3SPaolo Bonzini }
340e7c033c3SPaolo Bonzini 
341e7c033c3SPaolo Bonzini void hbitmap_reset(HBitmap *hb, uint64_t start, uint64_t count)
342e7c033c3SPaolo Bonzini {
343e7c033c3SPaolo Bonzini     /* Compute range in the last layer.  */
344e7c033c3SPaolo Bonzini     uint64_t last = start + count - 1;
345e7c033c3SPaolo Bonzini 
346e7c033c3SPaolo Bonzini     trace_hbitmap_reset(hb, start, count,
347e7c033c3SPaolo Bonzini                         start >> hb->granularity, last >> hb->granularity);
348e7c033c3SPaolo Bonzini 
349e7c033c3SPaolo Bonzini     start >>= hb->granularity;
350e7c033c3SPaolo Bonzini     last >>= hb->granularity;
351e7c033c3SPaolo Bonzini 
352e7c033c3SPaolo Bonzini     hb->count -= hb_count_between(hb, start, last);
353e7c033c3SPaolo Bonzini     hb_reset_between(hb, HBITMAP_LEVELS - 1, start, last);
354e7c033c3SPaolo Bonzini }
355e7c033c3SPaolo Bonzini 
356e7c033c3SPaolo Bonzini bool hbitmap_get(const HBitmap *hb, uint64_t item)
357e7c033c3SPaolo Bonzini {
358e7c033c3SPaolo Bonzini     /* Compute position and bit in the last layer.  */
359e7c033c3SPaolo Bonzini     uint64_t pos = item >> hb->granularity;
360e7c033c3SPaolo Bonzini     unsigned long bit = 1UL << (pos & (BITS_PER_LONG - 1));
361e7c033c3SPaolo Bonzini 
362e7c033c3SPaolo Bonzini     return (hb->levels[HBITMAP_LEVELS - 1][pos >> BITS_PER_LEVEL] & bit) != 0;
363e7c033c3SPaolo Bonzini }
364e7c033c3SPaolo Bonzini 
365e7c033c3SPaolo Bonzini void hbitmap_free(HBitmap *hb)
366e7c033c3SPaolo Bonzini {
367e7c033c3SPaolo Bonzini     unsigned i;
368e7c033c3SPaolo Bonzini     for (i = HBITMAP_LEVELS; i-- > 0; ) {
369e7c033c3SPaolo Bonzini         g_free(hb->levels[i]);
370e7c033c3SPaolo Bonzini     }
371e7c033c3SPaolo Bonzini     g_free(hb);
372e7c033c3SPaolo Bonzini }
373e7c033c3SPaolo Bonzini 
374e7c033c3SPaolo Bonzini HBitmap *hbitmap_alloc(uint64_t size, int granularity)
375e7c033c3SPaolo Bonzini {
376*e1cf5582SMarkus Armbruster     HBitmap *hb = g_new0(struct HBitmap, 1);
377e7c033c3SPaolo Bonzini     unsigned i;
378e7c033c3SPaolo Bonzini 
379e7c033c3SPaolo Bonzini     assert(granularity >= 0 && granularity < 64);
380e7c033c3SPaolo Bonzini     size = (size + (1ULL << granularity) - 1) >> granularity;
381e7c033c3SPaolo Bonzini     assert(size <= ((uint64_t)1 << HBITMAP_LOG_MAX_SIZE));
382e7c033c3SPaolo Bonzini 
383e7c033c3SPaolo Bonzini     hb->size = size;
384e7c033c3SPaolo Bonzini     hb->granularity = granularity;
385e7c033c3SPaolo Bonzini     for (i = HBITMAP_LEVELS; i-- > 0; ) {
386e7c033c3SPaolo Bonzini         size = MAX((size + BITS_PER_LONG - 1) >> BITS_PER_LEVEL, 1);
387*e1cf5582SMarkus Armbruster         hb->levels[i] = g_new0(unsigned long, size);
388e7c033c3SPaolo Bonzini     }
389e7c033c3SPaolo Bonzini 
390e7c033c3SPaolo Bonzini     /* We necessarily have free bits in level 0 due to the definition
391e7c033c3SPaolo Bonzini      * of HBITMAP_LEVELS, so use one for a sentinel.  This speeds up
392e7c033c3SPaolo Bonzini      * hbitmap_iter_skip_words.
393e7c033c3SPaolo Bonzini      */
394e7c033c3SPaolo Bonzini     assert(size == 1);
395e7c033c3SPaolo Bonzini     hb->levels[0][0] |= 1UL << (BITS_PER_LONG - 1);
396e7c033c3SPaolo Bonzini     return hb;
397e7c033c3SPaolo Bonzini }
398