2 * Hierarchical Bitmap Data Type
4 * Copyright Red Hat, Inc., 2012
6 * Author: Paolo Bonzini <pbonzini@redhat.com>
8 * This work is licensed under the terms of the GNU GPL, version 2 or
9 * later. See the COPYING file in the top-level directory.
12 #include "qemu/osdep.h"
13 #include "qemu/hbitmap.h"
14 #include "qemu/host-utils.h"
16 #include "crypto/hash.h"
18 /* HBitmaps provides an array of bits. The bits are stored as usual in an
19 * array of unsigned longs, but HBitmap is also optimized to provide fast
20 * iteration over set bits; going from one bit to the next is O(logB n)
21 * worst case, with B = sizeof(long) * CHAR_BIT: the result is low enough
22 * that the number of levels is in fact fixed.
24 * In order to do this, it stacks multiple bitmaps with progressively coarser
25 * granularity; in all levels except the last, bit N is set iff the N-th
26 * unsigned long is nonzero in the immediately next level. When iteration
27 * completes on the last level it can examine the 2nd-last level to quickly
28 * skip entire words, and even do so recursively to skip blocks of 64 words or
29 * powers thereof (32 on 32-bit machines).
31 * Given an index in the bitmap, it can be split in group of bits like
32 * this (for the 64-bit case):
34 * bits 0-57 => word in the last bitmap | bits 58-63 => bit in the word
35 * bits 0-51 => word in the 2nd-last bitmap | bits 52-57 => bit in the word
36 * bits 0-45 => word in the 3rd-last bitmap | bits 46-51 => bit in the word
38 * So it is easy to move up simply by shifting the index right by
39 * log2(BITS_PER_LONG) bits. To move down, you shift the index left
40 * similarly, and add the word index within the group. Iteration uses
41 * ffs (find first set bit) to find the next word to examine; this
42 * operation can be done in constant time in most current architectures.
44 * Setting or clearing a range of m bits on all levels, the work to perform
45 * is O(m + m/W + m/W^2 + ...), which is O(m) like on a regular bitmap.
47 * When iterating on a bitmap, each bit (on any level) is only visited
48 * once. Hence, The total cost of visiting a bitmap with m bits in it is
49 * the number of bits that are set in all bitmaps. Unless the bitmap is
50 * extremely sparse, this is also O(m + m/W + m/W^2 + ...), so the amortized
51 * cost of advancing from one bit to the next is usually constant (worst case
52 * O(logB n) as in the non-amortized complexity).
57 * Size of the bitmap, as requested in hbitmap_alloc or in hbitmap_truncate.
61 /* Number of total bits in the bottom level. */
64 /* Number of set bits in the bottom level. */
67 /* A scaling factor. Given a granularity of G, each bit in the bitmap will
68 * will actually represent a group of 2^G elements. Each operation on a
69 * range of bits first rounds the bits to determine which group they land
70 * in, and then affect the entire page; iteration will only visit the first
71 * bit of each group. Here is an example of operations in a size-16,
72 * granularity-1 HBitmap:
74 * initial state 00000000
75 * set(start=0, count=9) 11111000 (iter: 0, 2, 4, 6, 8)
76 * reset(start=1, count=3) 00111000 (iter: 4, 6, 8)
77 * set(start=9, count=2) 00111100 (iter: 4, 6, 8, 10)
78 * reset(start=5, count=5) 00000000
80 * From an implementation point of view, when setting or resetting bits,
81 * the bitmap will scale bit numbers right by this amount of bits. When
82 * iterating, the bitmap will scale bit numbers left by this amount of
87 /* A meta dirty bitmap to track the dirtiness of bits in this HBitmap. */
90 /* A number of progressively less coarse bitmaps (i.e. level 0 is the
91 * coarsest). Each bit in level N represents a word in level N+1 that
92 * has a set bit, except the last level where each bit represents the
95 * Note that all bitmaps have the same number of levels. Even a 1-bit
96 * bitmap will still allocate HBITMAP_LEVELS arrays.
98 unsigned long *levels
[HBITMAP_LEVELS
];
100 /* The length of each levels[] array. */
101 uint64_t sizes
[HBITMAP_LEVELS
];
104 /* Advance hbi to the next nonzero word and return it. hbi->pos
105 * is updated. Returns zero if we reach the end of the bitmap.
107 unsigned long hbitmap_iter_skip_words(HBitmapIter
*hbi
)
109 size_t pos
= hbi
->pos
;
110 const HBitmap
*hb
= hbi
->hb
;
111 unsigned i
= HBITMAP_LEVELS
- 1;
116 pos
>>= BITS_PER_LEVEL
;
117 cur
= hbi
->cur
[i
] & hb
->levels
[i
][pos
];
120 /* Check for end of iteration. We always use fewer than BITS_PER_LONG
121 * bits in the level 0 bitmap; thus we can repurpose the most significant
122 * bit as a sentinel. The sentinel is set in hbitmap_alloc and ensures
123 * that the above loop ends even without an explicit check on i.
126 if (i
== 0 && cur
== (1UL << (BITS_PER_LONG
- 1))) {
129 for (; i
< HBITMAP_LEVELS
- 1; i
++) {
130 /* Shift back pos to the left, matching the right shifts above.
131 * The index of this word's least significant set bit provides
132 * the low-order bits.
135 pos
= (pos
<< BITS_PER_LEVEL
) + ctzl(cur
);
136 hbi
->cur
[i
] = cur
& (cur
- 1);
138 /* Set up next level for iteration. */
139 cur
= hb
->levels
[i
+ 1][pos
];
143 trace_hbitmap_iter_skip_words(hbi
->hb
, hbi
, pos
, cur
);
149 int64_t hbitmap_iter_next(HBitmapIter
*hbi
)
151 unsigned long cur
= hbi
->cur
[HBITMAP_LEVELS
- 1] &
152 hbi
->hb
->levels
[HBITMAP_LEVELS
- 1][hbi
->pos
];
156 cur
= hbitmap_iter_skip_words(hbi
);
162 /* The next call will resume work from the next bit. */
163 hbi
->cur
[HBITMAP_LEVELS
- 1] = cur
& (cur
- 1);
164 item
= ((uint64_t)hbi
->pos
<< BITS_PER_LEVEL
) + ctzl(cur
);
166 return item
<< hbi
->granularity
;
169 void hbitmap_iter_init(HBitmapIter
*hbi
, const HBitmap
*hb
, uint64_t first
)
175 pos
= first
>> hb
->granularity
;
176 assert(pos
< hb
->size
);
177 hbi
->pos
= pos
>> BITS_PER_LEVEL
;
178 hbi
->granularity
= hb
->granularity
;
180 for (i
= HBITMAP_LEVELS
; i
-- > 0; ) {
181 bit
= pos
& (BITS_PER_LONG
- 1);
182 pos
>>= BITS_PER_LEVEL
;
184 /* Drop bits representing items before first. */
185 hbi
->cur
[i
] = hb
->levels
[i
][pos
] & ~((1UL << bit
) - 1);
187 /* We have already added level i+1, so the lowest set bit has
188 * been processed. Clear it.
190 if (i
!= HBITMAP_LEVELS
- 1) {
191 hbi
->cur
[i
] &= ~(1UL << bit
);
196 int64_t hbitmap_next_zero(const HBitmap
*hb
, uint64_t start
, uint64_t count
)
198 size_t pos
= (start
>> hb
->granularity
) >> BITS_PER_LEVEL
;
199 unsigned long *last_lev
= hb
->levels
[HBITMAP_LEVELS
- 1];
200 unsigned long cur
= last_lev
[pos
];
201 unsigned start_bit_offset
;
202 uint64_t end_bit
, sz
;
205 if (start
>= hb
->orig_size
|| count
== 0) {
209 end_bit
= count
> hb
->orig_size
- start
?
211 ((start
+ count
- 1) >> hb
->granularity
) + 1;
212 sz
= (end_bit
+ BITS_PER_LONG
- 1) >> BITS_PER_LEVEL
;
214 /* There may be some zero bits in @cur before @start. We are not interested
215 * in them, let's set them.
217 start_bit_offset
= (start
>> hb
->granularity
) & (BITS_PER_LONG
- 1);
218 cur
|= (1UL << start_bit_offset
) - 1;
219 assert((start
>> hb
->granularity
) < hb
->size
);
221 if (cur
== (unsigned long)-1) {
224 } while (pos
< sz
&& last_lev
[pos
] == (unsigned long)-1);
233 res
= (pos
<< BITS_PER_LEVEL
) + ctol(cur
);
234 if (res
>= end_bit
) {
238 res
= res
<< hb
->granularity
;
240 assert(((start
- res
) >> hb
->granularity
) == 0);
247 bool hbitmap_next_dirty_area(const HBitmap
*hb
, uint64_t *start
,
251 int64_t firt_dirty_off
, area_end
;
252 uint32_t granularity
= 1UL << hb
->granularity
;
255 if (*start
>= hb
->orig_size
|| *count
== 0) {
259 end
= *count
> hb
->orig_size
- *start
? hb
->orig_size
: *start
+ *count
;
261 hbitmap_iter_init(&hbi
, hb
, *start
);
262 firt_dirty_off
= hbitmap_iter_next(&hbi
);
264 if (firt_dirty_off
< 0 || firt_dirty_off
>= end
) {
268 if (firt_dirty_off
+ granularity
>= end
) {
271 area_end
= hbitmap_next_zero(hb
, firt_dirty_off
+ granularity
,
272 end
- firt_dirty_off
- granularity
);
278 if (firt_dirty_off
> *start
) {
279 *start
= firt_dirty_off
;
281 *count
= area_end
- *start
;
286 bool hbitmap_empty(const HBitmap
*hb
)
288 return hb
->count
== 0;
291 int hbitmap_granularity(const HBitmap
*hb
)
293 return hb
->granularity
;
296 uint64_t hbitmap_count(const HBitmap
*hb
)
298 return hb
->count
<< hb
->granularity
;
301 /* Count the number of set bits between start and end, not accounting for
302 * the granularity. Also an example of how to use hbitmap_iter_next_word.
304 static uint64_t hb_count_between(HBitmap
*hb
, uint64_t start
, uint64_t last
)
308 uint64_t end
= last
+ 1;
312 hbitmap_iter_init(&hbi
, hb
, start
<< hb
->granularity
);
314 pos
= hbitmap_iter_next_word(&hbi
, &cur
);
315 if (pos
>= (end
>> BITS_PER_LEVEL
)) {
318 count
+= ctpopl(cur
);
321 if (pos
== (end
>> BITS_PER_LEVEL
)) {
322 /* Drop bits representing the END-th and subsequent items. */
323 int bit
= end
& (BITS_PER_LONG
- 1);
324 cur
&= (1UL << bit
) - 1;
325 count
+= ctpopl(cur
);
331 /* Setting starts at the last layer and propagates up if an element
334 static inline bool hb_set_elem(unsigned long *elem
, uint64_t start
, uint64_t last
)
339 assert((last
>> BITS_PER_LEVEL
) == (start
>> BITS_PER_LEVEL
));
340 assert(start
<= last
);
342 mask
= 2UL << (last
& (BITS_PER_LONG
- 1));
343 mask
-= 1UL << (start
& (BITS_PER_LONG
- 1));
349 /* The recursive workhorse (the depth is limited to HBITMAP_LEVELS)...
350 * Returns true if at least one bit is changed. */
351 static bool hb_set_between(HBitmap
*hb
, int level
, uint64_t start
,
354 size_t pos
= start
>> BITS_PER_LEVEL
;
355 size_t lastpos
= last
>> BITS_PER_LEVEL
;
356 bool changed
= false;
361 uint64_t next
= (start
| (BITS_PER_LONG
- 1)) + 1;
362 changed
|= hb_set_elem(&hb
->levels
[level
][i
], start
, next
- 1);
365 next
+= BITS_PER_LONG
;
366 if (++i
== lastpos
) {
369 changed
|= (hb
->levels
[level
][i
] == 0);
370 hb
->levels
[level
][i
] = ~0UL;
373 changed
|= hb_set_elem(&hb
->levels
[level
][i
], start
, last
);
375 /* If there was any change in this layer, we may have to update
378 if (level
> 0 && changed
) {
379 hb_set_between(hb
, level
- 1, pos
, lastpos
);
384 void hbitmap_set(HBitmap
*hb
, uint64_t start
, uint64_t count
)
386 /* Compute range in the last layer. */
388 uint64_t last
= start
+ count
- 1;
390 trace_hbitmap_set(hb
, start
, count
,
391 start
>> hb
->granularity
, last
>> hb
->granularity
);
393 first
= start
>> hb
->granularity
;
394 last
>>= hb
->granularity
;
395 assert(last
< hb
->size
);
396 n
= last
- first
+ 1;
398 hb
->count
+= n
- hb_count_between(hb
, first
, last
);
399 if (hb_set_between(hb
, HBITMAP_LEVELS
- 1, first
, last
) &&
401 hbitmap_set(hb
->meta
, start
, count
);
405 /* Resetting works the other way round: propagate up if the new
408 static inline bool hb_reset_elem(unsigned long *elem
, uint64_t start
, uint64_t last
)
413 assert((last
>> BITS_PER_LEVEL
) == (start
>> BITS_PER_LEVEL
));
414 assert(start
<= last
);
416 mask
= 2UL << (last
& (BITS_PER_LONG
- 1));
417 mask
-= 1UL << (start
& (BITS_PER_LONG
- 1));
418 blanked
= *elem
!= 0 && ((*elem
& ~mask
) == 0);
423 /* The recursive workhorse (the depth is limited to HBITMAP_LEVELS)...
424 * Returns true if at least one bit is changed. */
425 static bool hb_reset_between(HBitmap
*hb
, int level
, uint64_t start
,
428 size_t pos
= start
>> BITS_PER_LEVEL
;
429 size_t lastpos
= last
>> BITS_PER_LEVEL
;
430 bool changed
= false;
435 uint64_t next
= (start
| (BITS_PER_LONG
- 1)) + 1;
437 /* Here we need a more complex test than when setting bits. Even if
438 * something was changed, we must not blank bits in the upper level
439 * unless the lower-level word became entirely zero. So, remove pos
440 * from the upper-level range if bits remain set.
442 if (hb_reset_elem(&hb
->levels
[level
][i
], start
, next
- 1)) {
450 next
+= BITS_PER_LONG
;
451 if (++i
== lastpos
) {
454 changed
|= (hb
->levels
[level
][i
] != 0);
455 hb
->levels
[level
][i
] = 0UL;
459 /* Same as above, this time for lastpos. */
460 if (hb_reset_elem(&hb
->levels
[level
][i
], start
, last
)) {
466 if (level
> 0 && changed
) {
467 hb_reset_between(hb
, level
- 1, pos
, lastpos
);
474 void hbitmap_reset(HBitmap
*hb
, uint64_t start
, uint64_t count
)
476 /* Compute range in the last layer. */
478 uint64_t last
= start
+ count
- 1;
480 trace_hbitmap_reset(hb
, start
, count
,
481 start
>> hb
->granularity
, last
>> hb
->granularity
);
483 first
= start
>> hb
->granularity
;
484 last
>>= hb
->granularity
;
485 assert(last
< hb
->size
);
487 hb
->count
-= hb_count_between(hb
, first
, last
);
488 if (hb_reset_between(hb
, HBITMAP_LEVELS
- 1, first
, last
) &&
490 hbitmap_set(hb
->meta
, start
, count
);
494 void hbitmap_reset_all(HBitmap
*hb
)
498 /* Same as hbitmap_alloc() except for memset() instead of malloc() */
499 for (i
= HBITMAP_LEVELS
; --i
>= 1; ) {
500 memset(hb
->levels
[i
], 0, hb
->sizes
[i
] * sizeof(unsigned long));
503 hb
->levels
[0][0] = 1UL << (BITS_PER_LONG
- 1);
507 bool hbitmap_is_serializable(const HBitmap
*hb
)
509 /* Every serialized chunk must be aligned to 64 bits so that endianness
510 * requirements can be fulfilled on both 64 bit and 32 bit hosts.
511 * We have hbitmap_serialization_align() which converts this
512 * alignment requirement from bitmap bits to items covered (e.g. sectors).
514 * 64 << hb->granularity
515 * Since this value must not exceed UINT64_MAX, hb->granularity must be
516 * less than 58 (== 64 - 6, where 6 is ld(64), i.e. 1 << 6 == 64).
518 * In order for hbitmap_serialization_align() to always return a
519 * meaningful value, bitmaps that are to be serialized must have a
520 * granularity of less than 58. */
522 return hb
->granularity
< 58;
525 bool hbitmap_get(const HBitmap
*hb
, uint64_t item
)
527 /* Compute position and bit in the last layer. */
528 uint64_t pos
= item
>> hb
->granularity
;
529 unsigned long bit
= 1UL << (pos
& (BITS_PER_LONG
- 1));
530 assert(pos
< hb
->size
);
532 return (hb
->levels
[HBITMAP_LEVELS
- 1][pos
>> BITS_PER_LEVEL
] & bit
) != 0;
535 uint64_t hbitmap_serialization_align(const HBitmap
*hb
)
537 assert(hbitmap_is_serializable(hb
));
539 /* Require at least 64 bit granularity to be safe on both 64 bit and 32 bit
541 return UINT64_C(64) << hb
->granularity
;
544 /* Start should be aligned to serialization granularity, chunk size should be
545 * aligned to serialization granularity too, except for last chunk.
547 static void serialization_chunk(const HBitmap
*hb
,
548 uint64_t start
, uint64_t count
,
549 unsigned long **first_el
, uint64_t *el_count
)
551 uint64_t last
= start
+ count
- 1;
552 uint64_t gran
= hbitmap_serialization_align(hb
);
554 assert((start
& (gran
- 1)) == 0);
555 assert((last
>> hb
->granularity
) < hb
->size
);
556 if ((last
>> hb
->granularity
) != hb
->size
- 1) {
557 assert((count
& (gran
- 1)) == 0);
560 start
= (start
>> hb
->granularity
) >> BITS_PER_LEVEL
;
561 last
= (last
>> hb
->granularity
) >> BITS_PER_LEVEL
;
563 *first_el
= &hb
->levels
[HBITMAP_LEVELS
- 1][start
];
564 *el_count
= last
- start
+ 1;
567 uint64_t hbitmap_serialization_size(const HBitmap
*hb
,
568 uint64_t start
, uint64_t count
)
576 serialization_chunk(hb
, start
, count
, &cur
, &el_count
);
578 return el_count
* sizeof(unsigned long);
581 void hbitmap_serialize_part(const HBitmap
*hb
, uint8_t *buf
,
582 uint64_t start
, uint64_t count
)
585 unsigned long *cur
, *end
;
590 serialization_chunk(hb
, start
, count
, &cur
, &el_count
);
591 end
= cur
+ el_count
;
595 (BITS_PER_LONG
== 32 ? cpu_to_le32(*cur
) : cpu_to_le64(*cur
));
597 memcpy(buf
, &el
, sizeof(el
));
603 void hbitmap_deserialize_part(HBitmap
*hb
, uint8_t *buf
,
604 uint64_t start
, uint64_t count
,
608 unsigned long *cur
, *end
;
613 serialization_chunk(hb
, start
, count
, &cur
, &el_count
);
614 end
= cur
+ el_count
;
617 memcpy(cur
, buf
, sizeof(*cur
));
619 if (BITS_PER_LONG
== 32) {
620 le32_to_cpus((uint32_t *)cur
);
622 le64_to_cpus((uint64_t *)cur
);
625 buf
+= sizeof(unsigned long);
629 hbitmap_deserialize_finish(hb
);
633 void hbitmap_deserialize_zeroes(HBitmap
*hb
, uint64_t start
, uint64_t count
,
637 unsigned long *first
;
642 serialization_chunk(hb
, start
, count
, &first
, &el_count
);
644 memset(first
, 0, el_count
* sizeof(unsigned long));
646 hbitmap_deserialize_finish(hb
);
650 void hbitmap_deserialize_ones(HBitmap
*hb
, uint64_t start
, uint64_t count
,
654 unsigned long *first
;
659 serialization_chunk(hb
, start
, count
, &first
, &el_count
);
661 memset(first
, 0xff, el_count
* sizeof(unsigned long));
663 hbitmap_deserialize_finish(hb
);
667 void hbitmap_deserialize_finish(HBitmap
*bitmap
)
669 int64_t i
, size
, prev_size
;
672 /* restore levels starting from penultimate to zero level, assuming
673 * that the last level is ok */
674 size
= MAX((bitmap
->size
+ BITS_PER_LONG
- 1) >> BITS_PER_LEVEL
, 1);
675 for (lev
= HBITMAP_LEVELS
- 1; lev
-- > 0; ) {
677 size
= MAX((size
+ BITS_PER_LONG
- 1) >> BITS_PER_LEVEL
, 1);
678 memset(bitmap
->levels
[lev
], 0, size
* sizeof(unsigned long));
680 for (i
= 0; i
< prev_size
; ++i
) {
681 if (bitmap
->levels
[lev
+ 1][i
]) {
682 bitmap
->levels
[lev
][i
>> BITS_PER_LEVEL
] |=
683 1UL << (i
& (BITS_PER_LONG
- 1));
688 bitmap
->levels
[0][0] |= 1UL << (BITS_PER_LONG
- 1);
689 bitmap
->count
= hb_count_between(bitmap
, 0, bitmap
->size
- 1);
692 void hbitmap_free(HBitmap
*hb
)
696 for (i
= HBITMAP_LEVELS
; i
-- > 0; ) {
697 g_free(hb
->levels
[i
]);
702 HBitmap
*hbitmap_alloc(uint64_t size
, int granularity
)
704 HBitmap
*hb
= g_new0(struct HBitmap
, 1);
707 hb
->orig_size
= size
;
709 assert(granularity
>= 0 && granularity
< 64);
710 size
= (size
+ (1ULL << granularity
) - 1) >> granularity
;
711 assert(size
<= ((uint64_t)1 << HBITMAP_LOG_MAX_SIZE
));
714 hb
->granularity
= granularity
;
715 for (i
= HBITMAP_LEVELS
; i
-- > 0; ) {
716 size
= MAX((size
+ BITS_PER_LONG
- 1) >> BITS_PER_LEVEL
, 1);
718 hb
->levels
[i
] = g_new0(unsigned long, size
);
721 /* We necessarily have free bits in level 0 due to the definition
722 * of HBITMAP_LEVELS, so use one for a sentinel. This speeds up
723 * hbitmap_iter_skip_words.
726 hb
->levels
[0][0] |= 1UL << (BITS_PER_LONG
- 1);
730 void hbitmap_truncate(HBitmap
*hb
, uint64_t size
)
734 uint64_t num_elements
= size
;
737 hb
->orig_size
= size
;
739 /* Size comes in as logical elements, adjust for granularity. */
740 size
= (size
+ (1ULL << hb
->granularity
) - 1) >> hb
->granularity
;
741 assert(size
<= ((uint64_t)1 << HBITMAP_LOG_MAX_SIZE
));
742 shrink
= size
< hb
->size
;
744 /* bit sizes are identical; nothing to do. */
745 if (size
== hb
->size
) {
749 /* If we're losing bits, let's clear those bits before we invalidate all of
750 * our invariants. This helps keep the bitcount consistent, and will prevent
751 * us from carrying around garbage bits beyond the end of the map.
754 /* Don't clear partial granularity groups;
755 * start at the first full one. */
756 uint64_t start
= ROUND_UP(num_elements
, UINT64_C(1) << hb
->granularity
);
757 uint64_t fix_count
= (hb
->size
<< hb
->granularity
) - start
;
760 hbitmap_reset(hb
, start
, fix_count
);
764 for (i
= HBITMAP_LEVELS
; i
-- > 0; ) {
765 size
= MAX(BITS_TO_LONGS(size
), 1);
766 if (hb
->sizes
[i
] == size
) {
771 hb
->levels
[i
] = g_realloc(hb
->levels
[i
], size
* sizeof(unsigned long));
773 memset(&hb
->levels
[i
][old
], 0x00,
774 (size
- old
) * sizeof(*hb
->levels
[i
]));
778 hbitmap_truncate(hb
->meta
, hb
->size
<< hb
->granularity
);
782 bool hbitmap_can_merge(const HBitmap
*a
, const HBitmap
*b
)
784 return (a
->orig_size
== b
->orig_size
);
788 * hbitmap_sparse_merge: performs dst = dst | src
789 * works with differing granularities.
790 * best used when src is sparsely populated.
792 static void hbitmap_sparse_merge(HBitmap
*dst
, const HBitmap
*src
)
795 uint64_t count
= src
->orig_size
;
797 while (hbitmap_next_dirty_area(src
, &offset
, &count
)) {
798 hbitmap_set(dst
, offset
, count
);
800 if (offset
>= src
->orig_size
) {
803 count
= src
->orig_size
- offset
;
808 * Given HBitmaps A and B, let R := A (BITOR) B.
809 * Bitmaps A and B will not be modified,
810 * except when bitmap R is an alias of A or B.
812 * @return true if the merge was successful,
813 * false if it was not attempted.
815 bool hbitmap_merge(const HBitmap
*a
, const HBitmap
*b
, HBitmap
*result
)
820 if (!hbitmap_can_merge(a
, b
) || !hbitmap_can_merge(a
, result
)) {
823 assert(hbitmap_can_merge(b
, result
));
825 if ((!hbitmap_count(a
) && result
== b
) ||
826 (!hbitmap_count(b
) && result
== a
)) {
830 if (!hbitmap_count(a
) && !hbitmap_count(b
)) {
831 hbitmap_reset_all(result
);
835 if (a
->granularity
!= b
->granularity
) {
836 if ((a
!= result
) && (b
!= result
)) {
837 hbitmap_reset_all(result
);
840 hbitmap_sparse_merge(result
, a
);
843 hbitmap_sparse_merge(result
, b
);
848 /* This merge is O(size), as BITS_PER_LONG and HBITMAP_LEVELS are constant.
849 * It may be possible to improve running times for sparsely populated maps
850 * by using hbitmap_iter_next, but this is suboptimal for dense maps.
852 assert(a
->size
== b
->size
);
853 for (i
= HBITMAP_LEVELS
- 1; i
>= 0; i
--) {
854 for (j
= 0; j
< a
->sizes
[i
]; j
++) {
855 result
->levels
[i
][j
] = a
->levels
[i
][j
] | b
->levels
[i
][j
];
859 /* Recompute the dirty count */
860 result
->count
= hb_count_between(result
, 0, result
->size
- 1);
865 HBitmap
*hbitmap_create_meta(HBitmap
*hb
, int chunk_size
)
867 assert(!(chunk_size
& (chunk_size
- 1)));
869 hb
->meta
= hbitmap_alloc(hb
->size
<< hb
->granularity
,
870 hb
->granularity
+ ctz32(chunk_size
));
874 void hbitmap_free_meta(HBitmap
*hb
)
877 hbitmap_free(hb
->meta
);
881 char *hbitmap_sha256(const HBitmap
*bitmap
, Error
**errp
)
883 size_t size
= bitmap
->sizes
[HBITMAP_LEVELS
- 1] * sizeof(unsigned long);
884 char *data
= (char *)bitmap
->levels
[HBITMAP_LEVELS
- 1];
886 qcrypto_hash_digest(QCRYPTO_HASH_ALG_SHA256
, data
, size
, &hash
, errp
);