]> git.proxmox.com Git - qemu.git/blame - block/qcow2.c
qed: mark image clean after repair succeeds
[qemu.git] / block / qcow2.c
CommitLineData
585f8587
FB
1/*
2 * Block driver for the QCOW version 2 format
5fafdf24 3 *
585f8587 4 * Copyright (c) 2004-2006 Fabrice Bellard
5fafdf24 5 *
585f8587
FB
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
faf07963 24#include "qemu-common.h"
585f8587 25#include "block_int.h"
5efa9d5a 26#include "module.h"
585f8587
FB
27#include <zlib.h>
28#include "aes.h"
f7d0fe02 29#include "block/qcow2.h"
a9420734 30#include "qemu-error.h"
e8cdcec1 31#include "qerror.h"
3cce16f4 32#include "trace.h"
585f8587
FB
33
34/*
35 Differences with QCOW:
36
37 - Support for multiple incremental snapshots.
38 - Memory management by reference counts.
39 - Clusters which have a reference count of one have the bit
40 QCOW_OFLAG_COPIED to optimize write performance.
5fafdf24 41 - Size of compressed clusters is stored in sectors to reduce bit usage
585f8587
FB
42 in the cluster offsets.
43 - Support for storing additional data (such as the VM state) in the
3b46e624 44 snapshots.
585f8587
FB
45 - If a backing store is used, the cluster size is not constrained
46 (could be backported to QCOW).
47 - L2 tables have always a size of one cluster.
48*/
49
9b80ddf3
AL
50
51typedef struct {
52 uint32_t magic;
53 uint32_t len;
54} QCowExtension;
7c80ab3f
JS
55#define QCOW2_EXT_MAGIC_END 0
56#define QCOW2_EXT_MAGIC_BACKING_FORMAT 0xE2792ACA
cfcc4c62 57#define QCOW2_EXT_MAGIC_FEATURE_TABLE 0x6803f857
9b80ddf3 58
7c80ab3f 59static int qcow2_probe(const uint8_t *buf, int buf_size, const char *filename)
585f8587
FB
60{
61 const QCowHeader *cow_header = (const void *)buf;
3b46e624 62
585f8587
FB
63 if (buf_size >= sizeof(QCowHeader) &&
64 be32_to_cpu(cow_header->magic) == QCOW_MAGIC &&
6744cbab 65 be32_to_cpu(cow_header->version) >= 2)
585f8587
FB
66 return 100;
67 else
68 return 0;
69}
70
9b80ddf3
AL
71
72/*
73 * read qcow2 extension and fill bs
74 * start reading from start_offset
75 * finish reading upon magic of value 0 or when end_offset reached
76 * unknown magic is skipped (future extension this version knows nothing about)
77 * return 0 upon success, non-0 otherwise
78 */
7c80ab3f 79static int qcow2_read_extensions(BlockDriverState *bs, uint64_t start_offset,
cfcc4c62 80 uint64_t end_offset, void **p_feature_table)
9b80ddf3 81{
75bab85c 82 BDRVQcowState *s = bs->opaque;
9b80ddf3
AL
83 QCowExtension ext;
84 uint64_t offset;
75bab85c 85 int ret;
9b80ddf3
AL
86
87#ifdef DEBUG_EXT
7c80ab3f 88 printf("qcow2_read_extensions: start=%ld end=%ld\n", start_offset, end_offset);
9b80ddf3
AL
89#endif
90 offset = start_offset;
91 while (offset < end_offset) {
92
93#ifdef DEBUG_EXT
94 /* Sanity check */
95 if (offset > s->cluster_size)
7c80ab3f 96 printf("qcow2_read_extension: suspicious offset %lu\n", offset);
9b80ddf3 97
9b2260cb 98 printf("attempting to read extended header in offset %lu\n", offset);
9b80ddf3
AL
99#endif
100
66f82cee 101 if (bdrv_pread(bs->file, offset, &ext, sizeof(ext)) != sizeof(ext)) {
7c80ab3f 102 fprintf(stderr, "qcow2_read_extension: ERROR: "
0bfcd599
BS
103 "pread fail from offset %" PRIu64 "\n",
104 offset);
9b80ddf3
AL
105 return 1;
106 }
107 be32_to_cpus(&ext.magic);
108 be32_to_cpus(&ext.len);
109 offset += sizeof(ext);
110#ifdef DEBUG_EXT
111 printf("ext.magic = 0x%x\n", ext.magic);
112#endif
64ca6aee
KW
113 if (ext.len > end_offset - offset) {
114 error_report("Header extension too large");
115 return -EINVAL;
116 }
117
9b80ddf3 118 switch (ext.magic) {
7c80ab3f 119 case QCOW2_EXT_MAGIC_END:
9b80ddf3 120 return 0;
f965509c 121
7c80ab3f 122 case QCOW2_EXT_MAGIC_BACKING_FORMAT:
f965509c
AL
123 if (ext.len >= sizeof(bs->backing_format)) {
124 fprintf(stderr, "ERROR: ext_backing_format: len=%u too large"
4c978075 125 " (>=%zu)\n",
f965509c
AL
126 ext.len, sizeof(bs->backing_format));
127 return 2;
128 }
66f82cee 129 if (bdrv_pread(bs->file, offset , bs->backing_format,
f965509c
AL
130 ext.len) != ext.len)
131 return 3;
132 bs->backing_format[ext.len] = '\0';
133#ifdef DEBUG_EXT
134 printf("Qcow2: Got format extension %s\n", bs->backing_format);
135#endif
f965509c
AL
136 break;
137
cfcc4c62
KW
138 case QCOW2_EXT_MAGIC_FEATURE_TABLE:
139 if (p_feature_table != NULL) {
140 void* feature_table = g_malloc0(ext.len + 2 * sizeof(Qcow2Feature));
141 ret = bdrv_pread(bs->file, offset , feature_table, ext.len);
142 if (ret < 0) {
143 return ret;
144 }
145
146 *p_feature_table = feature_table;
147 }
148 break;
149
9b80ddf3 150 default:
75bab85c
KW
151 /* unknown magic - save it in case we need to rewrite the header */
152 {
153 Qcow2UnknownHeaderExtension *uext;
154
155 uext = g_malloc0(sizeof(*uext) + ext.len);
156 uext->magic = ext.magic;
157 uext->len = ext.len;
158 QLIST_INSERT_HEAD(&s->unknown_header_ext, uext, next);
159
160 ret = bdrv_pread(bs->file, offset , uext->data, uext->len);
161 if (ret < 0) {
162 return ret;
163 }
75bab85c 164 }
9b80ddf3
AL
165 break;
166 }
fd29b4bb
KW
167
168 offset += ((ext.len + 7) & ~7);
9b80ddf3
AL
169 }
170
171 return 0;
172}
173
75bab85c
KW
174static void cleanup_unknown_header_ext(BlockDriverState *bs)
175{
176 BDRVQcowState *s = bs->opaque;
177 Qcow2UnknownHeaderExtension *uext, *next;
178
179 QLIST_FOREACH_SAFE(uext, &s->unknown_header_ext, next, next) {
180 QLIST_REMOVE(uext, next);
181 g_free(uext);
182 }
183}
9b80ddf3 184
b9531b6e
SW
185static void GCC_FMT_ATTR(2, 3) report_unsupported(BlockDriverState *bs,
186 const char *fmt, ...)
6744cbab
KW
187{
188 char msg[64];
189 va_list ap;
190
191 va_start(ap, fmt);
192 vsnprintf(msg, sizeof(msg), fmt, ap);
193 va_end(ap);
194
195 qerror_report(QERR_UNKNOWN_BLOCK_FORMAT_FEATURE,
196 bs->device_name, "qcow2", msg);
197}
198
cfcc4c62
KW
199static void report_unsupported_feature(BlockDriverState *bs,
200 Qcow2Feature *table, uint64_t mask)
201{
202 while (table && table->name[0] != '\0') {
203 if (table->type == QCOW2_FEAT_TYPE_INCOMPATIBLE) {
204 if (mask & (1 << table->bit)) {
205 report_unsupported(bs, "%.46s",table->name);
206 mask &= ~(1 << table->bit);
207 }
208 }
209 table++;
210 }
211
212 if (mask) {
213 report_unsupported(bs, "Unknown incompatible feature: %" PRIx64, mask);
214 }
215}
216
bfe8043e
SH
217/*
218 * Sets the dirty bit and flushes afterwards if necessary.
219 *
220 * The incompatible_features bit is only set if the image file header was
221 * updated successfully. Therefore it is not required to check the return
222 * value of this function.
223 */
224static int qcow2_mark_dirty(BlockDriverState *bs)
225{
226 BDRVQcowState *s = bs->opaque;
227 uint64_t val;
228 int ret;
229
230 assert(s->qcow_version >= 3);
231
232 if (s->incompatible_features & QCOW2_INCOMPAT_DIRTY) {
233 return 0; /* already dirty */
234 }
235
236 val = cpu_to_be64(s->incompatible_features | QCOW2_INCOMPAT_DIRTY);
237 ret = bdrv_pwrite(bs->file, offsetof(QCowHeader, incompatible_features),
238 &val, sizeof(val));
239 if (ret < 0) {
240 return ret;
241 }
242 ret = bdrv_flush(bs->file);
243 if (ret < 0) {
244 return ret;
245 }
246
247 /* Only treat image as dirty if the header was updated successfully */
248 s->incompatible_features |= QCOW2_INCOMPAT_DIRTY;
249 return 0;
250}
251
c61d0004
SH
252/*
253 * Clears the dirty bit and flushes before if necessary. Only call this
254 * function when there are no pending requests, it does not guard against
255 * concurrent requests dirtying the image.
256 */
257static int qcow2_mark_clean(BlockDriverState *bs)
258{
259 BDRVQcowState *s = bs->opaque;
260
261 if (s->incompatible_features & QCOW2_INCOMPAT_DIRTY) {
262 int ret = bdrv_flush(bs);
263 if (ret < 0) {
264 return ret;
265 }
266
267 s->incompatible_features &= ~QCOW2_INCOMPAT_DIRTY;
268 return qcow2_update_header(bs);
269 }
270 return 0;
271}
272
7c80ab3f 273static int qcow2_open(BlockDriverState *bs, int flags)
585f8587
FB
274{
275 BDRVQcowState *s = bs->opaque;
6d85a57e 276 int len, i, ret = 0;
585f8587 277 QCowHeader header;
9b80ddf3 278 uint64_t ext_end;
585f8587 279
6d85a57e
JS
280 ret = bdrv_pread(bs->file, 0, &header, sizeof(header));
281 if (ret < 0) {
585f8587 282 goto fail;
6d85a57e 283 }
585f8587
FB
284 be32_to_cpus(&header.magic);
285 be32_to_cpus(&header.version);
286 be64_to_cpus(&header.backing_file_offset);
287 be32_to_cpus(&header.backing_file_size);
288 be64_to_cpus(&header.size);
289 be32_to_cpus(&header.cluster_bits);
290 be32_to_cpus(&header.crypt_method);
291 be64_to_cpus(&header.l1_table_offset);
292 be32_to_cpus(&header.l1_size);
293 be64_to_cpus(&header.refcount_table_offset);
294 be32_to_cpus(&header.refcount_table_clusters);
295 be64_to_cpus(&header.snapshots_offset);
296 be32_to_cpus(&header.nb_snapshots);
3b46e624 297
e8cdcec1 298 if (header.magic != QCOW_MAGIC) {
6d85a57e 299 ret = -EINVAL;
585f8587 300 goto fail;
6d85a57e 301 }
6744cbab
KW
302 if (header.version < 2 || header.version > 3) {
303 report_unsupported(bs, "QCOW version %d", header.version);
304 ret = -ENOTSUP;
305 goto fail;
306 }
307
308 s->qcow_version = header.version;
309
310 /* Initialise version 3 header fields */
311 if (header.version == 2) {
312 header.incompatible_features = 0;
313 header.compatible_features = 0;
314 header.autoclear_features = 0;
315 header.refcount_order = 4;
316 header.header_length = 72;
317 } else {
318 be64_to_cpus(&header.incompatible_features);
319 be64_to_cpus(&header.compatible_features);
320 be64_to_cpus(&header.autoclear_features);
321 be32_to_cpus(&header.refcount_order);
322 be32_to_cpus(&header.header_length);
323 }
324
325 if (header.header_length > sizeof(header)) {
326 s->unknown_header_fields_size = header.header_length - sizeof(header);
327 s->unknown_header_fields = g_malloc(s->unknown_header_fields_size);
328 ret = bdrv_pread(bs->file, sizeof(header), s->unknown_header_fields,
329 s->unknown_header_fields_size);
330 if (ret < 0) {
331 goto fail;
332 }
333 }
334
cfcc4c62
KW
335 if (header.backing_file_offset) {
336 ext_end = header.backing_file_offset;
337 } else {
338 ext_end = 1 << header.cluster_bits;
339 }
340
6744cbab
KW
341 /* Handle feature bits */
342 s->incompatible_features = header.incompatible_features;
343 s->compatible_features = header.compatible_features;
344 s->autoclear_features = header.autoclear_features;
345
c61d0004 346 if (s->incompatible_features & ~QCOW2_INCOMPAT_MASK) {
cfcc4c62
KW
347 void *feature_table = NULL;
348 qcow2_read_extensions(bs, header.header_length, ext_end,
349 &feature_table);
350 report_unsupported_feature(bs, feature_table,
c61d0004
SH
351 s->incompatible_features &
352 ~QCOW2_INCOMPAT_MASK);
6744cbab
KW
353 ret = -ENOTSUP;
354 goto fail;
355 }
356
6744cbab
KW
357 /* Check support for various header values */
358 if (header.refcount_order != 4) {
359 report_unsupported(bs, "%d bit reference counts",
360 1 << header.refcount_order);
e8cdcec1
KW
361 ret = -ENOTSUP;
362 goto fail;
363 }
6744cbab 364
d191d12d 365 if (header.cluster_bits < MIN_CLUSTER_BITS ||
6d85a57e
JS
366 header.cluster_bits > MAX_CLUSTER_BITS) {
367 ret = -EINVAL;
585f8587 368 goto fail;
6d85a57e
JS
369 }
370 if (header.crypt_method > QCOW_CRYPT_AES) {
371 ret = -EINVAL;
585f8587 372 goto fail;
6d85a57e 373 }
585f8587 374 s->crypt_method_header = header.crypt_method;
6d85a57e 375 if (s->crypt_method_header) {
585f8587 376 bs->encrypted = 1;
6d85a57e 377 }
585f8587
FB
378 s->cluster_bits = header.cluster_bits;
379 s->cluster_size = 1 << s->cluster_bits;
380 s->cluster_sectors = 1 << (s->cluster_bits - 9);
381 s->l2_bits = s->cluster_bits - 3; /* L2 is always one cluster */
382 s->l2_size = 1 << s->l2_bits;
383 bs->total_sectors = header.size / 512;
384 s->csize_shift = (62 - (s->cluster_bits - 8));
385 s->csize_mask = (1 << (s->cluster_bits - 8)) - 1;
386 s->cluster_offset_mask = (1LL << s->csize_shift) - 1;
387 s->refcount_table_offset = header.refcount_table_offset;
5fafdf24 388 s->refcount_table_size =
585f8587
FB
389 header.refcount_table_clusters << (s->cluster_bits - 3);
390
391 s->snapshots_offset = header.snapshots_offset;
392 s->nb_snapshots = header.nb_snapshots;
393
394 /* read the level 1 table */
395 s->l1_size = header.l1_size;
419b19d9 396 s->l1_vm_state_index = size_to_l1(s, header.size);
585f8587
FB
397 /* the L1 table must contain at least enough entries to put
398 header.size bytes */
6d85a57e
JS
399 if (s->l1_size < s->l1_vm_state_index) {
400 ret = -EINVAL;
585f8587 401 goto fail;
6d85a57e 402 }
585f8587 403 s->l1_table_offset = header.l1_table_offset;
d191d12d 404 if (s->l1_size > 0) {
7267c094 405 s->l1_table = g_malloc0(
d191d12d 406 align_offset(s->l1_size * sizeof(uint64_t), 512));
6d85a57e
JS
407 ret = bdrv_pread(bs->file, s->l1_table_offset, s->l1_table,
408 s->l1_size * sizeof(uint64_t));
409 if (ret < 0) {
d191d12d 410 goto fail;
6d85a57e 411 }
d191d12d
SW
412 for(i = 0;i < s->l1_size; i++) {
413 be64_to_cpus(&s->l1_table[i]);
414 }
585f8587 415 }
29c1a730
KW
416
417 /* alloc L2 table/refcount block cache */
6af4e9ea
PB
418 s->l2_table_cache = qcow2_cache_create(bs, L2_CACHE_SIZE);
419 s->refcount_block_cache = qcow2_cache_create(bs, REFCOUNT_CACHE_SIZE);
29c1a730 420
7267c094 421 s->cluster_cache = g_malloc(s->cluster_size);
585f8587 422 /* one more sector for decompressed data alignment */
dea43a65 423 s->cluster_data = qemu_blockalign(bs, QCOW_MAX_CRYPT_CLUSTERS * s->cluster_size
095a9c58 424 + 512);
585f8587 425 s->cluster_cache_offset = -1;
06d9260f 426 s->flags = flags;
3b46e624 427
6d85a57e
JS
428 ret = qcow2_refcount_init(bs);
429 if (ret != 0) {
585f8587 430 goto fail;
6d85a57e 431 }
585f8587 432
72cf2d4f 433 QLIST_INIT(&s->cluster_allocs);
f214978a 434
9b80ddf3 435 /* read qcow2 extensions */
cfcc4c62 436 if (qcow2_read_extensions(bs, header.header_length, ext_end, NULL)) {
6d85a57e 437 ret = -EINVAL;
9b80ddf3 438 goto fail;
6d85a57e 439 }
9b80ddf3 440
585f8587
FB
441 /* read the backing file name */
442 if (header.backing_file_offset != 0) {
443 len = header.backing_file_size;
6d85a57e 444 if (len > 1023) {
585f8587 445 len = 1023;
6d85a57e
JS
446 }
447 ret = bdrv_pread(bs->file, header.backing_file_offset,
448 bs->backing_file, len);
449 if (ret < 0) {
585f8587 450 goto fail;
6d85a57e 451 }
585f8587
FB
452 bs->backing_file[len] = '\0';
453 }
42deb29f
KW
454
455 ret = qcow2_read_snapshots(bs);
456 if (ret < 0) {
585f8587 457 goto fail;
6d85a57e 458 }
585f8587 459
af7b708d
SH
460 /* Clear unknown autoclear feature bits */
461 if (!bs->read_only && s->autoclear_features != 0) {
462 s->autoclear_features = 0;
463 ret = qcow2_update_header(bs);
464 if (ret < 0) {
465 goto fail;
466 }
467 }
468
68d100e9
KW
469 /* Initialise locks */
470 qemu_co_mutex_init(&s->lock);
471
c61d0004
SH
472 /* Repair image if dirty */
473 if ((s->incompatible_features & QCOW2_INCOMPAT_DIRTY) &&
474 !bs->read_only) {
475 BdrvCheckResult result = {0};
476
477 ret = qcow2_check_refcounts(bs, &result, BDRV_FIX_ERRORS);
478 if (ret < 0) {
479 goto fail;
480 }
481
482 ret = qcow2_mark_clean(bs);
483 if (ret < 0) {
484 goto fail;
485 }
486 }
487
585f8587 488#ifdef DEBUG_ALLOC
6cbc3031
PH
489 {
490 BdrvCheckResult result = {0};
b35278f7 491 qcow2_check_refcounts(bs, &result, 0);
6cbc3031 492 }
585f8587 493#endif
6d85a57e 494 return ret;
585f8587
FB
495
496 fail:
6744cbab 497 g_free(s->unknown_header_fields);
75bab85c 498 cleanup_unknown_header_ext(bs);
ed6ccf0f
KW
499 qcow2_free_snapshots(bs);
500 qcow2_refcount_close(bs);
7267c094 501 g_free(s->l1_table);
29c1a730
KW
502 if (s->l2_table_cache) {
503 qcow2_cache_destroy(bs, s->l2_table_cache);
504 }
7267c094 505 g_free(s->cluster_cache);
dea43a65 506 qemu_vfree(s->cluster_data);
6d85a57e 507 return ret;
585f8587
FB
508}
509
7c80ab3f 510static int qcow2_set_key(BlockDriverState *bs, const char *key)
585f8587
FB
511{
512 BDRVQcowState *s = bs->opaque;
513 uint8_t keybuf[16];
514 int len, i;
3b46e624 515
585f8587
FB
516 memset(keybuf, 0, 16);
517 len = strlen(key);
518 if (len > 16)
519 len = 16;
520 /* XXX: we could compress the chars to 7 bits to increase
521 entropy */
522 for(i = 0;i < len;i++) {
523 keybuf[i] = key[i];
524 }
525 s->crypt_method = s->crypt_method_header;
526
527 if (AES_set_encrypt_key(keybuf, 128, &s->aes_encrypt_key) != 0)
528 return -1;
529 if (AES_set_decrypt_key(keybuf, 128, &s->aes_decrypt_key) != 0)
530 return -1;
531#if 0
532 /* test */
533 {
534 uint8_t in[16];
535 uint8_t out[16];
536 uint8_t tmp[16];
537 for(i=0;i<16;i++)
538 in[i] = i;
539 AES_encrypt(in, tmp, &s->aes_encrypt_key);
540 AES_decrypt(tmp, out, &s->aes_decrypt_key);
541 for(i = 0; i < 16; i++)
542 printf(" %02x", tmp[i]);
543 printf("\n");
544 for(i = 0; i < 16; i++)
545 printf(" %02x", out[i]);
546 printf("\n");
547 }
548#endif
549 return 0;
550}
551
f8a2e5e3
SH
552static int coroutine_fn qcow2_co_is_allocated(BlockDriverState *bs,
553 int64_t sector_num, int nb_sectors, int *pnum)
585f8587 554{
f8a2e5e3 555 BDRVQcowState *s = bs->opaque;
585f8587 556 uint64_t cluster_offset;
1c46efaa 557 int ret;
585f8587 558
095a9c58 559 *pnum = nb_sectors;
f8a2e5e3
SH
560 /* FIXME We can get errors here, but the bdrv_co_is_allocated interface
561 * can't pass them on today */
562 qemu_co_mutex_lock(&s->lock);
1c46efaa 563 ret = qcow2_get_cluster_offset(bs, sector_num << 9, pnum, &cluster_offset);
f8a2e5e3 564 qemu_co_mutex_unlock(&s->lock);
1c46efaa
KW
565 if (ret < 0) {
566 *pnum = 0;
567 }
095a9c58 568
585f8587
FB
569 return (cluster_offset != 0);
570}
571
a9465922 572/* handle reading after the end of the backing file */
bd28f835
KW
573int qcow2_backing_read1(BlockDriverState *bs, QEMUIOVector *qiov,
574 int64_t sector_num, int nb_sectors)
a9465922
FB
575{
576 int n1;
577 if ((sector_num + nb_sectors) <= bs->total_sectors)
578 return nb_sectors;
579 if (sector_num >= bs->total_sectors)
580 n1 = 0;
581 else
582 n1 = bs->total_sectors - sector_num;
bd28f835 583
3d9b4925 584 qemu_iovec_memset(qiov, 512 * n1, 0, 512 * (nb_sectors - n1));
bd28f835 585
a9465922
FB
586 return n1;
587}
588
a968168c 589static coroutine_fn int qcow2_co_readv(BlockDriverState *bs, int64_t sector_num,
3fc48d09 590 int remaining_sectors, QEMUIOVector *qiov)
585f8587 591{
585f8587 592 BDRVQcowState *s = bs->opaque;
a9465922 593 int index_in_cluster, n1;
68d100e9 594 int ret;
faf575c1 595 int cur_nr_sectors; /* number of sectors in current iteration */
c2bdd990 596 uint64_t cluster_offset = 0;
3fc48d09
FZ
597 uint64_t bytes_done = 0;
598 QEMUIOVector hd_qiov;
599 uint8_t *cluster_data = NULL;
585f8587 600
3fc48d09
FZ
601 qemu_iovec_init(&hd_qiov, qiov->niov);
602
603 qemu_co_mutex_lock(&s->lock);
604
605 while (remaining_sectors != 0) {
bd28f835 606
5ebaa27e 607 /* prepare next request */
3fc48d09 608 cur_nr_sectors = remaining_sectors;
5ebaa27e
FZ
609 if (s->crypt_method) {
610 cur_nr_sectors = MIN(cur_nr_sectors,
611 QCOW_MAX_CRYPT_CLUSTERS * s->cluster_sectors);
585f8587 612 }
5ebaa27e 613
3fc48d09 614 ret = qcow2_get_cluster_offset(bs, sector_num << 9,
5ebaa27e 615 &cur_nr_sectors, &cluster_offset);
8af36488 616 if (ret < 0) {
3fc48d09 617 goto fail;
8af36488 618 }
bd28f835 619
3fc48d09 620 index_in_cluster = sector_num & (s->cluster_sectors - 1);
c87c0672 621
3fc48d09 622 qemu_iovec_reset(&hd_qiov);
1b093c48 623 qemu_iovec_concat(&hd_qiov, qiov, bytes_done,
5ebaa27e
FZ
624 cur_nr_sectors * 512);
625
68d000a3
KW
626 switch (ret) {
627 case QCOW2_CLUSTER_UNALLOCATED:
5ebaa27e
FZ
628
629 if (bs->backing_hd) {
630 /* read from the base image */
3fc48d09
FZ
631 n1 = qcow2_backing_read1(bs->backing_hd, &hd_qiov,
632 sector_num, cur_nr_sectors);
5ebaa27e
FZ
633 if (n1 > 0) {
634 BLKDBG_EVENT(bs->file, BLKDBG_READ_BACKING_AIO);
635 qemu_co_mutex_unlock(&s->lock);
3fc48d09
FZ
636 ret = bdrv_co_readv(bs->backing_hd, sector_num,
637 n1, &hd_qiov);
5ebaa27e
FZ
638 qemu_co_mutex_lock(&s->lock);
639 if (ret < 0) {
3fc48d09 640 goto fail;
5ebaa27e
FZ
641 }
642 }
643 } else {
644 /* Note: in this case, no need to wait */
3d9b4925 645 qemu_iovec_memset(&hd_qiov, 0, 0, 512 * cur_nr_sectors);
5ebaa27e 646 }
68d000a3
KW
647 break;
648
6377af48
KW
649 case QCOW2_CLUSTER_ZERO:
650 if (s->qcow_version < 3) {
651 ret = -EIO;
652 goto fail;
653 }
3d9b4925 654 qemu_iovec_memset(&hd_qiov, 0, 0, 512 * cur_nr_sectors);
6377af48
KW
655 break;
656
68d000a3 657 case QCOW2_CLUSTER_COMPRESSED:
5ebaa27e
FZ
658 /* add AIO support for compressed blocks ? */
659 ret = qcow2_decompress_cluster(bs, cluster_offset);
660 if (ret < 0) {
3fc48d09 661 goto fail;
bd28f835
KW
662 }
663
03396148 664 qemu_iovec_from_buf(&hd_qiov, 0,
5ebaa27e 665 s->cluster_cache + index_in_cluster * 512,
faf575c1 666 512 * cur_nr_sectors);
68d000a3
KW
667 break;
668
669 case QCOW2_CLUSTER_NORMAL:
5ebaa27e 670 if ((cluster_offset & 511) != 0) {
3fc48d09
FZ
671 ret = -EIO;
672 goto fail;
5ebaa27e 673 }
bd28f835 674
5ebaa27e
FZ
675 if (s->crypt_method) {
676 /*
677 * For encrypted images, read everything into a temporary
678 * contiguous buffer on which the AES functions can work.
679 */
3fc48d09
FZ
680 if (!cluster_data) {
681 cluster_data =
dea43a65 682 qemu_blockalign(bs, QCOW_MAX_CRYPT_CLUSTERS * s->cluster_size);
5ebaa27e
FZ
683 }
684
685 assert(cur_nr_sectors <=
686 QCOW_MAX_CRYPT_CLUSTERS * s->cluster_sectors);
3fc48d09
FZ
687 qemu_iovec_reset(&hd_qiov);
688 qemu_iovec_add(&hd_qiov, cluster_data,
5ebaa27e
FZ
689 512 * cur_nr_sectors);
690 }
691
692 BLKDBG_EVENT(bs->file, BLKDBG_READ_AIO);
693 qemu_co_mutex_unlock(&s->lock);
694 ret = bdrv_co_readv(bs->file,
695 (cluster_offset >> 9) + index_in_cluster,
3fc48d09 696 cur_nr_sectors, &hd_qiov);
5ebaa27e
FZ
697 qemu_co_mutex_lock(&s->lock);
698 if (ret < 0) {
3fc48d09 699 goto fail;
5ebaa27e
FZ
700 }
701 if (s->crypt_method) {
3fc48d09
FZ
702 qcow2_encrypt_sectors(s, sector_num, cluster_data,
703 cluster_data, cur_nr_sectors, 0, &s->aes_decrypt_key);
03396148
MT
704 qemu_iovec_from_buf(qiov, bytes_done,
705 cluster_data, 512 * cur_nr_sectors);
5ebaa27e 706 }
68d000a3
KW
707 break;
708
709 default:
710 g_assert_not_reached();
711 ret = -EIO;
712 goto fail;
faf575c1 713 }
f141eafe 714
3fc48d09
FZ
715 remaining_sectors -= cur_nr_sectors;
716 sector_num += cur_nr_sectors;
717 bytes_done += cur_nr_sectors * 512;
5ebaa27e 718 }
3fc48d09 719 ret = 0;
faf575c1 720
3fc48d09 721fail:
68d100e9 722 qemu_co_mutex_unlock(&s->lock);
42496d62 723
3fc48d09 724 qemu_iovec_destroy(&hd_qiov);
dea43a65 725 qemu_vfree(cluster_data);
68d100e9
KW
726
727 return ret;
585f8587
FB
728}
729
68d100e9 730static void run_dependent_requests(BDRVQcowState *s, QCowL2Meta *m)
f214978a 731{
f214978a
KW
732 /* Take the request off the list of running requests */
733 if (m->nb_clusters != 0) {
72cf2d4f 734 QLIST_REMOVE(m, next_in_flight);
f214978a
KW
735 }
736
d4c146f0 737 /* Restart all dependent requests */
68d100e9
KW
738 if (!qemu_co_queue_empty(&m->dependent_requests)) {
739 qemu_co_mutex_unlock(&s->lock);
e8ee5e4c 740 qemu_co_queue_restart_all(&m->dependent_requests);
68d100e9 741 qemu_co_mutex_lock(&s->lock);
f214978a 742 }
f214978a
KW
743}
744
a968168c 745static coroutine_fn int qcow2_co_writev(BlockDriverState *bs,
3fc48d09
FZ
746 int64_t sector_num,
747 int remaining_sectors,
748 QEMUIOVector *qiov)
585f8587 749{
585f8587 750 BDRVQcowState *s = bs->opaque;
585f8587 751 int index_in_cluster;
095a9c58 752 int n_end;
68d100e9 753 int ret;
faf575c1 754 int cur_nr_sectors; /* number of sectors in current iteration */
c2bdd990 755 uint64_t cluster_offset;
3fc48d09
FZ
756 QEMUIOVector hd_qiov;
757 uint64_t bytes_done = 0;
758 uint8_t *cluster_data = NULL;
8e217d53
KW
759 QCowL2Meta l2meta = {
760 .nb_clusters = 0,
761 };
c2271403 762
3cce16f4
KW
763 trace_qcow2_writev_start_req(qemu_coroutine_self(), sector_num,
764 remaining_sectors);
765
c2271403 766 qemu_co_queue_init(&l2meta.dependent_requests);
585f8587 767
3fc48d09
FZ
768 qemu_iovec_init(&hd_qiov, qiov->niov);
769
770 s->cluster_cache_offset = -1; /* disable compressed cache */
3b46e624 771
3fc48d09
FZ
772 qemu_co_mutex_lock(&s->lock);
773
774 while (remaining_sectors != 0) {
775
3cce16f4 776 trace_qcow2_writev_start_part(qemu_coroutine_self());
3fc48d09
FZ
777 index_in_cluster = sector_num & (s->cluster_sectors - 1);
778 n_end = index_in_cluster + remaining_sectors;
5ebaa27e
FZ
779 if (s->crypt_method &&
780 n_end > QCOW_MAX_CRYPT_CLUSTERS * s->cluster_sectors) {
781 n_end = QCOW_MAX_CRYPT_CLUSTERS * s->cluster_sectors;
782 }
095a9c58 783
3fc48d09 784 ret = qcow2_alloc_cluster_offset(bs, sector_num << 9,
5ebaa27e
FZ
785 index_in_cluster, n_end, &cur_nr_sectors, &l2meta);
786 if (ret < 0) {
3fc48d09 787 goto fail;
5ebaa27e 788 }
148da7ea 789
bfe8043e
SH
790 if (l2meta.nb_clusters > 0 &&
791 (s->compatible_features & QCOW2_COMPAT_LAZY_REFCOUNTS)) {
792 qcow2_mark_dirty(bs);
793 }
794
5ebaa27e
FZ
795 cluster_offset = l2meta.cluster_offset;
796 assert((cluster_offset & 511) == 0);
148da7ea 797
3fc48d09 798 qemu_iovec_reset(&hd_qiov);
1b093c48 799 qemu_iovec_concat(&hd_qiov, qiov, bytes_done,
5ebaa27e 800 cur_nr_sectors * 512);
6f5f060b 801
5ebaa27e 802 if (s->crypt_method) {
3fc48d09 803 if (!cluster_data) {
dea43a65 804 cluster_data = qemu_blockalign(bs, QCOW_MAX_CRYPT_CLUSTERS *
5ebaa27e
FZ
805 s->cluster_size);
806 }
6f5f060b 807
3fc48d09 808 assert(hd_qiov.size <=
5ebaa27e 809 QCOW_MAX_CRYPT_CLUSTERS * s->cluster_size);
d5e6b161 810 qemu_iovec_to_buf(&hd_qiov, 0, cluster_data, hd_qiov.size);
6f5f060b 811
3fc48d09
FZ
812 qcow2_encrypt_sectors(s, sector_num, cluster_data,
813 cluster_data, cur_nr_sectors, 1, &s->aes_encrypt_key);
6f5f060b 814
3fc48d09
FZ
815 qemu_iovec_reset(&hd_qiov);
816 qemu_iovec_add(&hd_qiov, cluster_data,
5ebaa27e
FZ
817 cur_nr_sectors * 512);
818 }
6f5f060b 819
5ebaa27e
FZ
820 BLKDBG_EVENT(bs->file, BLKDBG_WRITE_AIO);
821 qemu_co_mutex_unlock(&s->lock);
3cce16f4
KW
822 trace_qcow2_writev_data(qemu_coroutine_self(),
823 (cluster_offset >> 9) + index_in_cluster);
5ebaa27e
FZ
824 ret = bdrv_co_writev(bs->file,
825 (cluster_offset >> 9) + index_in_cluster,
3fc48d09 826 cur_nr_sectors, &hd_qiov);
5ebaa27e
FZ
827 qemu_co_mutex_lock(&s->lock);
828 if (ret < 0) {
3fc48d09 829 goto fail;
5ebaa27e 830 }
f141eafe 831
5ebaa27e 832 ret = qcow2_alloc_cluster_link_l2(bs, &l2meta);
5ebaa27e 833 if (ret < 0) {
3fc48d09 834 goto fail;
5ebaa27e 835 }
faf575c1 836
0fa9131a
KW
837 run_dependent_requests(s, &l2meta);
838
3fc48d09
FZ
839 remaining_sectors -= cur_nr_sectors;
840 sector_num += cur_nr_sectors;
841 bytes_done += cur_nr_sectors * 512;
3cce16f4 842 trace_qcow2_writev_done_part(qemu_coroutine_self(), cur_nr_sectors);
5ebaa27e 843 }
3fc48d09 844 ret = 0;
faf575c1 845
3fc48d09 846fail:
0fa9131a
KW
847 run_dependent_requests(s, &l2meta);
848
68d100e9 849 qemu_co_mutex_unlock(&s->lock);
3b46e624 850
3fc48d09 851 qemu_iovec_destroy(&hd_qiov);
dea43a65 852 qemu_vfree(cluster_data);
3cce16f4 853 trace_qcow2_writev_done_req(qemu_coroutine_self(), ret);
42496d62 854
68d100e9 855 return ret;
585f8587
FB
856}
857
7c80ab3f 858static void qcow2_close(BlockDriverState *bs)
585f8587
FB
859{
860 BDRVQcowState *s = bs->opaque;
7267c094 861 g_free(s->l1_table);
29c1a730
KW
862
863 qcow2_cache_flush(bs, s->l2_table_cache);
864 qcow2_cache_flush(bs, s->refcount_block_cache);
865
c61d0004
SH
866 qcow2_mark_clean(bs);
867
29c1a730
KW
868 qcow2_cache_destroy(bs, s->l2_table_cache);
869 qcow2_cache_destroy(bs, s->refcount_block_cache);
870
6744cbab 871 g_free(s->unknown_header_fields);
75bab85c 872 cleanup_unknown_header_ext(bs);
6744cbab 873
7267c094 874 g_free(s->cluster_cache);
dea43a65 875 qemu_vfree(s->cluster_data);
ed6ccf0f 876 qcow2_refcount_close(bs);
28c1202b 877 qcow2_free_snapshots(bs);
585f8587
FB
878}
879
06d9260f
AL
880static void qcow2_invalidate_cache(BlockDriverState *bs)
881{
882 BDRVQcowState *s = bs->opaque;
883 int flags = s->flags;
884 AES_KEY aes_encrypt_key;
885 AES_KEY aes_decrypt_key;
886 uint32_t crypt_method = 0;
887
888 /*
889 * Backing files are read-only which makes all of their metadata immutable,
890 * that means we don't have to worry about reopening them here.
891 */
892
893 if (s->crypt_method) {
894 crypt_method = s->crypt_method;
895 memcpy(&aes_encrypt_key, &s->aes_encrypt_key, sizeof(aes_encrypt_key));
896 memcpy(&aes_decrypt_key, &s->aes_decrypt_key, sizeof(aes_decrypt_key));
897 }
898
899 qcow2_close(bs);
900
901 memset(s, 0, sizeof(BDRVQcowState));
902 qcow2_open(bs, flags);
903
904 if (crypt_method) {
905 s->crypt_method = crypt_method;
906 memcpy(&s->aes_encrypt_key, &aes_encrypt_key, sizeof(aes_encrypt_key));
907 memcpy(&s->aes_decrypt_key, &aes_decrypt_key, sizeof(aes_decrypt_key));
908 }
909}
910
e24e49e6
KW
911static size_t header_ext_add(char *buf, uint32_t magic, const void *s,
912 size_t len, size_t buflen)
913{
914 QCowExtension *ext_backing_fmt = (QCowExtension*) buf;
915 size_t ext_len = sizeof(QCowExtension) + ((len + 7) & ~7);
916
917 if (buflen < ext_len) {
918 return -ENOSPC;
919 }
920
921 *ext_backing_fmt = (QCowExtension) {
922 .magic = cpu_to_be32(magic),
923 .len = cpu_to_be32(len),
924 };
925 memcpy(buf + sizeof(QCowExtension), s, len);
926
927 return ext_len;
928}
929
756e6736 930/*
e24e49e6
KW
931 * Updates the qcow2 header, including the variable length parts of it, i.e.
932 * the backing file name and all extensions. qcow2 was not designed to allow
933 * such changes, so if we run out of space (we can only use the first cluster)
934 * this function may fail.
756e6736
KW
935 *
936 * Returns 0 on success, -errno in error cases.
937 */
e24e49e6 938int qcow2_update_header(BlockDriverState *bs)
756e6736 939{
756e6736 940 BDRVQcowState *s = bs->opaque;
e24e49e6
KW
941 QCowHeader *header;
942 char *buf;
943 size_t buflen = s->cluster_size;
756e6736 944 int ret;
e24e49e6
KW
945 uint64_t total_size;
946 uint32_t refcount_table_clusters;
6744cbab 947 size_t header_length;
75bab85c 948 Qcow2UnknownHeaderExtension *uext;
756e6736 949
e24e49e6 950 buf = qemu_blockalign(bs, buflen);
756e6736 951
e24e49e6
KW
952 /* Header structure */
953 header = (QCowHeader*) buf;
756e6736 954
e24e49e6
KW
955 if (buflen < sizeof(*header)) {
956 ret = -ENOSPC;
957 goto fail;
756e6736
KW
958 }
959
6744cbab 960 header_length = sizeof(*header) + s->unknown_header_fields_size;
e24e49e6
KW
961 total_size = bs->total_sectors * BDRV_SECTOR_SIZE;
962 refcount_table_clusters = s->refcount_table_size >> (s->cluster_bits - 3);
963
964 *header = (QCowHeader) {
6744cbab 965 /* Version 2 fields */
e24e49e6 966 .magic = cpu_to_be32(QCOW_MAGIC),
6744cbab 967 .version = cpu_to_be32(s->qcow_version),
e24e49e6
KW
968 .backing_file_offset = 0,
969 .backing_file_size = 0,
970 .cluster_bits = cpu_to_be32(s->cluster_bits),
971 .size = cpu_to_be64(total_size),
972 .crypt_method = cpu_to_be32(s->crypt_method_header),
973 .l1_size = cpu_to_be32(s->l1_size),
974 .l1_table_offset = cpu_to_be64(s->l1_table_offset),
975 .refcount_table_offset = cpu_to_be64(s->refcount_table_offset),
976 .refcount_table_clusters = cpu_to_be32(refcount_table_clusters),
977 .nb_snapshots = cpu_to_be32(s->nb_snapshots),
978 .snapshots_offset = cpu_to_be64(s->snapshots_offset),
6744cbab
KW
979
980 /* Version 3 fields */
981 .incompatible_features = cpu_to_be64(s->incompatible_features),
982 .compatible_features = cpu_to_be64(s->compatible_features),
983 .autoclear_features = cpu_to_be64(s->autoclear_features),
984 .refcount_order = cpu_to_be32(3 + REFCOUNT_SHIFT),
985 .header_length = cpu_to_be32(header_length),
e24e49e6 986 };
756e6736 987
6744cbab
KW
988 /* For older versions, write a shorter header */
989 switch (s->qcow_version) {
990 case 2:
991 ret = offsetof(QCowHeader, incompatible_features);
992 break;
993 case 3:
994 ret = sizeof(*header);
995 break;
996 default:
b6c14762
JM
997 ret = -EINVAL;
998 goto fail;
6744cbab
KW
999 }
1000
1001 buf += ret;
1002 buflen -= ret;
1003 memset(buf, 0, buflen);
1004
1005 /* Preserve any unknown field in the header */
1006 if (s->unknown_header_fields_size) {
1007 if (buflen < s->unknown_header_fields_size) {
1008 ret = -ENOSPC;
1009 goto fail;
1010 }
1011
1012 memcpy(buf, s->unknown_header_fields, s->unknown_header_fields_size);
1013 buf += s->unknown_header_fields_size;
1014 buflen -= s->unknown_header_fields_size;
1015 }
756e6736 1016
e24e49e6
KW
1017 /* Backing file format header extension */
1018 if (*bs->backing_format) {
1019 ret = header_ext_add(buf, QCOW2_EXT_MAGIC_BACKING_FORMAT,
1020 bs->backing_format, strlen(bs->backing_format),
1021 buflen);
1022 if (ret < 0) {
1023 goto fail;
756e6736
KW
1024 }
1025
e24e49e6
KW
1026 buf += ret;
1027 buflen -= ret;
756e6736
KW
1028 }
1029
cfcc4c62
KW
1030 /* Feature table */
1031 Qcow2Feature features[] = {
c61d0004
SH
1032 {
1033 .type = QCOW2_FEAT_TYPE_INCOMPATIBLE,
1034 .bit = QCOW2_INCOMPAT_DIRTY_BITNR,
1035 .name = "dirty bit",
1036 },
bfe8043e
SH
1037 {
1038 .type = QCOW2_FEAT_TYPE_COMPATIBLE,
1039 .bit = QCOW2_COMPAT_LAZY_REFCOUNTS_BITNR,
1040 .name = "lazy refcounts",
1041 },
cfcc4c62
KW
1042 };
1043
1044 ret = header_ext_add(buf, QCOW2_EXT_MAGIC_FEATURE_TABLE,
1045 features, sizeof(features), buflen);
1046 if (ret < 0) {
1047 goto fail;
1048 }
1049 buf += ret;
1050 buflen -= ret;
1051
75bab85c
KW
1052 /* Keep unknown header extensions */
1053 QLIST_FOREACH(uext, &s->unknown_header_ext, next) {
1054 ret = header_ext_add(buf, uext->magic, uext->data, uext->len, buflen);
1055 if (ret < 0) {
1056 goto fail;
1057 }
1058
1059 buf += ret;
1060 buflen -= ret;
1061 }
1062
e24e49e6
KW
1063 /* End of header extensions */
1064 ret = header_ext_add(buf, QCOW2_EXT_MAGIC_END, NULL, 0, buflen);
756e6736
KW
1065 if (ret < 0) {
1066 goto fail;
1067 }
1068
e24e49e6
KW
1069 buf += ret;
1070 buflen -= ret;
756e6736 1071
e24e49e6
KW
1072 /* Backing file name */
1073 if (*bs->backing_file) {
1074 size_t backing_file_len = strlen(bs->backing_file);
1075
1076 if (buflen < backing_file_len) {
1077 ret = -ENOSPC;
1078 goto fail;
1079 }
1080
1081 strncpy(buf, bs->backing_file, buflen);
1082
1083 header->backing_file_offset = cpu_to_be64(buf - ((char*) header));
1084 header->backing_file_size = cpu_to_be32(backing_file_len);
756e6736
KW
1085 }
1086
e24e49e6
KW
1087 /* Write the new header */
1088 ret = bdrv_pwrite(bs->file, 0, header, s->cluster_size);
756e6736
KW
1089 if (ret < 0) {
1090 goto fail;
1091 }
1092
1093 ret = 0;
1094fail:
e24e49e6 1095 qemu_vfree(header);
756e6736
KW
1096 return ret;
1097}
1098
1099static int qcow2_change_backing_file(BlockDriverState *bs,
1100 const char *backing_file, const char *backing_fmt)
1101{
e24e49e6
KW
1102 pstrcpy(bs->backing_file, sizeof(bs->backing_file), backing_file ?: "");
1103 pstrcpy(bs->backing_format, sizeof(bs->backing_format), backing_fmt ?: "");
1104
1105 return qcow2_update_header(bs);
756e6736
KW
1106}
1107
a35e1c17
KW
1108static int preallocate(BlockDriverState *bs)
1109{
a35e1c17
KW
1110 uint64_t nb_sectors;
1111 uint64_t offset;
1112 int num;
148da7ea 1113 int ret;
a35e1c17
KW
1114 QCowL2Meta meta;
1115
1116 nb_sectors = bdrv_getlength(bs) >> 9;
1117 offset = 0;
68d100e9 1118 qemu_co_queue_init(&meta.dependent_requests);
148da7ea 1119 meta.cluster_offset = 0;
a35e1c17
KW
1120
1121 while (nb_sectors) {
1122 num = MIN(nb_sectors, INT_MAX >> 9);
148da7ea 1123 ret = qcow2_alloc_cluster_offset(bs, offset, 0, num, &num, &meta);
148da7ea 1124 if (ret < 0) {
19dbcbf7 1125 return ret;
a35e1c17
KW
1126 }
1127
19dbcbf7
KW
1128 ret = qcow2_alloc_cluster_link_l2(bs, &meta);
1129 if (ret < 0) {
148da7ea 1130 qcow2_free_any_clusters(bs, meta.cluster_offset, meta.nb_clusters);
19dbcbf7 1131 return ret;
a35e1c17
KW
1132 }
1133
f214978a
KW
1134 /* There are no dependent requests, but we need to remove our request
1135 * from the list of in-flight requests */
68d100e9 1136 run_dependent_requests(bs->opaque, &meta);
f214978a 1137
a35e1c17
KW
1138 /* TODO Preallocate data if requested */
1139
1140 nb_sectors -= num;
1141 offset += num << 9;
1142 }
1143
1144 /*
1145 * It is expected that the image file is large enough to actually contain
1146 * all of the allocated clusters (otherwise we get failing reads after
1147 * EOF). Extend the image to the last allocated sector.
1148 */
148da7ea 1149 if (meta.cluster_offset != 0) {
ea80b906
KW
1150 uint8_t buf[512];
1151 memset(buf, 0, 512);
19dbcbf7
KW
1152 ret = bdrv_write(bs->file, (meta.cluster_offset >> 9) + num - 1, buf, 1);
1153 if (ret < 0) {
1154 return ret;
1155 }
a35e1c17
KW
1156 }
1157
1158 return 0;
1159}
1160
7c80ab3f
JS
1161static int qcow2_create2(const char *filename, int64_t total_size,
1162 const char *backing_file, const char *backing_format,
1163 int flags, size_t cluster_size, int prealloc,
6744cbab 1164 QEMUOptionParameter *options, int version)
a9420734 1165{
9b2260cb 1166 /* Calculate cluster_bits */
a9420734
KW
1167 int cluster_bits;
1168 cluster_bits = ffs(cluster_size) - 1;
1169 if (cluster_bits < MIN_CLUSTER_BITS || cluster_bits > MAX_CLUSTER_BITS ||
1170 (1 << cluster_bits) != cluster_size)
1171 {
1172 error_report(
6daf194d 1173 "Cluster size must be a power of two between %d and %dk",
a9420734
KW
1174 1 << MIN_CLUSTER_BITS, 1 << (MAX_CLUSTER_BITS - 10));
1175 return -EINVAL;
1176 }
1177
1178 /*
1179 * Open the image file and write a minimal qcow2 header.
1180 *
1181 * We keep things simple and start with a zero-sized image. We also
1182 * do without refcount blocks or a L1 table for now. We'll fix the
1183 * inconsistency later.
1184 *
1185 * We do need a refcount table because growing the refcount table means
1186 * allocating two new refcount blocks - the seconds of which would be at
1187 * 2 GB for 64k clusters, and we don't want to have a 2 GB initial file
1188 * size for any qcow2 image.
1189 */
1190 BlockDriverState* bs;
1191 QCowHeader header;
1192 uint8_t* refcount_table;
1193 int ret;
1194
1195 ret = bdrv_create_file(filename, options);
1196 if (ret < 0) {
1197 return ret;
1198 }
1199
1200 ret = bdrv_file_open(&bs, filename, BDRV_O_RDWR);
1201 if (ret < 0) {
1202 return ret;
1203 }
1204
1205 /* Write the header */
1206 memset(&header, 0, sizeof(header));
1207 header.magic = cpu_to_be32(QCOW_MAGIC);
6744cbab 1208 header.version = cpu_to_be32(version);
a9420734
KW
1209 header.cluster_bits = cpu_to_be32(cluster_bits);
1210 header.size = cpu_to_be64(0);
1211 header.l1_table_offset = cpu_to_be64(0);
1212 header.l1_size = cpu_to_be32(0);
1213 header.refcount_table_offset = cpu_to_be64(cluster_size);
1214 header.refcount_table_clusters = cpu_to_be32(1);
6744cbab
KW
1215 header.refcount_order = cpu_to_be32(3 + REFCOUNT_SHIFT);
1216 header.header_length = cpu_to_be32(sizeof(header));
a9420734
KW
1217
1218 if (flags & BLOCK_FLAG_ENCRYPT) {
1219 header.crypt_method = cpu_to_be32(QCOW_CRYPT_AES);
1220 } else {
1221 header.crypt_method = cpu_to_be32(QCOW_CRYPT_NONE);
1222 }
1223
bfe8043e
SH
1224 if (flags & BLOCK_FLAG_LAZY_REFCOUNTS) {
1225 header.compatible_features |=
1226 cpu_to_be64(QCOW2_COMPAT_LAZY_REFCOUNTS);
1227 }
1228
a9420734
KW
1229 ret = bdrv_pwrite(bs, 0, &header, sizeof(header));
1230 if (ret < 0) {
1231 goto out;
1232 }
1233
1234 /* Write an empty refcount table */
7267c094 1235 refcount_table = g_malloc0(cluster_size);
a9420734 1236 ret = bdrv_pwrite(bs, cluster_size, refcount_table, cluster_size);
7267c094 1237 g_free(refcount_table);
a9420734
KW
1238
1239 if (ret < 0) {
1240 goto out;
1241 }
1242
1243 bdrv_close(bs);
1244
1245 /*
1246 * And now open the image and make it consistent first (i.e. increase the
1247 * refcount of the cluster that is occupied by the header and the refcount
1248 * table)
1249 */
1250 BlockDriver* drv = bdrv_find_format("qcow2");
1251 assert(drv != NULL);
e1a7107f
KW
1252 ret = bdrv_open(bs, filename,
1253 BDRV_O_RDWR | BDRV_O_CACHE_WB | BDRV_O_NO_FLUSH, drv);
a9420734
KW
1254 if (ret < 0) {
1255 goto out;
1256 }
1257
1258 ret = qcow2_alloc_clusters(bs, 2 * cluster_size);
1259 if (ret < 0) {
1260 goto out;
1261
1262 } else if (ret != 0) {
1263 error_report("Huh, first cluster in empty image is already in use?");
1264 abort();
1265 }
1266
1267 /* Okay, now that we have a valid image, let's give it the right size */
1268 ret = bdrv_truncate(bs, total_size * BDRV_SECTOR_SIZE);
1269 if (ret < 0) {
1270 goto out;
1271 }
1272
1273 /* Want a backing file? There you go.*/
1274 if (backing_file) {
1275 ret = bdrv_change_backing_file(bs, backing_file, backing_format);
1276 if (ret < 0) {
1277 goto out;
1278 }
1279 }
1280
1281 /* And if we're supposed to preallocate metadata, do that now */
1282 if (prealloc) {
15552c4a
ZYW
1283 BDRVQcowState *s = bs->opaque;
1284 qemu_co_mutex_lock(&s->lock);
a9420734 1285 ret = preallocate(bs);
15552c4a 1286 qemu_co_mutex_unlock(&s->lock);
a9420734
KW
1287 if (ret < 0) {
1288 goto out;
1289 }
1290 }
1291
1292 ret = 0;
1293out:
1294 bdrv_delete(bs);
1295 return ret;
1296}
de5f3f40 1297
7c80ab3f 1298static int qcow2_create(const char *filename, QEMUOptionParameter *options)
de5f3f40
KW
1299{
1300 const char *backing_file = NULL;
1301 const char *backing_fmt = NULL;
1302 uint64_t sectors = 0;
1303 int flags = 0;
99cce9fa 1304 size_t cluster_size = DEFAULT_CLUSTER_SIZE;
de5f3f40 1305 int prealloc = 0;
6744cbab 1306 int version = 2;
de5f3f40
KW
1307
1308 /* Read out options */
1309 while (options && options->name) {
1310 if (!strcmp(options->name, BLOCK_OPT_SIZE)) {
1311 sectors = options->value.n / 512;
1312 } else if (!strcmp(options->name, BLOCK_OPT_BACKING_FILE)) {
1313 backing_file = options->value.s;
1314 } else if (!strcmp(options->name, BLOCK_OPT_BACKING_FMT)) {
1315 backing_fmt = options->value.s;
1316 } else if (!strcmp(options->name, BLOCK_OPT_ENCRYPT)) {
1317 flags |= options->value.n ? BLOCK_FLAG_ENCRYPT : 0;
1318 } else if (!strcmp(options->name, BLOCK_OPT_CLUSTER_SIZE)) {
1319 if (options->value.n) {
1320 cluster_size = options->value.n;
1321 }
1322 } else if (!strcmp(options->name, BLOCK_OPT_PREALLOC)) {
1323 if (!options->value.s || !strcmp(options->value.s, "off")) {
1324 prealloc = 0;
1325 } else if (!strcmp(options->value.s, "metadata")) {
1326 prealloc = 1;
1327 } else {
1328 fprintf(stderr, "Invalid preallocation mode: '%s'\n",
1329 options->value.s);
1330 return -EINVAL;
1331 }
6744cbab
KW
1332 } else if (!strcmp(options->name, BLOCK_OPT_COMPAT_LEVEL)) {
1333 if (!options->value.s || !strcmp(options->value.s, "0.10")) {
1334 version = 2;
1335 } else if (!strcmp(options->value.s, "1.1")) {
1336 version = 3;
1337 } else {
1338 fprintf(stderr, "Invalid compatibility level: '%s'\n",
1339 options->value.s);
1340 return -EINVAL;
1341 }
bfe8043e
SH
1342 } else if (!strcmp(options->name, BLOCK_OPT_LAZY_REFCOUNTS)) {
1343 flags |= options->value.n ? BLOCK_FLAG_LAZY_REFCOUNTS : 0;
de5f3f40
KW
1344 }
1345 options++;
1346 }
1347
1348 if (backing_file && prealloc) {
1349 fprintf(stderr, "Backing file and preallocation cannot be used at "
1350 "the same time\n");
1351 return -EINVAL;
1352 }
1353
bfe8043e
SH
1354 if (version < 3 && (flags & BLOCK_FLAG_LAZY_REFCOUNTS)) {
1355 fprintf(stderr, "Lazy refcounts only supported with compatibility "
1356 "level 1.1 and above (use compat=1.1 or greater)\n");
1357 return -EINVAL;
1358 }
1359
7c80ab3f 1360 return qcow2_create2(filename, sectors, backing_file, backing_fmt, flags,
6744cbab 1361 cluster_size, prealloc, options, version);
de5f3f40
KW
1362}
1363
7c80ab3f 1364static int qcow2_make_empty(BlockDriverState *bs)
20d97356
BS
1365{
1366#if 0
1367 /* XXX: not correct */
1368 BDRVQcowState *s = bs->opaque;
1369 uint32_t l1_length = s->l1_size * sizeof(uint64_t);
1370 int ret;
1371
1372 memset(s->l1_table, 0, l1_length);
66f82cee 1373 if (bdrv_pwrite(bs->file, s->l1_table_offset, s->l1_table, l1_length) < 0)
20d97356 1374 return -1;
66f82cee 1375 ret = bdrv_truncate(bs->file, s->l1_table_offset + l1_length);
20d97356
BS
1376 if (ret < 0)
1377 return ret;
1378
1379 l2_cache_reset(bs);
1380#endif
1381 return 0;
1382}
1383
621f0589
KW
1384static coroutine_fn int qcow2_co_write_zeroes(BlockDriverState *bs,
1385 int64_t sector_num, int nb_sectors)
1386{
1387 int ret;
1388 BDRVQcowState *s = bs->opaque;
1389
1390 /* Emulate misaligned zero writes */
1391 if (sector_num % s->cluster_sectors || nb_sectors % s->cluster_sectors) {
1392 return -ENOTSUP;
1393 }
1394
1395 /* Whatever is left can use real zero clusters */
1396 qemu_co_mutex_lock(&s->lock);
1397 ret = qcow2_zero_clusters(bs, sector_num << BDRV_SECTOR_BITS,
1398 nb_sectors);
1399 qemu_co_mutex_unlock(&s->lock);
1400
1401 return ret;
1402}
1403
6db39ae2
PB
1404static coroutine_fn int qcow2_co_discard(BlockDriverState *bs,
1405 int64_t sector_num, int nb_sectors)
5ea929e3 1406{
6db39ae2
PB
1407 int ret;
1408 BDRVQcowState *s = bs->opaque;
1409
1410 qemu_co_mutex_lock(&s->lock);
1411 ret = qcow2_discard_clusters(bs, sector_num << BDRV_SECTOR_BITS,
5ea929e3 1412 nb_sectors);
6db39ae2
PB
1413 qemu_co_mutex_unlock(&s->lock);
1414 return ret;
5ea929e3
KW
1415}
1416
419b19d9
SH
1417static int qcow2_truncate(BlockDriverState *bs, int64_t offset)
1418{
1419 BDRVQcowState *s = bs->opaque;
1420 int ret, new_l1_size;
1421
1422 if (offset & 511) {
259b2173 1423 error_report("The new size must be a multiple of 512");
419b19d9
SH
1424 return -EINVAL;
1425 }
1426
1427 /* cannot proceed if image has snapshots */
1428 if (s->nb_snapshots) {
259b2173 1429 error_report("Can't resize an image which has snapshots");
419b19d9
SH
1430 return -ENOTSUP;
1431 }
1432
1433 /* shrinking is currently not supported */
1434 if (offset < bs->total_sectors * 512) {
259b2173 1435 error_report("qcow2 doesn't support shrinking images yet");
419b19d9
SH
1436 return -ENOTSUP;
1437 }
1438
1439 new_l1_size = size_to_l1(s, offset);
72893756 1440 ret = qcow2_grow_l1_table(bs, new_l1_size, true);
419b19d9
SH
1441 if (ret < 0) {
1442 return ret;
1443 }
1444
1445 /* write updated header.size */
1446 offset = cpu_to_be64(offset);
8b3b7206
KW
1447 ret = bdrv_pwrite_sync(bs->file, offsetof(QCowHeader, size),
1448 &offset, sizeof(uint64_t));
419b19d9
SH
1449 if (ret < 0) {
1450 return ret;
1451 }
1452
1453 s->l1_vm_state_index = new_l1_size;
1454 return 0;
1455}
1456
20d97356
BS
1457/* XXX: put compressed sectors first, then all the cluster aligned
1458 tables to avoid losing bytes in alignment */
7c80ab3f
JS
1459static int qcow2_write_compressed(BlockDriverState *bs, int64_t sector_num,
1460 const uint8_t *buf, int nb_sectors)
20d97356
BS
1461{
1462 BDRVQcowState *s = bs->opaque;
1463 z_stream strm;
1464 int ret, out_len;
1465 uint8_t *out_buf;
1466 uint64_t cluster_offset;
1467
1468 if (nb_sectors == 0) {
1469 /* align end of file to a sector boundary to ease reading with
1470 sector based I/Os */
66f82cee 1471 cluster_offset = bdrv_getlength(bs->file);
20d97356 1472 cluster_offset = (cluster_offset + 511) & ~511;
66f82cee 1473 bdrv_truncate(bs->file, cluster_offset);
20d97356
BS
1474 return 0;
1475 }
1476
1477 if (nb_sectors != s->cluster_sectors)
1478 return -EINVAL;
1479
7267c094 1480 out_buf = g_malloc(s->cluster_size + (s->cluster_size / 1000) + 128);
20d97356
BS
1481
1482 /* best compression, small window, no zlib header */
1483 memset(&strm, 0, sizeof(strm));
1484 ret = deflateInit2(&strm, Z_DEFAULT_COMPRESSION,
1485 Z_DEFLATED, -12,
1486 9, Z_DEFAULT_STRATEGY);
1487 if (ret != 0) {
8f1efd00
KW
1488 ret = -EINVAL;
1489 goto fail;
20d97356
BS
1490 }
1491
1492 strm.avail_in = s->cluster_size;
1493 strm.next_in = (uint8_t *)buf;
1494 strm.avail_out = s->cluster_size;
1495 strm.next_out = out_buf;
1496
1497 ret = deflate(&strm, Z_FINISH);
1498 if (ret != Z_STREAM_END && ret != Z_OK) {
20d97356 1499 deflateEnd(&strm);
8f1efd00
KW
1500 ret = -EINVAL;
1501 goto fail;
20d97356
BS
1502 }
1503 out_len = strm.next_out - out_buf;
1504
1505 deflateEnd(&strm);
1506
1507 if (ret != Z_STREAM_END || out_len >= s->cluster_size) {
1508 /* could not compress: write normal cluster */
8f1efd00
KW
1509 ret = bdrv_write(bs, sector_num, buf, s->cluster_sectors);
1510 if (ret < 0) {
1511 goto fail;
1512 }
20d97356
BS
1513 } else {
1514 cluster_offset = qcow2_alloc_compressed_cluster_offset(bs,
1515 sector_num << 9, out_len);
8f1efd00
KW
1516 if (!cluster_offset) {
1517 ret = -EIO;
1518 goto fail;
1519 }
20d97356 1520 cluster_offset &= s->cluster_offset_mask;
66f82cee 1521 BLKDBG_EVENT(bs->file, BLKDBG_WRITE_COMPRESSED);
8f1efd00
KW
1522 ret = bdrv_pwrite(bs->file, cluster_offset, out_buf, out_len);
1523 if (ret < 0) {
1524 goto fail;
20d97356
BS
1525 }
1526 }
1527
8f1efd00
KW
1528 ret = 0;
1529fail:
7267c094 1530 g_free(out_buf);
8f1efd00 1531 return ret;
20d97356
BS
1532}
1533
a968168c 1534static coroutine_fn int qcow2_co_flush_to_os(BlockDriverState *bs)
20d97356 1535{
29c1a730
KW
1536 BDRVQcowState *s = bs->opaque;
1537 int ret;
1538
8b94ff85 1539 qemu_co_mutex_lock(&s->lock);
29c1a730
KW
1540 ret = qcow2_cache_flush(bs, s->l2_table_cache);
1541 if (ret < 0) {
c95de7e2 1542 qemu_co_mutex_unlock(&s->lock);
8b94ff85 1543 return ret;
29c1a730
KW
1544 }
1545
bfe8043e
SH
1546 if (qcow2_need_accurate_refcounts(s)) {
1547 ret = qcow2_cache_flush(bs, s->refcount_block_cache);
1548 if (ret < 0) {
1549 qemu_co_mutex_unlock(&s->lock);
1550 return ret;
1551 }
29c1a730 1552 }
8b94ff85 1553 qemu_co_mutex_unlock(&s->lock);
29c1a730 1554
eb489bb1
KW
1555 return 0;
1556}
1557
7c80ab3f 1558static int64_t qcow2_vm_state_offset(BDRVQcowState *s)
20d97356
BS
1559{
1560 return (int64_t)s->l1_vm_state_index << (s->cluster_bits + s->l2_bits);
1561}
1562
7c80ab3f 1563static int qcow2_get_info(BlockDriverState *bs, BlockDriverInfo *bdi)
20d97356
BS
1564{
1565 BDRVQcowState *s = bs->opaque;
1566 bdi->cluster_size = s->cluster_size;
7c80ab3f 1567 bdi->vm_state_offset = qcow2_vm_state_offset(s);
20d97356
BS
1568 return 0;
1569}
1570
1571
4534ff54
KW
1572static int qcow2_check(BlockDriverState *bs, BdrvCheckResult *result,
1573 BdrvCheckMode fix)
20d97356 1574{
166acf54 1575 return qcow2_check_refcounts(bs, result, fix);
20d97356
BS
1576}
1577
1578#if 0
1579static void dump_refcounts(BlockDriverState *bs)
1580{
1581 BDRVQcowState *s = bs->opaque;
1582 int64_t nb_clusters, k, k1, size;
1583 int refcount;
1584
66f82cee 1585 size = bdrv_getlength(bs->file);
20d97356
BS
1586 nb_clusters = size_to_clusters(s, size);
1587 for(k = 0; k < nb_clusters;) {
1588 k1 = k;
1589 refcount = get_refcount(bs, k);
1590 k++;
1591 while (k < nb_clusters && get_refcount(bs, k) == refcount)
1592 k++;
0bfcd599
BS
1593 printf("%" PRId64 ": refcount=%d nb=%" PRId64 "\n", k, refcount,
1594 k - k1);
20d97356
BS
1595 }
1596}
1597#endif
1598
7c80ab3f
JS
1599static int qcow2_save_vmstate(BlockDriverState *bs, const uint8_t *buf,
1600 int64_t pos, int size)
20d97356
BS
1601{
1602 BDRVQcowState *s = bs->opaque;
1603 int growable = bs->growable;
1604 int ret;
1605
66f82cee 1606 BLKDBG_EVENT(bs->file, BLKDBG_VMSTATE_SAVE);
20d97356 1607 bs->growable = 1;
7c80ab3f 1608 ret = bdrv_pwrite(bs, qcow2_vm_state_offset(s) + pos, buf, size);
20d97356
BS
1609 bs->growable = growable;
1610
1611 return ret;
1612}
1613
7c80ab3f
JS
1614static int qcow2_load_vmstate(BlockDriverState *bs, uint8_t *buf,
1615 int64_t pos, int size)
20d97356
BS
1616{
1617 BDRVQcowState *s = bs->opaque;
1618 int growable = bs->growable;
1619 int ret;
1620
66f82cee 1621 BLKDBG_EVENT(bs->file, BLKDBG_VMSTATE_LOAD);
20d97356 1622 bs->growable = 1;
7c80ab3f 1623 ret = bdrv_pread(bs, qcow2_vm_state_offset(s) + pos, buf, size);
20d97356
BS
1624 bs->growable = growable;
1625
1626 return ret;
1627}
1628
7c80ab3f 1629static QEMUOptionParameter qcow2_create_options[] = {
20d97356
BS
1630 {
1631 .name = BLOCK_OPT_SIZE,
1632 .type = OPT_SIZE,
1633 .help = "Virtual disk size"
1634 },
6744cbab
KW
1635 {
1636 .name = BLOCK_OPT_COMPAT_LEVEL,
1637 .type = OPT_STRING,
1638 .help = "Compatibility level (0.10 or 1.1)"
1639 },
20d97356
BS
1640 {
1641 .name = BLOCK_OPT_BACKING_FILE,
1642 .type = OPT_STRING,
1643 .help = "File name of a base image"
1644 },
1645 {
1646 .name = BLOCK_OPT_BACKING_FMT,
1647 .type = OPT_STRING,
1648 .help = "Image format of the base image"
1649 },
1650 {
1651 .name = BLOCK_OPT_ENCRYPT,
1652 .type = OPT_FLAG,
1653 .help = "Encrypt the image"
1654 },
1655 {
1656 .name = BLOCK_OPT_CLUSTER_SIZE,
1657 .type = OPT_SIZE,
99cce9fa
KW
1658 .help = "qcow2 cluster size",
1659 .value = { .n = DEFAULT_CLUSTER_SIZE },
20d97356
BS
1660 },
1661 {
1662 .name = BLOCK_OPT_PREALLOC,
1663 .type = OPT_STRING,
1664 .help = "Preallocation mode (allowed values: off, metadata)"
1665 },
bfe8043e
SH
1666 {
1667 .name = BLOCK_OPT_LAZY_REFCOUNTS,
1668 .type = OPT_FLAG,
1669 .help = "Postpone refcount updates",
1670 },
20d97356
BS
1671 { NULL }
1672};
1673
1674static BlockDriver bdrv_qcow2 = {
7c80ab3f
JS
1675 .format_name = "qcow2",
1676 .instance_size = sizeof(BDRVQcowState),
1677 .bdrv_probe = qcow2_probe,
1678 .bdrv_open = qcow2_open,
1679 .bdrv_close = qcow2_close,
1680 .bdrv_create = qcow2_create,
f8a2e5e3 1681 .bdrv_co_is_allocated = qcow2_co_is_allocated,
7c80ab3f
JS
1682 .bdrv_set_key = qcow2_set_key,
1683 .bdrv_make_empty = qcow2_make_empty,
1684
c68b89ac
KW
1685 .bdrv_co_readv = qcow2_co_readv,
1686 .bdrv_co_writev = qcow2_co_writev,
eb489bb1 1687 .bdrv_co_flush_to_os = qcow2_co_flush_to_os,
419b19d9 1688
621f0589 1689 .bdrv_co_write_zeroes = qcow2_co_write_zeroes,
6db39ae2 1690 .bdrv_co_discard = qcow2_co_discard,
419b19d9 1691 .bdrv_truncate = qcow2_truncate,
7c80ab3f 1692 .bdrv_write_compressed = qcow2_write_compressed,
20d97356
BS
1693
1694 .bdrv_snapshot_create = qcow2_snapshot_create,
1695 .bdrv_snapshot_goto = qcow2_snapshot_goto,
1696 .bdrv_snapshot_delete = qcow2_snapshot_delete,
1697 .bdrv_snapshot_list = qcow2_snapshot_list,
51ef6727 1698 .bdrv_snapshot_load_tmp = qcow2_snapshot_load_tmp,
7c80ab3f 1699 .bdrv_get_info = qcow2_get_info,
20d97356 1700
7c80ab3f
JS
1701 .bdrv_save_vmstate = qcow2_save_vmstate,
1702 .bdrv_load_vmstate = qcow2_load_vmstate,
20d97356
BS
1703
1704 .bdrv_change_backing_file = qcow2_change_backing_file,
1705
06d9260f
AL
1706 .bdrv_invalidate_cache = qcow2_invalidate_cache,
1707
7c80ab3f
JS
1708 .create_options = qcow2_create_options,
1709 .bdrv_check = qcow2_check,
20d97356
BS
1710};
1711
5efa9d5a
AL
1712static void bdrv_qcow2_init(void)
1713{
1714 bdrv_register(&bdrv_qcow2);
1715}
1716
1717block_init(bdrv_qcow2_init);