qcow2-snapshot.c 22.2 KB
Newer Older
K
Kevin Wolf 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
/*
 * 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.
 */

P
Peter Maydell 已提交
25
#include "qemu/osdep.h"
26
#include "qapi/error.h"
27
#include "block/block_int.h"
28
#include "qcow2.h"
29
#include "qemu/bswap.h"
30
#include "qemu/error-report.h"
31
#include "qemu/cutils.h"
K
Kevin Wolf 已提交
32

K
Kevin Wolf 已提交
33
void qcow2_free_snapshots(BlockDriverState *bs)
K
Kevin Wolf 已提交
34
{
35
    BDRVQcow2State *s = bs->opaque;
K
Kevin Wolf 已提交
36 37 38
    int i;

    for(i = 0; i < s->nb_snapshots; i++) {
39 40
        g_free(s->snapshots[i].name);
        g_free(s->snapshots[i].id_str);
K
Kevin Wolf 已提交
41
    }
42
    g_free(s->snapshots);
K
Kevin Wolf 已提交
43 44 45 46
    s->snapshots = NULL;
    s->nb_snapshots = 0;
}

K
Kevin Wolf 已提交
47
int qcow2_read_snapshots(BlockDriverState *bs)
K
Kevin Wolf 已提交
48
{
49
    BDRVQcow2State *s = bs->opaque;
K
Kevin Wolf 已提交
50
    QCowSnapshotHeader h;
K
Kevin Wolf 已提交
51
    QCowSnapshotExtraData extra;
K
Kevin Wolf 已提交
52 53 54 55
    QCowSnapshot *sn;
    int i, id_str_size, name_size;
    int64_t offset;
    uint32_t extra_data_size;
56
    int ret;
K
Kevin Wolf 已提交
57 58 59 60 61 62 63 64

    if (!s->nb_snapshots) {
        s->snapshots = NULL;
        s->snapshots_size = 0;
        return 0;
    }

    offset = s->snapshots_offset;
65
    s->snapshots = g_new0(QCowSnapshot, s->nb_snapshots);
66

K
Kevin Wolf 已提交
67
    for(i = 0; i < s->nb_snapshots; i++) {
68
        /* Read statically sized part of the snapshot header */
69
        offset = ROUND_UP(offset, 8);
70
        ret = bdrv_pread(bs->file, offset, &h, sizeof(h));
71
        if (ret < 0) {
K
Kevin Wolf 已提交
72
            goto fail;
73 74
        }

K
Kevin Wolf 已提交
75 76 77 78 79 80 81 82 83 84 85 86 87
        offset += sizeof(h);
        sn = s->snapshots + i;
        sn->l1_table_offset = be64_to_cpu(h.l1_table_offset);
        sn->l1_size = be32_to_cpu(h.l1_size);
        sn->vm_state_size = be32_to_cpu(h.vm_state_size);
        sn->date_sec = be32_to_cpu(h.date_sec);
        sn->date_nsec = be32_to_cpu(h.date_nsec);
        sn->vm_clock_nsec = be64_to_cpu(h.vm_clock_nsec);
        extra_data_size = be32_to_cpu(h.extra_data_size);

        id_str_size = be16_to_cpu(h.id_str_size);
        name_size = be16_to_cpu(h.name_size);

K
Kevin Wolf 已提交
88
        /* Read extra data */
89
        ret = bdrv_pread(bs->file, offset, &extra,
K
Kevin Wolf 已提交
90 91 92 93
                         MIN(sizeof(extra), extra_data_size));
        if (ret < 0) {
            goto fail;
        }
K
Kevin Wolf 已提交
94 95
        offset += extra_data_size;

K
Kevin Wolf 已提交
96 97 98 99
        if (extra_data_size >= 8) {
            sn->vm_state_size = be64_to_cpu(extra.vm_state_size_large);
        }

100 101 102 103 104 105
        if (extra_data_size >= 16) {
            sn->disk_size = be64_to_cpu(extra.disk_size);
        } else {
            sn->disk_size = bs->total_sectors * BDRV_SECTOR_SIZE;
        }

106
        /* Read snapshot ID */
107
        sn->id_str = g_malloc(id_str_size + 1);
108
        ret = bdrv_pread(bs->file, offset, sn->id_str, id_str_size);
109
        if (ret < 0) {
K
Kevin Wolf 已提交
110
            goto fail;
111
        }
K
Kevin Wolf 已提交
112 113 114
        offset += id_str_size;
        sn->id_str[id_str_size] = '\0';

115
        /* Read snapshot name */
116
        sn->name = g_malloc(name_size + 1);
117
        ret = bdrv_pread(bs->file, offset, sn->name, name_size);
118
        if (ret < 0) {
K
Kevin Wolf 已提交
119
            goto fail;
120
        }
K
Kevin Wolf 已提交
121 122
        offset += name_size;
        sn->name[name_size] = '\0';
K
Kevin Wolf 已提交
123 124 125 126 127

        if (offset - s->snapshots_offset > QCOW_MAX_SNAPSHOTS_SIZE) {
            ret = -EFBIG;
            goto fail;
        }
K
Kevin Wolf 已提交
128
    }
129

K
Kevin Wolf 已提交
130
    assert(offset - s->snapshots_offset <= INT_MAX);
K
Kevin Wolf 已提交
131 132
    s->snapshots_size = offset - s->snapshots_offset;
    return 0;
133 134

fail:
K
Kevin Wolf 已提交
135
    qcow2_free_snapshots(bs);
136
    return ret;
K
Kevin Wolf 已提交
137 138 139
}

/* add at the end of the file a new list of snapshots */
140
static int qcow2_write_snapshots(BlockDriverState *bs)
K
Kevin Wolf 已提交
141
{
142
    BDRVQcow2State *s = bs->opaque;
K
Kevin Wolf 已提交
143 144
    QCowSnapshot *sn;
    QCowSnapshotHeader h;
K
Kevin Wolf 已提交
145
    QCowSnapshotExtraData extra;
K
Kevin Wolf 已提交
146
    int i, name_size, id_str_size, snapshots_size;
147 148 149 150
    struct {
        uint32_t nb_snapshots;
        uint64_t snapshots_offset;
    } QEMU_PACKED header_data;
K
Kevin Wolf 已提交
151
    int64_t offset, snapshots_offset = 0;
152
    int ret;
K
Kevin Wolf 已提交
153 154 155 156 157

    /* compute the size of the snapshots */
    offset = 0;
    for(i = 0; i < s->nb_snapshots; i++) {
        sn = s->snapshots + i;
158
        offset = ROUND_UP(offset, 8);
K
Kevin Wolf 已提交
159
        offset += sizeof(h);
K
Kevin Wolf 已提交
160
        offset += sizeof(extra);
K
Kevin Wolf 已提交
161 162
        offset += strlen(sn->id_str);
        offset += strlen(sn->name);
K
Kevin Wolf 已提交
163 164 165 166 167

        if (offset > QCOW_MAX_SNAPSHOTS_SIZE) {
            ret = -EFBIG;
            goto fail;
        }
K
Kevin Wolf 已提交
168
    }
K
Kevin Wolf 已提交
169 170

    assert(offset <= INT_MAX);
K
Kevin Wolf 已提交
171 172
    snapshots_size = offset;

173
    /* Allocate space for the new snapshot list */
K
Kevin Wolf 已提交
174
    snapshots_offset = qcow2_alloc_clusters(bs, snapshots_size);
K
Kevin Wolf 已提交
175
    offset = snapshots_offset;
176
    if (offset < 0) {
177 178
        ret = offset;
        goto fail;
179
    }
180 181
    ret = bdrv_flush(bs);
    if (ret < 0) {
182
        goto fail;
183
    }
K
Kevin Wolf 已提交
184

185 186
    /* The snapshot list position has not yet been updated, so these clusters
     * must indeed be completely free */
K
Kevin Wolf 已提交
187
    ret = qcow2_pre_write_overlap_check(bs, 0, offset, snapshots_size, false);
188
    if (ret < 0) {
189
        goto fail;
190 191 192
    }


193
    /* Write all snapshots to the new list */
K
Kevin Wolf 已提交
194 195 196 197 198
    for(i = 0; i < s->nb_snapshots; i++) {
        sn = s->snapshots + i;
        memset(&h, 0, sizeof(h));
        h.l1_table_offset = cpu_to_be64(sn->l1_table_offset);
        h.l1_size = cpu_to_be32(sn->l1_size);
K
Kevin Wolf 已提交
199 200 201 202 203
        /* If it doesn't fit in 32 bit, older implementations should treat it
         * as a disk-only snapshot rather than truncate the VM state */
        if (sn->vm_state_size <= 0xffffffff) {
            h.vm_state_size = cpu_to_be32(sn->vm_state_size);
        }
K
Kevin Wolf 已提交
204 205 206
        h.date_sec = cpu_to_be32(sn->date_sec);
        h.date_nsec = cpu_to_be32(sn->date_nsec);
        h.vm_clock_nsec = cpu_to_be64(sn->vm_clock_nsec);
K
Kevin Wolf 已提交
207 208 209 210
        h.extra_data_size = cpu_to_be32(sizeof(extra));

        memset(&extra, 0, sizeof(extra));
        extra.vm_state_size_large = cpu_to_be64(sn->vm_state_size);
211
        extra.disk_size = cpu_to_be64(sn->disk_size);
K
Kevin Wolf 已提交
212 213 214

        id_str_size = strlen(sn->id_str);
        name_size = strlen(sn->name);
215
        assert(id_str_size <= UINT16_MAX && name_size <= UINT16_MAX);
K
Kevin Wolf 已提交
216 217
        h.id_str_size = cpu_to_be16(id_str_size);
        h.name_size = cpu_to_be16(name_size);
218
        offset = ROUND_UP(offset, 8);
219

220
        ret = bdrv_pwrite(bs->file, offset, &h, sizeof(h));
221
        if (ret < 0) {
K
Kevin Wolf 已提交
222
            goto fail;
223
        }
K
Kevin Wolf 已提交
224
        offset += sizeof(h);
225

226
        ret = bdrv_pwrite(bs->file, offset, &extra, sizeof(extra));
K
Kevin Wolf 已提交
227 228 229 230 231
        if (ret < 0) {
            goto fail;
        }
        offset += sizeof(extra);

232
        ret = bdrv_pwrite(bs->file, offset, sn->id_str, id_str_size);
233
        if (ret < 0) {
K
Kevin Wolf 已提交
234
            goto fail;
235
        }
K
Kevin Wolf 已提交
236
        offset += id_str_size;
237

238
        ret = bdrv_pwrite(bs->file, offset, sn->name, name_size);
239
        if (ret < 0) {
K
Kevin Wolf 已提交
240
            goto fail;
241
        }
K
Kevin Wolf 已提交
242 243 244
        offset += name_size;
    }

245 246 247 248 249 250 251 252 253
    /*
     * Update the header to point to the new snapshot table. This requires the
     * new table and its refcounts to be stable on disk.
     */
    ret = bdrv_flush(bs);
    if (ret < 0) {
        goto fail;
    }

254 255 256 257 258
    QEMU_BUILD_BUG_ON(offsetof(QCowHeader, snapshots_offset) !=
        offsetof(QCowHeader, nb_snapshots) + sizeof(header_data.nb_snapshots));

    header_data.nb_snapshots        = cpu_to_be32(s->nb_snapshots);
    header_data.snapshots_offset    = cpu_to_be64(snapshots_offset);
259

260
    ret = bdrv_pwrite_sync(bs->file, offsetof(QCowHeader, nb_snapshots),
261
                           &header_data, sizeof(header_data));
262
    if (ret < 0) {
K
Kevin Wolf 已提交
263
        goto fail;
264
    }
K
Kevin Wolf 已提交
265 266

    /* free the old snapshot table */
267 268
    qcow2_free_clusters(bs, s->snapshots_offset, s->snapshots_size,
                        QCOW2_DISCARD_SNAPSHOT);
K
Kevin Wolf 已提交
269 270 271
    s->snapshots_offset = snapshots_offset;
    s->snapshots_size = snapshots_size;
    return 0;
272 273

fail:
274 275 276 277
    if (snapshots_offset > 0) {
        qcow2_free_clusters(bs, snapshots_offset, snapshots_size,
                            QCOW2_DISCARD_ALWAYS);
    }
278
    return ret;
K
Kevin Wolf 已提交
279 280 281 282 283
}

static void find_new_snapshot_id(BlockDriverState *bs,
                                 char *id_str, int id_str_size)
{
284
    BDRVQcow2State *s = bs->opaque;
K
Kevin Wolf 已提交
285
    QCowSnapshot *sn;
286 287
    int i;
    unsigned long id, id_max = 0;
K
Kevin Wolf 已提交
288 289 290 291 292 293 294

    for(i = 0; i < s->nb_snapshots; i++) {
        sn = s->snapshots + i;
        id = strtoul(sn->id_str, NULL, 10);
        if (id > id_max)
            id_max = id;
    }
295
    snprintf(id_str, id_str_size, "%lu", id_max + 1);
K
Kevin Wolf 已提交
296 297
}

298 299 300
static int find_snapshot_by_id_and_name(BlockDriverState *bs,
                                        const char *id,
                                        const char *name)
K
Kevin Wolf 已提交
301
{
302
    BDRVQcow2State *s = bs->opaque;
K
Kevin Wolf 已提交
303 304
    int i;

305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323
    if (id && name) {
        for (i = 0; i < s->nb_snapshots; i++) {
            if (!strcmp(s->snapshots[i].id_str, id) &&
                !strcmp(s->snapshots[i].name, name)) {
                return i;
            }
        }
    } else if (id) {
        for (i = 0; i < s->nb_snapshots; i++) {
            if (!strcmp(s->snapshots[i].id_str, id)) {
                return i;
            }
        }
    } else if (name) {
        for (i = 0; i < s->nb_snapshots; i++) {
            if (!strcmp(s->snapshots[i].name, name)) {
                return i;
            }
        }
K
Kevin Wolf 已提交
324
    }
325

K
Kevin Wolf 已提交
326 327 328
    return -1;
}

329 330
static int find_snapshot_by_id_or_name(BlockDriverState *bs,
                                       const char *id_or_name)
K
Kevin Wolf 已提交
331
{
332
    int ret;
K
Kevin Wolf 已提交
333

334 335
    ret = find_snapshot_by_id_and_name(bs, id_or_name, NULL);
    if (ret >= 0) {
K
Kevin Wolf 已提交
336 337
        return ret;
    }
338
    return find_snapshot_by_id_and_name(bs, NULL, id_or_name);
K
Kevin Wolf 已提交
339 340 341
}

/* if no id is provided, a new one is constructed */
K
Kevin Wolf 已提交
342
int qcow2_snapshot_create(BlockDriverState *bs, QEMUSnapshotInfo *sn_info)
K
Kevin Wolf 已提交
343
{
344
    BDRVQcow2State *s = bs->opaque;
345 346 347
    QCowSnapshot *new_snapshot_list = NULL;
    QCowSnapshot *old_snapshot_list = NULL;
    QCowSnapshot sn1, *sn = &sn1;
K
Kevin Wolf 已提交
348 349
    int i, ret;
    uint64_t *l1_table = NULL;
350
    int64_t l1_table_offset;
K
Kevin Wolf 已提交
351

352 353 354 355
    if (s->nb_snapshots >= QCOW_MAX_SNAPSHOTS) {
        return -EFBIG;
    }

356 357 358 359
    if (has_data_file(bs)) {
        return -ENOTSUP;
    }

K
Kevin Wolf 已提交
360 361
    memset(sn, 0, sizeof(*sn));

362 363
    /* Generate an ID */
    find_new_snapshot_id(bs, sn_info->id_str, sizeof(sn_info->id_str));
K
Kevin Wolf 已提交
364

365
    /* Populate sn with passed data */
366 367
    sn->id_str = g_strdup(sn_info->id_str);
    sn->name = g_strdup(sn_info->name);
368

369
    sn->disk_size = bs->total_sectors * BDRV_SECTOR_SIZE;
K
Kevin Wolf 已提交
370 371 372 373 374
    sn->vm_state_size = sn_info->vm_state_size;
    sn->date_sec = sn_info->date_sec;
    sn->date_nsec = sn_info->date_nsec;
    sn->vm_clock_nsec = sn_info->vm_clock_nsec;

375
    /* Allocate the L1 table of the snapshot and copy the current one there. */
376 377
    l1_table_offset = qcow2_alloc_clusters(bs, s->l1_size * sizeof(uint64_t));
    if (l1_table_offset < 0) {
378
        ret = l1_table_offset;
379 380 381 382
        goto fail;
    }

    sn->l1_table_offset = l1_table_offset;
K
Kevin Wolf 已提交
383 384
    sn->l1_size = s->l1_size;

385
    l1_table = g_try_new(uint64_t, s->l1_size);
386 387 388 389 390
    if (s->l1_size && l1_table == NULL) {
        ret = -ENOMEM;
        goto fail;
    }

K
Kevin Wolf 已提交
391 392 393
    for(i = 0; i < s->l1_size; i++) {
        l1_table[i] = cpu_to_be64(s->l1_table[i]);
    }
394

M
Max Reitz 已提交
395
    ret = qcow2_pre_write_overlap_check(bs, 0, sn->l1_table_offset,
K
Kevin Wolf 已提交
396
                                        s->l1_size * sizeof(uint64_t), false);
397 398 399 400
    if (ret < 0) {
        goto fail;
    }

401
    ret = bdrv_pwrite(bs->file, sn->l1_table_offset, l1_table,
402 403
                      s->l1_size * sizeof(uint64_t));
    if (ret < 0) {
K
Kevin Wolf 已提交
404
        goto fail;
405 406
    }

407
    g_free(l1_table);
K
Kevin Wolf 已提交
408 409
    l1_table = NULL;

410 411 412 413 414 415 416 417 418 419 420
    /*
     * Increase the refcounts of all clusters and make sure everything is
     * stable on disk before updating the snapshot table to contain a pointer
     * to the new L1 table.
     */
    ret = qcow2_update_snapshot_refcount(bs, s->l1_table_offset, s->l1_size, 1);
    if (ret < 0) {
        goto fail;
    }

    /* Append the new snapshot to the snapshot list */
421
    new_snapshot_list = g_new(QCowSnapshot, s->nb_snapshots + 1);
K
Kevin Wolf 已提交
422
    if (s->snapshots) {
423 424 425
        memcpy(new_snapshot_list, s->snapshots,
               s->nb_snapshots * sizeof(QCowSnapshot));
        old_snapshot_list = s->snapshots;
K
Kevin Wolf 已提交
426
    }
427
    s->snapshots = new_snapshot_list;
K
Kevin Wolf 已提交
428 429
    s->snapshots[s->nb_snapshots++] = *sn;

430 431 432 433
    ret = qcow2_write_snapshots(bs);
    if (ret < 0) {
        g_free(s->snapshots);
        s->snapshots = old_snapshot_list;
434
        s->nb_snapshots--;
K
Kevin Wolf 已提交
435
        goto fail;
436 437 438 439
    }

    g_free(old_snapshot_list);

440 441
    /* The VM state isn't needed any more in the active L1 table; in fact, it
     * hurts by causing expensive COW for the next snapshot. */
442
    qcow2_cluster_discard(bs, qcow2_vm_state_offset(s),
443
                          ROUND_UP(sn->vm_state_size, s->cluster_size),
444
                          QCOW2_DISCARD_NEVER, false);
445

K
Kevin Wolf 已提交
446
#ifdef DEBUG_ALLOC
P
Philipp Hahn 已提交
447 448
    {
      BdrvCheckResult result = {0};
449
      qcow2_check_refcounts(bs, &result, 0);
P
Philipp Hahn 已提交
450
    }
K
Kevin Wolf 已提交
451 452
#endif
    return 0;
453 454 455

fail:
    g_free(sn->id_str);
456 457
    g_free(sn->name);
    g_free(l1_table);
458 459

    return ret;
K
Kevin Wolf 已提交
460 461 462
}

/* copy the snapshot 'snapshot_name' into the current disk image */
K
Kevin Wolf 已提交
463
int qcow2_snapshot_goto(BlockDriverState *bs, const char *snapshot_id)
K
Kevin Wolf 已提交
464
{
465
    BDRVQcow2State *s = bs->opaque;
K
Kevin Wolf 已提交
466
    QCowSnapshot *sn;
467
    Error *local_err = NULL;
468 469
    int i, snapshot_index;
    int cur_l1_bytes, sn_l1_bytes;
470
    int ret;
471
    uint64_t *sn_l1_table = NULL;
K
Kevin Wolf 已提交
472

473 474 475 476
    if (has_data_file(bs)) {
        return -ENOTSUP;
    }

477
    /* Search the snapshot */
K
Kevin Wolf 已提交
478
    snapshot_index = find_snapshot_by_id_or_name(bs, snapshot_id);
479
    if (snapshot_index < 0) {
K
Kevin Wolf 已提交
480
        return -ENOENT;
481
    }
K
Kevin Wolf 已提交
482 483
    sn = &s->snapshots[snapshot_index];

484 485 486 487 488 489 490 491
    ret = qcow2_validate_table(bs, sn->l1_table_offset, sn->l1_size,
                               sizeof(uint64_t), QCOW_MAX_L1_SIZE,
                               "Snapshot L1 table", &local_err);
    if (ret < 0) {
        error_report_err(local_err);
        goto fail;
    }

492 493 494 495 496 497 498
    if (sn->disk_size != bs->total_sectors * BDRV_SECTOR_SIZE) {
        error_report("qcow2: Loading snapshots with different disk "
            "size is not implemented");
        ret = -ENOTSUP;
        goto fail;
    }

499 500 501 502 503 504 505
    /*
     * Make sure that the current L1 table is big enough to contain the whole
     * L1 table of the snapshot. If the snapshot L1 table is smaller, the
     * current one must be padded with zeros.
     */
    ret = qcow2_grow_l1_table(bs, sn->l1_size, true);
    if (ret < 0) {
K
Kevin Wolf 已提交
506
        goto fail;
507
    }
K
Kevin Wolf 已提交
508

509 510 511
    cur_l1_bytes = s->l1_size * sizeof(uint64_t);
    sn_l1_bytes = sn->l1_size * sizeof(uint64_t);

512 513 514 515 516
    /*
     * Copy the snapshot L1 table to the current L1 table.
     *
     * Before overwriting the old current L1 table on disk, make sure to
     * increase all refcounts for the clusters referenced by the new one.
517 518
     * Decrease the refcount referenced by the old one only when the L1
     * table is overwritten.
519
     */
520 521 522 523 524
    sn_l1_table = g_try_malloc0(cur_l1_bytes);
    if (cur_l1_bytes && sn_l1_table == NULL) {
        ret = -ENOMEM;
        goto fail;
    }
525

526
    ret = bdrv_pread(bs->file, sn->l1_table_offset,
K
Kevin Wolf 已提交
527
                     sn_l1_table, sn_l1_bytes);
528 529 530 531 532 533
    if (ret < 0) {
        goto fail;
    }

    ret = qcow2_update_snapshot_refcount(bs, sn->l1_table_offset,
                                         sn->l1_size, 1);
534
    if (ret < 0) {
K
Kevin Wolf 已提交
535
        goto fail;
536 537
    }

M
Max Reitz 已提交
538
    ret = qcow2_pre_write_overlap_check(bs, QCOW2_OL_ACTIVE_L1,
K
Kevin Wolf 已提交
539 540
                                        s->l1_table_offset, cur_l1_bytes,
                                        false);
541 542 543 544
    if (ret < 0) {
        goto fail;
    }

545
    ret = bdrv_pwrite_sync(bs->file, s->l1_table_offset, sn_l1_table,
546 547
                           cur_l1_bytes);
    if (ret < 0) {
K
Kevin Wolf 已提交
548
        goto fail;
549 550
    }

551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567
    /*
     * Decrease refcount of clusters of current L1 table.
     *
     * At this point, the in-memory s->l1_table points to the old L1 table,
     * whereas on disk we already have the new one.
     *
     * qcow2_update_snapshot_refcount special cases the current L1 table to use
     * the in-memory data instead of really using the offset to load a new one,
     * which is why this works.
     */
    ret = qcow2_update_snapshot_refcount(bs, s->l1_table_offset,
                                         s->l1_size, -1);

    /*
     * Now update the in-memory L1 table to be in sync with the on-disk one. We
     * need to do this even if updating refcounts failed.
     */
K
Kevin Wolf 已提交
568
    for(i = 0;i < s->l1_size; i++) {
569
        s->l1_table[i] = be64_to_cpu(sn_l1_table[i]);
K
Kevin Wolf 已提交
570 571
    }

572 573 574 575 576 577 578 579 580 581 582 583
    if (ret < 0) {
        goto fail;
    }

    g_free(sn_l1_table);
    sn_l1_table = NULL;

    /*
     * Update QCOW_OFLAG_COPIED in the active L1 table (it may have changed
     * when we decreased the refcount of the old snapshot.
     */
    ret = qcow2_update_snapshot_refcount(bs, s->l1_table_offset, s->l1_size, 0);
584
    if (ret < 0) {
K
Kevin Wolf 已提交
585
        goto fail;
586
    }
K
Kevin Wolf 已提交
587 588

#ifdef DEBUG_ALLOC
P
Philipp Hahn 已提交
589 590
    {
        BdrvCheckResult result = {0};
591
        qcow2_check_refcounts(bs, &result, 0);
P
Philipp Hahn 已提交
592
    }
K
Kevin Wolf 已提交
593 594
#endif
    return 0;
595 596

fail:
597
    g_free(sn_l1_table);
598
    return ret;
K
Kevin Wolf 已提交
599 600
}

601 602 603 604
int qcow2_snapshot_delete(BlockDriverState *bs,
                          const char *snapshot_id,
                          const char *name,
                          Error **errp)
K
Kevin Wolf 已提交
605
{
606
    BDRVQcow2State *s = bs->opaque;
607
    QCowSnapshot sn;
K
Kevin Wolf 已提交
608 609
    int snapshot_index, ret;

610 611 612 613
    if (has_data_file(bs)) {
        return -ENOTSUP;
    }

614
    /* Search the snapshot */
615
    snapshot_index = find_snapshot_by_id_and_name(bs, snapshot_id, name);
616
    if (snapshot_index < 0) {
617
        error_setg(errp, "Can't find the snapshot");
K
Kevin Wolf 已提交
618
        return -ENOENT;
619 620
    }
    sn = s->snapshots[snapshot_index];
K
Kevin Wolf 已提交
621

622 623 624 625 626 627 628
    ret = qcow2_validate_table(bs, sn.l1_table_offset, sn.l1_size,
                               sizeof(uint64_t), QCOW_MAX_L1_SIZE,
                               "Snapshot L1 table", errp);
    if (ret < 0) {
        return ret;
    }

629 630 631 632 633 634 635
    /* Remove it from the snapshot list */
    memmove(s->snapshots + snapshot_index,
            s->snapshots + snapshot_index + 1,
            (s->nb_snapshots - snapshot_index - 1) * sizeof(sn));
    s->nb_snapshots--;
    ret = qcow2_write_snapshots(bs);
    if (ret < 0) {
636 637
        error_setg_errno(errp, -ret,
                         "Failed to remove snapshot from snapshot list");
K
Kevin Wolf 已提交
638
        return ret;
639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654
    }

    /*
     * The snapshot is now unused, clean up. If we fail after this point, we
     * won't recover but just leak clusters.
     */
    g_free(sn.id_str);
    g_free(sn.name);

    /*
     * Now decrease the refcounts of clusters referenced by the snapshot and
     * free the L1 table.
     */
    ret = qcow2_update_snapshot_refcount(bs, sn.l1_table_offset,
                                         sn.l1_size, -1);
    if (ret < 0) {
655
        error_setg_errno(errp, -ret, "Failed to free the cluster and L1 table");
K
Kevin Wolf 已提交
656
        return ret;
657
    }
658 659
    qcow2_free_clusters(bs, sn.l1_table_offset, sn.l1_size * sizeof(uint64_t),
                        QCOW2_DISCARD_SNAPSHOT);
K
Kevin Wolf 已提交
660

661 662
    /* must update the copied flag on the current cluster offsets */
    ret = qcow2_update_snapshot_refcount(bs, s->l1_table_offset, s->l1_size, 0);
K
Kevin Wolf 已提交
663
    if (ret < 0) {
664 665
        error_setg_errno(errp, -ret,
                         "Failed to update snapshot status in disk");
K
Kevin Wolf 已提交
666 667
        return ret;
    }
668

K
Kevin Wolf 已提交
669
#ifdef DEBUG_ALLOC
P
Philipp Hahn 已提交
670 671
    {
        BdrvCheckResult result = {0};
672
        qcow2_check_refcounts(bs, &result, 0);
P
Philipp Hahn 已提交
673
    }
K
Kevin Wolf 已提交
674 675 676 677
#endif
    return 0;
}

K
Kevin Wolf 已提交
678
int qcow2_snapshot_list(BlockDriverState *bs, QEMUSnapshotInfo **psn_tab)
K
Kevin Wolf 已提交
679
{
680
    BDRVQcow2State *s = bs->opaque;
K
Kevin Wolf 已提交
681 682 683 684
    QEMUSnapshotInfo *sn_tab, *sn_info;
    QCowSnapshot *sn;
    int i;

685 686 687
    if (has_data_file(bs)) {
        return -ENOTSUP;
    }
K
Kevin Wolf 已提交
688 689 690 691 692
    if (!s->nb_snapshots) {
        *psn_tab = NULL;
        return s->nb_snapshots;
    }

693
    sn_tab = g_new0(QEMUSnapshotInfo, s->nb_snapshots);
K
Kevin Wolf 已提交
694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709
    for(i = 0; i < s->nb_snapshots; i++) {
        sn_info = sn_tab + i;
        sn = s->snapshots + i;
        pstrcpy(sn_info->id_str, sizeof(sn_info->id_str),
                sn->id_str);
        pstrcpy(sn_info->name, sizeof(sn_info->name),
                sn->name);
        sn_info->vm_state_size = sn->vm_state_size;
        sn_info->date_sec = sn->date_sec;
        sn_info->date_nsec = sn->date_nsec;
        sn_info->vm_clock_nsec = sn->vm_clock_nsec;
    }
    *psn_tab = sn_tab;
    return s->nb_snapshots;
}

710 711 712 713
int qcow2_snapshot_load_tmp(BlockDriverState *bs,
                            const char *snapshot_id,
                            const char *name,
                            Error **errp)
E
edison 已提交
714
{
715
    int i, snapshot_index;
716
    BDRVQcow2State *s = bs->opaque;
E
edison 已提交
717
    QCowSnapshot *sn;
718 719 720
    uint64_t *new_l1_table;
    int new_l1_bytes;
    int ret;
E
edison 已提交
721

722 723 724
    assert(bs->read_only);

    /* Search the snapshot */
725
    snapshot_index = find_snapshot_by_id_and_name(bs, snapshot_id, name);
E
edison 已提交
726
    if (snapshot_index < 0) {
727 728
        error_setg(errp,
                   "Can't find snapshot");
E
edison 已提交
729 730 731 732
        return -ENOENT;
    }
    sn = &s->snapshots[snapshot_index];

733
    /* Allocate and read in the snapshot's L1 table */
734 735 736 737 738
    ret = qcow2_validate_table(bs, sn->l1_table_offset, sn->l1_size,
                               sizeof(uint64_t), QCOW_MAX_L1_SIZE,
                               "Snapshot L1 table", errp);
    if (ret < 0) {
        return ret;
739
    }
740
    new_l1_bytes = sn->l1_size * sizeof(uint64_t);
K
Kevin Wolf 已提交
741
    new_l1_table = qemu_try_blockalign(bs->file->bs,
742
                                       ROUND_UP(new_l1_bytes, 512));
743 744 745
    if (new_l1_table == NULL) {
        return -ENOMEM;
    }
E
edison 已提交
746

747
    ret = bdrv_pread(bs->file, sn->l1_table_offset,
K
Kevin Wolf 已提交
748
                     new_l1_table, new_l1_bytes);
749
    if (ret < 0) {
750
        error_setg(errp, "Failed to read l1 table for snapshot");
751
        qemu_vfree(new_l1_table);
752
        return ret;
E
edison 已提交
753 754
    }

755
    /* Switch the L1 table */
756
    qemu_vfree(s->l1_table);
757 758 759 760 761

    s->l1_size = sn->l1_size;
    s->l1_table_offset = sn->l1_table_offset;
    s->l1_table = new_l1_table;

E
edison 已提交
762 763 764
    for(i = 0;i < s->l1_size; i++) {
        be64_to_cpus(&s->l1_table[i]);
    }
765

E
edison 已提交
766 767
    return 0;
}