2 * Block driver for Parallels disk image format
4 * Copyright (c) 2007 Alex Beregszaszi
5 * Copyright (c) 2015 Denis V. Lunev <den@openvz.org>
7 * This code was originally based on comparing different disk images created
8 * by Parallels. Currently it is based on opened OpenVZ sources
10 * http://git.openvz.org/?p=ploop;a=summary
12 * Permission is hereby granted, free of charge, to any person obtaining a copy
13 * of this software and associated documentation files (the "Software"), to deal
14 * in the Software without restriction, including without limitation the rights
15 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
16 * copies of the Software, and to permit persons to whom the Software is
17 * furnished to do so, subject to the following conditions:
19 * The above copyright notice and this permission notice shall be included in
20 * all copies or substantial portions of the Software.
22 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
23 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
24 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
25 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
26 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
27 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
31 #include "qemu/osdep.h"
32 #include "qemu/error-report.h"
33 #include "qapi/error.h"
34 #include "block/block_int.h"
35 #include "block/qdict.h"
36 #include "sysemu/block-backend.h"
37 #include "qemu/module.h"
38 #include "qemu/option.h"
39 #include "qapi/qmp/qdict.h"
40 #include "qapi/qobject-input-visitor.h"
41 #include "qapi/qapi-visit-block-core.h"
42 #include "qemu/bswap.h"
43 #include "qemu/bitmap.h"
44 #include "qemu/memalign.h"
45 #include "migration/blocker.h"
46 #include "parallels.h"
48 /**************************************************************/
50 #define HEADER_MAGIC "WithoutFreeSpace"
51 #define HEADER_MAGIC2 "WithouFreSpacExt"
52 #define HEADER_VERSION 2
53 #define HEADER_INUSE_MAGIC (0x746F6E59)
54 #define MAX_PARALLELS_IMAGE_FACTOR (1ull << 32)
56 static QEnumLookup prealloc_mode_lookup
= {
57 .array
= (const char *const[]) {
61 .size
= PRL_PREALLOC_MODE__MAX
64 #define PARALLELS_OPT_PREALLOC_MODE "prealloc-mode"
65 #define PARALLELS_OPT_PREALLOC_SIZE "prealloc-size"
67 static QemuOptsList parallels_runtime_opts
= {
69 .head
= QTAILQ_HEAD_INITIALIZER(parallels_runtime_opts
.head
),
72 .name
= PARALLELS_OPT_PREALLOC_SIZE
,
73 .type
= QEMU_OPT_SIZE
,
74 .help
= "Preallocation size on image expansion",
75 .def_value_str
= "128M",
78 .name
= PARALLELS_OPT_PREALLOC_MODE
,
79 .type
= QEMU_OPT_STRING
,
80 .help
= "Preallocation mode on image expansion "
81 "(allowed values: falloc, truncate)",
82 .def_value_str
= "falloc",
84 { /* end of list */ },
88 static QemuOptsList parallels_create_opts
= {
89 .name
= "parallels-create-opts",
90 .head
= QTAILQ_HEAD_INITIALIZER(parallels_create_opts
.head
),
93 .name
= BLOCK_OPT_SIZE
,
94 .type
= QEMU_OPT_SIZE
,
95 .help
= "Virtual disk size",
98 .name
= BLOCK_OPT_CLUSTER_SIZE
,
99 .type
= QEMU_OPT_SIZE
,
100 .help
= "Parallels image cluster size",
101 .def_value_str
= stringify(DEFAULT_CLUSTER_SIZE
),
103 { /* end of list */ }
108 static int64_t bat2sect(BDRVParallelsState
*s
, uint32_t idx
)
110 return (uint64_t)le32_to_cpu(s
->bat_bitmap
[idx
]) * s
->off_multiplier
;
113 static uint32_t bat_entry_off(uint32_t idx
)
115 return sizeof(ParallelsHeader
) + sizeof(uint32_t) * idx
;
118 static int64_t seek_to_sector(BDRVParallelsState
*s
, int64_t sector_num
)
120 uint32_t index
, offset
;
122 index
= sector_num
/ s
->tracks
;
123 offset
= sector_num
% s
->tracks
;
126 if ((index
>= s
->bat_size
) || (s
->bat_bitmap
[index
] == 0)) {
129 return bat2sect(s
, index
) + offset
;
132 static int cluster_remainder(BDRVParallelsState
*s
, int64_t sector_num
,
135 int ret
= s
->tracks
- sector_num
% s
->tracks
;
136 return MIN(nb_sectors
, ret
);
139 static uint32_t host_cluster_index(BDRVParallelsState
*s
, int64_t off
)
141 off
-= s
->data_start
<< BDRV_SECTOR_BITS
;
142 return off
/ s
->cluster_size
;
145 static int64_t block_status(BDRVParallelsState
*s
, int64_t sector_num
,
146 int nb_sectors
, int *pnum
)
148 int64_t start_off
= -2, prev_end_off
= -2;
151 while (nb_sectors
> 0 || start_off
== -2) {
152 int64_t offset
= seek_to_sector(s
, sector_num
);
155 if (start_off
== -2) {
157 prev_end_off
= offset
;
158 } else if (offset
!= prev_end_off
) {
162 to_end
= cluster_remainder(s
, sector_num
, nb_sectors
);
163 nb_sectors
-= to_end
;
164 sector_num
+= to_end
;
168 prev_end_off
+= to_end
;
174 static void parallels_set_bat_entry(BDRVParallelsState
*s
,
175 uint32_t index
, uint32_t offset
)
177 s
->bat_bitmap
[index
] = cpu_to_le32(offset
);
178 bitmap_set(s
->bat_dirty_bmap
, bat_entry_off(index
) / s
->bat_dirty_block
, 1);
181 static int mark_used(BlockDriverState
*bs
, unsigned long *bitmap
,
182 uint32_t bitmap_size
, int64_t off
, uint32_t count
)
184 BDRVParallelsState
*s
= bs
->opaque
;
185 uint32_t cluster_index
= host_cluster_index(s
, off
);
186 unsigned long next_used
;
187 if (cluster_index
+ count
> bitmap_size
) {
190 next_used
= find_next_bit(bitmap
, bitmap_size
, cluster_index
);
191 if (next_used
< cluster_index
+ count
) {
194 bitmap_set(bitmap
, cluster_index
, count
);
199 * Collect used bitmap. The image can contain errors, we should fill the
200 * bitmap anyway, as much as we can. This information will be used for
203 static int parallels_fill_used_bitmap(BlockDriverState
*bs
)
205 BDRVParallelsState
*s
= bs
->opaque
;
206 int64_t payload_bytes
;
210 payload_bytes
= bdrv_getlength(bs
->file
->bs
);
211 if (payload_bytes
< 0) {
212 return payload_bytes
;
214 payload_bytes
-= s
->data_start
* BDRV_SECTOR_SIZE
;
215 if (payload_bytes
< 0) {
219 s
->used_bmap_size
= DIV_ROUND_UP(payload_bytes
, s
->cluster_size
);
220 if (s
->used_bmap_size
== 0) {
223 s
->used_bmap
= bitmap_try_new(s
->used_bmap_size
);
224 if (s
->used_bmap
== NULL
) {
228 for (i
= 0; i
< s
->bat_size
; i
++) {
230 int64_t host_off
= bat2sect(s
, i
) << BDRV_SECTOR_BITS
;
235 err2
= mark_used(bs
, s
->used_bmap
, s
->used_bmap_size
, host_off
, 1);
236 if (err2
< 0 && err
== 0) {
243 static void parallels_free_used_bitmap(BlockDriverState
*bs
)
245 BDRVParallelsState
*s
= bs
->opaque
;
246 s
->used_bmap_size
= 0;
247 g_free(s
->used_bmap
);
250 static int64_t coroutine_fn GRAPH_RDLOCK
251 allocate_clusters(BlockDriverState
*bs
, int64_t sector_num
,
252 int nb_sectors
, int *pnum
)
255 BDRVParallelsState
*s
= bs
->opaque
;
256 int64_t i
, pos
, idx
, to_allocate
, first_free
, host_off
;
258 pos
= block_status(s
, sector_num
, nb_sectors
, pnum
);
263 idx
= sector_num
/ s
->tracks
;
264 to_allocate
= DIV_ROUND_UP(sector_num
+ *pnum
, s
->tracks
) - idx
;
267 * This function is called only by parallels_co_writev(), which will never
268 * pass a sector_num at or beyond the end of the image (because the block
269 * layer never passes such a sector_num to that function). Therefore, idx
270 * is always below s->bat_size.
271 * block_status() will limit *pnum so that sector_num + *pnum will not
272 * exceed the image end. Therefore, idx + to_allocate cannot exceed
274 * Note that s->bat_size is an unsigned int, therefore idx + to_allocate
275 * will always fit into a uint32_t.
277 assert(idx
< s
->bat_size
&& idx
+ to_allocate
<= s
->bat_size
);
279 first_free
= find_first_zero_bit(s
->used_bmap
, s
->used_bmap_size
);
280 if (first_free
== s
->used_bmap_size
) {
281 uint32_t new_usedsize
;
282 int64_t bytes
= to_allocate
* s
->cluster_size
;
283 bytes
+= s
->prealloc_size
* BDRV_SECTOR_SIZE
;
285 host_off
= s
->data_end
* BDRV_SECTOR_SIZE
;
288 * We require the expanded size to read back as zero. If the
289 * user permitted truncation, we try that; but if it fails, we
290 * force the safer-but-slower fallocate.
292 if (s
->prealloc_mode
== PRL_PREALLOC_MODE_TRUNCATE
) {
293 ret
= bdrv_co_truncate(bs
->file
, host_off
+ bytes
,
294 false, PREALLOC_MODE_OFF
,
295 BDRV_REQ_ZERO_WRITE
, NULL
);
296 if (ret
== -ENOTSUP
) {
297 s
->prealloc_mode
= PRL_PREALLOC_MODE_FALLOCATE
;
300 if (s
->prealloc_mode
== PRL_PREALLOC_MODE_FALLOCATE
) {
301 ret
= bdrv_co_pwrite_zeroes(bs
->file
, host_off
, bytes
, 0);
307 new_usedsize
= s
->used_bmap_size
+ bytes
/ s
->cluster_size
;
308 s
->used_bmap
= bitmap_zero_extend(s
->used_bmap
, s
->used_bmap_size
,
310 s
->used_bmap_size
= new_usedsize
;
313 next_used
= find_next_bit(s
->used_bmap
, s
->used_bmap_size
, first_free
);
315 /* Not enough continuous clusters in the middle, adjust the size */
316 if (next_used
- first_free
< to_allocate
) {
317 to_allocate
= next_used
- first_free
;
318 *pnum
= (idx
+ to_allocate
) * s
->tracks
- sector_num
;
321 host_off
= s
->data_start
* BDRV_SECTOR_SIZE
;
322 host_off
+= first_free
* s
->cluster_size
;
325 * No need to preallocate if we are using tail area from the above
326 * branch. In the other case we are likely re-using hole. Preallocate
327 * the space if required by the prealloc_mode.
329 if (s
->prealloc_mode
== PRL_PREALLOC_MODE_FALLOCATE
&&
330 host_off
< s
->data_end
* BDRV_SECTOR_SIZE
) {
331 ret
= bdrv_co_pwrite_zeroes(bs
->file
, host_off
,
332 s
->cluster_size
* to_allocate
, 0);
340 * Try to read from backing to fill empty clusters
341 * FIXME: 1. previous write_zeroes may be redundant
342 * 2. most of data we read from backing will be rewritten by
343 * parallels_co_writev. On aligned-to-cluster write we do not need
345 * 3. it would be good to combine write of data from backing and new
346 * data into one write call.
349 int64_t nb_cow_sectors
= to_allocate
* s
->tracks
;
350 int64_t nb_cow_bytes
= nb_cow_sectors
<< BDRV_SECTOR_BITS
;
351 void *buf
= qemu_blockalign(bs
, nb_cow_bytes
);
353 ret
= bdrv_co_pread(bs
->backing
, idx
* s
->tracks
* BDRV_SECTOR_SIZE
,
354 nb_cow_bytes
, buf
, 0);
360 ret
= bdrv_co_pwrite(bs
->file
, s
->data_end
* BDRV_SECTOR_SIZE
,
361 nb_cow_bytes
, buf
, 0);
368 ret
= mark_used(bs
, s
->used_bmap
, s
->used_bmap_size
, host_off
, to_allocate
);
370 /* Image consistency is broken. Alarm! */
373 for (i
= 0; i
< to_allocate
; i
++) {
374 parallels_set_bat_entry(s
, idx
+ i
,
375 host_off
/ BDRV_SECTOR_SIZE
/ s
->off_multiplier
);
376 host_off
+= s
->cluster_size
;
378 if (host_off
> s
->data_end
* BDRV_SECTOR_SIZE
) {
379 s
->data_end
= host_off
/ BDRV_SECTOR_SIZE
;
382 return bat2sect(s
, idx
) + sector_num
% s
->tracks
;
386 static int coroutine_fn GRAPH_RDLOCK
387 parallels_co_flush_to_os(BlockDriverState
*bs
)
389 BDRVParallelsState
*s
= bs
->opaque
;
390 unsigned long size
= DIV_ROUND_UP(s
->header_size
, s
->bat_dirty_block
);
393 qemu_co_mutex_lock(&s
->lock
);
395 bit
= find_first_bit(s
->bat_dirty_bmap
, size
);
397 uint32_t off
= bit
* s
->bat_dirty_block
;
398 uint32_t to_write
= s
->bat_dirty_block
;
401 if (off
+ to_write
> s
->header_size
) {
402 to_write
= s
->header_size
- off
;
404 ret
= bdrv_co_pwrite(bs
->file
, off
, to_write
,
405 (uint8_t *)s
->header
+ off
, 0);
407 qemu_co_mutex_unlock(&s
->lock
);
410 bit
= find_next_bit(s
->bat_dirty_bmap
, size
, bit
+ 1);
412 bitmap_zero(s
->bat_dirty_bmap
, size
);
414 qemu_co_mutex_unlock(&s
->lock
);
419 static int coroutine_fn
parallels_co_block_status(BlockDriverState
*bs
,
425 BlockDriverState
**file
)
427 BDRVParallelsState
*s
= bs
->opaque
;
430 assert(QEMU_IS_ALIGNED(offset
| bytes
, BDRV_SECTOR_SIZE
));
431 qemu_co_mutex_lock(&s
->lock
);
432 offset
= block_status(s
, offset
>> BDRV_SECTOR_BITS
,
433 bytes
>> BDRV_SECTOR_BITS
, &count
);
434 qemu_co_mutex_unlock(&s
->lock
);
436 *pnum
= count
* BDRV_SECTOR_SIZE
;
441 *map
= offset
* BDRV_SECTOR_SIZE
;
442 *file
= bs
->file
->bs
;
443 return BDRV_BLOCK_DATA
| BDRV_BLOCK_OFFSET_VALID
;
446 static int coroutine_fn GRAPH_RDLOCK
447 parallels_co_writev(BlockDriverState
*bs
, int64_t sector_num
, int nb_sectors
,
448 QEMUIOVector
*qiov
, int flags
)
450 BDRVParallelsState
*s
= bs
->opaque
;
451 uint64_t bytes_done
= 0;
452 QEMUIOVector hd_qiov
;
455 qemu_iovec_init(&hd_qiov
, qiov
->niov
);
457 while (nb_sectors
> 0) {
461 qemu_co_mutex_lock(&s
->lock
);
462 position
= allocate_clusters(bs
, sector_num
, nb_sectors
, &n
);
463 qemu_co_mutex_unlock(&s
->lock
);
469 nbytes
= n
<< BDRV_SECTOR_BITS
;
471 qemu_iovec_reset(&hd_qiov
);
472 qemu_iovec_concat(&hd_qiov
, qiov
, bytes_done
, nbytes
);
474 ret
= bdrv_co_pwritev(bs
->file
, position
* BDRV_SECTOR_SIZE
, nbytes
,
482 bytes_done
+= nbytes
;
485 qemu_iovec_destroy(&hd_qiov
);
489 static int coroutine_fn GRAPH_RDLOCK
490 parallels_co_readv(BlockDriverState
*bs
, int64_t sector_num
, int nb_sectors
,
493 BDRVParallelsState
*s
= bs
->opaque
;
494 uint64_t bytes_done
= 0;
495 QEMUIOVector hd_qiov
;
498 qemu_iovec_init(&hd_qiov
, qiov
->niov
);
500 while (nb_sectors
> 0) {
504 qemu_co_mutex_lock(&s
->lock
);
505 position
= block_status(s
, sector_num
, nb_sectors
, &n
);
506 qemu_co_mutex_unlock(&s
->lock
);
508 nbytes
= n
<< BDRV_SECTOR_BITS
;
510 qemu_iovec_reset(&hd_qiov
);
511 qemu_iovec_concat(&hd_qiov
, qiov
, bytes_done
, nbytes
);
515 ret
= bdrv_co_preadv(bs
->backing
, sector_num
* BDRV_SECTOR_SIZE
,
516 nbytes
, &hd_qiov
, 0);
521 qemu_iovec_memset(&hd_qiov
, 0, 0, nbytes
);
524 ret
= bdrv_co_preadv(bs
->file
, position
* BDRV_SECTOR_SIZE
, nbytes
,
533 bytes_done
+= nbytes
;
536 qemu_iovec_destroy(&hd_qiov
);
541 static int coroutine_fn GRAPH_RDLOCK
542 parallels_co_pdiscard(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
)
545 uint32_t cluster
, count
;
546 BDRVParallelsState
*s
= bs
->opaque
;
549 * The image does not support ZERO mark inside the BAT, which means that
550 * stale data could be exposed from the backing file.
556 if (!QEMU_IS_ALIGNED(offset
, s
->cluster_size
)) {
558 } else if (!QEMU_IS_ALIGNED(bytes
, s
->cluster_size
)) {
562 cluster
= offset
/ s
->cluster_size
;
563 count
= bytes
/ s
->cluster_size
;
565 qemu_co_mutex_lock(&s
->lock
);
566 for (; count
> 0; cluster
++, count
--) {
567 int64_t host_off
= bat2sect(s
, cluster
) << BDRV_SECTOR_BITS
;
572 ret
= bdrv_co_pdiscard(bs
->file
, host_off
, s
->cluster_size
);
577 parallels_set_bat_entry(s
, cluster
, 0);
578 bitmap_clear(s
->used_bmap
, host_cluster_index(s
, host_off
), 1);
581 qemu_co_mutex_unlock(&s
->lock
);
585 static int coroutine_fn GRAPH_RDLOCK
586 parallels_co_pwrite_zeroes(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
587 BdrvRequestFlags flags
)
590 * The zero flag is missed in the Parallels format specification. We can
591 * resort to discard if we have no backing file (this condition is checked
592 * inside parallels_co_pdiscard().
594 return parallels_co_pdiscard(bs
, offset
, bytes
);
598 static void parallels_check_unclean(BlockDriverState
*bs
,
599 BdrvCheckResult
*res
,
602 BDRVParallelsState
*s
= bs
->opaque
;
604 if (!s
->header_unclean
) {
608 fprintf(stderr
, "%s image was not closed correctly\n",
609 fix
& BDRV_FIX_ERRORS
? "Repairing" : "ERROR");
611 if (fix
& BDRV_FIX_ERRORS
) {
612 /* parallels_close will do the job right */
613 res
->corruptions_fixed
++;
614 s
->header_unclean
= false;
619 * Returns true if data_off is correct, otherwise false. In both cases
620 * correct_offset is set to the proper value.
622 static bool parallels_test_data_off(BDRVParallelsState
*s
,
623 int64_t file_nb_sectors
,
624 uint32_t *correct_offset
)
626 uint32_t data_off
, min_off
;
630 * There are two slightly different image formats: with "WithoutFreeSpace"
631 * or "WithouFreSpacExt" magic words. Call the first one as "old magic".
632 * In such images data_off field can be zero. In this case the offset is
633 * calculated as the end of BAT table plus some padding to ensure sector
636 old_magic
= !memcmp(s
->header
->magic
, HEADER_MAGIC
, 16);
638 min_off
= DIV_ROUND_UP(bat_entry_off(s
->bat_size
), BDRV_SECTOR_SIZE
);
640 min_off
= ROUND_UP(min_off
, s
->cluster_size
/ BDRV_SECTOR_SIZE
);
643 if (correct_offset
) {
644 *correct_offset
= min_off
;
647 data_off
= le32_to_cpu(s
->header
->data_off
);
648 if (data_off
== 0 && old_magic
) {
652 if (data_off
< min_off
|| data_off
> file_nb_sectors
) {
656 if (correct_offset
) {
657 *correct_offset
= data_off
;
663 static int coroutine_fn GRAPH_RDLOCK
664 parallels_check_data_off(BlockDriverState
*bs
, BdrvCheckResult
*res
,
667 BDRVParallelsState
*s
= bs
->opaque
;
671 file_size
= bdrv_co_nb_sectors(bs
->file
->bs
);
677 if (parallels_test_data_off(s
, file_size
, &data_off
)) {
682 if (fix
& BDRV_FIX_ERRORS
) {
684 s
->header
->data_off
= cpu_to_le32(data_off
);
685 s
->data_start
= data_off
;
687 parallels_free_used_bitmap(bs
);
688 err
= parallels_fill_used_bitmap(bs
);
689 if (err
== -ENOMEM
) {
694 res
->corruptions_fixed
++;
697 fprintf(stderr
, "%s data_off field has incorrect value\n",
698 fix
& BDRV_FIX_ERRORS
? "Repairing" : "ERROR");
703 static int coroutine_fn GRAPH_RDLOCK
704 parallels_check_outside_image(BlockDriverState
*bs
, BdrvCheckResult
*res
,
707 BDRVParallelsState
*s
= bs
->opaque
;
709 int64_t off
, high_off
, size
;
711 size
= bdrv_co_getlength(bs
->file
->bs
);
718 for (i
= 0; i
< s
->bat_size
; i
++) {
719 off
= bat2sect(s
, i
) << BDRV_SECTOR_BITS
;
720 if (off
+ s
->cluster_size
> size
) {
721 fprintf(stderr
, "%s cluster %u is outside image\n",
722 fix
& BDRV_FIX_ERRORS
? "Repairing" : "ERROR", i
);
724 if (fix
& BDRV_FIX_ERRORS
) {
725 parallels_set_bat_entry(s
, i
, 0);
726 res
->corruptions_fixed
++;
730 if (high_off
< off
) {
736 res
->image_end_offset
= s
->data_end
<< BDRV_SECTOR_BITS
;
738 res
->image_end_offset
= high_off
+ s
->cluster_size
;
739 s
->data_end
= res
->image_end_offset
>> BDRV_SECTOR_BITS
;
745 static int coroutine_fn GRAPH_RDLOCK
746 parallels_check_leak(BlockDriverState
*bs
, BdrvCheckResult
*res
,
747 BdrvCheckMode fix
, bool explicit)
749 BDRVParallelsState
*s
= bs
->opaque
;
753 size
= bdrv_co_getlength(bs
->file
->bs
);
759 if (size
> res
->image_end_offset
) {
761 count
= DIV_ROUND_UP(size
- res
->image_end_offset
, s
->cluster_size
);
764 "%s space leaked at the end of the image %" PRId64
"\n",
765 fix
& BDRV_FIX_LEAKS
? "Repairing" : "ERROR",
766 size
- res
->image_end_offset
);
769 if (fix
& BDRV_FIX_LEAKS
) {
770 Error
*local_err
= NULL
;
773 * In order to really repair the image, we must shrink it.
774 * That means we have to pass exact=true.
776 ret
= bdrv_co_truncate(bs
->file
, res
->image_end_offset
, true,
777 PREALLOC_MODE_OFF
, 0, &local_err
);
779 error_report_err(local_err
);
784 res
->leaks_fixed
+= count
;
792 static int coroutine_fn GRAPH_RDLOCK
793 parallels_check_duplicate(BlockDriverState
*bs
, BdrvCheckResult
*res
,
796 BDRVParallelsState
*s
= bs
->opaque
;
797 int64_t host_off
, host_sector
, guest_sector
;
798 unsigned long *bitmap
;
799 uint32_t i
, bitmap_size
, bat_entry
;
801 uint64_t *buf
= NULL
;
805 * Create a bitmap of used clusters.
806 * If a bit is set, there is a BAT entry pointing to this cluster.
807 * Loop through the BAT entries, check bits relevant to an entry offset.
808 * If bit is set, this entry is duplicated. Otherwise set the bit.
810 * We shouldn't worry about newly allocated clusters outside the image
811 * because they are created higher then any existing cluster pointed by
814 bitmap_size
= host_cluster_index(s
, res
->image_end_offset
);
815 if (bitmap_size
== 0) {
818 if (res
->image_end_offset
% s
->cluster_size
) {
819 /* A not aligned image end leads to a bitmap shorter by 1 */
823 bitmap
= bitmap_new(bitmap_size
);
825 buf
= qemu_blockalign(bs
, s
->cluster_size
);
827 for (i
= 0; i
< s
->bat_size
; i
++) {
828 host_off
= bat2sect(s
, i
) << BDRV_SECTOR_BITS
;
833 ret
= mark_used(bs
, bitmap
, bitmap_size
, host_off
, 1);
834 assert(ret
!= -E2BIG
);
839 /* this cluster duplicates another one */
840 fprintf(stderr
, "%s duplicate offset in BAT entry %u\n",
841 fix
& BDRV_FIX_ERRORS
? "Repairing" : "ERROR", i
);
845 if (!(fix
& BDRV_FIX_ERRORS
)) {
850 * Reset the entry and allocate a new cluster
851 * for the relevant guest offset. In this way we let
852 * the lower layer to place the new cluster properly.
853 * Copy the original cluster to the allocated one.
854 * But before save the old offset value for repairing
855 * if we have an error.
857 bat_entry
= s
->bat_bitmap
[i
];
858 parallels_set_bat_entry(s
, i
, 0);
860 ret
= bdrv_co_pread(bs
->file
, host_off
, s
->cluster_size
, buf
, 0);
866 guest_sector
= (i
* (int64_t)s
->cluster_size
) >> BDRV_SECTOR_BITS
;
867 host_sector
= allocate_clusters(bs
, guest_sector
, s
->tracks
, &n
);
868 if (host_sector
< 0) {
872 host_off
= host_sector
<< BDRV_SECTOR_BITS
;
874 ret
= bdrv_co_pwrite(bs
->file
, host_off
, s
->cluster_size
, buf
, 0);
880 if (host_off
+ s
->cluster_size
> res
->image_end_offset
) {
881 res
->image_end_offset
= host_off
+ s
->cluster_size
;
885 * In the future allocate_cluster() will reuse holed offsets
886 * inside the image. Keep the used clusters bitmap content
887 * consistent for the new allocated clusters too.
889 * Note, clusters allocated outside the current image are not
890 * considered, and the bitmap size doesn't change. This specifically
891 * means that -E2BIG is OK.
893 ret
= mark_used(bs
, bitmap
, bitmap_size
, host_off
, 1);
900 res
->corruptions_fixed
++;
906 * When new clusters are allocated, the file size increases by
907 * 128 Mb. We need to truncate the file to the right size. Let
908 * the leak fix code make its job without res changing.
910 ret
= parallels_check_leak(bs
, res
, fix
, false);
918 * We can get here only from places where index and old_offset have
922 s
->bat_bitmap
[i
] = bat_entry
;
926 static void parallels_collect_statistics(BlockDriverState
*bs
,
927 BdrvCheckResult
*res
,
930 BDRVParallelsState
*s
= bs
->opaque
;
931 int64_t off
, prev_off
;
934 res
->bfi
.total_clusters
= s
->bat_size
;
935 res
->bfi
.compressed_clusters
= 0; /* compression is not supported */
938 for (i
= 0; i
< s
->bat_size
; i
++) {
939 off
= bat2sect(s
, i
) << BDRV_SECTOR_BITS
;
941 * If BDRV_FIX_ERRORS is not set, out-of-image BAT entries were not
942 * fixed. Skip not allocated and out-of-image BAT entries.
944 if (off
== 0 || off
+ s
->cluster_size
> res
->image_end_offset
) {
949 if (prev_off
!= 0 && (prev_off
+ s
->cluster_size
) != off
) {
950 res
->bfi
.fragmented_clusters
++;
953 res
->bfi
.allocated_clusters
++;
957 static int coroutine_fn GRAPH_RDLOCK
958 parallels_co_check(BlockDriverState
*bs
, BdrvCheckResult
*res
,
961 BDRVParallelsState
*s
= bs
->opaque
;
964 WITH_QEMU_LOCK_GUARD(&s
->lock
) {
965 parallels_check_unclean(bs
, res
, fix
);
967 ret
= parallels_check_data_off(bs
, res
, fix
);
972 ret
= parallels_check_outside_image(bs
, res
, fix
);
977 ret
= parallels_check_leak(bs
, res
, fix
, true);
982 ret
= parallels_check_duplicate(bs
, res
, fix
);
987 parallels_collect_statistics(bs
, res
, fix
);
990 ret
= bdrv_co_flush(bs
);
999 static int coroutine_fn GRAPH_UNLOCKED
1000 parallels_co_create(BlockdevCreateOptions
* opts
, Error
**errp
)
1002 BlockdevCreateOptionsParallels
*parallels_opts
;
1003 BlockDriverState
*bs
;
1005 int64_t total_size
, cl_size
;
1006 uint32_t bat_entries
, bat_sectors
;
1007 ParallelsHeader header
;
1008 uint8_t tmp
[BDRV_SECTOR_SIZE
];
1011 assert(opts
->driver
== BLOCKDEV_DRIVER_PARALLELS
);
1012 parallels_opts
= &opts
->u
.parallels
;
1015 total_size
= parallels_opts
->size
;
1017 if (parallels_opts
->has_cluster_size
) {
1018 cl_size
= parallels_opts
->cluster_size
;
1020 cl_size
= DEFAULT_CLUSTER_SIZE
;
1023 /* XXX What is the real limit here? This is an insanely large maximum. */
1024 if (cl_size
>= INT64_MAX
/ MAX_PARALLELS_IMAGE_FACTOR
) {
1025 error_setg(errp
, "Cluster size is too large");
1028 if (total_size
>= MAX_PARALLELS_IMAGE_FACTOR
* cl_size
) {
1029 error_setg(errp
, "Image size is too large for this cluster size");
1033 if (!QEMU_IS_ALIGNED(total_size
, BDRV_SECTOR_SIZE
)) {
1034 error_setg(errp
, "Image size must be a multiple of 512 bytes");
1038 if (!QEMU_IS_ALIGNED(cl_size
, BDRV_SECTOR_SIZE
)) {
1039 error_setg(errp
, "Cluster size must be a multiple of 512 bytes");
1043 /* Create BlockBackend to write to the image */
1044 bs
= bdrv_co_open_blockdev_ref(parallels_opts
->file
, errp
);
1049 blk
= blk_co_new_with_bs(bs
, BLK_PERM_WRITE
| BLK_PERM_RESIZE
, BLK_PERM_ALL
,
1055 blk_set_allow_write_beyond_eof(blk
, true);
1057 /* Create image format */
1058 bat_entries
= DIV_ROUND_UP(total_size
, cl_size
);
1059 bat_sectors
= DIV_ROUND_UP(bat_entry_off(bat_entries
), cl_size
);
1060 bat_sectors
= (bat_sectors
* cl_size
) >> BDRV_SECTOR_BITS
;
1062 memset(&header
, 0, sizeof(header
));
1063 memcpy(header
.magic
, HEADER_MAGIC2
, sizeof(header
.magic
));
1064 header
.version
= cpu_to_le32(HEADER_VERSION
);
1065 /* don't care much about geometry, it is not used on image level */
1066 header
.heads
= cpu_to_le32(HEADS_NUMBER
);
1067 header
.cylinders
= cpu_to_le32(total_size
/ BDRV_SECTOR_SIZE
1068 / HEADS_NUMBER
/ SEC_IN_CYL
);
1069 header
.tracks
= cpu_to_le32(cl_size
>> BDRV_SECTOR_BITS
);
1070 header
.bat_entries
= cpu_to_le32(bat_entries
);
1071 header
.nb_sectors
= cpu_to_le64(DIV_ROUND_UP(total_size
, BDRV_SECTOR_SIZE
));
1072 header
.data_off
= cpu_to_le32(bat_sectors
);
1074 /* write all the data */
1075 memset(tmp
, 0, sizeof(tmp
));
1076 memcpy(tmp
, &header
, sizeof(header
));
1078 ret
= blk_co_pwrite(blk
, 0, BDRV_SECTOR_SIZE
, tmp
, 0);
1082 ret
= blk_co_pwrite_zeroes(blk
, BDRV_SECTOR_SIZE
,
1083 (bat_sectors
- 1) << BDRV_SECTOR_BITS
, 0);
1095 error_setg_errno(errp
, -ret
, "Failed to create Parallels image");
1099 static int coroutine_fn GRAPH_UNLOCKED
1100 parallels_co_create_opts(BlockDriver
*drv
, const char *filename
,
1101 QemuOpts
*opts
, Error
**errp
)
1103 BlockdevCreateOptions
*create_options
= NULL
;
1104 BlockDriverState
*bs
= NULL
;
1109 static const QDictRenames opt_renames
[] = {
1110 { BLOCK_OPT_CLUSTER_SIZE
, "cluster-size" },
1114 /* Parse options and convert legacy syntax */
1115 qdict
= qemu_opts_to_qdict_filtered(opts
, NULL
, ¶llels_create_opts
,
1118 if (!qdict_rename_keys(qdict
, opt_renames
, errp
)) {
1123 /* Create and open the file (protocol layer) */
1124 ret
= bdrv_co_create_file(filename
, opts
, errp
);
1129 bs
= bdrv_co_open(filename
, NULL
, NULL
,
1130 BDRV_O_RDWR
| BDRV_O_RESIZE
| BDRV_O_PROTOCOL
, errp
);
1136 /* Now get the QAPI type BlockdevCreateOptions */
1137 qdict_put_str(qdict
, "driver", "parallels");
1138 qdict_put_str(qdict
, "file", bs
->node_name
);
1140 v
= qobject_input_visitor_new_flat_confused(qdict
, errp
);
1146 visit_type_BlockdevCreateOptions(v
, NULL
, &create_options
, errp
);
1148 if (!create_options
) {
1153 /* Silently round up sizes */
1154 create_options
->u
.parallels
.size
=
1155 ROUND_UP(create_options
->u
.parallels
.size
, BDRV_SECTOR_SIZE
);
1156 create_options
->u
.parallels
.cluster_size
=
1157 ROUND_UP(create_options
->u
.parallels
.cluster_size
, BDRV_SECTOR_SIZE
);
1159 /* Create the Parallels image (format layer) */
1160 ret
= parallels_co_create(create_options
, errp
);
1167 qobject_unref(qdict
);
1169 qapi_free_BlockdevCreateOptions(create_options
);
1174 static int parallels_probe(const uint8_t *buf
, int buf_size
,
1175 const char *filename
)
1177 const ParallelsHeader
*ph
= (const void *)buf
;
1179 if (buf_size
< sizeof(ParallelsHeader
)) {
1183 if ((!memcmp(ph
->magic
, HEADER_MAGIC
, 16) ||
1184 !memcmp(ph
->magic
, HEADER_MAGIC2
, 16)) &&
1185 (le32_to_cpu(ph
->version
) == HEADER_VERSION
)) {
1192 static int parallels_update_header(BlockDriverState
*bs
)
1194 BDRVParallelsState
*s
= bs
->opaque
;
1195 unsigned size
= MAX(bdrv_opt_mem_align(bs
->file
->bs
),
1196 sizeof(ParallelsHeader
));
1198 if (size
> s
->header_size
) {
1199 size
= s
->header_size
;
1201 return bdrv_pwrite_sync(bs
->file
, 0, size
, s
->header
, 0);
1205 static int parallels_opts_prealloc(BlockDriverState
*bs
, QDict
*options
,
1211 BDRVParallelsState
*s
= bs
->opaque
;
1212 Error
*local_err
= NULL
;
1213 QemuOpts
*opts
= qemu_opts_create(¶llels_runtime_opts
, NULL
, 0, errp
);
1219 if (!qemu_opts_absorb_qdict(opts
, options
, errp
)) {
1223 bytes
= qemu_opt_get_size_del(opts
, PARALLELS_OPT_PREALLOC_SIZE
, 0);
1224 s
->prealloc_size
= bytes
>> BDRV_SECTOR_BITS
;
1225 buf
= qemu_opt_get_del(opts
, PARALLELS_OPT_PREALLOC_MODE
);
1226 /* prealloc_mode can be downgraded later during allocate_clusters */
1227 s
->prealloc_mode
= qapi_enum_parse(&prealloc_mode_lookup
, buf
,
1228 PRL_PREALLOC_MODE_FALLOCATE
,
1231 if (local_err
!= NULL
) {
1232 error_propagate(errp
, local_err
);
1238 qemu_opts_del(opts
);
1242 static int parallels_open(BlockDriverState
*bs
, QDict
*options
, int flags
,
1245 BDRVParallelsState
*s
= bs
->opaque
;
1248 int64_t file_nb_sectors
, sector
;
1249 uint32_t data_start
;
1250 bool need_check
= false;
1252 ret
= parallels_opts_prealloc(bs
, options
, errp
);
1257 ret
= bdrv_open_file_child(NULL
, options
, "file", bs
, errp
);
1262 file_nb_sectors
= bdrv_nb_sectors(bs
->file
->bs
);
1263 if (file_nb_sectors
< 0) {
1267 ret
= bdrv_pread(bs
->file
, 0, sizeof(ph
), &ph
, 0);
1272 bs
->total_sectors
= le64_to_cpu(ph
.nb_sectors
);
1274 if (le32_to_cpu(ph
.version
) != HEADER_VERSION
) {
1277 if (!memcmp(ph
.magic
, HEADER_MAGIC
, 16)) {
1278 s
->off_multiplier
= 1;
1279 bs
->total_sectors
= 0xffffffff & bs
->total_sectors
;
1280 } else if (!memcmp(ph
.magic
, HEADER_MAGIC2
, 16)) {
1281 s
->off_multiplier
= le32_to_cpu(ph
.tracks
);
1286 s
->tracks
= le32_to_cpu(ph
.tracks
);
1287 if (s
->tracks
== 0) {
1288 error_setg(errp
, "Invalid image: Zero sectors per track");
1291 if (s
->tracks
> INT32_MAX
/513) {
1292 error_setg(errp
, "Invalid image: Too big cluster");
1295 s
->prealloc_size
= MAX(s
->tracks
, s
->prealloc_size
);
1296 s
->cluster_size
= s
->tracks
<< BDRV_SECTOR_BITS
;
1298 s
->bat_size
= le32_to_cpu(ph
.bat_entries
);
1299 if (s
->bat_size
> INT_MAX
/ sizeof(uint32_t)) {
1300 error_setg(errp
, "Catalog too large");
1304 size
= bat_entry_off(s
->bat_size
);
1305 s
->header_size
= ROUND_UP(size
, bdrv_opt_mem_align(bs
->file
->bs
));
1306 s
->header
= qemu_try_blockalign(bs
->file
->bs
, s
->header_size
);
1307 if (s
->header
== NULL
) {
1311 ret
= bdrv_pread(bs
->file
, 0, s
->header_size
, s
->header
, 0);
1315 s
->bat_bitmap
= (uint32_t *)(s
->header
+ 1);
1317 if (le32_to_cpu(ph
.inuse
) == HEADER_INUSE_MAGIC
) {
1318 need_check
= s
->header_unclean
= true;
1322 bool ok
= parallels_test_data_off(s
, file_nb_sectors
, &data_start
);
1323 need_check
= need_check
|| !ok
;
1326 s
->data_start
= data_start
;
1327 s
->data_end
= s
->data_start
;
1328 if (s
->data_end
< (s
->header_size
>> BDRV_SECTOR_BITS
)) {
1330 * There is not enough unused space to fit to block align between BAT
1331 * and actual data. We can't avoid read-modify-write...
1333 s
->header_size
= size
;
1337 if (flags
& BDRV_O_RDWR
) {
1339 * It's unsafe to open image RW if there is an extension (as we
1340 * don't support it). But parallels driver in QEMU historically
1341 * ignores the extension, so print warning and don't care.
1343 warn_report("Format Extension ignored in RW mode");
1345 ret
= parallels_read_format_extension(
1346 bs
, le64_to_cpu(ph
.ext_off
) << BDRV_SECTOR_BITS
, errp
);
1353 if ((flags
& BDRV_O_RDWR
) && !(flags
& BDRV_O_INACTIVE
)) {
1354 s
->header
->inuse
= cpu_to_le32(HEADER_INUSE_MAGIC
);
1355 ret
= parallels_update_header(bs
);
1361 s
->bat_dirty_block
= 4 * qemu_real_host_page_size();
1363 bitmap_new(DIV_ROUND_UP(s
->header_size
, s
->bat_dirty_block
));
1365 /* Disable migration until bdrv_activate method is added */
1366 bdrv_graph_rdlock_main_loop();
1367 error_setg(&s
->migration_blocker
, "The Parallels format used by node '%s' "
1368 "does not support live migration",
1369 bdrv_get_device_or_node_name(bs
));
1370 bdrv_graph_rdunlock_main_loop();
1372 ret
= migrate_add_blocker_normal(&s
->migration_blocker
, errp
);
1376 qemu_co_mutex_init(&s
->lock
);
1378 for (i
= 0; i
< s
->bat_size
; i
++) {
1379 sector
= bat2sect(s
, i
);
1380 if (sector
+ s
->tracks
> s
->data_end
) {
1381 s
->data_end
= sector
+ s
->tracks
;
1384 need_check
= need_check
|| s
->data_end
> file_nb_sectors
;
1387 ret
= parallels_fill_used_bitmap(bs
);
1388 if (ret
== -ENOMEM
) {
1391 need_check
= need_check
|| ret
< 0; /* These are correctable errors */
1395 * We don't repair the image here if it's opened for checks. Also we don't
1396 * want to change inactive images and can't change readonly images.
1398 if ((flags
& (BDRV_O_CHECK
| BDRV_O_INACTIVE
)) || !(flags
& BDRV_O_RDWR
)) {
1402 /* Repair the image if corruption was detected. */
1404 BdrvCheckResult res
;
1405 ret
= bdrv_check(bs
, &res
, BDRV_FIX_ERRORS
| BDRV_FIX_LEAKS
);
1407 error_setg_errno(errp
, -ret
, "Could not repair corrupted image");
1408 migrate_del_blocker(&s
->migration_blocker
);
1415 error_setg(errp
, "Image not in Parallels format");
1420 * "s" object was allocated by g_malloc0 so we can safely
1421 * try to free its fields even they were not allocated.
1423 parallels_free_used_bitmap(bs
);
1425 g_free(s
->bat_dirty_bmap
);
1426 qemu_vfree(s
->header
);
1431 static void parallels_close(BlockDriverState
*bs
)
1433 BDRVParallelsState
*s
= bs
->opaque
;
1435 if ((bs
->open_flags
& BDRV_O_RDWR
) && !(bs
->open_flags
& BDRV_O_INACTIVE
)) {
1436 s
->header
->inuse
= 0;
1437 parallels_update_header(bs
);
1439 /* errors are ignored, so we might as well pass exact=true */
1440 bdrv_truncate(bs
->file
, s
->data_end
<< BDRV_SECTOR_BITS
, true,
1441 PREALLOC_MODE_OFF
, 0, NULL
);
1444 parallels_free_used_bitmap(bs
);
1446 g_free(s
->bat_dirty_bmap
);
1447 qemu_vfree(s
->header
);
1449 migrate_del_blocker(&s
->migration_blocker
);
1452 static bool parallels_is_support_dirty_bitmaps(BlockDriverState
*bs
)
1457 static BlockDriver bdrv_parallels
= {
1458 .format_name
= "parallels",
1459 .instance_size
= sizeof(BDRVParallelsState
),
1460 .create_opts
= ¶llels_create_opts
,
1462 .supports_backing
= true,
1464 .bdrv_has_zero_init
= bdrv_has_zero_init_1
,
1465 .bdrv_supports_persistent_dirty_bitmap
= parallels_is_support_dirty_bitmaps
,
1467 .bdrv_probe
= parallels_probe
,
1468 .bdrv_open
= parallels_open
,
1469 .bdrv_close
= parallels_close
,
1470 .bdrv_child_perm
= bdrv_default_perms
,
1471 .bdrv_co_block_status
= parallels_co_block_status
,
1472 .bdrv_co_flush_to_os
= parallels_co_flush_to_os
,
1473 .bdrv_co_readv
= parallels_co_readv
,
1474 .bdrv_co_writev
= parallels_co_writev
,
1475 .bdrv_co_create
= parallels_co_create
,
1476 .bdrv_co_create_opts
= parallels_co_create_opts
,
1477 .bdrv_co_check
= parallels_co_check
,
1478 .bdrv_co_pdiscard
= parallels_co_pdiscard
,
1479 .bdrv_co_pwrite_zeroes
= parallels_co_pwrite_zeroes
,
1482 static void bdrv_parallels_init(void)
1484 bdrv_register(&bdrv_parallels
);
1487 block_init(bdrv_parallels_init
);