xref: /qemu/block/qcow2-bitmap.c (revision 702aa50d)
1 /*
2  * Bitmaps for the QCOW version 2 format
3  *
4  * Copyright (c) 2014-2017 Vladimir Sementsov-Ogievskiy
5  *
6  * This file is derived from qcow2-snapshot.c, original copyright:
7  * Copyright (c) 2004-2006 Fabrice Bellard
8  *
9  * Permission is hereby granted, free of charge, to any person obtaining a copy
10  * of this software and associated documentation files (the "Software"), to deal
11  * in the Software without restriction, including without limitation the rights
12  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13  * copies of the Software, and to permit persons to whom the Software is
14  * furnished to do so, subject to the following conditions:
15  *
16  * The above copyright notice and this permission notice shall be included in
17  * all copies or substantial portions of the Software.
18  *
19  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
22  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
25  * THE SOFTWARE.
26  */
27 
28 #include "qemu/osdep.h"
29 #include "qapi/error.h"
30 #include "qemu/cutils.h"
31 
32 #include "block/block_int.h"
33 #include "qcow2.h"
34 
35 /* NOTICE: BME here means Bitmaps Extension and used as a namespace for
36  * _internal_ constants. Please do not use this _internal_ abbreviation for
37  * other needs and/or outside of this file. */
38 
39 /* Bitmap directory entry constraints */
40 #define BME_MAX_TABLE_SIZE 0x8000000
41 #define BME_MAX_PHYS_SIZE 0x20000000 /* restrict BdrvDirtyBitmap size in RAM */
42 #define BME_MAX_GRANULARITY_BITS 31
43 #define BME_MIN_GRANULARITY_BITS 9
44 #define BME_MAX_NAME_SIZE 1023
45 
46 #if BME_MAX_TABLE_SIZE * 8ULL > INT_MAX
47 #error In the code bitmap table physical size assumed to fit into int
48 #endif
49 
50 /* Bitmap directory entry flags */
51 #define BME_RESERVED_FLAGS 0xfffffffcU
52 #define BME_FLAG_IN_USE (1U << 0)
53 #define BME_FLAG_AUTO   (1U << 1)
54 
55 /* bits [1, 8] U [56, 63] are reserved */
56 #define BME_TABLE_ENTRY_RESERVED_MASK 0xff000000000001feULL
57 #define BME_TABLE_ENTRY_OFFSET_MASK 0x00fffffffffffe00ULL
58 #define BME_TABLE_ENTRY_FLAG_ALL_ONES (1ULL << 0)
59 
60 typedef struct QEMU_PACKED Qcow2BitmapDirEntry {
61     /* header is 8 byte aligned */
62     uint64_t bitmap_table_offset;
63 
64     uint32_t bitmap_table_size;
65     uint32_t flags;
66 
67     uint8_t type;
68     uint8_t granularity_bits;
69     uint16_t name_size;
70     uint32_t extra_data_size;
71     /* extra data follows  */
72     /* name follows  */
73 } Qcow2BitmapDirEntry;
74 
75 typedef struct Qcow2BitmapTable {
76     uint64_t offset;
77     uint32_t size; /* number of 64bit entries */
78     QSIMPLEQ_ENTRY(Qcow2BitmapTable) entry;
79 } Qcow2BitmapTable;
80 
81 typedef struct Qcow2Bitmap {
82     Qcow2BitmapTable table;
83     uint32_t flags;
84     uint8_t granularity_bits;
85     char *name;
86 
87     BdrvDirtyBitmap *dirty_bitmap;
88 
89     QSIMPLEQ_ENTRY(Qcow2Bitmap) entry;
90 } Qcow2Bitmap;
91 typedef QSIMPLEQ_HEAD(Qcow2BitmapList, Qcow2Bitmap) Qcow2BitmapList;
92 
93 typedef enum BitmapType {
94     BT_DIRTY_TRACKING_BITMAP = 1
95 } BitmapType;
96 
97 static inline bool can_write(BlockDriverState *bs)
98 {
99     return !bdrv_is_read_only(bs) && !(bdrv_get_flags(bs) & BDRV_O_INACTIVE);
100 }
101 
102 static int update_header_sync(BlockDriverState *bs)
103 {
104     int ret;
105 
106     ret = qcow2_update_header(bs);
107     if (ret < 0) {
108         return ret;
109     }
110 
111     return bdrv_flush(bs->file->bs);
112 }
113 
114 static inline void bitmap_table_to_be(uint64_t *bitmap_table, size_t size)
115 {
116     size_t i;
117 
118     for (i = 0; i < size; ++i) {
119         bitmap_table[i] = cpu_to_be64(bitmap_table[i]);
120     }
121 }
122 
123 static int check_table_entry(uint64_t entry, int cluster_size)
124 {
125     uint64_t offset;
126 
127     if (entry & BME_TABLE_ENTRY_RESERVED_MASK) {
128         return -EINVAL;
129     }
130 
131     offset = entry & BME_TABLE_ENTRY_OFFSET_MASK;
132     if (offset != 0) {
133         /* if offset specified, bit 0 is reserved */
134         if (entry & BME_TABLE_ENTRY_FLAG_ALL_ONES) {
135             return -EINVAL;
136         }
137 
138         if (offset % cluster_size != 0) {
139             return -EINVAL;
140         }
141     }
142 
143     return 0;
144 }
145 
146 static int check_constraints_on_bitmap(BlockDriverState *bs,
147                                        const char *name,
148                                        uint32_t granularity,
149                                        Error **errp)
150 {
151     BDRVQcow2State *s = bs->opaque;
152     int granularity_bits = ctz32(granularity);
153     int64_t len = bdrv_getlength(bs);
154 
155     assert(granularity > 0);
156     assert((granularity & (granularity - 1)) == 0);
157 
158     if (len < 0) {
159         error_setg_errno(errp, -len, "Failed to get size of '%s'",
160                          bdrv_get_device_or_node_name(bs));
161         return len;
162     }
163 
164     if (granularity_bits > BME_MAX_GRANULARITY_BITS) {
165         error_setg(errp, "Granularity exceeds maximum (%llu bytes)",
166                    1ULL << BME_MAX_GRANULARITY_BITS);
167         return -EINVAL;
168     }
169     if (granularity_bits < BME_MIN_GRANULARITY_BITS) {
170         error_setg(errp, "Granularity is under minimum (%llu bytes)",
171                    1ULL << BME_MIN_GRANULARITY_BITS);
172         return -EINVAL;
173     }
174 
175     if ((len > (uint64_t)BME_MAX_PHYS_SIZE << granularity_bits) ||
176         (len > (uint64_t)BME_MAX_TABLE_SIZE * s->cluster_size <<
177                granularity_bits))
178     {
179         error_setg(errp, "Too much space will be occupied by the bitmap. "
180                    "Use larger granularity");
181         return -EINVAL;
182     }
183 
184     if (strlen(name) > BME_MAX_NAME_SIZE) {
185         error_setg(errp, "Name length exceeds maximum (%u characters)",
186                    BME_MAX_NAME_SIZE);
187         return -EINVAL;
188     }
189 
190     return 0;
191 }
192 
193 static void clear_bitmap_table(BlockDriverState *bs, uint64_t *bitmap_table,
194                                uint32_t bitmap_table_size)
195 {
196     BDRVQcow2State *s = bs->opaque;
197     int i;
198 
199     for (i = 0; i < bitmap_table_size; ++i) {
200         uint64_t addr = bitmap_table[i] & BME_TABLE_ENTRY_OFFSET_MASK;
201         if (!addr) {
202             continue;
203         }
204 
205         qcow2_free_clusters(bs, addr, s->cluster_size, QCOW2_DISCARD_OTHER);
206         bitmap_table[i] = 0;
207     }
208 }
209 
210 static int bitmap_table_load(BlockDriverState *bs, Qcow2BitmapTable *tb,
211                              uint64_t **bitmap_table)
212 {
213     int ret;
214     BDRVQcow2State *s = bs->opaque;
215     uint32_t i;
216     uint64_t *table;
217 
218     assert(tb->size != 0);
219     table = g_try_new(uint64_t, tb->size);
220     if (table == NULL) {
221         return -ENOMEM;
222     }
223 
224     assert(tb->size <= BME_MAX_TABLE_SIZE);
225     ret = bdrv_pread(bs->file, tb->offset,
226                      table, tb->size * sizeof(uint64_t));
227     if (ret < 0) {
228         goto fail;
229     }
230 
231     for (i = 0; i < tb->size; ++i) {
232         table[i] = be64_to_cpu(table[i]);
233         ret = check_table_entry(table[i], s->cluster_size);
234         if (ret < 0) {
235             goto fail;
236         }
237     }
238 
239     *bitmap_table = table;
240     return 0;
241 
242 fail:
243     g_free(table);
244 
245     return ret;
246 }
247 
248 static int free_bitmap_clusters(BlockDriverState *bs, Qcow2BitmapTable *tb)
249 {
250     int ret;
251     uint64_t *bitmap_table;
252 
253     ret = bitmap_table_load(bs, tb, &bitmap_table);
254     if (ret < 0) {
255         return ret;
256     }
257 
258     clear_bitmap_table(bs, bitmap_table, tb->size);
259     qcow2_free_clusters(bs, tb->offset, tb->size * sizeof(uint64_t),
260                         QCOW2_DISCARD_OTHER);
261     g_free(bitmap_table);
262 
263     tb->offset = 0;
264     tb->size = 0;
265 
266     return 0;
267 }
268 
269 /* Return the disk size covered by a single qcow2 cluster of bitmap data. */
270 static uint64_t bytes_covered_by_bitmap_cluster(const BDRVQcow2State *s,
271                                                 const BdrvDirtyBitmap *bitmap)
272 {
273     uint64_t granularity = bdrv_dirty_bitmap_granularity(bitmap);
274     uint64_t limit = granularity * (s->cluster_size << 3);
275 
276     assert(QEMU_IS_ALIGNED(limit,
277                            bdrv_dirty_bitmap_serialization_align(bitmap)));
278     return limit;
279 }
280 
281 /* load_bitmap_data
282  * @bitmap_table entries must satisfy specification constraints.
283  * @bitmap must be cleared */
284 static int load_bitmap_data(BlockDriverState *bs,
285                             const uint64_t *bitmap_table,
286                             uint32_t bitmap_table_size,
287                             BdrvDirtyBitmap *bitmap)
288 {
289     int ret = 0;
290     BDRVQcow2State *s = bs->opaque;
291     uint64_t offset, limit;
292     uint64_t bm_size = bdrv_dirty_bitmap_size(bitmap);
293     uint8_t *buf = NULL;
294     uint64_t i, tab_size =
295             size_to_clusters(s,
296                 bdrv_dirty_bitmap_serialization_size(bitmap, 0, bm_size));
297 
298     if (tab_size != bitmap_table_size || tab_size > BME_MAX_TABLE_SIZE) {
299         return -EINVAL;
300     }
301 
302     buf = g_malloc(s->cluster_size);
303     limit = bytes_covered_by_bitmap_cluster(s, bitmap);
304     for (i = 0, offset = 0; i < tab_size; ++i, offset += limit) {
305         uint64_t count = MIN(bm_size - offset, limit);
306         uint64_t entry = bitmap_table[i];
307         uint64_t data_offset = entry & BME_TABLE_ENTRY_OFFSET_MASK;
308 
309         assert(check_table_entry(entry, s->cluster_size) == 0);
310 
311         if (data_offset == 0) {
312             if (entry & BME_TABLE_ENTRY_FLAG_ALL_ONES) {
313                 bdrv_dirty_bitmap_deserialize_ones(bitmap, offset, count,
314                                                    false);
315             } else {
316                 /* No need to deserialize zeros because the dirty bitmap is
317                  * already cleared */
318             }
319         } else {
320             ret = bdrv_pread(bs->file, data_offset, buf, s->cluster_size);
321             if (ret < 0) {
322                 goto finish;
323             }
324             bdrv_dirty_bitmap_deserialize_part(bitmap, buf, offset, count,
325                                                false);
326         }
327     }
328     ret = 0;
329 
330     bdrv_dirty_bitmap_deserialize_finish(bitmap);
331 
332 finish:
333     g_free(buf);
334 
335     return ret;
336 }
337 
338 static BdrvDirtyBitmap *load_bitmap(BlockDriverState *bs,
339                                     Qcow2Bitmap *bm, Error **errp)
340 {
341     int ret;
342     uint64_t *bitmap_table = NULL;
343     uint32_t granularity;
344     BdrvDirtyBitmap *bitmap = NULL;
345 
346     if (bm->flags & BME_FLAG_IN_USE) {
347         error_setg(errp, "Bitmap '%s' is in use", bm->name);
348         goto fail;
349     }
350 
351     ret = bitmap_table_load(bs, &bm->table, &bitmap_table);
352     if (ret < 0) {
353         error_setg_errno(errp, -ret,
354                          "Could not read bitmap_table table from image for "
355                          "bitmap '%s'", bm->name);
356         goto fail;
357     }
358 
359     granularity = 1U << bm->granularity_bits;
360     bitmap = bdrv_create_dirty_bitmap(bs, granularity, bm->name, errp);
361     if (bitmap == NULL) {
362         goto fail;
363     }
364 
365     ret = load_bitmap_data(bs, bitmap_table, bm->table.size, bitmap);
366     if (ret < 0) {
367         error_setg_errno(errp, -ret, "Could not read bitmap '%s' from image",
368                          bm->name);
369         goto fail;
370     }
371 
372     g_free(bitmap_table);
373     return bitmap;
374 
375 fail:
376     g_free(bitmap_table);
377     if (bitmap != NULL) {
378         bdrv_release_dirty_bitmap(bs, bitmap);
379     }
380 
381     return NULL;
382 }
383 
384 /*
385  * Bitmap List
386  */
387 
388 /*
389  * Bitmap List private functions
390  * Only Bitmap List knows about bitmap directory structure in Qcow2.
391  */
392 
393 static inline void bitmap_dir_entry_to_cpu(Qcow2BitmapDirEntry *entry)
394 {
395     entry->bitmap_table_offset = be64_to_cpu(entry->bitmap_table_offset);
396     entry->bitmap_table_size = be32_to_cpu(entry->bitmap_table_size);
397     entry->flags = be32_to_cpu(entry->flags);
398     entry->name_size = be16_to_cpu(entry->name_size);
399     entry->extra_data_size = be32_to_cpu(entry->extra_data_size);
400 }
401 
402 static inline void bitmap_dir_entry_to_be(Qcow2BitmapDirEntry *entry)
403 {
404     entry->bitmap_table_offset = cpu_to_be64(entry->bitmap_table_offset);
405     entry->bitmap_table_size = cpu_to_be32(entry->bitmap_table_size);
406     entry->flags = cpu_to_be32(entry->flags);
407     entry->name_size = cpu_to_be16(entry->name_size);
408     entry->extra_data_size = cpu_to_be32(entry->extra_data_size);
409 }
410 
411 static inline int calc_dir_entry_size(size_t name_size, size_t extra_data_size)
412 {
413     int size = sizeof(Qcow2BitmapDirEntry) + name_size + extra_data_size;
414     return ROUND_UP(size, 8);
415 }
416 
417 static inline int dir_entry_size(Qcow2BitmapDirEntry *entry)
418 {
419     return calc_dir_entry_size(entry->name_size, entry->extra_data_size);
420 }
421 
422 static inline const char *dir_entry_name_field(Qcow2BitmapDirEntry *entry)
423 {
424     return (const char *)(entry + 1) + entry->extra_data_size;
425 }
426 
427 static inline char *dir_entry_copy_name(Qcow2BitmapDirEntry *entry)
428 {
429     const char *name_field = dir_entry_name_field(entry);
430     return g_strndup(name_field, entry->name_size);
431 }
432 
433 static inline Qcow2BitmapDirEntry *next_dir_entry(Qcow2BitmapDirEntry *entry)
434 {
435     return (Qcow2BitmapDirEntry *)((uint8_t *)entry + dir_entry_size(entry));
436 }
437 
438 static int check_dir_entry(BlockDriverState *bs, Qcow2BitmapDirEntry *entry)
439 {
440     BDRVQcow2State *s = bs->opaque;
441     uint64_t phys_bitmap_bytes;
442     int64_t len;
443 
444     bool fail = (entry->bitmap_table_size == 0) ||
445                 (entry->bitmap_table_offset == 0) ||
446                 (entry->bitmap_table_offset % s->cluster_size) ||
447                 (entry->bitmap_table_size > BME_MAX_TABLE_SIZE) ||
448                 (entry->granularity_bits > BME_MAX_GRANULARITY_BITS) ||
449                 (entry->granularity_bits < BME_MIN_GRANULARITY_BITS) ||
450                 (entry->flags & BME_RESERVED_FLAGS) ||
451                 (entry->name_size > BME_MAX_NAME_SIZE) ||
452                 (entry->type != BT_DIRTY_TRACKING_BITMAP);
453 
454     if (fail) {
455         return -EINVAL;
456     }
457 
458     phys_bitmap_bytes = (uint64_t)entry->bitmap_table_size * s->cluster_size;
459     len = bdrv_getlength(bs);
460 
461     if (len < 0) {
462         return len;
463     }
464 
465     fail = (phys_bitmap_bytes > BME_MAX_PHYS_SIZE) ||
466            (len > ((phys_bitmap_bytes * 8) << entry->granularity_bits));
467 
468     return fail ? -EINVAL : 0;
469 }
470 
471 static inline void bitmap_directory_to_be(uint8_t *dir, size_t size)
472 {
473     uint8_t *end = dir + size;
474     while (dir < end) {
475         Qcow2BitmapDirEntry *e = (Qcow2BitmapDirEntry *)dir;
476         dir += dir_entry_size(e);
477 
478         bitmap_dir_entry_to_be(e);
479     }
480 }
481 
482 /*
483  * Bitmap List public functions
484  */
485 
486 static void bitmap_free(Qcow2Bitmap *bm)
487 {
488     if (bm == NULL) {
489         return;
490     }
491 
492     g_free(bm->name);
493     g_free(bm);
494 }
495 
496 static void bitmap_list_free(Qcow2BitmapList *bm_list)
497 {
498     Qcow2Bitmap *bm;
499 
500     if (bm_list == NULL) {
501         return;
502     }
503 
504     while ((bm = QSIMPLEQ_FIRST(bm_list)) != NULL) {
505         QSIMPLEQ_REMOVE_HEAD(bm_list, entry);
506         bitmap_free(bm);
507     }
508 
509     g_free(bm_list);
510 }
511 
512 static Qcow2BitmapList *bitmap_list_new(void)
513 {
514     Qcow2BitmapList *bm_list = g_new(Qcow2BitmapList, 1);
515     QSIMPLEQ_INIT(bm_list);
516 
517     return bm_list;
518 }
519 
520 static uint32_t bitmap_list_count(Qcow2BitmapList *bm_list)
521 {
522     Qcow2Bitmap *bm;
523     uint32_t nb_bitmaps = 0;
524 
525     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
526         nb_bitmaps++;
527     }
528 
529     return nb_bitmaps;
530 }
531 
532 /* bitmap_list_load
533  * Get bitmap list from qcow2 image. Actually reads bitmap directory,
534  * checks it and convert to bitmap list.
535  */
536 static Qcow2BitmapList *bitmap_list_load(BlockDriverState *bs, uint64_t offset,
537                                          uint64_t size, Error **errp)
538 {
539     int ret;
540     BDRVQcow2State *s = bs->opaque;
541     uint8_t *dir, *dir_end;
542     Qcow2BitmapDirEntry *e;
543     uint32_t nb_dir_entries = 0;
544     Qcow2BitmapList *bm_list = NULL;
545 
546     if (size == 0) {
547         error_setg(errp, "Requested bitmap directory size is zero");
548         return NULL;
549     }
550 
551     if (size > QCOW2_MAX_BITMAP_DIRECTORY_SIZE) {
552         error_setg(errp, "Requested bitmap directory size is too big");
553         return NULL;
554     }
555 
556     dir = g_try_malloc(size);
557     if (dir == NULL) {
558         error_setg(errp, "Failed to allocate space for bitmap directory");
559         return NULL;
560     }
561     dir_end = dir + size;
562 
563     ret = bdrv_pread(bs->file, offset, dir, size);
564     if (ret < 0) {
565         error_setg_errno(errp, -ret, "Failed to read bitmap directory");
566         goto fail;
567     }
568 
569     bm_list = bitmap_list_new();
570     for (e = (Qcow2BitmapDirEntry *)dir;
571          e < (Qcow2BitmapDirEntry *)dir_end;
572          e = next_dir_entry(e))
573     {
574         Qcow2Bitmap *bm;
575 
576         if ((uint8_t *)(e + 1) > dir_end) {
577             goto broken_dir;
578         }
579 
580         if (++nb_dir_entries > s->nb_bitmaps) {
581             error_setg(errp, "More bitmaps found than specified in header"
582                        " extension");
583             goto fail;
584         }
585         bitmap_dir_entry_to_cpu(e);
586 
587         if ((uint8_t *)next_dir_entry(e) > dir_end) {
588             goto broken_dir;
589         }
590 
591         if (e->extra_data_size != 0) {
592             error_setg(errp, "Bitmap extra data is not supported");
593             goto fail;
594         }
595 
596         ret = check_dir_entry(bs, e);
597         if (ret < 0) {
598             error_setg(errp, "Bitmap '%.*s' doesn't satisfy the constraints",
599                        e->name_size, dir_entry_name_field(e));
600             goto fail;
601         }
602 
603         bm = g_new0(Qcow2Bitmap, 1);
604         bm->table.offset = e->bitmap_table_offset;
605         bm->table.size = e->bitmap_table_size;
606         bm->flags = e->flags;
607         bm->granularity_bits = e->granularity_bits;
608         bm->name = dir_entry_copy_name(e);
609         QSIMPLEQ_INSERT_TAIL(bm_list, bm, entry);
610     }
611 
612     if (nb_dir_entries != s->nb_bitmaps) {
613         error_setg(errp, "Less bitmaps found than specified in header"
614                          " extension");
615         goto fail;
616     }
617 
618     if ((uint8_t *)e != dir_end) {
619         goto broken_dir;
620     }
621 
622     g_free(dir);
623     return bm_list;
624 
625 broken_dir:
626     ret = -EINVAL;
627     error_setg(errp, "Broken bitmap directory");
628 
629 fail:
630     g_free(dir);
631     bitmap_list_free(bm_list);
632 
633     return NULL;
634 }
635 
636 int qcow2_check_bitmaps_refcounts(BlockDriverState *bs, BdrvCheckResult *res,
637                                   void **refcount_table,
638                                   int64_t *refcount_table_size)
639 {
640     int ret;
641     BDRVQcow2State *s = bs->opaque;
642     Qcow2BitmapList *bm_list;
643     Qcow2Bitmap *bm;
644 
645     if (s->nb_bitmaps == 0) {
646         return 0;
647     }
648 
649     ret = qcow2_inc_refcounts_imrt(bs, res, refcount_table, refcount_table_size,
650                                    s->bitmap_directory_offset,
651                                    s->bitmap_directory_size);
652     if (ret < 0) {
653         return ret;
654     }
655 
656     bm_list = bitmap_list_load(bs, s->bitmap_directory_offset,
657                                s->bitmap_directory_size, NULL);
658     if (bm_list == NULL) {
659         res->corruptions++;
660         return -EINVAL;
661     }
662 
663     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
664         uint64_t *bitmap_table = NULL;
665         int i;
666 
667         ret = qcow2_inc_refcounts_imrt(bs, res,
668                                        refcount_table, refcount_table_size,
669                                        bm->table.offset,
670                                        bm->table.size * sizeof(uint64_t));
671         if (ret < 0) {
672             goto out;
673         }
674 
675         ret = bitmap_table_load(bs, &bm->table, &bitmap_table);
676         if (ret < 0) {
677             res->corruptions++;
678             goto out;
679         }
680 
681         for (i = 0; i < bm->table.size; ++i) {
682             uint64_t entry = bitmap_table[i];
683             uint64_t offset = entry & BME_TABLE_ENTRY_OFFSET_MASK;
684 
685             if (check_table_entry(entry, s->cluster_size) < 0) {
686                 res->corruptions++;
687                 continue;
688             }
689 
690             if (offset == 0) {
691                 continue;
692             }
693 
694             ret = qcow2_inc_refcounts_imrt(bs, res,
695                                            refcount_table, refcount_table_size,
696                                            offset, s->cluster_size);
697             if (ret < 0) {
698                 g_free(bitmap_table);
699                 goto out;
700             }
701         }
702 
703         g_free(bitmap_table);
704     }
705 
706 out:
707     bitmap_list_free(bm_list);
708 
709     return ret;
710 }
711 
712 /* bitmap_list_store
713  * Store bitmap list to qcow2 image as a bitmap directory.
714  * Everything is checked.
715  */
716 static int bitmap_list_store(BlockDriverState *bs, Qcow2BitmapList *bm_list,
717                              uint64_t *offset, uint64_t *size, bool in_place)
718 {
719     int ret;
720     uint8_t *dir;
721     int64_t dir_offset = 0;
722     uint64_t dir_size = 0;
723     Qcow2Bitmap *bm;
724     Qcow2BitmapDirEntry *e;
725 
726     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
727         dir_size += calc_dir_entry_size(strlen(bm->name), 0);
728     }
729 
730     if (dir_size == 0 || dir_size > QCOW2_MAX_BITMAP_DIRECTORY_SIZE) {
731         return -EINVAL;
732     }
733 
734     if (in_place) {
735         if (*size != dir_size || *offset == 0) {
736             return -EINVAL;
737         }
738 
739         dir_offset = *offset;
740     }
741 
742     dir = g_try_malloc(dir_size);
743     if (dir == NULL) {
744         return -ENOMEM;
745     }
746 
747     e = (Qcow2BitmapDirEntry *)dir;
748     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
749         e->bitmap_table_offset = bm->table.offset;
750         e->bitmap_table_size = bm->table.size;
751         e->flags = bm->flags;
752         e->type = BT_DIRTY_TRACKING_BITMAP;
753         e->granularity_bits = bm->granularity_bits;
754         e->name_size = strlen(bm->name);
755         e->extra_data_size = 0;
756         memcpy(e + 1, bm->name, e->name_size);
757 
758         if (check_dir_entry(bs, e) < 0) {
759             ret = -EINVAL;
760             goto fail;
761         }
762 
763         e = next_dir_entry(e);
764     }
765 
766     bitmap_directory_to_be(dir, dir_size);
767 
768     if (!in_place) {
769         dir_offset = qcow2_alloc_clusters(bs, dir_size);
770         if (dir_offset < 0) {
771             ret = dir_offset;
772             goto fail;
773         }
774     }
775 
776     /* Actually, even in in-place case ignoring QCOW2_OL_BITMAP_DIRECTORY is not
777      * necessary, because we drop QCOW2_AUTOCLEAR_BITMAPS when updating bitmap
778      * directory in-place (actually, turn-off the extension), which is checked
779      * in qcow2_check_metadata_overlap() */
780     ret = qcow2_pre_write_overlap_check(
781             bs, in_place ? QCOW2_OL_BITMAP_DIRECTORY : 0, dir_offset, dir_size);
782     if (ret < 0) {
783         goto fail;
784     }
785 
786     ret = bdrv_pwrite(bs->file, dir_offset, dir, dir_size);
787     if (ret < 0) {
788         goto fail;
789     }
790 
791     g_free(dir);
792 
793     if (!in_place) {
794         *size = dir_size;
795         *offset = dir_offset;
796     }
797 
798     return 0;
799 
800 fail:
801     g_free(dir);
802 
803     if (!in_place && dir_offset > 0) {
804         qcow2_free_clusters(bs, dir_offset, dir_size, QCOW2_DISCARD_OTHER);
805     }
806 
807     return ret;
808 }
809 
810 /*
811  * Bitmap List end
812  */
813 
814 static int update_ext_header_and_dir_in_place(BlockDriverState *bs,
815                                               Qcow2BitmapList *bm_list)
816 {
817     BDRVQcow2State *s = bs->opaque;
818     int ret;
819 
820     if (!(s->autoclear_features & QCOW2_AUTOCLEAR_BITMAPS) ||
821         bm_list == NULL || QSIMPLEQ_EMPTY(bm_list) ||
822         bitmap_list_count(bm_list) != s->nb_bitmaps)
823     {
824         return -EINVAL;
825     }
826 
827     s->autoclear_features &= ~(uint64_t)QCOW2_AUTOCLEAR_BITMAPS;
828     ret = update_header_sync(bs);
829     if (ret < 0) {
830         /* Two variants are possible here:
831          * 1. Autoclear flag is dropped, all bitmaps will be lost.
832          * 2. Autoclear flag is not dropped, old state is left.
833          */
834         return ret;
835     }
836 
837     /* autoclear bit is not set, so we can safely update bitmap directory */
838 
839     ret = bitmap_list_store(bs, bm_list, &s->bitmap_directory_offset,
840                             &s->bitmap_directory_size, true);
841     if (ret < 0) {
842         /* autoclear bit is cleared, so all leaked clusters would be removed on
843          * qemu-img check */
844         return ret;
845     }
846 
847     ret = update_header_sync(bs);
848     if (ret < 0) {
849         /* autoclear bit is cleared, so all leaked clusters would be removed on
850          * qemu-img check */
851         return ret;
852     }
853 
854     s->autoclear_features |= QCOW2_AUTOCLEAR_BITMAPS;
855     return update_header_sync(bs);
856     /* If final update_header_sync() fails, two variants are possible:
857      * 1. Autoclear flag is not set, all bitmaps will be lost.
858      * 2. Autoclear flag is set, header and directory are successfully updated.
859      */
860 }
861 
862 static int update_ext_header_and_dir(BlockDriverState *bs,
863                                      Qcow2BitmapList *bm_list)
864 {
865     BDRVQcow2State *s = bs->opaque;
866     int ret;
867     uint64_t new_offset = 0;
868     uint64_t new_size = 0;
869     uint32_t new_nb_bitmaps = 0;
870     uint64_t old_offset = s->bitmap_directory_offset;
871     uint64_t old_size = s->bitmap_directory_size;
872     uint32_t old_nb_bitmaps = s->nb_bitmaps;
873     uint64_t old_autocl = s->autoclear_features;
874 
875     if (bm_list != NULL && !QSIMPLEQ_EMPTY(bm_list)) {
876         new_nb_bitmaps = bitmap_list_count(bm_list);
877 
878         if (new_nb_bitmaps > QCOW2_MAX_BITMAPS) {
879             return -EINVAL;
880         }
881 
882         ret = bitmap_list_store(bs, bm_list, &new_offset, &new_size, false);
883         if (ret < 0) {
884             return ret;
885         }
886 
887         ret = qcow2_flush_caches(bs);
888         if (ret < 0) {
889             goto fail;
890         }
891 
892         s->autoclear_features |= QCOW2_AUTOCLEAR_BITMAPS;
893     } else {
894         s->autoclear_features &= ~(uint64_t)QCOW2_AUTOCLEAR_BITMAPS;
895     }
896 
897     s->bitmap_directory_offset = new_offset;
898     s->bitmap_directory_size = new_size;
899     s->nb_bitmaps = new_nb_bitmaps;
900 
901     ret = update_header_sync(bs);
902     if (ret < 0) {
903         goto fail;
904     }
905 
906     if (old_size > 0) {
907         qcow2_free_clusters(bs, old_offset, old_size, QCOW2_DISCARD_OTHER);
908     }
909 
910     return 0;
911 
912 fail:
913     if (new_offset > 0) {
914         qcow2_free_clusters(bs, new_offset, new_size, QCOW2_DISCARD_OTHER);
915     }
916 
917     s->bitmap_directory_offset = old_offset;
918     s->bitmap_directory_size = old_size;
919     s->nb_bitmaps = old_nb_bitmaps;
920     s->autoclear_features = old_autocl;
921 
922     return ret;
923 }
924 
925 /* for g_slist_foreach for GSList of BdrvDirtyBitmap* elements */
926 static void release_dirty_bitmap_helper(gpointer bitmap,
927                                         gpointer bs)
928 {
929     bdrv_release_dirty_bitmap(bs, bitmap);
930 }
931 
932 /* for g_slist_foreach for GSList of BdrvDirtyBitmap* elements */
933 static void set_readonly_helper(gpointer bitmap, gpointer value)
934 {
935     bdrv_dirty_bitmap_set_readonly(bitmap, (bool)value);
936 }
937 
938 /* qcow2_load_dirty_bitmaps()
939  * Return value is a hint for caller: true means that the Qcow2 header was
940  * updated. (false doesn't mean that the header should be updated by the
941  * caller, it just means that updating was not needed or the image cannot be
942  * written to).
943  * On failure the function returns false.
944  */
945 bool qcow2_load_dirty_bitmaps(BlockDriverState *bs, Error **errp)
946 {
947     BDRVQcow2State *s = bs->opaque;
948     Qcow2BitmapList *bm_list;
949     Qcow2Bitmap *bm;
950     GSList *created_dirty_bitmaps = NULL;
951     bool header_updated = false;
952 
953     if (s->nb_bitmaps == 0) {
954         /* No bitmaps - nothing to do */
955         return false;
956     }
957 
958     bm_list = bitmap_list_load(bs, s->bitmap_directory_offset,
959                                s->bitmap_directory_size, errp);
960     if (bm_list == NULL) {
961         return false;
962     }
963 
964     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
965         if (!(bm->flags & BME_FLAG_IN_USE)) {
966             BdrvDirtyBitmap *bitmap = load_bitmap(bs, bm, errp);
967             if (bitmap == NULL) {
968                 goto fail;
969             }
970 
971             if (!(bm->flags & BME_FLAG_AUTO)) {
972                 bdrv_disable_dirty_bitmap(bitmap);
973             }
974             bdrv_dirty_bitmap_set_persistance(bitmap, true);
975             bm->flags |= BME_FLAG_IN_USE;
976             created_dirty_bitmaps =
977                     g_slist_append(created_dirty_bitmaps, bitmap);
978         }
979     }
980 
981     if (created_dirty_bitmaps != NULL) {
982         if (can_write(bs)) {
983             /* in_use flags must be updated */
984             int ret = update_ext_header_and_dir_in_place(bs, bm_list);
985             if (ret < 0) {
986                 error_setg_errno(errp, -ret, "Can't update bitmap directory");
987                 goto fail;
988             }
989             header_updated = true;
990         } else {
991             g_slist_foreach(created_dirty_bitmaps, set_readonly_helper,
992                             (gpointer)true);
993         }
994     }
995 
996     g_slist_free(created_dirty_bitmaps);
997     bitmap_list_free(bm_list);
998 
999     return header_updated;
1000 
1001 fail:
1002     g_slist_foreach(created_dirty_bitmaps, release_dirty_bitmap_helper, bs);
1003     g_slist_free(created_dirty_bitmaps);
1004     bitmap_list_free(bm_list);
1005 
1006     return false;
1007 }
1008 
1009 int qcow2_reopen_bitmaps_rw_hint(BlockDriverState *bs, bool *header_updated,
1010                                  Error **errp)
1011 {
1012     BDRVQcow2State *s = bs->opaque;
1013     Qcow2BitmapList *bm_list;
1014     Qcow2Bitmap *bm;
1015     GSList *ro_dirty_bitmaps = NULL;
1016     int ret = 0;
1017 
1018     if (header_updated != NULL) {
1019         *header_updated = false;
1020     }
1021 
1022     if (s->nb_bitmaps == 0) {
1023         /* No bitmaps - nothing to do */
1024         return 0;
1025     }
1026 
1027     if (!can_write(bs)) {
1028         error_setg(errp, "Can't write to the image on reopening bitmaps rw");
1029         return -EINVAL;
1030     }
1031 
1032     bm_list = bitmap_list_load(bs, s->bitmap_directory_offset,
1033                                s->bitmap_directory_size, errp);
1034     if (bm_list == NULL) {
1035         return -EINVAL;
1036     }
1037 
1038     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
1039         if (!(bm->flags & BME_FLAG_IN_USE)) {
1040             BdrvDirtyBitmap *bitmap = bdrv_find_dirty_bitmap(bs, bm->name);
1041             if (bitmap == NULL) {
1042                 continue;
1043             }
1044 
1045             if (!bdrv_dirty_bitmap_readonly(bitmap)) {
1046                 error_setg(errp, "Bitmap %s is not readonly but not marked"
1047                                  "'IN_USE' in the image. Something went wrong,"
1048                                  "all the bitmaps may be corrupted", bm->name);
1049                 ret = -EINVAL;
1050                 goto out;
1051             }
1052 
1053             bm->flags |= BME_FLAG_IN_USE;
1054             ro_dirty_bitmaps = g_slist_append(ro_dirty_bitmaps, bitmap);
1055         }
1056     }
1057 
1058     if (ro_dirty_bitmaps != NULL) {
1059         /* in_use flags must be updated */
1060         ret = update_ext_header_and_dir_in_place(bs, bm_list);
1061         if (ret < 0) {
1062             error_setg_errno(errp, -ret, "Can't update bitmap directory");
1063             goto out;
1064         }
1065         if (header_updated != NULL) {
1066             *header_updated = true;
1067         }
1068         g_slist_foreach(ro_dirty_bitmaps, set_readonly_helper, false);
1069     }
1070 
1071 out:
1072     g_slist_free(ro_dirty_bitmaps);
1073     bitmap_list_free(bm_list);
1074 
1075     return ret;
1076 }
1077 
1078 int qcow2_reopen_bitmaps_rw(BlockDriverState *bs, Error **errp)
1079 {
1080     return qcow2_reopen_bitmaps_rw_hint(bs, NULL, errp);
1081 }
1082 
1083 /* store_bitmap_data()
1084  * Store bitmap to image, filling bitmap table accordingly.
1085  */
1086 static uint64_t *store_bitmap_data(BlockDriverState *bs,
1087                                    BdrvDirtyBitmap *bitmap,
1088                                    uint32_t *bitmap_table_size, Error **errp)
1089 {
1090     int ret;
1091     BDRVQcow2State *s = bs->opaque;
1092     int64_t offset;
1093     uint64_t limit;
1094     uint64_t bm_size = bdrv_dirty_bitmap_size(bitmap);
1095     const char *bm_name = bdrv_dirty_bitmap_name(bitmap);
1096     uint8_t *buf = NULL;
1097     BdrvDirtyBitmapIter *dbi;
1098     uint64_t *tb;
1099     uint64_t tb_size =
1100             size_to_clusters(s,
1101                 bdrv_dirty_bitmap_serialization_size(bitmap, 0, bm_size));
1102 
1103     if (tb_size > BME_MAX_TABLE_SIZE ||
1104         tb_size * s->cluster_size > BME_MAX_PHYS_SIZE)
1105     {
1106         error_setg(errp, "Bitmap '%s' is too big", bm_name);
1107         return NULL;
1108     }
1109 
1110     tb = g_try_new0(uint64_t, tb_size);
1111     if (tb == NULL) {
1112         error_setg(errp, "No memory");
1113         return NULL;
1114     }
1115 
1116     dbi = bdrv_dirty_iter_new(bitmap);
1117     buf = g_malloc(s->cluster_size);
1118     limit = bytes_covered_by_bitmap_cluster(s, bitmap);
1119     assert(DIV_ROUND_UP(bm_size, limit) == tb_size);
1120 
1121     while ((offset = bdrv_dirty_iter_next(dbi)) >= 0) {
1122         uint64_t cluster = offset / limit;
1123         uint64_t end, write_size;
1124         int64_t off;
1125 
1126         /*
1127          * We found the first dirty offset, but want to write out the
1128          * entire cluster of the bitmap that includes that offset,
1129          * including any leading zero bits.
1130          */
1131         offset = QEMU_ALIGN_DOWN(offset, limit);
1132         end = MIN(bm_size, offset + limit);
1133         write_size = bdrv_dirty_bitmap_serialization_size(bitmap, offset,
1134                                                           end - offset);
1135         assert(write_size <= s->cluster_size);
1136 
1137         off = qcow2_alloc_clusters(bs, s->cluster_size);
1138         if (off < 0) {
1139             error_setg_errno(errp, -off,
1140                              "Failed to allocate clusters for bitmap '%s'",
1141                              bm_name);
1142             goto fail;
1143         }
1144         tb[cluster] = off;
1145 
1146         bdrv_dirty_bitmap_serialize_part(bitmap, buf, offset, end - offset);
1147         if (write_size < s->cluster_size) {
1148             memset(buf + write_size, 0, s->cluster_size - write_size);
1149         }
1150 
1151         ret = qcow2_pre_write_overlap_check(bs, 0, off, s->cluster_size);
1152         if (ret < 0) {
1153             error_setg_errno(errp, -ret, "Qcow2 overlap check failed");
1154             goto fail;
1155         }
1156 
1157         ret = bdrv_pwrite(bs->file, off, buf, s->cluster_size);
1158         if (ret < 0) {
1159             error_setg_errno(errp, -ret, "Failed to write bitmap '%s' to file",
1160                              bm_name);
1161             goto fail;
1162         }
1163 
1164         if (end >= bm_size) {
1165             break;
1166         }
1167 
1168         bdrv_set_dirty_iter(dbi, end);
1169     }
1170 
1171     *bitmap_table_size = tb_size;
1172     g_free(buf);
1173     bdrv_dirty_iter_free(dbi);
1174 
1175     return tb;
1176 
1177 fail:
1178     clear_bitmap_table(bs, tb, tb_size);
1179     g_free(buf);
1180     bdrv_dirty_iter_free(dbi);
1181     g_free(tb);
1182 
1183     return NULL;
1184 }
1185 
1186 /* store_bitmap()
1187  * Store bm->dirty_bitmap to qcow2.
1188  * Set bm->table_offset and bm->table_size accordingly.
1189  */
1190 static int store_bitmap(BlockDriverState *bs, Qcow2Bitmap *bm, Error **errp)
1191 {
1192     int ret;
1193     uint64_t *tb;
1194     int64_t tb_offset;
1195     uint32_t tb_size;
1196     BdrvDirtyBitmap *bitmap = bm->dirty_bitmap;
1197     const char *bm_name;
1198 
1199     assert(bitmap != NULL);
1200 
1201     bm_name = bdrv_dirty_bitmap_name(bitmap);
1202 
1203     tb = store_bitmap_data(bs, bitmap, &tb_size, errp);
1204     if (tb == NULL) {
1205         return -EINVAL;
1206     }
1207 
1208     assert(tb_size <= BME_MAX_TABLE_SIZE);
1209     tb_offset = qcow2_alloc_clusters(bs, tb_size * sizeof(tb[0]));
1210     if (tb_offset < 0) {
1211         error_setg_errno(errp, -tb_offset,
1212                          "Failed to allocate clusters for bitmap '%s'",
1213                          bm_name);
1214         ret = tb_offset;
1215         goto fail;
1216     }
1217 
1218     ret = qcow2_pre_write_overlap_check(bs, 0, tb_offset,
1219                                         tb_size * sizeof(tb[0]));
1220     if (ret < 0) {
1221         error_setg_errno(errp, -ret, "Qcow2 overlap check failed");
1222         goto fail;
1223     }
1224 
1225     bitmap_table_to_be(tb, tb_size);
1226     ret = bdrv_pwrite(bs->file, tb_offset, tb, tb_size * sizeof(tb[0]));
1227     if (ret < 0) {
1228         error_setg_errno(errp, -ret, "Failed to write bitmap '%s' to file",
1229                          bm_name);
1230         goto fail;
1231     }
1232 
1233     g_free(tb);
1234 
1235     bm->table.offset = tb_offset;
1236     bm->table.size = tb_size;
1237 
1238     return 0;
1239 
1240 fail:
1241     clear_bitmap_table(bs, tb, tb_size);
1242 
1243     if (tb_offset > 0) {
1244         qcow2_free_clusters(bs, tb_offset, tb_size * sizeof(tb[0]),
1245                             QCOW2_DISCARD_OTHER);
1246     }
1247 
1248     g_free(tb);
1249 
1250     return ret;
1251 }
1252 
1253 static Qcow2Bitmap *find_bitmap_by_name(Qcow2BitmapList *bm_list,
1254                                         const char *name)
1255 {
1256     Qcow2Bitmap *bm;
1257 
1258     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
1259         if (strcmp(name, bm->name) == 0) {
1260             return bm;
1261         }
1262     }
1263 
1264     return NULL;
1265 }
1266 
1267 void qcow2_remove_persistent_dirty_bitmap(BlockDriverState *bs,
1268                                           const char *name,
1269                                           Error **errp)
1270 {
1271     int ret;
1272     BDRVQcow2State *s = bs->opaque;
1273     Qcow2Bitmap *bm;
1274     Qcow2BitmapList *bm_list;
1275 
1276     if (s->nb_bitmaps == 0) {
1277         /* Absence of the bitmap is not an error: see explanation above
1278          * bdrv_remove_persistent_dirty_bitmap() definition. */
1279         return;
1280     }
1281 
1282     bm_list = bitmap_list_load(bs, s->bitmap_directory_offset,
1283                                s->bitmap_directory_size, errp);
1284     if (bm_list == NULL) {
1285         return;
1286     }
1287 
1288     bm = find_bitmap_by_name(bm_list, name);
1289     if (bm == NULL) {
1290         goto fail;
1291     }
1292 
1293     QSIMPLEQ_REMOVE(bm_list, bm, Qcow2Bitmap, entry);
1294 
1295     ret = update_ext_header_and_dir(bs, bm_list);
1296     if (ret < 0) {
1297         error_setg_errno(errp, -ret, "Failed to update bitmap extension");
1298         goto fail;
1299     }
1300 
1301     free_bitmap_clusters(bs, &bm->table);
1302 
1303 fail:
1304     bitmap_free(bm);
1305     bitmap_list_free(bm_list);
1306 }
1307 
1308 void qcow2_store_persistent_dirty_bitmaps(BlockDriverState *bs, Error **errp)
1309 {
1310     BdrvDirtyBitmap *bitmap;
1311     BDRVQcow2State *s = bs->opaque;
1312     uint32_t new_nb_bitmaps = s->nb_bitmaps;
1313     uint64_t new_dir_size = s->bitmap_directory_size;
1314     int ret;
1315     Qcow2BitmapList *bm_list;
1316     Qcow2Bitmap *bm;
1317     QSIMPLEQ_HEAD(, Qcow2BitmapTable) drop_tables;
1318     Qcow2BitmapTable *tb, *tb_next;
1319 
1320     if (!bdrv_has_changed_persistent_bitmaps(bs)) {
1321         /* nothing to do */
1322         return;
1323     }
1324 
1325     if (!can_write(bs)) {
1326         error_setg(errp, "No write access");
1327         return;
1328     }
1329 
1330     QSIMPLEQ_INIT(&drop_tables);
1331 
1332     if (s->nb_bitmaps == 0) {
1333         bm_list = bitmap_list_new();
1334     } else {
1335         bm_list = bitmap_list_load(bs, s->bitmap_directory_offset,
1336                                    s->bitmap_directory_size, errp);
1337         if (bm_list == NULL) {
1338             return;
1339         }
1340     }
1341 
1342     /* check constraints and names */
1343     for (bitmap = bdrv_dirty_bitmap_next(bs, NULL); bitmap != NULL;
1344          bitmap = bdrv_dirty_bitmap_next(bs, bitmap))
1345     {
1346         const char *name = bdrv_dirty_bitmap_name(bitmap);
1347         uint32_t granularity = bdrv_dirty_bitmap_granularity(bitmap);
1348         Qcow2Bitmap *bm;
1349 
1350         if (!bdrv_dirty_bitmap_get_persistance(bitmap) ||
1351             bdrv_dirty_bitmap_readonly(bitmap))
1352         {
1353             continue;
1354         }
1355 
1356         if (check_constraints_on_bitmap(bs, name, granularity, errp) < 0) {
1357             error_prepend(errp, "Bitmap '%s' doesn't satisfy the constraints: ",
1358                           name);
1359             goto fail;
1360         }
1361 
1362         bm = find_bitmap_by_name(bm_list, name);
1363         if (bm == NULL) {
1364             if (++new_nb_bitmaps > QCOW2_MAX_BITMAPS) {
1365                 error_setg(errp, "Too many persistent bitmaps");
1366                 goto fail;
1367             }
1368 
1369             new_dir_size += calc_dir_entry_size(strlen(name), 0);
1370             if (new_dir_size > QCOW2_MAX_BITMAP_DIRECTORY_SIZE) {
1371                 error_setg(errp, "Bitmap directory is too large");
1372                 goto fail;
1373             }
1374 
1375             bm = g_new0(Qcow2Bitmap, 1);
1376             bm->name = g_strdup(name);
1377             QSIMPLEQ_INSERT_TAIL(bm_list, bm, entry);
1378         } else {
1379             if (!(bm->flags & BME_FLAG_IN_USE)) {
1380                 error_setg(errp, "Bitmap '%s' already exists in the image",
1381                            name);
1382                 goto fail;
1383             }
1384             tb = g_memdup(&bm->table, sizeof(bm->table));
1385             bm->table.offset = 0;
1386             bm->table.size = 0;
1387             QSIMPLEQ_INSERT_TAIL(&drop_tables, tb, entry);
1388         }
1389         bm->flags = bdrv_dirty_bitmap_enabled(bitmap) ? BME_FLAG_AUTO : 0;
1390         bm->granularity_bits = ctz32(bdrv_dirty_bitmap_granularity(bitmap));
1391         bm->dirty_bitmap = bitmap;
1392     }
1393 
1394     /* allocate clusters and store bitmaps */
1395     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
1396         if (bm->dirty_bitmap == NULL) {
1397             continue;
1398         }
1399 
1400         ret = store_bitmap(bs, bm, errp);
1401         if (ret < 0) {
1402             goto fail;
1403         }
1404     }
1405 
1406     ret = update_ext_header_and_dir(bs, bm_list);
1407     if (ret < 0) {
1408         error_setg_errno(errp, -ret, "Failed to update bitmap extension");
1409         goto fail;
1410     }
1411 
1412     /* Bitmap directory was successfully updated, so, old data can be dropped.
1413      * TODO it is better to reuse these clusters */
1414     QSIMPLEQ_FOREACH_SAFE(tb, &drop_tables, entry, tb_next) {
1415         free_bitmap_clusters(bs, tb);
1416         g_free(tb);
1417     }
1418 
1419     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
1420         /* For safety, we remove bitmap after storing.
1421          * We may be here in two cases:
1422          * 1. bdrv_close. It's ok to drop bitmap.
1423          * 2. inactivation. It means migration without 'dirty-bitmaps'
1424          *    capability, so bitmaps are not marked with
1425          *    BdrvDirtyBitmap.migration flags. It's not bad to drop them too,
1426          *    and reload on invalidation.
1427          */
1428         if (bm->dirty_bitmap == NULL) {
1429             continue;
1430         }
1431 
1432         bdrv_release_dirty_bitmap(bs, bm->dirty_bitmap);
1433     }
1434 
1435     bitmap_list_free(bm_list);
1436     return;
1437 
1438 fail:
1439     QSIMPLEQ_FOREACH(bm, bm_list, entry) {
1440         if (bm->dirty_bitmap == NULL || bm->table.offset == 0) {
1441             continue;
1442         }
1443 
1444         free_bitmap_clusters(bs, &bm->table);
1445     }
1446 
1447     QSIMPLEQ_FOREACH_SAFE(tb, &drop_tables, entry, tb_next) {
1448         g_free(tb);
1449     }
1450 
1451     bitmap_list_free(bm_list);
1452 }
1453 
1454 int qcow2_reopen_bitmaps_ro(BlockDriverState *bs, Error **errp)
1455 {
1456     BdrvDirtyBitmap *bitmap;
1457     Error *local_err = NULL;
1458 
1459     qcow2_store_persistent_dirty_bitmaps(bs, &local_err);
1460     if (local_err != NULL) {
1461         error_propagate(errp, local_err);
1462         return -EINVAL;
1463     }
1464 
1465     for (bitmap = bdrv_dirty_bitmap_next(bs, NULL); bitmap != NULL;
1466          bitmap = bdrv_dirty_bitmap_next(bs, bitmap))
1467     {
1468         if (bdrv_dirty_bitmap_get_persistance(bitmap)) {
1469             bdrv_dirty_bitmap_set_readonly(bitmap, true);
1470         }
1471     }
1472 
1473     return 0;
1474 }
1475 
1476 bool qcow2_can_store_new_dirty_bitmap(BlockDriverState *bs,
1477                                       const char *name,
1478                                       uint32_t granularity,
1479                                       Error **errp)
1480 {
1481     BDRVQcow2State *s = bs->opaque;
1482     bool found;
1483     Qcow2BitmapList *bm_list;
1484 
1485     if (s->qcow_version < 3) {
1486         /* Without autoclear_features, we would always have to assume
1487          * that a program without persistent dirty bitmap support has
1488          * accessed this qcow2 file when opening it, and would thus
1489          * have to drop all dirty bitmaps (defeating their purpose).
1490          */
1491         error_setg(errp, "Cannot store dirty bitmaps in qcow2 v2 files");
1492         goto fail;
1493     }
1494 
1495     if (check_constraints_on_bitmap(bs, name, granularity, errp) != 0) {
1496         goto fail;
1497     }
1498 
1499     if (s->nb_bitmaps == 0) {
1500         return true;
1501     }
1502 
1503     if (s->nb_bitmaps >= QCOW2_MAX_BITMAPS) {
1504         error_setg(errp,
1505                    "Maximum number of persistent bitmaps is already reached");
1506         goto fail;
1507     }
1508 
1509     if (s->bitmap_directory_size + calc_dir_entry_size(strlen(name), 0) >
1510         QCOW2_MAX_BITMAP_DIRECTORY_SIZE)
1511     {
1512         error_setg(errp, "Not enough space in the bitmap directory");
1513         goto fail;
1514     }
1515 
1516     bm_list = bitmap_list_load(bs, s->bitmap_directory_offset,
1517                                s->bitmap_directory_size, errp);
1518     if (bm_list == NULL) {
1519         goto fail;
1520     }
1521 
1522     found = find_bitmap_by_name(bm_list, name);
1523     bitmap_list_free(bm_list);
1524     if (found) {
1525         error_setg(errp, "Bitmap with the same name is already stored");
1526         goto fail;
1527     }
1528 
1529     return true;
1530 
1531 fail:
1532     error_prepend(errp, "Can't make bitmap '%s' persistent in '%s': ",
1533                   name, bdrv_get_device_or_node_name(bs));
1534     return false;
1535 }
1536