qcow2-cluster.c 36.3 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
/*
 * Block driver for the QCOW version 2 format
 *
 * Copyright (c) 2004-2006 Fabrice Bellard
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */

#include <zlib.h>

#include "qemu-common.h"
28
#include "block/block_int.h"
29
#include "block/qcow2.h"
K
Kevin Wolf 已提交
30
#include "trace.h"
31

32
int qcow2_grow_l1_table(BlockDriverState *bs, int min_size, bool exact_size)
33 34 35 36
{
    BDRVQcowState *s = bs->opaque;
    int new_l1_size, new_l1_size2, ret, i;
    uint64_t *new_l1_table;
37
    int64_t new_l1_table_offset;
38 39
    uint8_t data[12];

40
    if (min_size <= s->l1_size)
41
        return 0;
42 43 44 45 46 47 48 49 50 51 52 53

    if (exact_size) {
        new_l1_size = min_size;
    } else {
        /* Bump size up to reduce the number of times we have to grow */
        new_l1_size = s->l1_size;
        if (new_l1_size == 0) {
            new_l1_size = 1;
        }
        while (min_size > new_l1_size) {
            new_l1_size = (new_l1_size * 3 + 1) / 2;
        }
54
    }
55

56
#ifdef DEBUG_ALLOC2
57
    fprintf(stderr, "grow l1_table from %d to %d\n", s->l1_size, new_l1_size);
58 59 60
#endif

    new_l1_size2 = sizeof(uint64_t) * new_l1_size;
61
    new_l1_table = g_malloc0(align_offset(new_l1_size2, 512));
62 63 64
    memcpy(new_l1_table, s->l1_table, s->l1_size * sizeof(uint64_t));

    /* write new table (align to cluster) */
65
    BLKDBG_EVENT(bs->file, BLKDBG_L1_GROW_ALLOC_TABLE);
K
Kevin Wolf 已提交
66
    new_l1_table_offset = qcow2_alloc_clusters(bs, new_l1_size2);
67
    if (new_l1_table_offset < 0) {
68
        g_free(new_l1_table);
69 70
        return new_l1_table_offset;
    }
K
Kevin Wolf 已提交
71 72 73

    ret = qcow2_cache_flush(bs, s->refcount_block_cache);
    if (ret < 0) {
74
        goto fail;
K
Kevin Wolf 已提交
75
    }
76

77
    BLKDBG_EVENT(bs->file, BLKDBG_L1_GROW_WRITE_TABLE);
78 79
    for(i = 0; i < s->l1_size; i++)
        new_l1_table[i] = cpu_to_be64(new_l1_table[i]);
80 81
    ret = bdrv_pwrite_sync(bs->file, new_l1_table_offset, new_l1_table, new_l1_size2);
    if (ret < 0)
82 83 84 85 86
        goto fail;
    for(i = 0; i < s->l1_size; i++)
        new_l1_table[i] = be64_to_cpu(new_l1_table[i]);

    /* set new table */
87
    BLKDBG_EVENT(bs->file, BLKDBG_L1_GROW_ACTIVATE_TABLE);
88
    cpu_to_be32w((uint32_t*)data, new_l1_size);
A
Aurelien Jarno 已提交
89
    cpu_to_be64wu((uint64_t*)(data + 4), new_l1_table_offset);
90 91
    ret = bdrv_pwrite_sync(bs->file, offsetof(QCowHeader, l1_size), data,sizeof(data));
    if (ret < 0) {
92
        goto fail;
93
    }
94
    g_free(s->l1_table);
K
Kevin Wolf 已提交
95
    qcow2_free_clusters(bs, s->l1_table_offset, s->l1_size * sizeof(uint64_t));
96 97 98 99 100
    s->l1_table_offset = new_l1_table_offset;
    s->l1_table = new_l1_table;
    s->l1_size = new_l1_size;
    return 0;
 fail:
101
    g_free(new_l1_table);
102
    qcow2_free_clusters(bs, new_l1_table_offset, new_l1_size2);
103
    return ret;
104 105 106 107 108 109 110 111 112 113 114 115
}

/*
 * l2_load
 *
 * Loads a L2 table into memory. If the table is in the cache, the cache
 * is used; otherwise the L2 table is loaded from the image file.
 *
 * Returns a pointer to the L2 table on success, or NULL if the read from
 * the image file failed.
 */

116 117
static int l2_load(BlockDriverState *bs, uint64_t l2_offset,
    uint64_t **l2_table)
118 119
{
    BDRVQcowState *s = bs->opaque;
120
    int ret;
121

K
Kevin Wolf 已提交
122
    ret = qcow2_cache_get(bs, s->l2_table_cache, l2_offset, (void**) l2_table);
123

K
Kevin Wolf 已提交
124
    return ret;
125 126
}

K
Kevin Wolf 已提交
127 128 129 130 131
/*
 * Writes one sector of the L1 table to the disk (can't update single entries
 * and we really don't want bdrv_pread to perform a read-modify-write)
 */
#define L1_ENTRIES_PER_SECTOR (512 / 8)
132
static int write_l1_entry(BlockDriverState *bs, int l1_index)
K
Kevin Wolf 已提交
133
{
134
    BDRVQcowState *s = bs->opaque;
K
Kevin Wolf 已提交
135 136
    uint64_t buf[L1_ENTRIES_PER_SECTOR];
    int l1_start_index;
137
    int i, ret;
K
Kevin Wolf 已提交
138 139 140 141 142 143

    l1_start_index = l1_index & ~(L1_ENTRIES_PER_SECTOR - 1);
    for (i = 0; i < L1_ENTRIES_PER_SECTOR; i++) {
        buf[i] = cpu_to_be64(s->l1_table[l1_start_index + i]);
    }

144
    BLKDBG_EVENT(bs->file, BLKDBG_L1_UPDATE);
145
    ret = bdrv_pwrite_sync(bs->file, s->l1_table_offset + 8 * l1_start_index,
146 147 148
        buf, sizeof(buf));
    if (ret < 0) {
        return ret;
K
Kevin Wolf 已提交
149 150 151 152 153
    }

    return 0;
}

154 155 156 157 158 159 160 161 162 163
/*
 * l2_allocate
 *
 * Allocate a new l2 entry in the file. If l1_index points to an already
 * used entry in the L2 table (i.e. we are doing a copy on write for the L2
 * table) copy the contents of the old L2 table into the newly allocated one.
 * Otherwise the new table is initialized with zeros.
 *
 */

164
static int l2_allocate(BlockDriverState *bs, int l1_index, uint64_t **table)
165 166
{
    BDRVQcowState *s = bs->opaque;
K
Kevin Wolf 已提交
167
    uint64_t old_l2_offset;
K
Kevin Wolf 已提交
168 169
    uint64_t *l2_table;
    int64_t l2_offset;
170
    int ret;
171 172 173

    old_l2_offset = s->l1_table[l1_index];

K
Kevin Wolf 已提交
174 175
    trace_qcow2_l2_allocate(bs, l1_index);

176 177
    /* allocate a new l2 entry */

K
Kevin Wolf 已提交
178
    l2_offset = qcow2_alloc_clusters(bs, s->l2_size * sizeof(uint64_t));
179
    if (l2_offset < 0) {
180
        return l2_offset;
181
    }
K
Kevin Wolf 已提交
182 183 184 185 186

    ret = qcow2_cache_flush(bs, s->refcount_block_cache);
    if (ret < 0) {
        goto fail;
    }
187 188 189

    /* allocate a new entry in the l2 cache */

K
Kevin Wolf 已提交
190
    trace_qcow2_l2_allocate_get_empty(bs, l1_index);
K
Kevin Wolf 已提交
191 192 193 194 195 196
    ret = qcow2_cache_get_empty(bs, s->l2_table_cache, l2_offset, (void**) table);
    if (ret < 0) {
        return ret;
    }

    l2_table = *table;
197

198
    if ((old_l2_offset & L1E_OFFSET_MASK) == 0) {
199 200 201
        /* if there was no old l2 table, clear the new table */
        memset(l2_table, 0, s->l2_size * sizeof(uint64_t));
    } else {
K
Kevin Wolf 已提交
202 203
        uint64_t* old_table;

204
        /* if there was an old l2 table, read it from the disk */
205
        BLKDBG_EVENT(bs->file, BLKDBG_L2_ALLOC_COW_READ);
206 207
        ret = qcow2_cache_get(bs, s->l2_table_cache,
            old_l2_offset & L1E_OFFSET_MASK,
K
Kevin Wolf 已提交
208 209 210 211 212 213 214 215
            (void**) &old_table);
        if (ret < 0) {
            goto fail;
        }

        memcpy(l2_table, old_table, s->cluster_size);

        ret = qcow2_cache_put(bs, s->l2_table_cache, (void**) &old_table);
216
        if (ret < 0) {
217
            goto fail;
218
        }
219
    }
K
Kevin Wolf 已提交
220

221
    /* write the l2 table to the file */
222
    BLKDBG_EVENT(bs->file, BLKDBG_L2_ALLOC_WRITE);
K
Kevin Wolf 已提交
223

K
Kevin Wolf 已提交
224
    trace_qcow2_l2_allocate_write_l2(bs, l1_index);
K
Kevin Wolf 已提交
225 226
    qcow2_cache_entry_mark_dirty(s->l2_table_cache, l2_table);
    ret = qcow2_cache_flush(bs, s->l2_table_cache);
227
    if (ret < 0) {
228 229 230 231
        goto fail;
    }

    /* update the L1 entry */
K
Kevin Wolf 已提交
232
    trace_qcow2_l2_allocate_write_l1(bs, l1_index);
233 234 235 236
    s->l1_table[l1_index] = l2_offset | QCOW_OFLAG_COPIED;
    ret = write_l1_entry(bs, l1_index);
    if (ret < 0) {
        goto fail;
237
    }
238

239
    *table = l2_table;
K
Kevin Wolf 已提交
240
    trace_qcow2_l2_allocate_done(bs, l1_index, 0);
241
    return 0;
242 243

fail:
K
Kevin Wolf 已提交
244
    trace_qcow2_l2_allocate_done(bs, l1_index, ret);
K
Kevin Wolf 已提交
245
    qcow2_cache_put(bs, s->l2_table_cache, (void**) table);
246
    s->l1_table[l1_index] = old_l2_offset;
247
    return ret;
248 249
}

250 251 252 253 254 255 256
/*
 * Checks how many clusters in a given L2 table are contiguous in the image
 * file. As soon as one of the flags in the bitmask stop_flags changes compared
 * to the first cluster, the search is stopped and the cluster is not counted
 * as contiguous. (This allows it, for example, to stop at the first compressed
 * cluster which may require a different handling)
 */
257
static int count_contiguous_clusters(uint64_t nb_clusters, int cluster_size,
258
        uint64_t *l2_table, uint64_t start, uint64_t stop_flags)
259 260
{
    int i;
261 262
    uint64_t mask = stop_flags | L2E_OFFSET_MASK;
    uint64_t offset = be64_to_cpu(l2_table[0]) & mask;
263 264 265 266

    if (!offset)
        return 0;

267 268 269
    for (i = start; i < start + nb_clusters; i++) {
        uint64_t l2_entry = be64_to_cpu(l2_table[i]) & mask;
        if (offset + (uint64_t) i * cluster_size != l2_entry) {
270
            break;
271 272
        }
    }
273 274 275 276 277 278

	return (i - start);
}

static int count_contiguous_free_clusters(uint64_t nb_clusters, uint64_t *l2_table)
{
279 280 281 282
    int i;

    for (i = 0; i < nb_clusters; i++) {
        int type = qcow2_get_cluster_type(be64_to_cpu(l2_table[i]));
283

284 285 286 287
        if (type != QCOW2_CLUSTER_UNALLOCATED) {
            break;
        }
    }
288 289 290 291 292 293 294

    return i;
}

/* The crypt function is compatible with the linux cryptoloop
   algorithm for < 4 GB images. NOTE: out_buf == in_buf is
   supported */
K
Kevin Wolf 已提交
295 296 297 298
void qcow2_encrypt_sectors(BDRVQcowState *s, int64_t sector_num,
                           uint8_t *out_buf, const uint8_t *in_buf,
                           int nb_sectors, int enc,
                           const AES_KEY *key)
299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316
{
    union {
        uint64_t ll[2];
        uint8_t b[16];
    } ivec;
    int i;

    for(i = 0; i < nb_sectors; i++) {
        ivec.ll[0] = cpu_to_le64(sector_num);
        ivec.ll[1] = 0;
        AES_cbc_encrypt(in_buf, out_buf, 512, key,
                        ivec.b, enc);
        sector_num++;
        in_buf += 512;
        out_buf += 512;
    }
}

317 318 319 320
static int coroutine_fn copy_sectors(BlockDriverState *bs,
                                     uint64_t start_sect,
                                     uint64_t cluster_offset,
                                     int n_start, int n_end)
321 322
{
    BDRVQcowState *s = bs->opaque;
323 324
    QEMUIOVector qiov;
    struct iovec iov;
325
    int n, ret;
K
Kevin Wolf 已提交
326 327 328 329 330 331 332 333 334

    /*
     * If this is the last cluster and it is only partially used, we must only
     * copy until the end of the image, or bdrv_check_request will fail for the
     * bdrv_read/write calls below.
     */
    if (start_sect + n_end > bs->total_sectors) {
        n_end = bs->total_sectors - start_sect;
    }
335 336

    n = n_end - n_start;
K
Kevin Wolf 已提交
337
    if (n <= 0) {
338
        return 0;
K
Kevin Wolf 已提交
339 340
    }

341 342 343 344
    iov.iov_len = n * BDRV_SECTOR_SIZE;
    iov.iov_base = qemu_blockalign(bs, iov.iov_len);

    qemu_iovec_init_external(&qiov, &iov, 1);
K
Kevin Wolf 已提交
345

346
    BLKDBG_EVENT(bs->file, BLKDBG_COW_READ);
347 348 349 350 351 352

    /* Call .bdrv_co_readv() directly instead of using the public block-layer
     * interface.  This avoids double I/O throttling and request tracking,
     * which can lead to deadlock when block layer copy-on-read is enabled.
     */
    ret = bs->drv->bdrv_co_readv(bs, start_sect + n_start, n, &qiov);
K
Kevin Wolf 已提交
353 354 355 356
    if (ret < 0) {
        goto out;
    }

357
    if (s->crypt_method) {
K
Kevin Wolf 已提交
358
        qcow2_encrypt_sectors(s, start_sect + n_start,
359
                        iov.iov_base, iov.iov_base, n, 1,
360 361
                        &s->aes_encrypt_key);
    }
K
Kevin Wolf 已提交
362

363
    BLKDBG_EVENT(bs->file, BLKDBG_COW_WRITE);
364
    ret = bdrv_co_writev(bs->file, (cluster_offset >> 9) + n_start, n, &qiov);
K
Kevin Wolf 已提交
365 366 367 368 369 370
    if (ret < 0) {
        goto out;
    }

    ret = 0;
out:
371
    qemu_vfree(iov.iov_base);
K
Kevin Wolf 已提交
372
    return ret;
373 374 375 376 377 378
}


/*
 * get_cluster_offset
 *
379 380
 * For a given offset of the disk image, find the cluster offset in
 * qcow2 file. The offset is stored in *cluster_offset.
381
 *
382
 * on entry, *num is the number of contiguous sectors we'd like to
383 384
 * access following offset.
 *
385
 * on exit, *num is the number of contiguous sectors we can read.
386
 *
387 388
 * Returns the cluster type (QCOW2_CLUSTER_*) on success, -errno in error
 * cases.
389
 */
390 391
int qcow2_get_cluster_offset(BlockDriverState *bs, uint64_t offset,
    int *num, uint64_t *cluster_offset)
392 393
{
    BDRVQcowState *s = bs->opaque;
394
    unsigned int l1_index, l2_index;
395
    uint64_t l2_offset, *l2_table;
396
    int l1_bits, c;
397 398
    unsigned int index_in_cluster, nb_clusters;
    uint64_t nb_available, nb_needed;
399
    int ret;
400 401 402 403 404 405 406 407 408 409

    index_in_cluster = (offset >> 9) & (s->cluster_sectors - 1);
    nb_needed = *num + index_in_cluster;

    l1_bits = s->l2_bits + s->cluster_bits;

    /* compute how many bytes there are between the offset and
     * the end of the l1 entry
     */

410
    nb_available = (1ULL << l1_bits) - (offset & ((1ULL << l1_bits) - 1));
411 412 413 414 415 416 417 418 419

    /* compute the number of available sectors */

    nb_available = (nb_available >> 9) + index_in_cluster;

    if (nb_needed > nb_available) {
        nb_needed = nb_available;
    }

420
    *cluster_offset = 0;
421 422 423 424

    /* seek the the l2 offset in the l1 table */

    l1_index = offset >> l1_bits;
425 426
    if (l1_index >= s->l1_size) {
        ret = QCOW2_CLUSTER_UNALLOCATED;
427
        goto out;
428
    }
429

430 431 432
    l2_offset = s->l1_table[l1_index] & L1E_OFFSET_MASK;
    if (!l2_offset) {
        ret = QCOW2_CLUSTER_UNALLOCATED;
433
        goto out;
434
    }
435 436 437

    /* load the l2 table in memory */

438 439 440
    ret = l2_load(bs, l2_offset, &l2_table);
    if (ret < 0) {
        return ret;
441
    }
442 443 444 445

    /* find the cluster offset for the given disk offset */

    l2_index = (offset >> s->cluster_bits) & (s->l2_size - 1);
446
    *cluster_offset = be64_to_cpu(l2_table[l2_index]);
447 448
    nb_clusters = size_to_clusters(s, nb_needed << 9);

449 450 451 452 453 454 455
    ret = qcow2_get_cluster_type(*cluster_offset);
    switch (ret) {
    case QCOW2_CLUSTER_COMPRESSED:
        /* Compressed clusters can only be processed one by one */
        c = 1;
        *cluster_offset &= L2E_COMPRESSED_OFFSET_SIZE_MASK;
        break;
456
    case QCOW2_CLUSTER_ZERO:
457 458 459
        if (s->qcow_version < 3) {
            return -EIO;
        }
460 461 462 463 464
        c = count_contiguous_clusters(nb_clusters, s->cluster_size,
                &l2_table[l2_index], 0,
                QCOW_OFLAG_COMPRESSED | QCOW_OFLAG_ZERO);
        *cluster_offset = 0;
        break;
465
    case QCOW2_CLUSTER_UNALLOCATED:
466 467
        /* how many empty clusters ? */
        c = count_contiguous_free_clusters(nb_clusters, &l2_table[l2_index]);
468 469 470
        *cluster_offset = 0;
        break;
    case QCOW2_CLUSTER_NORMAL:
471 472
        /* how many allocated clusters ? */
        c = count_contiguous_clusters(nb_clusters, s->cluster_size,
473 474
                &l2_table[l2_index], 0,
                QCOW_OFLAG_COMPRESSED | QCOW_OFLAG_ZERO);
475 476
        *cluster_offset &= L2E_OFFSET_MASK;
        break;
K
Kevin Wolf 已提交
477 478
    default:
        abort();
479 480
    }

K
Kevin Wolf 已提交
481 482
    qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);

483 484
    nb_available = (c * s->cluster_sectors);

485 486 487 488 489 490
out:
    if (nb_available > nb_needed)
        nb_available = nb_needed;

    *num = nb_available - index_in_cluster;

491
    return ret;
492 493 494 495 496 497 498 499 500 501 502
}

/*
 * get_cluster_table
 *
 * for a given disk offset, load (and allocate if needed)
 * the l2 table.
 *
 * the l2 table offset in the qcow2 file and the cluster index
 * in the l2 table are given to the caller.
 *
503
 * Returns 0 on success, -errno in failure case
504 505 506 507 508 509
 */
static int get_cluster_table(BlockDriverState *bs, uint64_t offset,
                             uint64_t **new_l2_table,
                             int *new_l2_index)
{
    BDRVQcowState *s = bs->opaque;
510
    unsigned int l1_index, l2_index;
511 512
    uint64_t l2_offset;
    uint64_t *l2_table = NULL;
513
    int ret;
514 515 516 517 518

    /* seek the the l2 offset in the l1 table */

    l1_index = offset >> (s->l2_bits + s->cluster_bits);
    if (l1_index >= s->l1_size) {
519
        ret = qcow2_grow_l1_table(bs, l1_index + 1, false);
520 521 522
        if (ret < 0) {
            return ret;
        }
523
    }
524 525

    l2_offset = s->l1_table[l1_index] & L1E_OFFSET_MASK;
526 527 528

    /* seek the l2 table of the given l2 offset */

529
    if (s->l1_table[l1_index] & QCOW_OFLAG_COPIED) {
530
        /* load the l2 table in memory */
531 532 533
        ret = l2_load(bs, l2_offset, &l2_table);
        if (ret < 0) {
            return ret;
534
        }
535
    } else {
K
Kevin Wolf 已提交
536
        /* First allocate a new L2 table (and do COW if needed) */
537 538 539
        ret = l2_allocate(bs, l1_index, &l2_table);
        if (ret < 0) {
            return ret;
540
        }
K
Kevin Wolf 已提交
541 542 543 544 545

        /* Then decrease the refcount of the old table */
        if (l2_offset) {
            qcow2_free_clusters(bs, l2_offset, s->l2_size * sizeof(uint64_t));
        }
546 547 548 549 550 551 552 553 554
    }

    /* find the cluster offset for the given disk offset */

    l2_index = (offset >> s->cluster_bits) & (s->l2_size - 1);

    *new_l2_table = l2_table;
    *new_l2_index = l2_index;

555
    return 0;
556 557 558 559 560 561 562 563 564 565 566 567 568 569 570
}

/*
 * alloc_compressed_cluster_offset
 *
 * For a given offset of the disk image, return cluster offset in
 * qcow2 file.
 *
 * If the offset is not found, allocate a new compressed cluster.
 *
 * Return the cluster offset if successful,
 * Return 0, otherwise.
 *
 */

K
Kevin Wolf 已提交
571 572 573
uint64_t qcow2_alloc_compressed_cluster_offset(BlockDriverState *bs,
                                               uint64_t offset,
                                               int compressed_size)
574 575 576
{
    BDRVQcowState *s = bs->opaque;
    int l2_index, ret;
577
    uint64_t *l2_table;
K
Kevin Wolf 已提交
578
    int64_t cluster_offset;
579 580
    int nb_csectors;

581
    ret = get_cluster_table(bs, offset, &l2_table, &l2_index);
582
    if (ret < 0) {
583
        return 0;
584
    }
585

586 587
    /* Compression can't overwrite anything. Fail if the cluster was already
     * allocated. */
588
    cluster_offset = be64_to_cpu(l2_table[l2_index]);
589
    if (cluster_offset & L2E_OFFSET_MASK) {
590 591 592
        qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);
        return 0;
    }
593

K
Kevin Wolf 已提交
594
    cluster_offset = qcow2_alloc_bytes(bs, compressed_size);
595
    if (cluster_offset < 0) {
K
Kevin Wolf 已提交
596
        qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);
597 598 599
        return 0;
    }

600 601 602 603 604 605 606 607 608 609
    nb_csectors = ((cluster_offset + compressed_size - 1) >> 9) -
                  (cluster_offset >> 9);

    cluster_offset |= QCOW_OFLAG_COMPRESSED |
                      ((uint64_t)nb_csectors << s->csize_shift);

    /* update L2 table */

    /* compressed clusters never have the copied flag */

610
    BLKDBG_EVENT(bs->file, BLKDBG_L2_UPDATE_COMPRESSED);
K
Kevin Wolf 已提交
611
    qcow2_cache_entry_mark_dirty(s->l2_table_cache, l2_table);
612
    l2_table[l2_index] = cpu_to_be64(cluster_offset);
K
Kevin Wolf 已提交
613
    ret = qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);
614
    if (ret < 0) {
K
Kevin Wolf 已提交
615
        return 0;
616 617
    }

K
Kevin Wolf 已提交
618
    return cluster_offset;
619 620
}

K
Kevin Wolf 已提交
621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649
static int perform_cow(BlockDriverState *bs, QCowL2Meta *m, Qcow2COWRegion *r)
{
    BDRVQcowState *s = bs->opaque;
    int ret;

    if (r->nb_sectors == 0) {
        return 0;
    }

    qemu_co_mutex_unlock(&s->lock);
    ret = copy_sectors(bs, m->offset / BDRV_SECTOR_SIZE, m->alloc_offset,
                       r->offset / BDRV_SECTOR_SIZE,
                       r->offset / BDRV_SECTOR_SIZE + r->nb_sectors);
    qemu_co_mutex_lock(&s->lock);

    if (ret < 0) {
        return ret;
    }

    /*
     * Before we update the L2 table to actually point to the new cluster, we
     * need to be sure that the refcounts have been increased and COW was
     * handled.
     */
    qcow2_cache_depends_on_flush(s->l2_table_cache);

    return 0;
}

650
int qcow2_alloc_cluster_link_l2(BlockDriverState *bs, QCowL2Meta *m)
651 652 653
{
    BDRVQcowState *s = bs->opaque;
    int i, j = 0, l2_index, ret;
K
Kevin Wolf 已提交
654
    uint64_t *old_cluster, *l2_table;
655
    uint64_t cluster_offset = m->alloc_offset;
656

K
Kevin Wolf 已提交
657
    trace_qcow2_cluster_link_l2(qemu_coroutine_self(), m->nb_clusters);
658
    assert(m->nb_clusters > 0);
659

660
    old_cluster = g_malloc(m->nb_clusters * sizeof(uint64_t));
661 662

    /* copy content of unmodified sectors */
K
Kevin Wolf 已提交
663 664 665
    ret = perform_cow(bs, m, &m->cow_start);
    if (ret < 0) {
        goto err;
666 667
    }

K
Kevin Wolf 已提交
668 669 670
    ret = perform_cow(bs, m, &m->cow_end);
    if (ret < 0) {
        goto err;
K
Kevin Wolf 已提交
671 672
    }

K
Kevin Wolf 已提交
673
    /* Update L2 table. */
674
    if (s->use_lazy_refcounts) {
675 676
        qcow2_mark_dirty(bs);
    }
677 678 679 680
    if (qcow2_need_accurate_refcounts(s)) {
        qcow2_cache_set_dependency(bs, s->l2_table_cache,
                                   s->refcount_block_cache);
    }
681

682
    ret = get_cluster_table(bs, m->offset, &l2_table, &l2_index);
683
    if (ret < 0) {
684
        goto err;
685
    }
K
Kevin Wolf 已提交
686
    qcow2_cache_entry_mark_dirty(s->l2_table_cache, l2_table);
687 688 689 690 691 692 693 694 695 696 697 698 699 700 701

    for (i = 0; i < m->nb_clusters; i++) {
        /* if two concurrent writes happen to the same unallocated cluster
	 * each write allocates separate cluster and writes data concurrently.
	 * The first one to complete updates l2 table with pointer to its
	 * cluster the second one has to do RMW (which is done above by
	 * copy_sectors()), update l2 table with its cluster pointer and free
	 * old cluster. This is what this loop does */
        if(l2_table[l2_index + i] != 0)
            old_cluster[j++] = l2_table[l2_index + i];

        l2_table[l2_index + i] = cpu_to_be64((cluster_offset +
                    (i << s->cluster_bits)) | QCOW_OFLAG_COPIED);
     }

702

K
Kevin Wolf 已提交
703
    ret = qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);
704
    if (ret < 0) {
705
        goto err;
706
    }
707

708 709 710 711 712 713
    /*
     * If this was a COW, we need to decrease the refcount of the old cluster.
     * Also flush bs->file to get the right order for L2 and refcount update.
     */
    if (j != 0) {
        for (i = 0; i < j; i++) {
714
            qcow2_free_any_clusters(bs, be64_to_cpu(old_cluster[i]), 1);
715 716
        }
    }
717 718 719

    ret = 0;
err:
720
    g_free(old_cluster);
721 722 723
    return ret;
 }

724 725 726 727 728 729 730 731
/*
 * Returns the number of contiguous clusters that can be used for an allocating
 * write, but require COW to be performed (this includes yet unallocated space,
 * which must copy from the backing file)
 */
static int count_cow_clusters(BDRVQcowState *s, int nb_clusters,
    uint64_t *l2_table, int l2_index)
{
K
Kevin Wolf 已提交
732
    int i;
733

K
Kevin Wolf 已提交
734 735 736 737 738 739 740 741 742
    for (i = 0; i < nb_clusters; i++) {
        uint64_t l2_entry = be64_to_cpu(l2_table[l2_index + i]);
        int cluster_type = qcow2_get_cluster_type(l2_entry);

        switch(cluster_type) {
        case QCOW2_CLUSTER_NORMAL:
            if (l2_entry & QCOW_OFLAG_COPIED) {
                goto out;
            }
743
            break;
K
Kevin Wolf 已提交
744 745
        case QCOW2_CLUSTER_UNALLOCATED:
        case QCOW2_CLUSTER_COMPRESSED:
746
        case QCOW2_CLUSTER_ZERO:
747
            break;
K
Kevin Wolf 已提交
748 749 750
        default:
            abort();
        }
751 752
    }

K
Kevin Wolf 已提交
753
out:
754 755 756 757
    assert(i <= nb_clusters);
    return i;
}

758
/*
759 760 761
 * Check if there already is an AIO write request in flight which allocates
 * the same cluster. In this case we need to wait until the previous
 * request has completed and updated the L2 table accordingly.
762
 */
763 764
static int handle_dependencies(BlockDriverState *bs, uint64_t guest_offset,
    unsigned int *nb_clusters)
765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800
{
    BDRVQcowState *s = bs->opaque;
    QCowL2Meta *old_alloc;

    QLIST_FOREACH(old_alloc, &s->cluster_allocs, next_in_flight) {

        uint64_t start = guest_offset >> s->cluster_bits;
        uint64_t end = start + *nb_clusters;
        uint64_t old_start = old_alloc->offset >> s->cluster_bits;
        uint64_t old_end = old_start + old_alloc->nb_clusters;

        if (end < old_start || start > old_end) {
            /* No intersection */
        } else {
            if (start < old_start) {
                /* Stop at the start of a running allocation */
                *nb_clusters = old_start - start;
            } else {
                *nb_clusters = 0;
            }

            if (*nb_clusters == 0) {
                /* Wait for the dependency to complete. We need to recheck
                 * the free/allocated clusters when we continue. */
                qemu_co_mutex_unlock(&s->lock);
                qemu_co_queue_wait(&old_alloc->dependent_requests);
                qemu_co_mutex_lock(&s->lock);
                return -EAGAIN;
            }
        }
    }

    if (!*nb_clusters) {
        abort();
    }

801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836
    return 0;
}

/*
 * Allocates new clusters for the given guest_offset.
 *
 * At most *nb_clusters are allocated, and on return *nb_clusters is updated to
 * contain the number of clusters that have been allocated and are contiguous
 * in the image file.
 *
 * If *host_offset is non-zero, it specifies the offset in the image file at
 * which the new clusters must start. *nb_clusters can be 0 on return in this
 * case if the cluster at host_offset is already in use. If *host_offset is
 * zero, the clusters can be allocated anywhere in the image file.
 *
 * *host_offset is updated to contain the offset into the image file at which
 * the first allocated cluster starts.
 *
 * Return 0 on success and -errno in error cases. -EAGAIN means that the
 * function has been waiting for another request and the allocation must be
 * restarted, but the whole request should not be failed.
 */
static int do_alloc_cluster_offset(BlockDriverState *bs, uint64_t guest_offset,
    uint64_t *host_offset, unsigned int *nb_clusters)
{
    BDRVQcowState *s = bs->opaque;
    int ret;

    trace_qcow2_do_alloc_clusters_offset(qemu_coroutine_self(), guest_offset,
                                         *host_offset, *nb_clusters);

    ret = handle_dependencies(bs, guest_offset, nb_clusters);
    if (ret < 0) {
        return ret;
    }

837 838 839
    /* Allocate new clusters */
    trace_qcow2_cluster_alloc_phys(qemu_coroutine_self());
    if (*host_offset == 0) {
840 841 842 843 844 845 846
        int64_t cluster_offset =
            qcow2_alloc_clusters(bs, *nb_clusters * s->cluster_size);
        if (cluster_offset < 0) {
            return cluster_offset;
        }
        *host_offset = cluster_offset;
        return 0;
847
    } else {
848
        ret = qcow2_alloc_clusters_at(bs, *host_offset, *nb_clusters);
849 850 851 852 853
        if (ret < 0) {
            return ret;
        }
        *nb_clusters = ret;
        return 0;
854 855 856
    }
}

857 858 859
/*
 * alloc_cluster_offset
 *
860 861
 * For a given offset on the virtual disk, find the cluster offset in qcow2
 * file. If the offset is not found, allocate a new cluster.
862
 *
863
 * If the cluster was already allocated, m->nb_clusters is set to 0 and
864
 * other fields in m are meaningless.
865 866
 *
 * If the cluster is newly allocated, m->nb_clusters is set to the number of
K
Kevin Wolf 已提交
867 868 869
 * contiguous clusters that have been allocated. In this case, the other
 * fields of m are valid and contain information about the first allocated
 * cluster.
870
 *
K
Kevin Wolf 已提交
871 872
 * If the request conflicts with another write request in flight, the coroutine
 * is queued and will be reentered when the dependency has completed.
873 874
 *
 * Return 0 on success and -errno in error cases
875
 */
K
Kevin Wolf 已提交
876
int qcow2_alloc_cluster_offset(BlockDriverState *bs, uint64_t offset,
877
    int n_start, int n_end, int *num, uint64_t *host_offset, QCowL2Meta **m)
878 879
{
    BDRVQcowState *s = bs->opaque;
880
    int l2_index, ret, sectors;
881
    uint64_t *l2_table;
882 883
    unsigned int nb_clusters, keep_clusters;
    uint64_t cluster_offset;
884

K
Kevin Wolf 已提交
885 886 887
    trace_qcow2_alloc_clusters_offset(qemu_coroutine_self(), offset,
                                      n_start, n_end);

888
    /* Find L2 entry for the first involved cluster */
889
again:
890
    ret = get_cluster_table(bs, offset, &l2_table, &l2_index);
891
    if (ret < 0) {
892
        return ret;
893
    }
894

895 896 897 898 899 900
    /*
     * Calculate the number of clusters to look for. We stop at L2 table
     * boundaries to keep things simple.
     */
    nb_clusters = MIN(size_to_clusters(s, n_end << BDRV_SECTOR_BITS),
                      s->l2_size - l2_index);
901 902 903

    cluster_offset = be64_to_cpu(l2_table[l2_index]);

904 905 906 907
    /*
     * Check how many clusters are already allocated and don't need COW, and how
     * many need a new allocation.
     */
908 909 910
    if (qcow2_get_cluster_type(cluster_offset) == QCOW2_CLUSTER_NORMAL
        && (cluster_offset & QCOW_OFLAG_COPIED))
    {
911
        /* We keep all QCOW_OFLAG_COPIED clusters */
912 913 914 915
        keep_clusters =
            count_contiguous_clusters(nb_clusters, s->cluster_size,
                                      &l2_table[l2_index], 0,
                                      QCOW_OFLAG_COPIED | QCOW_OFLAG_ZERO);
916 917 918
        assert(keep_clusters <= nb_clusters);
        nb_clusters -= keep_clusters;
    } else {
919 920 921 922 923
        keep_clusters = 0;
        cluster_offset = 0;
    }

    if (nb_clusters > 0) {
924
        /* For the moment, overwrite compressed clusters one by one */
925 926
        uint64_t entry = be64_to_cpu(l2_table[l2_index + keep_clusters]);
        if (entry & QCOW_OFLAG_COMPRESSED) {
927 928
            nb_clusters = 1;
        } else {
929 930
            nb_clusters = count_cow_clusters(s, nb_clusters, l2_table,
                                             l2_index + keep_clusters);
931
        }
932 933
    }

934
    cluster_offset &= L2E_OFFSET_MASK;
935

936 937 938 939 940 941 942 943 944 945 946 947
    /*
     * The L2 table isn't used any more after this. As long as the cache works
     * synchronously, it's important to release it before calling
     * do_alloc_cluster_offset, which may yield if we need to wait for another
     * request to complete. If we still had the reference, we could use up the
     * whole cache with sleeping requests.
     */
    ret = qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);
    if (ret < 0) {
        return ret;
    }

948 949 950 951 952
    /* If there is something left to allocate, do that now */
    if (nb_clusters > 0) {
        uint64_t alloc_offset;
        uint64_t alloc_cluster_offset;
        uint64_t keep_bytes = keep_clusters * s->cluster_size;
953

954 955
        /* Calculate start and size of allocation */
        alloc_offset = offset + keep_bytes;
956

957 958
        if (keep_clusters == 0) {
            alloc_cluster_offset = 0;
959
        } else {
960
            alloc_cluster_offset = cluster_offset + keep_bytes;
961 962
        }

963 964
        /* Allocate, if necessary at a given offset in the image file */
        ret = do_alloc_cluster_offset(bs, alloc_offset, &alloc_cluster_offset,
965
                                      &nb_clusters);
966 967 968 969 970
        if (ret == -EAGAIN) {
            goto again;
        } else if (ret < 0) {
            goto fail;
        }
971

972 973
        /* save info needed for meta data update */
        if (nb_clusters > 0) {
974 975 976 977 978 979 980
            /*
             * requested_sectors: Number of sectors from the start of the first
             * newly allocated cluster to the end of the (possibly shortened
             * before) write request.
             *
             * avail_sectors: Number of sectors from the start of the first
             * newly allocated to the end of the last newly allocated cluster.
K
Kevin Wolf 已提交
981 982 983 984
             *
             * nb_sectors: The number of sectors from the start of the first
             * newly allocated cluster to the end of the aread that the write
             * request actually writes to (excluding COW at the end)
985
             */
986
            int requested_sectors = n_end - keep_clusters * s->cluster_sectors;
987
            int avail_sectors = nb_clusters
988
                                << (s->cluster_bits - BDRV_SECTOR_BITS);
K
Kevin Wolf 已提交
989 990
            int alloc_n_start = keep_clusters == 0 ? n_start : 0;
            int nb_sectors = MIN(requested_sectors, avail_sectors);
991

K
Kevin Wolf 已提交
992 993 994 995
            if (keep_clusters == 0) {
                cluster_offset = alloc_cluster_offset;
            }

996 997 998
            *m = g_malloc0(sizeof(**m));

            **m = (QCowL2Meta) {
999
                .alloc_offset   = alloc_cluster_offset,
1000
                .offset         = alloc_offset & ~(s->cluster_size - 1),
1001
                .nb_clusters    = nb_clusters,
K
Kevin Wolf 已提交
1002 1003 1004 1005 1006 1007 1008 1009 1010 1011
                .nb_available   = nb_sectors,

                .cow_start = {
                    .offset     = 0,
                    .nb_sectors = alloc_n_start,
                },
                .cow_end = {
                    .offset     = nb_sectors * BDRV_SECTOR_SIZE,
                    .nb_sectors = avail_sectors - nb_sectors,
                },
1012
            };
1013 1014
            qemu_co_queue_init(&(*m)->dependent_requests);
            QLIST_INSERT_HEAD(&s->cluster_allocs, *m, next_in_flight);
1015
        }
1016
    }
1017

1018 1019 1020 1021 1022
    /* Some cleanup work */
    sectors = (keep_clusters + nb_clusters) << (s->cluster_bits - 9);
    if (sectors > n_end) {
        sectors = n_end;
    }
1023

1024 1025
    assert(sectors > n_start);
    *num = sectors - n_start;
K
Kevin Wolf 已提交
1026
    *host_offset = cluster_offset;
1027

1028
    return 0;
K
Kevin Wolf 已提交
1029 1030

fail:
1031 1032
    if (*m && (*m)->nb_clusters > 0) {
        QLIST_REMOVE(*m, next_in_flight);
1033
    }
K
Kevin Wolf 已提交
1034
    return ret;
1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063
}

static int decompress_buffer(uint8_t *out_buf, int out_buf_size,
                             const uint8_t *buf, int buf_size)
{
    z_stream strm1, *strm = &strm1;
    int ret, out_len;

    memset(strm, 0, sizeof(*strm));

    strm->next_in = (uint8_t *)buf;
    strm->avail_in = buf_size;
    strm->next_out = out_buf;
    strm->avail_out = out_buf_size;

    ret = inflateInit2(strm, -12);
    if (ret != Z_OK)
        return -1;
    ret = inflate(strm, Z_FINISH);
    out_len = strm->next_out - out_buf;
    if ((ret != Z_STREAM_END && ret != Z_BUF_ERROR) ||
        out_len != out_buf_size) {
        inflateEnd(strm);
        return -1;
    }
    inflateEnd(strm);
    return 0;
}

1064
int qcow2_decompress_cluster(BlockDriverState *bs, uint64_t cluster_offset)
1065
{
1066
    BDRVQcowState *s = bs->opaque;
1067 1068 1069 1070 1071 1072 1073 1074
    int ret, csize, nb_csectors, sector_offset;
    uint64_t coffset;

    coffset = cluster_offset & s->cluster_offset_mask;
    if (s->cluster_cache_offset != coffset) {
        nb_csectors = ((cluster_offset >> s->csize_shift) & s->csize_mask) + 1;
        sector_offset = coffset & 511;
        csize = nb_csectors * 512 - sector_offset;
1075 1076
        BLKDBG_EVENT(bs->file, BLKDBG_READ_COMPRESSED);
        ret = bdrv_read(bs->file, coffset >> 9, s->cluster_data, nb_csectors);
1077
        if (ret < 0) {
1078
            return ret;
1079 1080 1081
        }
        if (decompress_buffer(s->cluster_cache, s->cluster_size,
                              s->cluster_data + sector_offset, csize) < 0) {
1082
            return -EIO;
1083 1084 1085 1086 1087
        }
        s->cluster_cache_offset = coffset;
    }
    return 0;
}
K
Kevin Wolf 已提交
1088 1089 1090 1091 1092 1093 1094 1095 1096 1097

/*
 * This discards as many clusters of nb_clusters as possible at once (i.e.
 * all clusters in the same L2 table) and returns the number of discarded
 * clusters.
 */
static int discard_single_l2(BlockDriverState *bs, uint64_t offset,
    unsigned int nb_clusters)
{
    BDRVQcowState *s = bs->opaque;
1098
    uint64_t *l2_table;
K
Kevin Wolf 已提交
1099 1100 1101 1102
    int l2_index;
    int ret;
    int i;

1103
    ret = get_cluster_table(bs, offset, &l2_table, &l2_index);
K
Kevin Wolf 已提交
1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114
    if (ret < 0) {
        return ret;
    }

    /* Limit nb_clusters to one L2 table */
    nb_clusters = MIN(nb_clusters, s->l2_size - l2_index);

    for (i = 0; i < nb_clusters; i++) {
        uint64_t old_offset;

        old_offset = be64_to_cpu(l2_table[l2_index + i]);
1115
        if ((old_offset & L2E_OFFSET_MASK) == 0) {
K
Kevin Wolf 已提交
1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167
            continue;
        }

        /* First remove L2 entries */
        qcow2_cache_entry_mark_dirty(s->l2_table_cache, l2_table);
        l2_table[l2_index + i] = cpu_to_be64(0);

        /* Then decrease the refcount */
        qcow2_free_any_clusters(bs, old_offset, 1);
    }

    ret = qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);
    if (ret < 0) {
        return ret;
    }

    return nb_clusters;
}

int qcow2_discard_clusters(BlockDriverState *bs, uint64_t offset,
    int nb_sectors)
{
    BDRVQcowState *s = bs->opaque;
    uint64_t end_offset;
    unsigned int nb_clusters;
    int ret;

    end_offset = offset + (nb_sectors << BDRV_SECTOR_BITS);

    /* Round start up and end down */
    offset = align_offset(offset, s->cluster_size);
    end_offset &= ~(s->cluster_size - 1);

    if (offset > end_offset) {
        return 0;
    }

    nb_clusters = size_to_clusters(s, end_offset - offset);

    /* Each L2 table is handled by its own loop iteration */
    while (nb_clusters > 0) {
        ret = discard_single_l2(bs, offset, nb_clusters);
        if (ret < 0) {
            return ret;
        }

        nb_clusters -= ret;
        offset += (ret * s->cluster_size);
    }

    return 0;
}
K
Kevin Wolf 已提交
1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239

/*
 * This zeroes as many clusters of nb_clusters as possible at once (i.e.
 * all clusters in the same L2 table) and returns the number of zeroed
 * clusters.
 */
static int zero_single_l2(BlockDriverState *bs, uint64_t offset,
    unsigned int nb_clusters)
{
    BDRVQcowState *s = bs->opaque;
    uint64_t *l2_table;
    int l2_index;
    int ret;
    int i;

    ret = get_cluster_table(bs, offset, &l2_table, &l2_index);
    if (ret < 0) {
        return ret;
    }

    /* Limit nb_clusters to one L2 table */
    nb_clusters = MIN(nb_clusters, s->l2_size - l2_index);

    for (i = 0; i < nb_clusters; i++) {
        uint64_t old_offset;

        old_offset = be64_to_cpu(l2_table[l2_index + i]);

        /* Update L2 entries */
        qcow2_cache_entry_mark_dirty(s->l2_table_cache, l2_table);
        if (old_offset & QCOW_OFLAG_COMPRESSED) {
            l2_table[l2_index + i] = cpu_to_be64(QCOW_OFLAG_ZERO);
            qcow2_free_any_clusters(bs, old_offset, 1);
        } else {
            l2_table[l2_index + i] |= cpu_to_be64(QCOW_OFLAG_ZERO);
        }
    }

    ret = qcow2_cache_put(bs, s->l2_table_cache, (void**) &l2_table);
    if (ret < 0) {
        return ret;
    }

    return nb_clusters;
}

int qcow2_zero_clusters(BlockDriverState *bs, uint64_t offset, int nb_sectors)
{
    BDRVQcowState *s = bs->opaque;
    unsigned int nb_clusters;
    int ret;

    /* The zero flag is only supported by version 3 and newer */
    if (s->qcow_version < 3) {
        return -ENOTSUP;
    }

    /* Each L2 table is handled by its own loop iteration */
    nb_clusters = size_to_clusters(s, nb_sectors << BDRV_SECTOR_BITS);

    while (nb_clusters > 0) {
        ret = zero_single_l2(bs, offset, nb_clusters);
        if (ret < 0) {
            return ret;
        }

        nb_clusters -= ret;
        offset += (ret * s->cluster_size);
    }

    return 0;
}