]> git.proxmox.com Git - qemu.git/blob - block/qcow2.h
qcow2: Make overlap check mask variable
[qemu.git] / block / qcow2.h
1 /*
2 * Block driver for the QCOW version 2 format
3 *
4 * Copyright (c) 2004-2006 Fabrice Bellard
5 *
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 */
24
25 #ifndef BLOCK_QCOW2_H
26 #define BLOCK_QCOW2_H
27
28 #include "qemu/aes.h"
29 #include "block/coroutine.h"
30
31 //#define DEBUG_ALLOC
32 //#define DEBUG_ALLOC2
33 //#define DEBUG_EXT
34
35 #define QCOW_MAGIC (('Q' << 24) | ('F' << 16) | ('I' << 8) | 0xfb)
36
37 #define QCOW_CRYPT_NONE 0
38 #define QCOW_CRYPT_AES 1
39
40 #define QCOW_MAX_CRYPT_CLUSTERS 32
41
42 /* indicate that the refcount of the referenced cluster is exactly one. */
43 #define QCOW_OFLAG_COPIED (1ULL << 63)
44 /* indicate that the cluster is compressed (they never have the copied flag) */
45 #define QCOW_OFLAG_COMPRESSED (1ULL << 62)
46 /* The cluster reads as all zeros */
47 #define QCOW_OFLAG_ZERO (1ULL << 0)
48
49 #define REFCOUNT_SHIFT 1 /* refcount size is 2 bytes */
50
51 #define MIN_CLUSTER_BITS 9
52 #define MAX_CLUSTER_BITS 21
53
54 #define L2_CACHE_SIZE 16
55
56 /* Must be at least 4 to cover all cases of refcount table growth */
57 #define REFCOUNT_CACHE_SIZE 4
58
59 #define DEFAULT_CLUSTER_SIZE 65536
60
61
62 #define QCOW2_OPT_LAZY_REFCOUNTS "lazy-refcounts"
63 #define QCOW2_OPT_DISCARD_REQUEST "pass-discard-request"
64 #define QCOW2_OPT_DISCARD_SNAPSHOT "pass-discard-snapshot"
65 #define QCOW2_OPT_DISCARD_OTHER "pass-discard-other"
66
67 typedef struct QCowHeader {
68 uint32_t magic;
69 uint32_t version;
70 uint64_t backing_file_offset;
71 uint32_t backing_file_size;
72 uint32_t cluster_bits;
73 uint64_t size; /* in bytes */
74 uint32_t crypt_method;
75 uint32_t l1_size; /* XXX: save number of clusters instead ? */
76 uint64_t l1_table_offset;
77 uint64_t refcount_table_offset;
78 uint32_t refcount_table_clusters;
79 uint32_t nb_snapshots;
80 uint64_t snapshots_offset;
81
82 /* The following fields are only valid for version >= 3 */
83 uint64_t incompatible_features;
84 uint64_t compatible_features;
85 uint64_t autoclear_features;
86
87 uint32_t refcount_order;
88 uint32_t header_length;
89 } QEMU_PACKED QCowHeader;
90
91 typedef struct QCowSnapshot {
92 uint64_t l1_table_offset;
93 uint32_t l1_size;
94 char *id_str;
95 char *name;
96 uint64_t disk_size;
97 uint64_t vm_state_size;
98 uint32_t date_sec;
99 uint32_t date_nsec;
100 uint64_t vm_clock_nsec;
101 } QCowSnapshot;
102
103 struct Qcow2Cache;
104 typedef struct Qcow2Cache Qcow2Cache;
105
106 typedef struct Qcow2UnknownHeaderExtension {
107 uint32_t magic;
108 uint32_t len;
109 QLIST_ENTRY(Qcow2UnknownHeaderExtension) next;
110 uint8_t data[];
111 } Qcow2UnknownHeaderExtension;
112
113 enum {
114 QCOW2_FEAT_TYPE_INCOMPATIBLE = 0,
115 QCOW2_FEAT_TYPE_COMPATIBLE = 1,
116 QCOW2_FEAT_TYPE_AUTOCLEAR = 2,
117 };
118
119 /* Incompatible feature bits */
120 enum {
121 QCOW2_INCOMPAT_DIRTY_BITNR = 0,
122 QCOW2_INCOMPAT_CORRUPT_BITNR = 1,
123 QCOW2_INCOMPAT_DIRTY = 1 << QCOW2_INCOMPAT_DIRTY_BITNR,
124 QCOW2_INCOMPAT_CORRUPT = 1 << QCOW2_INCOMPAT_CORRUPT_BITNR,
125
126 QCOW2_INCOMPAT_MASK = QCOW2_INCOMPAT_DIRTY
127 | QCOW2_INCOMPAT_CORRUPT,
128 };
129
130 /* Compatible feature bits */
131 enum {
132 QCOW2_COMPAT_LAZY_REFCOUNTS_BITNR = 0,
133 QCOW2_COMPAT_LAZY_REFCOUNTS = 1 << QCOW2_COMPAT_LAZY_REFCOUNTS_BITNR,
134
135 QCOW2_COMPAT_FEAT_MASK = QCOW2_COMPAT_LAZY_REFCOUNTS,
136 };
137
138 enum qcow2_discard_type {
139 QCOW2_DISCARD_NEVER = 0,
140 QCOW2_DISCARD_ALWAYS,
141 QCOW2_DISCARD_REQUEST,
142 QCOW2_DISCARD_SNAPSHOT,
143 QCOW2_DISCARD_OTHER,
144 QCOW2_DISCARD_MAX
145 };
146
147 typedef struct Qcow2Feature {
148 uint8_t type;
149 uint8_t bit;
150 char name[46];
151 } QEMU_PACKED Qcow2Feature;
152
153 typedef struct Qcow2DiscardRegion {
154 BlockDriverState *bs;
155 uint64_t offset;
156 uint64_t bytes;
157 QTAILQ_ENTRY(Qcow2DiscardRegion) next;
158 } Qcow2DiscardRegion;
159
160 typedef struct BDRVQcowState {
161 int cluster_bits;
162 int cluster_size;
163 int cluster_sectors;
164 int l2_bits;
165 int l2_size;
166 int l1_size;
167 int l1_vm_state_index;
168 int csize_shift;
169 int csize_mask;
170 uint64_t cluster_offset_mask;
171 uint64_t l1_table_offset;
172 uint64_t *l1_table;
173
174 Qcow2Cache* l2_table_cache;
175 Qcow2Cache* refcount_block_cache;
176
177 uint8_t *cluster_cache;
178 uint8_t *cluster_data;
179 uint64_t cluster_cache_offset;
180 QLIST_HEAD(QCowClusterAlloc, QCowL2Meta) cluster_allocs;
181
182 uint64_t *refcount_table;
183 uint64_t refcount_table_offset;
184 uint32_t refcount_table_size;
185 int64_t free_cluster_index;
186 int64_t free_byte_offset;
187
188 CoMutex lock;
189
190 uint32_t crypt_method; /* current crypt method, 0 if no key yet */
191 uint32_t crypt_method_header;
192 AES_KEY aes_encrypt_key;
193 AES_KEY aes_decrypt_key;
194 uint64_t snapshots_offset;
195 int snapshots_size;
196 int nb_snapshots;
197 QCowSnapshot *snapshots;
198
199 int flags;
200 int qcow_version;
201 bool use_lazy_refcounts;
202 int refcount_order;
203
204 bool discard_passthrough[QCOW2_DISCARD_MAX];
205
206 int overlap_check; /* bitmask of Qcow2MetadataOverlap values */
207
208 uint64_t incompatible_features;
209 uint64_t compatible_features;
210 uint64_t autoclear_features;
211
212 size_t unknown_header_fields_size;
213 void* unknown_header_fields;
214 QLIST_HEAD(, Qcow2UnknownHeaderExtension) unknown_header_ext;
215 QTAILQ_HEAD (, Qcow2DiscardRegion) discards;
216 bool cache_discards;
217 } BDRVQcowState;
218
219 /* XXX: use std qcow open function ? */
220 typedef struct QCowCreateState {
221 int cluster_size;
222 int cluster_bits;
223 uint16_t *refcount_block;
224 uint64_t *refcount_table;
225 int64_t l1_table_offset;
226 int64_t refcount_table_offset;
227 int64_t refcount_block_offset;
228 } QCowCreateState;
229
230 struct QCowAIOCB;
231
232 typedef struct Qcow2COWRegion {
233 /**
234 * Offset of the COW region in bytes from the start of the first cluster
235 * touched by the request.
236 */
237 uint64_t offset;
238
239 /** Number of sectors to copy */
240 int nb_sectors;
241 } Qcow2COWRegion;
242
243 /**
244 * Describes an in-flight (part of a) write request that writes to clusters
245 * that are not referenced in their L2 table yet.
246 */
247 typedef struct QCowL2Meta
248 {
249 /** Guest offset of the first newly allocated cluster */
250 uint64_t offset;
251
252 /** Host offset of the first newly allocated cluster */
253 uint64_t alloc_offset;
254
255 /**
256 * Number of sectors from the start of the first allocated cluster to
257 * the end of the (possibly shortened) request
258 */
259 int nb_available;
260
261 /** Number of newly allocated clusters */
262 int nb_clusters;
263
264 /**
265 * Requests that overlap with this allocation and wait to be restarted
266 * when the allocating request has completed.
267 */
268 CoQueue dependent_requests;
269
270 /**
271 * The COW Region between the start of the first allocated cluster and the
272 * area the guest actually writes to.
273 */
274 Qcow2COWRegion cow_start;
275
276 /**
277 * The COW Region between the area the guest actually writes to and the
278 * end of the last allocated cluster.
279 */
280 Qcow2COWRegion cow_end;
281
282 /** Pointer to next L2Meta of the same write request */
283 struct QCowL2Meta *next;
284
285 QLIST_ENTRY(QCowL2Meta) next_in_flight;
286 } QCowL2Meta;
287
288 enum {
289 QCOW2_CLUSTER_UNALLOCATED,
290 QCOW2_CLUSTER_NORMAL,
291 QCOW2_CLUSTER_COMPRESSED,
292 QCOW2_CLUSTER_ZERO
293 };
294
295 typedef enum QCow2MetadataOverlap {
296 QCOW2_OL_MAIN_HEADER_BITNR = 0,
297 QCOW2_OL_ACTIVE_L1_BITNR = 1,
298 QCOW2_OL_ACTIVE_L2_BITNR = 2,
299 QCOW2_OL_REFCOUNT_TABLE_BITNR = 3,
300 QCOW2_OL_REFCOUNT_BLOCK_BITNR = 4,
301 QCOW2_OL_SNAPSHOT_TABLE_BITNR = 5,
302 QCOW2_OL_INACTIVE_L1_BITNR = 6,
303 QCOW2_OL_INACTIVE_L2_BITNR = 7,
304
305 QCOW2_OL_MAX_BITNR = 8,
306
307 QCOW2_OL_NONE = 0,
308 QCOW2_OL_MAIN_HEADER = (1 << QCOW2_OL_MAIN_HEADER_BITNR),
309 QCOW2_OL_ACTIVE_L1 = (1 << QCOW2_OL_ACTIVE_L1_BITNR),
310 QCOW2_OL_ACTIVE_L2 = (1 << QCOW2_OL_ACTIVE_L2_BITNR),
311 QCOW2_OL_REFCOUNT_TABLE = (1 << QCOW2_OL_REFCOUNT_TABLE_BITNR),
312 QCOW2_OL_REFCOUNT_BLOCK = (1 << QCOW2_OL_REFCOUNT_BLOCK_BITNR),
313 QCOW2_OL_SNAPSHOT_TABLE = (1 << QCOW2_OL_SNAPSHOT_TABLE_BITNR),
314 QCOW2_OL_INACTIVE_L1 = (1 << QCOW2_OL_INACTIVE_L1_BITNR),
315 /* NOTE: Checking overlaps with inactive L2 tables will result in bdrv
316 * reads. */
317 QCOW2_OL_INACTIVE_L2 = (1 << QCOW2_OL_INACTIVE_L2_BITNR),
318 } QCow2MetadataOverlap;
319
320 /* Perform all overlap checks which don't require disk access */
321 #define QCOW2_OL_CACHED \
322 (QCOW2_OL_MAIN_HEADER | QCOW2_OL_ACTIVE_L1 | QCOW2_OL_ACTIVE_L2 | \
323 QCOW2_OL_REFCOUNT_TABLE | QCOW2_OL_REFCOUNT_BLOCK | \
324 QCOW2_OL_SNAPSHOT_TABLE | QCOW2_OL_INACTIVE_L1)
325
326 #define L1E_OFFSET_MASK 0x00ffffffffffff00ULL
327 #define L2E_OFFSET_MASK 0x00ffffffffffff00ULL
328 #define L2E_COMPRESSED_OFFSET_SIZE_MASK 0x3fffffffffffffffULL
329
330 #define REFT_OFFSET_MASK 0xffffffffffffff00ULL
331
332 static inline int64_t start_of_cluster(BDRVQcowState *s, int64_t offset)
333 {
334 return offset & ~(s->cluster_size - 1);
335 }
336
337 static inline int64_t offset_into_cluster(BDRVQcowState *s, int64_t offset)
338 {
339 return offset & (s->cluster_size - 1);
340 }
341
342 static inline int size_to_clusters(BDRVQcowState *s, int64_t size)
343 {
344 return (size + (s->cluster_size - 1)) >> s->cluster_bits;
345 }
346
347 static inline int64_t size_to_l1(BDRVQcowState *s, int64_t size)
348 {
349 int shift = s->cluster_bits + s->l2_bits;
350 return (size + (1ULL << shift) - 1) >> shift;
351 }
352
353 static inline int offset_to_l2_index(BDRVQcowState *s, int64_t offset)
354 {
355 return (offset >> s->cluster_bits) & (s->l2_size - 1);
356 }
357
358 static inline int64_t align_offset(int64_t offset, int n)
359 {
360 offset = (offset + n - 1) & ~(n - 1);
361 return offset;
362 }
363
364 static inline int64_t qcow2_vm_state_offset(BDRVQcowState *s)
365 {
366 return (int64_t)s->l1_vm_state_index << (s->cluster_bits + s->l2_bits);
367 }
368
369 static inline int qcow2_get_cluster_type(uint64_t l2_entry)
370 {
371 if (l2_entry & QCOW_OFLAG_COMPRESSED) {
372 return QCOW2_CLUSTER_COMPRESSED;
373 } else if (l2_entry & QCOW_OFLAG_ZERO) {
374 return QCOW2_CLUSTER_ZERO;
375 } else if (!(l2_entry & L2E_OFFSET_MASK)) {
376 return QCOW2_CLUSTER_UNALLOCATED;
377 } else {
378 return QCOW2_CLUSTER_NORMAL;
379 }
380 }
381
382 /* Check whether refcounts are eager or lazy */
383 static inline bool qcow2_need_accurate_refcounts(BDRVQcowState *s)
384 {
385 return !(s->incompatible_features & QCOW2_INCOMPAT_DIRTY);
386 }
387
388 static inline uint64_t l2meta_cow_start(QCowL2Meta *m)
389 {
390 return m->offset + m->cow_start.offset;
391 }
392
393 static inline uint64_t l2meta_cow_end(QCowL2Meta *m)
394 {
395 return m->offset + m->cow_end.offset
396 + (m->cow_end.nb_sectors << BDRV_SECTOR_BITS);
397 }
398
399 // FIXME Need qcow2_ prefix to global functions
400
401 /* qcow2.c functions */
402 int qcow2_backing_read1(BlockDriverState *bs, QEMUIOVector *qiov,
403 int64_t sector_num, int nb_sectors);
404
405 int qcow2_mark_dirty(BlockDriverState *bs);
406 int qcow2_mark_corrupt(BlockDriverState *bs);
407 int qcow2_mark_consistent(BlockDriverState *bs);
408 int qcow2_update_header(BlockDriverState *bs);
409
410 /* qcow2-refcount.c functions */
411 int qcow2_refcount_init(BlockDriverState *bs);
412 void qcow2_refcount_close(BlockDriverState *bs);
413
414 int qcow2_update_cluster_refcount(BlockDriverState *bs, int64_t cluster_index,
415 int addend, enum qcow2_discard_type type);
416
417 int64_t qcow2_alloc_clusters(BlockDriverState *bs, int64_t size);
418 int qcow2_alloc_clusters_at(BlockDriverState *bs, uint64_t offset,
419 int nb_clusters);
420 int64_t qcow2_alloc_bytes(BlockDriverState *bs, int size);
421 void qcow2_free_clusters(BlockDriverState *bs,
422 int64_t offset, int64_t size,
423 enum qcow2_discard_type type);
424 void qcow2_free_any_clusters(BlockDriverState *bs, uint64_t l2_entry,
425 int nb_clusters, enum qcow2_discard_type type);
426
427 int qcow2_update_snapshot_refcount(BlockDriverState *bs,
428 int64_t l1_table_offset, int l1_size, int addend);
429
430 int qcow2_check_refcounts(BlockDriverState *bs, BdrvCheckResult *res,
431 BdrvCheckMode fix);
432
433 void qcow2_process_discards(BlockDriverState *bs, int ret);
434
435 int qcow2_check_metadata_overlap(BlockDriverState *bs, int ign, int64_t offset,
436 int64_t size);
437 int qcow2_pre_write_overlap_check(BlockDriverState *bs, int ign, int64_t offset,
438 int64_t size);
439
440 /* qcow2-cluster.c functions */
441 int qcow2_grow_l1_table(BlockDriverState *bs, uint64_t min_size,
442 bool exact_size);
443 int qcow2_write_l1_entry(BlockDriverState *bs, int l1_index);
444 void qcow2_l2_cache_reset(BlockDriverState *bs);
445 int qcow2_decompress_cluster(BlockDriverState *bs, uint64_t cluster_offset);
446 void qcow2_encrypt_sectors(BDRVQcowState *s, int64_t sector_num,
447 uint8_t *out_buf, const uint8_t *in_buf,
448 int nb_sectors, int enc,
449 const AES_KEY *key);
450
451 int qcow2_get_cluster_offset(BlockDriverState *bs, uint64_t offset,
452 int *num, uint64_t *cluster_offset);
453 int qcow2_alloc_cluster_offset(BlockDriverState *bs, uint64_t offset,
454 int n_start, int n_end, int *num, uint64_t *host_offset, QCowL2Meta **m);
455 uint64_t qcow2_alloc_compressed_cluster_offset(BlockDriverState *bs,
456 uint64_t offset,
457 int compressed_size);
458
459 int qcow2_alloc_cluster_link_l2(BlockDriverState *bs, QCowL2Meta *m);
460 int qcow2_discard_clusters(BlockDriverState *bs, uint64_t offset,
461 int nb_sectors, enum qcow2_discard_type type);
462 int qcow2_zero_clusters(BlockDriverState *bs, uint64_t offset, int nb_sectors);
463
464 int qcow2_expand_zero_clusters(BlockDriverState *bs);
465
466 /* qcow2-snapshot.c functions */
467 int qcow2_snapshot_create(BlockDriverState *bs, QEMUSnapshotInfo *sn_info);
468 int qcow2_snapshot_goto(BlockDriverState *bs, const char *snapshot_id);
469 int qcow2_snapshot_delete(BlockDriverState *bs,
470 const char *snapshot_id,
471 const char *name,
472 Error **errp);
473 int qcow2_snapshot_list(BlockDriverState *bs, QEMUSnapshotInfo **psn_tab);
474 int qcow2_snapshot_load_tmp(BlockDriverState *bs, const char *snapshot_name);
475
476 void qcow2_free_snapshots(BlockDriverState *bs);
477 int qcow2_read_snapshots(BlockDriverState *bs);
478
479 /* qcow2-cache.c functions */
480 Qcow2Cache *qcow2_cache_create(BlockDriverState *bs, int num_tables);
481 int qcow2_cache_destroy(BlockDriverState* bs, Qcow2Cache *c);
482
483 void qcow2_cache_entry_mark_dirty(Qcow2Cache *c, void *table);
484 int qcow2_cache_flush(BlockDriverState *bs, Qcow2Cache *c);
485 int qcow2_cache_set_dependency(BlockDriverState *bs, Qcow2Cache *c,
486 Qcow2Cache *dependency);
487 void qcow2_cache_depends_on_flush(Qcow2Cache *c);
488
489 int qcow2_cache_empty(BlockDriverState *bs, Qcow2Cache *c);
490
491 int qcow2_cache_get(BlockDriverState *bs, Qcow2Cache *c, uint64_t offset,
492 void **table);
493 int qcow2_cache_get_empty(BlockDriverState *bs, Qcow2Cache *c, uint64_t offset,
494 void **table);
495 int qcow2_cache_put(BlockDriverState *bs, Qcow2Cache *c, void **table);
496
497 #endif