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 static inline int popcountl(unsigned long l) 96e7c033c3SPaolo Bonzini { 97e7c033c3SPaolo Bonzini return BITS_PER_LONG == 32 ? ctpop32(l) : ctpop64(l); 98e7c033c3SPaolo Bonzini } 99e7c033c3SPaolo Bonzini 100e7c033c3SPaolo Bonzini /* Advance hbi to the next nonzero word and return it. hbi->pos 101e7c033c3SPaolo Bonzini * is updated. Returns zero if we reach the end of the bitmap. 102e7c033c3SPaolo Bonzini */ 103e7c033c3SPaolo Bonzini unsigned long hbitmap_iter_skip_words(HBitmapIter *hbi) 104e7c033c3SPaolo Bonzini { 105e7c033c3SPaolo Bonzini size_t pos = hbi->pos; 106e7c033c3SPaolo Bonzini const HBitmap *hb = hbi->hb; 107e7c033c3SPaolo Bonzini unsigned i = HBITMAP_LEVELS - 1; 108e7c033c3SPaolo Bonzini 109e7c033c3SPaolo Bonzini unsigned long cur; 110e7c033c3SPaolo Bonzini do { 111e7c033c3SPaolo Bonzini cur = hbi->cur[--i]; 112e7c033c3SPaolo Bonzini pos >>= BITS_PER_LEVEL; 113e7c033c3SPaolo Bonzini } while (cur == 0); 114e7c033c3SPaolo Bonzini 115e7c033c3SPaolo Bonzini /* Check for end of iteration. We always use fewer than BITS_PER_LONG 116e7c033c3SPaolo Bonzini * bits in the level 0 bitmap; thus we can repurpose the most significant 117e7c033c3SPaolo Bonzini * bit as a sentinel. The sentinel is set in hbitmap_alloc and ensures 118e7c033c3SPaolo Bonzini * that the above loop ends even without an explicit check on i. 119e7c033c3SPaolo Bonzini */ 120e7c033c3SPaolo Bonzini 121e7c033c3SPaolo Bonzini if (i == 0 && cur == (1UL << (BITS_PER_LONG - 1))) { 122e7c033c3SPaolo Bonzini return 0; 123e7c033c3SPaolo Bonzini } 124e7c033c3SPaolo Bonzini for (; i < HBITMAP_LEVELS - 1; i++) { 125e7c033c3SPaolo Bonzini /* Shift back pos to the left, matching the right shifts above. 126e7c033c3SPaolo Bonzini * The index of this word's least significant set bit provides 127e7c033c3SPaolo Bonzini * the low-order bits. 128e7c033c3SPaolo Bonzini */ 129e7c033c3SPaolo Bonzini pos = (pos << BITS_PER_LEVEL) + ffsl(cur) - 1; 130e7c033c3SPaolo Bonzini hbi->cur[i] = cur & (cur - 1); 131e7c033c3SPaolo Bonzini 132e7c033c3SPaolo Bonzini /* Set up next level for iteration. */ 133e7c033c3SPaolo Bonzini cur = hb->levels[i + 1][pos]; 134e7c033c3SPaolo Bonzini } 135e7c033c3SPaolo Bonzini 136e7c033c3SPaolo Bonzini hbi->pos = pos; 137e7c033c3SPaolo Bonzini trace_hbitmap_iter_skip_words(hbi->hb, hbi, pos, cur); 138e7c033c3SPaolo Bonzini 139e7c033c3SPaolo Bonzini assert(cur); 140e7c033c3SPaolo Bonzini return cur; 141e7c033c3SPaolo Bonzini } 142e7c033c3SPaolo Bonzini 143e7c033c3SPaolo Bonzini void hbitmap_iter_init(HBitmapIter *hbi, const HBitmap *hb, uint64_t first) 144e7c033c3SPaolo Bonzini { 145e7c033c3SPaolo Bonzini unsigned i, bit; 146e7c033c3SPaolo Bonzini uint64_t pos; 147e7c033c3SPaolo Bonzini 148e7c033c3SPaolo Bonzini hbi->hb = hb; 149e7c033c3SPaolo Bonzini pos = first >> hb->granularity; 150*1b095244SPaolo Bonzini assert(pos < hb->size); 151e7c033c3SPaolo Bonzini hbi->pos = pos >> BITS_PER_LEVEL; 152e7c033c3SPaolo Bonzini hbi->granularity = hb->granularity; 153e7c033c3SPaolo Bonzini 154e7c033c3SPaolo Bonzini for (i = HBITMAP_LEVELS; i-- > 0; ) { 155e7c033c3SPaolo Bonzini bit = pos & (BITS_PER_LONG - 1); 156e7c033c3SPaolo Bonzini pos >>= BITS_PER_LEVEL; 157e7c033c3SPaolo Bonzini 158e7c033c3SPaolo Bonzini /* Drop bits representing items before first. */ 159e7c033c3SPaolo Bonzini hbi->cur[i] = hb->levels[i][pos] & ~((1UL << bit) - 1); 160e7c033c3SPaolo Bonzini 161e7c033c3SPaolo Bonzini /* We have already added level i+1, so the lowest set bit has 162e7c033c3SPaolo Bonzini * been processed. Clear it. 163e7c033c3SPaolo Bonzini */ 164e7c033c3SPaolo Bonzini if (i != HBITMAP_LEVELS - 1) { 165e7c033c3SPaolo Bonzini hbi->cur[i] &= ~(1UL << bit); 166e7c033c3SPaolo Bonzini } 167e7c033c3SPaolo Bonzini } 168e7c033c3SPaolo Bonzini } 169e7c033c3SPaolo Bonzini 170e7c033c3SPaolo Bonzini bool hbitmap_empty(const HBitmap *hb) 171e7c033c3SPaolo Bonzini { 172e7c033c3SPaolo Bonzini return hb->count == 0; 173e7c033c3SPaolo Bonzini } 174e7c033c3SPaolo Bonzini 175e7c033c3SPaolo Bonzini int hbitmap_granularity(const HBitmap *hb) 176e7c033c3SPaolo Bonzini { 177e7c033c3SPaolo Bonzini return hb->granularity; 178e7c033c3SPaolo Bonzini } 179e7c033c3SPaolo Bonzini 180e7c033c3SPaolo Bonzini uint64_t hbitmap_count(const HBitmap *hb) 181e7c033c3SPaolo Bonzini { 182e7c033c3SPaolo Bonzini return hb->count << hb->granularity; 183e7c033c3SPaolo Bonzini } 184e7c033c3SPaolo Bonzini 185e7c033c3SPaolo Bonzini /* Count the number of set bits between start and end, not accounting for 186e7c033c3SPaolo Bonzini * the granularity. Also an example of how to use hbitmap_iter_next_word. 187e7c033c3SPaolo Bonzini */ 188e7c033c3SPaolo Bonzini static uint64_t hb_count_between(HBitmap *hb, uint64_t start, uint64_t last) 189e7c033c3SPaolo Bonzini { 190e7c033c3SPaolo Bonzini HBitmapIter hbi; 191e7c033c3SPaolo Bonzini uint64_t count = 0; 192e7c033c3SPaolo Bonzini uint64_t end = last + 1; 193e7c033c3SPaolo Bonzini unsigned long cur; 194e7c033c3SPaolo Bonzini size_t pos; 195e7c033c3SPaolo Bonzini 196e7c033c3SPaolo Bonzini hbitmap_iter_init(&hbi, hb, start << hb->granularity); 197e7c033c3SPaolo Bonzini for (;;) { 198e7c033c3SPaolo Bonzini pos = hbitmap_iter_next_word(&hbi, &cur); 199e7c033c3SPaolo Bonzini if (pos >= (end >> BITS_PER_LEVEL)) { 200e7c033c3SPaolo Bonzini break; 201e7c033c3SPaolo Bonzini } 202e7c033c3SPaolo Bonzini count += popcountl(cur); 203e7c033c3SPaolo Bonzini } 204e7c033c3SPaolo Bonzini 205e7c033c3SPaolo Bonzini if (pos == (end >> BITS_PER_LEVEL)) { 206e7c033c3SPaolo Bonzini /* Drop bits representing the END-th and subsequent items. */ 207e7c033c3SPaolo Bonzini int bit = end & (BITS_PER_LONG - 1); 208e7c033c3SPaolo Bonzini cur &= (1UL << bit) - 1; 209e7c033c3SPaolo Bonzini count += popcountl(cur); 210e7c033c3SPaolo Bonzini } 211e7c033c3SPaolo Bonzini 212e7c033c3SPaolo Bonzini return count; 213e7c033c3SPaolo Bonzini } 214e7c033c3SPaolo Bonzini 215e7c033c3SPaolo Bonzini /* Setting starts at the last layer and propagates up if an element 216e7c033c3SPaolo Bonzini * changes from zero to non-zero. 217e7c033c3SPaolo Bonzini */ 218e7c033c3SPaolo Bonzini static inline bool hb_set_elem(unsigned long *elem, uint64_t start, uint64_t last) 219e7c033c3SPaolo Bonzini { 220e7c033c3SPaolo Bonzini unsigned long mask; 221e7c033c3SPaolo Bonzini bool changed; 222e7c033c3SPaolo Bonzini 223e7c033c3SPaolo Bonzini assert((last >> BITS_PER_LEVEL) == (start >> BITS_PER_LEVEL)); 224e7c033c3SPaolo Bonzini assert(start <= last); 225e7c033c3SPaolo Bonzini 226e7c033c3SPaolo Bonzini mask = 2UL << (last & (BITS_PER_LONG - 1)); 227e7c033c3SPaolo Bonzini mask -= 1UL << (start & (BITS_PER_LONG - 1)); 228e7c033c3SPaolo Bonzini changed = (*elem == 0); 229e7c033c3SPaolo Bonzini *elem |= mask; 230e7c033c3SPaolo Bonzini return changed; 231e7c033c3SPaolo Bonzini } 232e7c033c3SPaolo Bonzini 233e7c033c3SPaolo Bonzini /* The recursive workhorse (the depth is limited to HBITMAP_LEVELS)... */ 234e7c033c3SPaolo Bonzini static void hb_set_between(HBitmap *hb, int level, uint64_t start, uint64_t last) 235e7c033c3SPaolo Bonzini { 236e7c033c3SPaolo Bonzini size_t pos = start >> BITS_PER_LEVEL; 237e7c033c3SPaolo Bonzini size_t lastpos = last >> BITS_PER_LEVEL; 238e7c033c3SPaolo Bonzini bool changed = false; 239e7c033c3SPaolo Bonzini size_t i; 240e7c033c3SPaolo Bonzini 241e7c033c3SPaolo Bonzini i = pos; 242e7c033c3SPaolo Bonzini if (i < lastpos) { 243e7c033c3SPaolo Bonzini uint64_t next = (start | (BITS_PER_LONG - 1)) + 1; 244e7c033c3SPaolo Bonzini changed |= hb_set_elem(&hb->levels[level][i], start, next - 1); 245e7c033c3SPaolo Bonzini for (;;) { 246e7c033c3SPaolo Bonzini start = next; 247e7c033c3SPaolo Bonzini next += BITS_PER_LONG; 248e7c033c3SPaolo Bonzini if (++i == lastpos) { 249e7c033c3SPaolo Bonzini break; 250e7c033c3SPaolo Bonzini } 251e7c033c3SPaolo Bonzini changed |= (hb->levels[level][i] == 0); 252e7c033c3SPaolo Bonzini hb->levels[level][i] = ~0UL; 253e7c033c3SPaolo Bonzini } 254e7c033c3SPaolo Bonzini } 255e7c033c3SPaolo Bonzini changed |= hb_set_elem(&hb->levels[level][i], start, last); 256e7c033c3SPaolo Bonzini 257e7c033c3SPaolo Bonzini /* If there was any change in this layer, we may have to update 258e7c033c3SPaolo Bonzini * the one above. 259e7c033c3SPaolo Bonzini */ 260e7c033c3SPaolo Bonzini if (level > 0 && changed) { 261e7c033c3SPaolo Bonzini hb_set_between(hb, level - 1, pos, lastpos); 262e7c033c3SPaolo Bonzini } 263e7c033c3SPaolo Bonzini } 264e7c033c3SPaolo Bonzini 265e7c033c3SPaolo Bonzini void hbitmap_set(HBitmap *hb, uint64_t start, uint64_t count) 266e7c033c3SPaolo Bonzini { 267e7c033c3SPaolo Bonzini /* Compute range in the last layer. */ 268e7c033c3SPaolo Bonzini uint64_t last = start + count - 1; 269e7c033c3SPaolo Bonzini 270e7c033c3SPaolo Bonzini trace_hbitmap_set(hb, start, count, 271e7c033c3SPaolo Bonzini start >> hb->granularity, last >> hb->granularity); 272e7c033c3SPaolo Bonzini 273e7c033c3SPaolo Bonzini start >>= hb->granularity; 274e7c033c3SPaolo Bonzini last >>= hb->granularity; 275e7c033c3SPaolo Bonzini count = last - start + 1; 276e7c033c3SPaolo Bonzini 277e7c033c3SPaolo Bonzini hb->count += count - hb_count_between(hb, start, last); 278e7c033c3SPaolo Bonzini hb_set_between(hb, HBITMAP_LEVELS - 1, start, last); 279e7c033c3SPaolo Bonzini } 280e7c033c3SPaolo Bonzini 281e7c033c3SPaolo Bonzini /* Resetting works the other way round: propagate up if the new 282e7c033c3SPaolo Bonzini * value is zero. 283e7c033c3SPaolo Bonzini */ 284e7c033c3SPaolo Bonzini static inline bool hb_reset_elem(unsigned long *elem, uint64_t start, uint64_t last) 285e7c033c3SPaolo Bonzini { 286e7c033c3SPaolo Bonzini unsigned long mask; 287e7c033c3SPaolo Bonzini bool blanked; 288e7c033c3SPaolo Bonzini 289e7c033c3SPaolo Bonzini assert((last >> BITS_PER_LEVEL) == (start >> BITS_PER_LEVEL)); 290e7c033c3SPaolo Bonzini assert(start <= last); 291e7c033c3SPaolo Bonzini 292e7c033c3SPaolo Bonzini mask = 2UL << (last & (BITS_PER_LONG - 1)); 293e7c033c3SPaolo Bonzini mask -= 1UL << (start & (BITS_PER_LONG - 1)); 294e7c033c3SPaolo Bonzini blanked = *elem != 0 && ((*elem & ~mask) == 0); 295e7c033c3SPaolo Bonzini *elem &= ~mask; 296e7c033c3SPaolo Bonzini return blanked; 297e7c033c3SPaolo Bonzini } 298e7c033c3SPaolo Bonzini 299e7c033c3SPaolo Bonzini /* The recursive workhorse (the depth is limited to HBITMAP_LEVELS)... */ 300e7c033c3SPaolo Bonzini static void hb_reset_between(HBitmap *hb, int level, uint64_t start, uint64_t last) 301e7c033c3SPaolo Bonzini { 302e7c033c3SPaolo Bonzini size_t pos = start >> BITS_PER_LEVEL; 303e7c033c3SPaolo Bonzini size_t lastpos = last >> BITS_PER_LEVEL; 304e7c033c3SPaolo Bonzini bool changed = false; 305e7c033c3SPaolo Bonzini size_t i; 306e7c033c3SPaolo Bonzini 307e7c033c3SPaolo Bonzini i = pos; 308e7c033c3SPaolo Bonzini if (i < lastpos) { 309e7c033c3SPaolo Bonzini uint64_t next = (start | (BITS_PER_LONG - 1)) + 1; 310e7c033c3SPaolo Bonzini 311e7c033c3SPaolo Bonzini /* Here we need a more complex test than when setting bits. Even if 312e7c033c3SPaolo Bonzini * something was changed, we must not blank bits in the upper level 313e7c033c3SPaolo Bonzini * unless the lower-level word became entirely zero. So, remove pos 314e7c033c3SPaolo Bonzini * from the upper-level range if bits remain set. 315e7c033c3SPaolo Bonzini */ 316e7c033c3SPaolo Bonzini if (hb_reset_elem(&hb->levels[level][i], start, next - 1)) { 317e7c033c3SPaolo Bonzini changed = true; 318e7c033c3SPaolo Bonzini } else { 319e7c033c3SPaolo Bonzini pos++; 320e7c033c3SPaolo Bonzini } 321e7c033c3SPaolo Bonzini 322e7c033c3SPaolo Bonzini for (;;) { 323e7c033c3SPaolo Bonzini start = next; 324e7c033c3SPaolo Bonzini next += BITS_PER_LONG; 325e7c033c3SPaolo Bonzini if (++i == lastpos) { 326e7c033c3SPaolo Bonzini break; 327e7c033c3SPaolo Bonzini } 328e7c033c3SPaolo Bonzini changed |= (hb->levels[level][i] != 0); 329e7c033c3SPaolo Bonzini hb->levels[level][i] = 0UL; 330e7c033c3SPaolo Bonzini } 331e7c033c3SPaolo Bonzini } 332e7c033c3SPaolo Bonzini 333e7c033c3SPaolo Bonzini /* Same as above, this time for lastpos. */ 334e7c033c3SPaolo Bonzini if (hb_reset_elem(&hb->levels[level][i], start, last)) { 335e7c033c3SPaolo Bonzini changed = true; 336e7c033c3SPaolo Bonzini } else { 337e7c033c3SPaolo Bonzini lastpos--; 338e7c033c3SPaolo Bonzini } 339e7c033c3SPaolo Bonzini 340e7c033c3SPaolo Bonzini if (level > 0 && changed) { 341e7c033c3SPaolo Bonzini hb_reset_between(hb, level - 1, pos, lastpos); 342e7c033c3SPaolo Bonzini } 343e7c033c3SPaolo Bonzini } 344e7c033c3SPaolo Bonzini 345e7c033c3SPaolo Bonzini void hbitmap_reset(HBitmap *hb, uint64_t start, uint64_t count) 346e7c033c3SPaolo Bonzini { 347e7c033c3SPaolo Bonzini /* Compute range in the last layer. */ 348e7c033c3SPaolo Bonzini uint64_t last = start + count - 1; 349e7c033c3SPaolo Bonzini 350e7c033c3SPaolo Bonzini trace_hbitmap_reset(hb, start, count, 351e7c033c3SPaolo Bonzini start >> hb->granularity, last >> hb->granularity); 352e7c033c3SPaolo Bonzini 353e7c033c3SPaolo Bonzini start >>= hb->granularity; 354e7c033c3SPaolo Bonzini last >>= hb->granularity; 355e7c033c3SPaolo Bonzini 356e7c033c3SPaolo Bonzini hb->count -= hb_count_between(hb, start, last); 357e7c033c3SPaolo Bonzini hb_reset_between(hb, HBITMAP_LEVELS - 1, start, last); 358e7c033c3SPaolo Bonzini } 359e7c033c3SPaolo Bonzini 360e7c033c3SPaolo Bonzini bool hbitmap_get(const HBitmap *hb, uint64_t item) 361e7c033c3SPaolo Bonzini { 362e7c033c3SPaolo Bonzini /* Compute position and bit in the last layer. */ 363e7c033c3SPaolo Bonzini uint64_t pos = item >> hb->granularity; 364e7c033c3SPaolo Bonzini unsigned long bit = 1UL << (pos & (BITS_PER_LONG - 1)); 365e7c033c3SPaolo Bonzini 366e7c033c3SPaolo Bonzini return (hb->levels[HBITMAP_LEVELS - 1][pos >> BITS_PER_LEVEL] & bit) != 0; 367e7c033c3SPaolo Bonzini } 368e7c033c3SPaolo Bonzini 369e7c033c3SPaolo Bonzini void hbitmap_free(HBitmap *hb) 370e7c033c3SPaolo Bonzini { 371e7c033c3SPaolo Bonzini unsigned i; 372e7c033c3SPaolo Bonzini for (i = HBITMAP_LEVELS; i-- > 0; ) { 373e7c033c3SPaolo Bonzini g_free(hb->levels[i]); 374e7c033c3SPaolo Bonzini } 375e7c033c3SPaolo Bonzini g_free(hb); 376e7c033c3SPaolo Bonzini } 377e7c033c3SPaolo Bonzini 378e7c033c3SPaolo Bonzini HBitmap *hbitmap_alloc(uint64_t size, int granularity) 379e7c033c3SPaolo Bonzini { 380e7c033c3SPaolo Bonzini HBitmap *hb = g_malloc0(sizeof (struct HBitmap)); 381e7c033c3SPaolo Bonzini unsigned i; 382e7c033c3SPaolo Bonzini 383e7c033c3SPaolo Bonzini assert(granularity >= 0 && granularity < 64); 384e7c033c3SPaolo Bonzini size = (size + (1ULL << granularity) - 1) >> granularity; 385e7c033c3SPaolo Bonzini assert(size <= ((uint64_t)1 << HBITMAP_LOG_MAX_SIZE)); 386e7c033c3SPaolo Bonzini 387e7c033c3SPaolo Bonzini hb->size = size; 388e7c033c3SPaolo Bonzini hb->granularity = granularity; 389e7c033c3SPaolo Bonzini for (i = HBITMAP_LEVELS; i-- > 0; ) { 390e7c033c3SPaolo Bonzini size = MAX((size + BITS_PER_LONG - 1) >> BITS_PER_LEVEL, 1); 391e7c033c3SPaolo Bonzini hb->levels[i] = g_malloc0(size * sizeof(unsigned long)); 392e7c033c3SPaolo Bonzini } 393e7c033c3SPaolo Bonzini 394e7c033c3SPaolo Bonzini /* We necessarily have free bits in level 0 due to the definition 395e7c033c3SPaolo Bonzini * of HBITMAP_LEVELS, so use one for a sentinel. This speeds up 396e7c033c3SPaolo Bonzini * hbitmap_iter_skip_words. 397e7c033c3SPaolo Bonzini */ 398e7c033c3SPaolo Bonzini assert(size == 1); 399e7c033c3SPaolo Bonzini hb->levels[0][0] |= 1UL << (BITS_PER_LONG - 1); 400e7c033c3SPaolo Bonzini return hb; 401e7c033c3SPaolo Bonzini } 402