root / block / vhdx.c @ d92aa883
History | View | Annotate | Download (43 kB)
1 | e8d4e5ff | Jeff Cody | /*
|
---|---|---|---|
2 | e8d4e5ff | Jeff Cody | * Block driver for Hyper-V VHDX Images
|
3 | e8d4e5ff | Jeff Cody | *
|
4 | e8d4e5ff | Jeff Cody | * Copyright (c) 2013 Red Hat, Inc.,
|
5 | e8d4e5ff | Jeff Cody | *
|
6 | e8d4e5ff | Jeff Cody | * Authors:
|
7 | e8d4e5ff | Jeff Cody | * Jeff Cody <jcody@redhat.com>
|
8 | e8d4e5ff | Jeff Cody | *
|
9 | 6e9d290b | Jeff Cody | * This is based on the "VHDX Format Specification v1.00", published 8/25/2012
|
10 | e8d4e5ff | Jeff Cody | * by Microsoft:
|
11 | 6e9d290b | Jeff Cody | * https://www.microsoft.com/en-us/download/details.aspx?id=34750
|
12 | e8d4e5ff | Jeff Cody | *
|
13 | e8d4e5ff | Jeff Cody | * This work is licensed under the terms of the GNU LGPL, version 2 or later.
|
14 | e8d4e5ff | Jeff Cody | * See the COPYING.LIB file in the top-level directory.
|
15 | e8d4e5ff | Jeff Cody | *
|
16 | e8d4e5ff | Jeff Cody | */
|
17 | e8d4e5ff | Jeff Cody | |
18 | e8d4e5ff | Jeff Cody | #include "qemu-common.h" |
19 | e8d4e5ff | Jeff Cody | #include "block/block_int.h" |
20 | e8d4e5ff | Jeff Cody | #include "qemu/module.h" |
21 | e8d4e5ff | Jeff Cody | #include "qemu/crc32c.h" |
22 | e8d4e5ff | Jeff Cody | #include "block/vhdx.h" |
23 | 5641bf40 | Jeff Cody | #include "migration/migration.h" |
24 | e8d4e5ff | Jeff Cody | |
25 | 4f18b782 | Jeff Cody | #include <uuid/uuid.h> |
26 | e8d4e5ff | Jeff Cody | |
27 | e8d4e5ff | Jeff Cody | /* Several metadata and region table data entries are identified by
|
28 | e8d4e5ff | Jeff Cody | * guids in a MS-specific GUID format. */
|
29 | e8d4e5ff | Jeff Cody | |
30 | e8d4e5ff | Jeff Cody | |
31 | e8d4e5ff | Jeff Cody | /* ------- Known Region Table GUIDs ---------------------- */
|
32 | e8d4e5ff | Jeff Cody | static const MSGUID bat_guid = { .data1 = 0x2dc27766, |
33 | e8d4e5ff | Jeff Cody | .data2 = 0xf623,
|
34 | e8d4e5ff | Jeff Cody | .data3 = 0x4200,
|
35 | e8d4e5ff | Jeff Cody | .data4 = { 0x9d, 0x64, 0x11, 0x5e, |
36 | e8d4e5ff | Jeff Cody | 0x9b, 0xfd, 0x4a, 0x08} }; |
37 | e8d4e5ff | Jeff Cody | |
38 | e8d4e5ff | Jeff Cody | static const MSGUID metadata_guid = { .data1 = 0x8b7ca206, |
39 | e8d4e5ff | Jeff Cody | .data2 = 0x4790,
|
40 | e8d4e5ff | Jeff Cody | .data3 = 0x4b9a,
|
41 | e8d4e5ff | Jeff Cody | .data4 = { 0xb8, 0xfe, 0x57, 0x5f, |
42 | e8d4e5ff | Jeff Cody | 0x05, 0x0f, 0x88, 0x6e} }; |
43 | e8d4e5ff | Jeff Cody | |
44 | e8d4e5ff | Jeff Cody | |
45 | e8d4e5ff | Jeff Cody | |
46 | e8d4e5ff | Jeff Cody | /* ------- Known Metadata Entry GUIDs ---------------------- */
|
47 | e8d4e5ff | Jeff Cody | static const MSGUID file_param_guid = { .data1 = 0xcaa16737, |
48 | e8d4e5ff | Jeff Cody | .data2 = 0xfa36,
|
49 | e8d4e5ff | Jeff Cody | .data3 = 0x4d43,
|
50 | e8d4e5ff | Jeff Cody | .data4 = { 0xb3, 0xb6, 0x33, 0xf0, |
51 | e8d4e5ff | Jeff Cody | 0xaa, 0x44, 0xe7, 0x6b} }; |
52 | e8d4e5ff | Jeff Cody | |
53 | e8d4e5ff | Jeff Cody | static const MSGUID virtual_size_guid = { .data1 = 0x2FA54224, |
54 | e8d4e5ff | Jeff Cody | .data2 = 0xcd1b,
|
55 | e8d4e5ff | Jeff Cody | .data3 = 0x4876,
|
56 | e8d4e5ff | Jeff Cody | .data4 = { 0xb2, 0x11, 0x5d, 0xbe, |
57 | e8d4e5ff | Jeff Cody | 0xd8, 0x3b, 0xf4, 0xb8} }; |
58 | e8d4e5ff | Jeff Cody | |
59 | e8d4e5ff | Jeff Cody | static const MSGUID page83_guid = { .data1 = 0xbeca12ab, |
60 | e8d4e5ff | Jeff Cody | .data2 = 0xb2e6,
|
61 | e8d4e5ff | Jeff Cody | .data3 = 0x4523,
|
62 | e8d4e5ff | Jeff Cody | .data4 = { 0x93, 0xef, 0xc3, 0x09, |
63 | e8d4e5ff | Jeff Cody | 0xe0, 0x00, 0xc7, 0x46} }; |
64 | e8d4e5ff | Jeff Cody | |
65 | e8d4e5ff | Jeff Cody | |
66 | e8d4e5ff | Jeff Cody | static const MSGUID phys_sector_guid = { .data1 = 0xcda348c7, |
67 | e8d4e5ff | Jeff Cody | .data2 = 0x445d,
|
68 | e8d4e5ff | Jeff Cody | .data3 = 0x4471,
|
69 | e8d4e5ff | Jeff Cody | .data4 = { 0x9c, 0xc9, 0xe9, 0x88, |
70 | e8d4e5ff | Jeff Cody | 0x52, 0x51, 0xc5, 0x56} }; |
71 | e8d4e5ff | Jeff Cody | |
72 | e8d4e5ff | Jeff Cody | static const MSGUID parent_locator_guid = { .data1 = 0xa8d35f2d, |
73 | e8d4e5ff | Jeff Cody | .data2 = 0xb30b,
|
74 | e8d4e5ff | Jeff Cody | .data3 = 0x454d,
|
75 | e8d4e5ff | Jeff Cody | .data4 = { 0xab, 0xf7, 0xd3, |
76 | e8d4e5ff | Jeff Cody | 0xd8, 0x48, 0x34, |
77 | e8d4e5ff | Jeff Cody | 0xab, 0x0c} }; |
78 | e8d4e5ff | Jeff Cody | |
79 | e8d4e5ff | Jeff Cody | static const MSGUID logical_sector_guid = { .data1 = 0x8141bf1d, |
80 | e8d4e5ff | Jeff Cody | .data2 = 0xa96f,
|
81 | e8d4e5ff | Jeff Cody | .data3 = 0x4709,
|
82 | e8d4e5ff | Jeff Cody | .data4 = { 0xba, 0x47, 0xf2, |
83 | e8d4e5ff | Jeff Cody | 0x33, 0xa8, 0xfa, |
84 | e8d4e5ff | Jeff Cody | 0xab, 0x5f} }; |
85 | e8d4e5ff | Jeff Cody | |
86 | e8d4e5ff | Jeff Cody | /* Each parent type must have a valid GUID; this is for parent images
|
87 | e8d4e5ff | Jeff Cody | * of type 'VHDX'. If we were to allow e.g. a QCOW2 parent, we would
|
88 | e8d4e5ff | Jeff Cody | * need to make up our own QCOW2 GUID type */
|
89 | e8d4e5ff | Jeff Cody | static const MSGUID parent_vhdx_guid = { .data1 = 0xb04aefb7, |
90 | e8d4e5ff | Jeff Cody | .data2 = 0xd19e,
|
91 | e8d4e5ff | Jeff Cody | .data3 = 0x4a81,
|
92 | e8d4e5ff | Jeff Cody | .data4 = { 0xb7, 0x89, 0x25, 0xb8, |
93 | e8d4e5ff | Jeff Cody | 0xe9, 0x44, 0x59, 0x13} }; |
94 | e8d4e5ff | Jeff Cody | |
95 | e8d4e5ff | Jeff Cody | |
96 | e8d4e5ff | Jeff Cody | #define META_FILE_PARAMETER_PRESENT 0x01 |
97 | e8d4e5ff | Jeff Cody | #define META_VIRTUAL_DISK_SIZE_PRESENT 0x02 |
98 | e8d4e5ff | Jeff Cody | #define META_PAGE_83_PRESENT 0x04 |
99 | e8d4e5ff | Jeff Cody | #define META_LOGICAL_SECTOR_SIZE_PRESENT 0x08 |
100 | e8d4e5ff | Jeff Cody | #define META_PHYS_SECTOR_SIZE_PRESENT 0x10 |
101 | e8d4e5ff | Jeff Cody | #define META_PARENT_LOCATOR_PRESENT 0x20 |
102 | e8d4e5ff | Jeff Cody | |
103 | e8d4e5ff | Jeff Cody | #define META_ALL_PRESENT \
|
104 | e8d4e5ff | Jeff Cody | (META_FILE_PARAMETER_PRESENT | META_VIRTUAL_DISK_SIZE_PRESENT | \ |
105 | e8d4e5ff | Jeff Cody | META_PAGE_83_PRESENT | META_LOGICAL_SECTOR_SIZE_PRESENT | \ |
106 | e8d4e5ff | Jeff Cody | META_PHYS_SECTOR_SIZE_PRESENT) |
107 | e8d4e5ff | Jeff Cody | |
108 | e8d4e5ff | Jeff Cody | |
109 | 059e2fbb | Jeff Cody | typedef struct VHDXSectorInfo { |
110 | 059e2fbb | Jeff Cody | uint32_t bat_idx; /* BAT entry index */
|
111 | 059e2fbb | Jeff Cody | uint32_t sectors_avail; /* sectors available in payload block */
|
112 | 059e2fbb | Jeff Cody | uint32_t bytes_left; /* bytes left in the block after data to r/w */
|
113 | 059e2fbb | Jeff Cody | uint32_t bytes_avail; /* bytes available in payload block */
|
114 | 059e2fbb | Jeff Cody | uint64_t file_offset; /* absolute offset in bytes, in file */
|
115 | 059e2fbb | Jeff Cody | uint64_t block_offset; /* block offset, in bytes */
|
116 | 059e2fbb | Jeff Cody | } VHDXSectorInfo; |
117 | 059e2fbb | Jeff Cody | |
118 | 4f18b782 | Jeff Cody | /* Calculates new checksum.
|
119 | 4f18b782 | Jeff Cody | *
|
120 | 4f18b782 | Jeff Cody | * Zero is substituted during crc calculation for the original crc field
|
121 | 4f18b782 | Jeff Cody | * crc_offset: byte offset in buf of the buffer crc
|
122 | 4f18b782 | Jeff Cody | * buf: buffer pointer
|
123 | 4f18b782 | Jeff Cody | * size: size of buffer (must be > crc_offset+4)
|
124 | 4f18b782 | Jeff Cody | *
|
125 | 4f18b782 | Jeff Cody | * Note: The resulting checksum is in the CPU endianness, not necessarily
|
126 | 4f18b782 | Jeff Cody | * in the file format endianness (LE). Any header export to disk should
|
127 | 4f18b782 | Jeff Cody | * make sure that vhdx_header_le_export() is used to convert to the
|
128 | 4f18b782 | Jeff Cody | * correct endianness
|
129 | 4f18b782 | Jeff Cody | */
|
130 | 4f18b782 | Jeff Cody | uint32_t vhdx_update_checksum(uint8_t *buf, size_t size, int crc_offset)
|
131 | 4f18b782 | Jeff Cody | { |
132 | 4f18b782 | Jeff Cody | uint32_t crc; |
133 | 4f18b782 | Jeff Cody | |
134 | 4f18b782 | Jeff Cody | assert(buf != NULL);
|
135 | 4f18b782 | Jeff Cody | assert(size > (crc_offset + sizeof(crc)));
|
136 | 4f18b782 | Jeff Cody | |
137 | 4f18b782 | Jeff Cody | memset(buf + crc_offset, 0, sizeof(crc)); |
138 | 4f18b782 | Jeff Cody | crc = crc32c(0xffffffff, buf, size);
|
139 | 4f18b782 | Jeff Cody | memcpy(buf + crc_offset, &crc, sizeof(crc));
|
140 | 4f18b782 | Jeff Cody | |
141 | 4f18b782 | Jeff Cody | return crc;
|
142 | 4f18b782 | Jeff Cody | } |
143 | 4f18b782 | Jeff Cody | |
144 | e8d4e5ff | Jeff Cody | uint32_t vhdx_checksum_calc(uint32_t crc, uint8_t *buf, size_t size, |
145 | e8d4e5ff | Jeff Cody | int crc_offset)
|
146 | e8d4e5ff | Jeff Cody | { |
147 | e8d4e5ff | Jeff Cody | uint32_t crc_new; |
148 | e8d4e5ff | Jeff Cody | uint32_t crc_orig; |
149 | e8d4e5ff | Jeff Cody | assert(buf != NULL);
|
150 | e8d4e5ff | Jeff Cody | |
151 | e8d4e5ff | Jeff Cody | if (crc_offset > 0) { |
152 | e8d4e5ff | Jeff Cody | memcpy(&crc_orig, buf + crc_offset, sizeof(crc_orig));
|
153 | e8d4e5ff | Jeff Cody | memset(buf + crc_offset, 0, sizeof(crc_orig)); |
154 | e8d4e5ff | Jeff Cody | } |
155 | e8d4e5ff | Jeff Cody | |
156 | e8d4e5ff | Jeff Cody | crc_new = crc32c(crc, buf, size); |
157 | e8d4e5ff | Jeff Cody | if (crc_offset > 0) { |
158 | e8d4e5ff | Jeff Cody | memcpy(buf + crc_offset, &crc_orig, sizeof(crc_orig));
|
159 | e8d4e5ff | Jeff Cody | } |
160 | e8d4e5ff | Jeff Cody | |
161 | e8d4e5ff | Jeff Cody | return crc_new;
|
162 | e8d4e5ff | Jeff Cody | } |
163 | e8d4e5ff | Jeff Cody | |
164 | e8d4e5ff | Jeff Cody | /* Validates the checksum of the buffer, with an in-place CRC.
|
165 | e8d4e5ff | Jeff Cody | *
|
166 | e8d4e5ff | Jeff Cody | * Zero is substituted during crc calculation for the original crc field,
|
167 | e8d4e5ff | Jeff Cody | * and the crc field is restored afterwards. But the buffer will be modifed
|
168 | e8d4e5ff | Jeff Cody | * during the calculation, so this may not be not suitable for multi-threaded
|
169 | e8d4e5ff | Jeff Cody | * use.
|
170 | e8d4e5ff | Jeff Cody | *
|
171 | e8d4e5ff | Jeff Cody | * crc_offset: byte offset in buf of the buffer crc
|
172 | e8d4e5ff | Jeff Cody | * buf: buffer pointer
|
173 | e8d4e5ff | Jeff Cody | * size: size of buffer (must be > crc_offset+4)
|
174 | e8d4e5ff | Jeff Cody | *
|
175 | e8d4e5ff | Jeff Cody | * returns true if checksum is valid, false otherwise
|
176 | e8d4e5ff | Jeff Cody | */
|
177 | e8d4e5ff | Jeff Cody | bool vhdx_checksum_is_valid(uint8_t *buf, size_t size, int crc_offset) |
178 | e8d4e5ff | Jeff Cody | { |
179 | e8d4e5ff | Jeff Cody | uint32_t crc_orig; |
180 | e8d4e5ff | Jeff Cody | uint32_t crc; |
181 | e8d4e5ff | Jeff Cody | |
182 | e8d4e5ff | Jeff Cody | assert(buf != NULL);
|
183 | e8d4e5ff | Jeff Cody | assert(size > (crc_offset + 4));
|
184 | e8d4e5ff | Jeff Cody | |
185 | e8d4e5ff | Jeff Cody | memcpy(&crc_orig, buf + crc_offset, sizeof(crc_orig));
|
186 | e8d4e5ff | Jeff Cody | crc_orig = le32_to_cpu(crc_orig); |
187 | e8d4e5ff | Jeff Cody | |
188 | e8d4e5ff | Jeff Cody | crc = vhdx_checksum_calc(0xffffffff, buf, size, crc_offset);
|
189 | e8d4e5ff | Jeff Cody | |
190 | e8d4e5ff | Jeff Cody | return crc == crc_orig;
|
191 | e8d4e5ff | Jeff Cody | } |
192 | e8d4e5ff | Jeff Cody | |
193 | e8d4e5ff | Jeff Cody | |
194 | e8d4e5ff | Jeff Cody | /*
|
195 | 4f18b782 | Jeff Cody | * This generates a UUID that is compliant with the MS GUIDs used
|
196 | 4f18b782 | Jeff Cody | * in the VHDX spec (and elsewhere).
|
197 | 4f18b782 | Jeff Cody | */
|
198 | 4f18b782 | Jeff Cody | void vhdx_guid_generate(MSGUID *guid)
|
199 | 4f18b782 | Jeff Cody | { |
200 | 4f18b782 | Jeff Cody | uuid_t uuid; |
201 | 4f18b782 | Jeff Cody | assert(guid != NULL);
|
202 | 4f18b782 | Jeff Cody | |
203 | 4f18b782 | Jeff Cody | uuid_generate(uuid); |
204 | 4f18b782 | Jeff Cody | memcpy(guid, uuid, sizeof(MSGUID));
|
205 | 4f18b782 | Jeff Cody | } |
206 | 4f18b782 | Jeff Cody | |
207 | 1a848fd4 | Jeff Cody | /* Check for region overlaps inside the VHDX image */
|
208 | 1a848fd4 | Jeff Cody | static int vhdx_region_check(BDRVVHDXState *s, uint64_t start, uint64_t length) |
209 | 1a848fd4 | Jeff Cody | { |
210 | 1a848fd4 | Jeff Cody | int ret = 0; |
211 | 1a848fd4 | Jeff Cody | uint64_t end; |
212 | 1a848fd4 | Jeff Cody | VHDXRegionEntry *r; |
213 | 1a848fd4 | Jeff Cody | |
214 | 1a848fd4 | Jeff Cody | end = start + length; |
215 | 1a848fd4 | Jeff Cody | QLIST_FOREACH(r, &s->regions, entries) { |
216 | 1a848fd4 | Jeff Cody | if (!((start >= r->end) || (end <= r->start))) {
|
217 | 1a848fd4 | Jeff Cody | ret = -EINVAL; |
218 | 1a848fd4 | Jeff Cody | goto exit;
|
219 | 1a848fd4 | Jeff Cody | } |
220 | 1a848fd4 | Jeff Cody | } |
221 | 1a848fd4 | Jeff Cody | |
222 | 1a848fd4 | Jeff Cody | exit:
|
223 | 1a848fd4 | Jeff Cody | return ret;
|
224 | 1a848fd4 | Jeff Cody | } |
225 | 1a848fd4 | Jeff Cody | |
226 | 1a848fd4 | Jeff Cody | /* Register a region for future checks */
|
227 | 1a848fd4 | Jeff Cody | static void vhdx_region_register(BDRVVHDXState *s, |
228 | 1a848fd4 | Jeff Cody | uint64_t start, uint64_t length) |
229 | 1a848fd4 | Jeff Cody | { |
230 | 1a848fd4 | Jeff Cody | VHDXRegionEntry *r; |
231 | 1a848fd4 | Jeff Cody | |
232 | 1a848fd4 | Jeff Cody | r = g_malloc0(sizeof(*r));
|
233 | 1a848fd4 | Jeff Cody | |
234 | 1a848fd4 | Jeff Cody | r->start = start; |
235 | 1a848fd4 | Jeff Cody | r->end = start + length; |
236 | 1a848fd4 | Jeff Cody | |
237 | 1a848fd4 | Jeff Cody | QLIST_INSERT_HEAD(&s->regions, r, entries); |
238 | 1a848fd4 | Jeff Cody | } |
239 | 1a848fd4 | Jeff Cody | |
240 | 1a848fd4 | Jeff Cody | /* Free all registered regions */
|
241 | 1a848fd4 | Jeff Cody | static void vhdx_region_unregister_all(BDRVVHDXState *s) |
242 | 1a848fd4 | Jeff Cody | { |
243 | 1a848fd4 | Jeff Cody | VHDXRegionEntry *r, *r_next; |
244 | 1a848fd4 | Jeff Cody | |
245 | 1a848fd4 | Jeff Cody | QLIST_FOREACH_SAFE(r, &s->regions, entries, r_next) { |
246 | 1a848fd4 | Jeff Cody | QLIST_REMOVE(r, entries); |
247 | 1a848fd4 | Jeff Cody | g_free(r); |
248 | 1a848fd4 | Jeff Cody | } |
249 | 1a848fd4 | Jeff Cody | } |
250 | 1a848fd4 | Jeff Cody | |
251 | 4f18b782 | Jeff Cody | /*
|
252 | e8d4e5ff | Jeff Cody | * Per the MS VHDX Specification, for every VHDX file:
|
253 | e8d4e5ff | Jeff Cody | * - The header section is fixed size - 1 MB
|
254 | e8d4e5ff | Jeff Cody | * - The header section is always the first "object"
|
255 | e8d4e5ff | Jeff Cody | * - The first 64KB of the header is the File Identifier
|
256 | e8d4e5ff | Jeff Cody | * - The first uint64 (8 bytes) is the VHDX Signature ("vhdxfile")
|
257 | e8d4e5ff | Jeff Cody | * - The following 512 bytes constitute a UTF-16 string identifiying the
|
258 | e8d4e5ff | Jeff Cody | * software that created the file, and is optional and diagnostic only.
|
259 | e8d4e5ff | Jeff Cody | *
|
260 | e8d4e5ff | Jeff Cody | * Therefore, we probe by looking for the vhdxfile signature "vhdxfile"
|
261 | e8d4e5ff | Jeff Cody | */
|
262 | e8d4e5ff | Jeff Cody | static int vhdx_probe(const uint8_t *buf, int buf_size, const char *filename) |
263 | e8d4e5ff | Jeff Cody | { |
264 | e8d4e5ff | Jeff Cody | if (buf_size >= 8 && !memcmp(buf, "vhdxfile", 8)) { |
265 | e8d4e5ff | Jeff Cody | return 100; |
266 | e8d4e5ff | Jeff Cody | } |
267 | e8d4e5ff | Jeff Cody | return 0; |
268 | e8d4e5ff | Jeff Cody | } |
269 | e8d4e5ff | Jeff Cody | |
270 | 4f18b782 | Jeff Cody | /* Update the VHDX headers
|
271 | 4f18b782 | Jeff Cody | *
|
272 | 4f18b782 | Jeff Cody | * This follows the VHDX spec procedures for header updates.
|
273 | 4f18b782 | Jeff Cody | *
|
274 | 4f18b782 | Jeff Cody | * - non-current header is updated with largest sequence number
|
275 | 4f18b782 | Jeff Cody | */
|
276 | 4f18b782 | Jeff Cody | static int vhdx_update_header(BlockDriverState *bs, BDRVVHDXState *s, |
277 | c3906c5e | Jeff Cody | bool generate_data_write_guid, MSGUID *log_guid)
|
278 | 4f18b782 | Jeff Cody | { |
279 | 4f18b782 | Jeff Cody | int ret = 0; |
280 | 4f18b782 | Jeff Cody | int hdr_idx = 0; |
281 | 4f18b782 | Jeff Cody | uint64_t header_offset = VHDX_HEADER1_OFFSET; |
282 | 4f18b782 | Jeff Cody | |
283 | 4f18b782 | Jeff Cody | VHDXHeader *active_header; |
284 | 4f18b782 | Jeff Cody | VHDXHeader *inactive_header; |
285 | 4f18b782 | Jeff Cody | VHDXHeader header_le; |
286 | 4f18b782 | Jeff Cody | uint8_t *buffer; |
287 | 4f18b782 | Jeff Cody | |
288 | 4f18b782 | Jeff Cody | /* operate on the non-current header */
|
289 | 4f18b782 | Jeff Cody | if (s->curr_header == 0) { |
290 | 4f18b782 | Jeff Cody | hdr_idx = 1;
|
291 | 4f18b782 | Jeff Cody | header_offset = VHDX_HEADER2_OFFSET; |
292 | 4f18b782 | Jeff Cody | } |
293 | 4f18b782 | Jeff Cody | |
294 | 4f18b782 | Jeff Cody | active_header = s->headers[s->curr_header]; |
295 | 4f18b782 | Jeff Cody | inactive_header = s->headers[hdr_idx]; |
296 | 4f18b782 | Jeff Cody | |
297 | 4f18b782 | Jeff Cody | inactive_header->sequence_number = active_header->sequence_number + 1;
|
298 | 4f18b782 | Jeff Cody | |
299 | 4f18b782 | Jeff Cody | /* a new file guid must be generated before any file write, including
|
300 | 4f18b782 | Jeff Cody | * headers */
|
301 | 4f18b782 | Jeff Cody | inactive_header->file_write_guid = s->session_guid; |
302 | 4f18b782 | Jeff Cody | |
303 | 4f18b782 | Jeff Cody | /* a new data guid only needs to be generated before any guest-visible
|
304 | 4f18b782 | Jeff Cody | * writes (i.e. something observable via virtual disk read) */
|
305 | 4f18b782 | Jeff Cody | if (generate_data_write_guid) {
|
306 | 4f18b782 | Jeff Cody | vhdx_guid_generate(&inactive_header->data_write_guid); |
307 | 4f18b782 | Jeff Cody | } |
308 | 4f18b782 | Jeff Cody | |
309 | c3906c5e | Jeff Cody | /* update the log guid if present */
|
310 | c3906c5e | Jeff Cody | if (log_guid) {
|
311 | c3906c5e | Jeff Cody | inactive_header->log_guid = *log_guid; |
312 | c3906c5e | Jeff Cody | } |
313 | c3906c5e | Jeff Cody | |
314 | 4f18b782 | Jeff Cody | /* the header checksum is not over just the packed size of VHDXHeader,
|
315 | 4f18b782 | Jeff Cody | * but rather over the entire 'reserved' range for the header, which is
|
316 | 4f18b782 | Jeff Cody | * 4KB (VHDX_HEADER_SIZE). */
|
317 | 4f18b782 | Jeff Cody | |
318 | 4f18b782 | Jeff Cody | buffer = qemu_blockalign(bs, VHDX_HEADER_SIZE); |
319 | 4f18b782 | Jeff Cody | /* we can't assume the extra reserved bytes are 0 */
|
320 | 4f18b782 | Jeff Cody | ret = bdrv_pread(bs->file, header_offset, buffer, VHDX_HEADER_SIZE); |
321 | 4f18b782 | Jeff Cody | if (ret < 0) { |
322 | 4f18b782 | Jeff Cody | goto exit;
|
323 | 4f18b782 | Jeff Cody | } |
324 | 4f18b782 | Jeff Cody | /* overwrite the actual VHDXHeader portion */
|
325 | 4f18b782 | Jeff Cody | memcpy(buffer, inactive_header, sizeof(VHDXHeader));
|
326 | 4f18b782 | Jeff Cody | inactive_header->checksum = |
327 | 4f18b782 | Jeff Cody | vhdx_update_checksum(buffer, VHDX_HEADER_SIZE, |
328 | 4f18b782 | Jeff Cody | offsetof(VHDXHeader, checksum)); |
329 | 4f18b782 | Jeff Cody | vhdx_header_le_export(inactive_header, &header_le); |
330 | 4f18b782 | Jeff Cody | ret = bdrv_pwrite_sync(bs->file, header_offset, &header_le, |
331 | 4f18b782 | Jeff Cody | sizeof(VHDXHeader));
|
332 | 4f18b782 | Jeff Cody | if (ret < 0) { |
333 | 4f18b782 | Jeff Cody | goto exit;
|
334 | 4f18b782 | Jeff Cody | } |
335 | 4f18b782 | Jeff Cody | s->curr_header = hdr_idx; |
336 | 4f18b782 | Jeff Cody | |
337 | 4f18b782 | Jeff Cody | exit:
|
338 | 4f18b782 | Jeff Cody | qemu_vfree(buffer); |
339 | 4f18b782 | Jeff Cody | return ret;
|
340 | 4f18b782 | Jeff Cody | } |
341 | 4f18b782 | Jeff Cody | |
342 | 4f18b782 | Jeff Cody | /*
|
343 | 4f18b782 | Jeff Cody | * The VHDX spec calls for header updates to be performed twice, so that both
|
344 | 4f18b782 | Jeff Cody | * the current and non-current header have valid info
|
345 | 4f18b782 | Jeff Cody | */
|
346 | c3906c5e | Jeff Cody | int vhdx_update_headers(BlockDriverState *bs, BDRVVHDXState *s,
|
347 | c3906c5e | Jeff Cody | bool generate_data_write_guid, MSGUID *log_guid)
|
348 | 4f18b782 | Jeff Cody | { |
349 | 4f18b782 | Jeff Cody | int ret;
|
350 | 4f18b782 | Jeff Cody | |
351 | c3906c5e | Jeff Cody | ret = vhdx_update_header(bs, s, generate_data_write_guid, log_guid); |
352 | 4f18b782 | Jeff Cody | if (ret < 0) { |
353 | 4f18b782 | Jeff Cody | return ret;
|
354 | 4f18b782 | Jeff Cody | } |
355 | c3906c5e | Jeff Cody | ret = vhdx_update_header(bs, s, generate_data_write_guid, log_guid); |
356 | 4f18b782 | Jeff Cody | return ret;
|
357 | 4f18b782 | Jeff Cody | } |
358 | e8d4e5ff | Jeff Cody | |
359 | e8d4e5ff | Jeff Cody | /* opens the specified header block from the VHDX file header section */
|
360 | e8d4e5ff | Jeff Cody | static int vhdx_parse_header(BlockDriverState *bs, BDRVVHDXState *s) |
361 | e8d4e5ff | Jeff Cody | { |
362 | e8d4e5ff | Jeff Cody | int ret = 0; |
363 | e8d4e5ff | Jeff Cody | VHDXHeader *header1; |
364 | e8d4e5ff | Jeff Cody | VHDXHeader *header2; |
365 | e8d4e5ff | Jeff Cody | bool h1_valid = false; |
366 | e8d4e5ff | Jeff Cody | bool h2_valid = false; |
367 | e8d4e5ff | Jeff Cody | uint64_t h1_seq = 0;
|
368 | e8d4e5ff | Jeff Cody | uint64_t h2_seq = 0;
|
369 | e8d4e5ff | Jeff Cody | uint8_t *buffer; |
370 | e8d4e5ff | Jeff Cody | |
371 | 6e9d290b | Jeff Cody | /* header1 & header2 are freed in vhdx_close() */
|
372 | e8d4e5ff | Jeff Cody | header1 = qemu_blockalign(bs, sizeof(VHDXHeader));
|
373 | e8d4e5ff | Jeff Cody | header2 = qemu_blockalign(bs, sizeof(VHDXHeader));
|
374 | e8d4e5ff | Jeff Cody | |
375 | e8d4e5ff | Jeff Cody | buffer = qemu_blockalign(bs, VHDX_HEADER_SIZE); |
376 | e8d4e5ff | Jeff Cody | |
377 | e8d4e5ff | Jeff Cody | s->headers[0] = header1;
|
378 | e8d4e5ff | Jeff Cody | s->headers[1] = header2;
|
379 | e8d4e5ff | Jeff Cody | |
380 | e8d4e5ff | Jeff Cody | /* We have to read the whole VHDX_HEADER_SIZE instead of
|
381 | e8d4e5ff | Jeff Cody | * sizeof(VHDXHeader), because the checksum is over the whole
|
382 | e8d4e5ff | Jeff Cody | * region */
|
383 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, VHDX_HEADER1_OFFSET, buffer, VHDX_HEADER_SIZE); |
384 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
385 | e8d4e5ff | Jeff Cody | goto fail;
|
386 | e8d4e5ff | Jeff Cody | } |
387 | e8d4e5ff | Jeff Cody | /* copy over just the relevant portion that we need */
|
388 | e8d4e5ff | Jeff Cody | memcpy(header1, buffer, sizeof(VHDXHeader));
|
389 | e8d4e5ff | Jeff Cody | vhdx_header_le_import(header1); |
390 | e8d4e5ff | Jeff Cody | |
391 | e8d4e5ff | Jeff Cody | if (vhdx_checksum_is_valid(buffer, VHDX_HEADER_SIZE, 4) && |
392 | e8d4e5ff | Jeff Cody | !memcmp(&header1->signature, "head", 4) && |
393 | e8d4e5ff | Jeff Cody | header1->version == 1) {
|
394 | e8d4e5ff | Jeff Cody | h1_seq = header1->sequence_number; |
395 | e8d4e5ff | Jeff Cody | h1_valid = true;
|
396 | e8d4e5ff | Jeff Cody | } |
397 | e8d4e5ff | Jeff Cody | |
398 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, VHDX_HEADER2_OFFSET, buffer, VHDX_HEADER_SIZE); |
399 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
400 | e8d4e5ff | Jeff Cody | goto fail;
|
401 | e8d4e5ff | Jeff Cody | } |
402 | e8d4e5ff | Jeff Cody | /* copy over just the relevant portion that we need */
|
403 | e8d4e5ff | Jeff Cody | memcpy(header2, buffer, sizeof(VHDXHeader));
|
404 | e8d4e5ff | Jeff Cody | vhdx_header_le_import(header2); |
405 | e8d4e5ff | Jeff Cody | |
406 | e8d4e5ff | Jeff Cody | if (vhdx_checksum_is_valid(buffer, VHDX_HEADER_SIZE, 4) && |
407 | e8d4e5ff | Jeff Cody | !memcmp(&header2->signature, "head", 4) && |
408 | e8d4e5ff | Jeff Cody | header2->version == 1) {
|
409 | e8d4e5ff | Jeff Cody | h2_seq = header2->sequence_number; |
410 | e8d4e5ff | Jeff Cody | h2_valid = true;
|
411 | e8d4e5ff | Jeff Cody | } |
412 | e8d4e5ff | Jeff Cody | |
413 | e8d4e5ff | Jeff Cody | /* If there is only 1 valid header (or no valid headers), we
|
414 | e8d4e5ff | Jeff Cody | * don't care what the sequence numbers are */
|
415 | e8d4e5ff | Jeff Cody | if (h1_valid && !h2_valid) {
|
416 | e8d4e5ff | Jeff Cody | s->curr_header = 0;
|
417 | e8d4e5ff | Jeff Cody | } else if (!h1_valid && h2_valid) { |
418 | e8d4e5ff | Jeff Cody | s->curr_header = 1;
|
419 | e8d4e5ff | Jeff Cody | } else if (!h1_valid && !h2_valid) { |
420 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
421 | e8d4e5ff | Jeff Cody | goto fail;
|
422 | e8d4e5ff | Jeff Cody | } else {
|
423 | e8d4e5ff | Jeff Cody | /* If both headers are valid, then we choose the active one by the
|
424 | e8d4e5ff | Jeff Cody | * highest sequence number. If the sequence numbers are equal, that is
|
425 | e8d4e5ff | Jeff Cody | * invalid */
|
426 | e8d4e5ff | Jeff Cody | if (h1_seq > h2_seq) {
|
427 | e8d4e5ff | Jeff Cody | s->curr_header = 0;
|
428 | e8d4e5ff | Jeff Cody | } else if (h2_seq > h1_seq) { |
429 | e8d4e5ff | Jeff Cody | s->curr_header = 1;
|
430 | e8d4e5ff | Jeff Cody | } else {
|
431 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
432 | e8d4e5ff | Jeff Cody | goto fail;
|
433 | e8d4e5ff | Jeff Cody | } |
434 | e8d4e5ff | Jeff Cody | } |
435 | e8d4e5ff | Jeff Cody | |
436 | 1a848fd4 | Jeff Cody | vhdx_region_register(s, s->headers[s->curr_header]->log_offset, |
437 | 1a848fd4 | Jeff Cody | s->headers[s->curr_header]->log_length); |
438 | 1a848fd4 | Jeff Cody | |
439 | e8d4e5ff | Jeff Cody | ret = 0;
|
440 | e8d4e5ff | Jeff Cody | |
441 | e8d4e5ff | Jeff Cody | goto exit;
|
442 | e8d4e5ff | Jeff Cody | |
443 | e8d4e5ff | Jeff Cody | fail:
|
444 | e8d4e5ff | Jeff Cody | qerror_report(ERROR_CLASS_GENERIC_ERROR, "No valid VHDX header found");
|
445 | e8d4e5ff | Jeff Cody | qemu_vfree(header1); |
446 | e8d4e5ff | Jeff Cody | qemu_vfree(header2); |
447 | e8d4e5ff | Jeff Cody | s->headers[0] = NULL; |
448 | e8d4e5ff | Jeff Cody | s->headers[1] = NULL; |
449 | e8d4e5ff | Jeff Cody | exit:
|
450 | e8d4e5ff | Jeff Cody | qemu_vfree(buffer); |
451 | e8d4e5ff | Jeff Cody | return ret;
|
452 | e8d4e5ff | Jeff Cody | } |
453 | e8d4e5ff | Jeff Cody | |
454 | e8d4e5ff | Jeff Cody | |
455 | e8d4e5ff | Jeff Cody | static int vhdx_open_region_tables(BlockDriverState *bs, BDRVVHDXState *s) |
456 | e8d4e5ff | Jeff Cody | { |
457 | e8d4e5ff | Jeff Cody | int ret = 0; |
458 | e8d4e5ff | Jeff Cody | uint8_t *buffer; |
459 | e8d4e5ff | Jeff Cody | int offset = 0; |
460 | e8d4e5ff | Jeff Cody | VHDXRegionTableEntry rt_entry; |
461 | e8d4e5ff | Jeff Cody | uint32_t i; |
462 | e8d4e5ff | Jeff Cody | bool bat_rt_found = false; |
463 | e8d4e5ff | Jeff Cody | bool metadata_rt_found = false; |
464 | e8d4e5ff | Jeff Cody | |
465 | e8d4e5ff | Jeff Cody | /* We have to read the whole 64KB block, because the crc32 is over the
|
466 | e8d4e5ff | Jeff Cody | * whole block */
|
467 | e8d4e5ff | Jeff Cody | buffer = qemu_blockalign(bs, VHDX_HEADER_BLOCK_SIZE); |
468 | e8d4e5ff | Jeff Cody | |
469 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, VHDX_REGION_TABLE_OFFSET, buffer, |
470 | e8d4e5ff | Jeff Cody | VHDX_HEADER_BLOCK_SIZE); |
471 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
472 | e8d4e5ff | Jeff Cody | goto fail;
|
473 | e8d4e5ff | Jeff Cody | } |
474 | e8d4e5ff | Jeff Cody | memcpy(&s->rt, buffer, sizeof(s->rt));
|
475 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->rt.signature); |
476 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->rt.checksum); |
477 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->rt.entry_count); |
478 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->rt.reserved); |
479 | e8d4e5ff | Jeff Cody | offset += sizeof(s->rt);
|
480 | e8d4e5ff | Jeff Cody | |
481 | e8d4e5ff | Jeff Cody | if (!vhdx_checksum_is_valid(buffer, VHDX_HEADER_BLOCK_SIZE, 4) || |
482 | e8d4e5ff | Jeff Cody | memcmp(&s->rt.signature, "regi", 4)) { |
483 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
484 | e8d4e5ff | Jeff Cody | goto fail;
|
485 | e8d4e5ff | Jeff Cody | } |
486 | e8d4e5ff | Jeff Cody | |
487 | e8d4e5ff | Jeff Cody | /* Per spec, maximum region table entry count is 2047 */
|
488 | e8d4e5ff | Jeff Cody | if (s->rt.entry_count > 2047) { |
489 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
490 | e8d4e5ff | Jeff Cody | goto fail;
|
491 | e8d4e5ff | Jeff Cody | } |
492 | e8d4e5ff | Jeff Cody | |
493 | e8d4e5ff | Jeff Cody | for (i = 0; i < s->rt.entry_count; i++) { |
494 | e8d4e5ff | Jeff Cody | memcpy(&rt_entry, buffer + offset, sizeof(rt_entry));
|
495 | e8d4e5ff | Jeff Cody | offset += sizeof(rt_entry);
|
496 | e8d4e5ff | Jeff Cody | |
497 | e8d4e5ff | Jeff Cody | leguid_to_cpus(&rt_entry.guid); |
498 | e8d4e5ff | Jeff Cody | le64_to_cpus(&rt_entry.file_offset); |
499 | e8d4e5ff | Jeff Cody | le32_to_cpus(&rt_entry.length); |
500 | e8d4e5ff | Jeff Cody | le32_to_cpus(&rt_entry.data_bits); |
501 | e8d4e5ff | Jeff Cody | |
502 | 1a848fd4 | Jeff Cody | /* check for region overlap between these entries, and any
|
503 | 1a848fd4 | Jeff Cody | * other memory regions in the file */
|
504 | 1a848fd4 | Jeff Cody | ret = vhdx_region_check(s, rt_entry.file_offset, rt_entry.length); |
505 | 1a848fd4 | Jeff Cody | if (ret < 0) { |
506 | 1a848fd4 | Jeff Cody | goto fail;
|
507 | 1a848fd4 | Jeff Cody | } |
508 | 1a848fd4 | Jeff Cody | |
509 | 1a848fd4 | Jeff Cody | vhdx_region_register(s, rt_entry.file_offset, rt_entry.length); |
510 | 1a848fd4 | Jeff Cody | |
511 | e8d4e5ff | Jeff Cody | /* see if we recognize the entry */
|
512 | e8d4e5ff | Jeff Cody | if (guid_eq(rt_entry.guid, bat_guid)) {
|
513 | e8d4e5ff | Jeff Cody | /* must be unique; if we have already found it this is invalid */
|
514 | e8d4e5ff | Jeff Cody | if (bat_rt_found) {
|
515 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
516 | e8d4e5ff | Jeff Cody | goto fail;
|
517 | e8d4e5ff | Jeff Cody | } |
518 | e8d4e5ff | Jeff Cody | bat_rt_found = true;
|
519 | e8d4e5ff | Jeff Cody | s->bat_rt = rt_entry; |
520 | e8d4e5ff | Jeff Cody | continue;
|
521 | e8d4e5ff | Jeff Cody | } |
522 | e8d4e5ff | Jeff Cody | |
523 | e8d4e5ff | Jeff Cody | if (guid_eq(rt_entry.guid, metadata_guid)) {
|
524 | e8d4e5ff | Jeff Cody | /* must be unique; if we have already found it this is invalid */
|
525 | e8d4e5ff | Jeff Cody | if (metadata_rt_found) {
|
526 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
527 | e8d4e5ff | Jeff Cody | goto fail;
|
528 | e8d4e5ff | Jeff Cody | } |
529 | e8d4e5ff | Jeff Cody | metadata_rt_found = true;
|
530 | e8d4e5ff | Jeff Cody | s->metadata_rt = rt_entry; |
531 | e8d4e5ff | Jeff Cody | continue;
|
532 | e8d4e5ff | Jeff Cody | } |
533 | e8d4e5ff | Jeff Cody | |
534 | e8d4e5ff | Jeff Cody | if (rt_entry.data_bits & VHDX_REGION_ENTRY_REQUIRED) {
|
535 | e8d4e5ff | Jeff Cody | /* cannot read vhdx file - required region table entry that
|
536 | e8d4e5ff | Jeff Cody | * we do not understand. per spec, we must fail to open */
|
537 | e8d4e5ff | Jeff Cody | ret = -ENOTSUP; |
538 | e8d4e5ff | Jeff Cody | goto fail;
|
539 | e8d4e5ff | Jeff Cody | } |
540 | e8d4e5ff | Jeff Cody | } |
541 | 1a848fd4 | Jeff Cody | |
542 | 1a848fd4 | Jeff Cody | if (!bat_rt_found || !metadata_rt_found) {
|
543 | 1a848fd4 | Jeff Cody | ret = -EINVAL; |
544 | 1a848fd4 | Jeff Cody | goto fail;
|
545 | 1a848fd4 | Jeff Cody | } |
546 | 1a848fd4 | Jeff Cody | |
547 | e8d4e5ff | Jeff Cody | ret = 0;
|
548 | e8d4e5ff | Jeff Cody | |
549 | e8d4e5ff | Jeff Cody | fail:
|
550 | e8d4e5ff | Jeff Cody | qemu_vfree(buffer); |
551 | e8d4e5ff | Jeff Cody | return ret;
|
552 | e8d4e5ff | Jeff Cody | } |
553 | e8d4e5ff | Jeff Cody | |
554 | e8d4e5ff | Jeff Cody | |
555 | e8d4e5ff | Jeff Cody | |
556 | e8d4e5ff | Jeff Cody | /* Metadata initial parser
|
557 | e8d4e5ff | Jeff Cody | *
|
558 | e8d4e5ff | Jeff Cody | * This loads all the metadata entry fields. This may cause additional
|
559 | e8d4e5ff | Jeff Cody | * fields to be processed (e.g. parent locator, etc..).
|
560 | e8d4e5ff | Jeff Cody | *
|
561 | e8d4e5ff | Jeff Cody | * There are 5 Metadata items that are always required:
|
562 | e8d4e5ff | Jeff Cody | * - File Parameters (block size, has a parent)
|
563 | e8d4e5ff | Jeff Cody | * - Virtual Disk Size (size, in bytes, of the virtual drive)
|
564 | e8d4e5ff | Jeff Cody | * - Page 83 Data (scsi page 83 guid)
|
565 | e8d4e5ff | Jeff Cody | * - Logical Sector Size (logical sector size in bytes, either 512 or
|
566 | e8d4e5ff | Jeff Cody | * 4096. We only support 512 currently)
|
567 | e8d4e5ff | Jeff Cody | * - Physical Sector Size (512 or 4096)
|
568 | e8d4e5ff | Jeff Cody | *
|
569 | e8d4e5ff | Jeff Cody | * Also, if the File Parameters indicate this is a differencing file,
|
570 | e8d4e5ff | Jeff Cody | * we must also look for the Parent Locator metadata item.
|
571 | e8d4e5ff | Jeff Cody | */
|
572 | e8d4e5ff | Jeff Cody | static int vhdx_parse_metadata(BlockDriverState *bs, BDRVVHDXState *s) |
573 | e8d4e5ff | Jeff Cody | { |
574 | e8d4e5ff | Jeff Cody | int ret = 0; |
575 | e8d4e5ff | Jeff Cody | uint8_t *buffer; |
576 | e8d4e5ff | Jeff Cody | int offset = 0; |
577 | e8d4e5ff | Jeff Cody | uint32_t i = 0;
|
578 | e8d4e5ff | Jeff Cody | VHDXMetadataTableEntry md_entry; |
579 | e8d4e5ff | Jeff Cody | |
580 | e8d4e5ff | Jeff Cody | buffer = qemu_blockalign(bs, VHDX_METADATA_TABLE_MAX_SIZE); |
581 | e8d4e5ff | Jeff Cody | |
582 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, s->metadata_rt.file_offset, buffer, |
583 | e8d4e5ff | Jeff Cody | VHDX_METADATA_TABLE_MAX_SIZE); |
584 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
585 | e8d4e5ff | Jeff Cody | goto exit;
|
586 | e8d4e5ff | Jeff Cody | } |
587 | e8d4e5ff | Jeff Cody | memcpy(&s->metadata_hdr, buffer, sizeof(s->metadata_hdr));
|
588 | e8d4e5ff | Jeff Cody | offset += sizeof(s->metadata_hdr);
|
589 | e8d4e5ff | Jeff Cody | |
590 | e8d4e5ff | Jeff Cody | le64_to_cpus(&s->metadata_hdr.signature); |
591 | e8d4e5ff | Jeff Cody | le16_to_cpus(&s->metadata_hdr.reserved); |
592 | e8d4e5ff | Jeff Cody | le16_to_cpus(&s->metadata_hdr.entry_count); |
593 | e8d4e5ff | Jeff Cody | |
594 | e8d4e5ff | Jeff Cody | if (memcmp(&s->metadata_hdr.signature, "metadata", 8)) { |
595 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
596 | e8d4e5ff | Jeff Cody | goto exit;
|
597 | e8d4e5ff | Jeff Cody | } |
598 | e8d4e5ff | Jeff Cody | |
599 | e8d4e5ff | Jeff Cody | s->metadata_entries.present = 0;
|
600 | e8d4e5ff | Jeff Cody | |
601 | e8d4e5ff | Jeff Cody | if ((s->metadata_hdr.entry_count * sizeof(md_entry)) > |
602 | e8d4e5ff | Jeff Cody | (VHDX_METADATA_TABLE_MAX_SIZE - offset)) { |
603 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
604 | e8d4e5ff | Jeff Cody | goto exit;
|
605 | e8d4e5ff | Jeff Cody | } |
606 | e8d4e5ff | Jeff Cody | |
607 | e8d4e5ff | Jeff Cody | for (i = 0; i < s->metadata_hdr.entry_count; i++) { |
608 | e8d4e5ff | Jeff Cody | memcpy(&md_entry, buffer + offset, sizeof(md_entry));
|
609 | e8d4e5ff | Jeff Cody | offset += sizeof(md_entry);
|
610 | e8d4e5ff | Jeff Cody | |
611 | e8d4e5ff | Jeff Cody | leguid_to_cpus(&md_entry.item_id); |
612 | e8d4e5ff | Jeff Cody | le32_to_cpus(&md_entry.offset); |
613 | e8d4e5ff | Jeff Cody | le32_to_cpus(&md_entry.length); |
614 | e8d4e5ff | Jeff Cody | le32_to_cpus(&md_entry.data_bits); |
615 | e8d4e5ff | Jeff Cody | le32_to_cpus(&md_entry.reserved2); |
616 | e8d4e5ff | Jeff Cody | |
617 | e8d4e5ff | Jeff Cody | if (guid_eq(md_entry.item_id, file_param_guid)) {
|
618 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present & META_FILE_PARAMETER_PRESENT) {
|
619 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
620 | e8d4e5ff | Jeff Cody | goto exit;
|
621 | e8d4e5ff | Jeff Cody | } |
622 | e8d4e5ff | Jeff Cody | s->metadata_entries.file_parameters_entry = md_entry; |
623 | e8d4e5ff | Jeff Cody | s->metadata_entries.present |= META_FILE_PARAMETER_PRESENT; |
624 | e8d4e5ff | Jeff Cody | continue;
|
625 | e8d4e5ff | Jeff Cody | } |
626 | e8d4e5ff | Jeff Cody | |
627 | e8d4e5ff | Jeff Cody | if (guid_eq(md_entry.item_id, virtual_size_guid)) {
|
628 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present & META_VIRTUAL_DISK_SIZE_PRESENT) {
|
629 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
630 | e8d4e5ff | Jeff Cody | goto exit;
|
631 | e8d4e5ff | Jeff Cody | } |
632 | e8d4e5ff | Jeff Cody | s->metadata_entries.virtual_disk_size_entry = md_entry; |
633 | e8d4e5ff | Jeff Cody | s->metadata_entries.present |= META_VIRTUAL_DISK_SIZE_PRESENT; |
634 | e8d4e5ff | Jeff Cody | continue;
|
635 | e8d4e5ff | Jeff Cody | } |
636 | e8d4e5ff | Jeff Cody | |
637 | e8d4e5ff | Jeff Cody | if (guid_eq(md_entry.item_id, page83_guid)) {
|
638 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present & META_PAGE_83_PRESENT) {
|
639 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
640 | e8d4e5ff | Jeff Cody | goto exit;
|
641 | e8d4e5ff | Jeff Cody | } |
642 | e8d4e5ff | Jeff Cody | s->metadata_entries.page83_data_entry = md_entry; |
643 | e8d4e5ff | Jeff Cody | s->metadata_entries.present |= META_PAGE_83_PRESENT; |
644 | e8d4e5ff | Jeff Cody | continue;
|
645 | e8d4e5ff | Jeff Cody | } |
646 | e8d4e5ff | Jeff Cody | |
647 | e8d4e5ff | Jeff Cody | if (guid_eq(md_entry.item_id, logical_sector_guid)) {
|
648 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present &
|
649 | e8d4e5ff | Jeff Cody | META_LOGICAL_SECTOR_SIZE_PRESENT) { |
650 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
651 | e8d4e5ff | Jeff Cody | goto exit;
|
652 | e8d4e5ff | Jeff Cody | } |
653 | e8d4e5ff | Jeff Cody | s->metadata_entries.logical_sector_size_entry = md_entry; |
654 | e8d4e5ff | Jeff Cody | s->metadata_entries.present |= META_LOGICAL_SECTOR_SIZE_PRESENT; |
655 | e8d4e5ff | Jeff Cody | continue;
|
656 | e8d4e5ff | Jeff Cody | } |
657 | e8d4e5ff | Jeff Cody | |
658 | e8d4e5ff | Jeff Cody | if (guid_eq(md_entry.item_id, phys_sector_guid)) {
|
659 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present & META_PHYS_SECTOR_SIZE_PRESENT) {
|
660 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
661 | e8d4e5ff | Jeff Cody | goto exit;
|
662 | e8d4e5ff | Jeff Cody | } |
663 | e8d4e5ff | Jeff Cody | s->metadata_entries.phys_sector_size_entry = md_entry; |
664 | e8d4e5ff | Jeff Cody | s->metadata_entries.present |= META_PHYS_SECTOR_SIZE_PRESENT; |
665 | e8d4e5ff | Jeff Cody | continue;
|
666 | e8d4e5ff | Jeff Cody | } |
667 | e8d4e5ff | Jeff Cody | |
668 | e8d4e5ff | Jeff Cody | if (guid_eq(md_entry.item_id, parent_locator_guid)) {
|
669 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present & META_PARENT_LOCATOR_PRESENT) {
|
670 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
671 | e8d4e5ff | Jeff Cody | goto exit;
|
672 | e8d4e5ff | Jeff Cody | } |
673 | e8d4e5ff | Jeff Cody | s->metadata_entries.parent_locator_entry = md_entry; |
674 | e8d4e5ff | Jeff Cody | s->metadata_entries.present |= META_PARENT_LOCATOR_PRESENT; |
675 | e8d4e5ff | Jeff Cody | continue;
|
676 | e8d4e5ff | Jeff Cody | } |
677 | e8d4e5ff | Jeff Cody | |
678 | e8d4e5ff | Jeff Cody | if (md_entry.data_bits & VHDX_META_FLAGS_IS_REQUIRED) {
|
679 | e8d4e5ff | Jeff Cody | /* cannot read vhdx file - required region table entry that
|
680 | e8d4e5ff | Jeff Cody | * we do not understand. per spec, we must fail to open */
|
681 | e8d4e5ff | Jeff Cody | ret = -ENOTSUP; |
682 | e8d4e5ff | Jeff Cody | goto exit;
|
683 | e8d4e5ff | Jeff Cody | } |
684 | e8d4e5ff | Jeff Cody | } |
685 | e8d4e5ff | Jeff Cody | |
686 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present != META_ALL_PRESENT) {
|
687 | e8d4e5ff | Jeff Cody | ret = -ENOTSUP; |
688 | e8d4e5ff | Jeff Cody | goto exit;
|
689 | e8d4e5ff | Jeff Cody | } |
690 | e8d4e5ff | Jeff Cody | |
691 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, |
692 | e8d4e5ff | Jeff Cody | s->metadata_entries.file_parameters_entry.offset |
693 | e8d4e5ff | Jeff Cody | + s->metadata_rt.file_offset, |
694 | e8d4e5ff | Jeff Cody | &s->params, |
695 | e8d4e5ff | Jeff Cody | sizeof(s->params));
|
696 | e8d4e5ff | Jeff Cody | |
697 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
698 | e8d4e5ff | Jeff Cody | goto exit;
|
699 | e8d4e5ff | Jeff Cody | } |
700 | e8d4e5ff | Jeff Cody | |
701 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->params.block_size); |
702 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->params.data_bits); |
703 | e8d4e5ff | Jeff Cody | |
704 | e8d4e5ff | Jeff Cody | |
705 | e8d4e5ff | Jeff Cody | /* We now have the file parameters, so we can tell if this is a
|
706 | e8d4e5ff | Jeff Cody | * differencing file (i.e.. has_parent), is dynamic or fixed
|
707 | e8d4e5ff | Jeff Cody | * sized (leave_blocks_allocated), and the block size */
|
708 | e8d4e5ff | Jeff Cody | |
709 | e8d4e5ff | Jeff Cody | /* The parent locator required iff the file parameters has_parent set */
|
710 | e8d4e5ff | Jeff Cody | if (s->params.data_bits & VHDX_PARAMS_HAS_PARENT) {
|
711 | e8d4e5ff | Jeff Cody | if (s->metadata_entries.present & META_PARENT_LOCATOR_PRESENT) {
|
712 | e8d4e5ff | Jeff Cody | /* TODO: parse parent locator fields */
|
713 | e8d4e5ff | Jeff Cody | ret = -ENOTSUP; /* temp, until differencing files are supported */
|
714 | e8d4e5ff | Jeff Cody | goto exit;
|
715 | e8d4e5ff | Jeff Cody | } else {
|
716 | e8d4e5ff | Jeff Cody | /* if has_parent is set, but there is not parent locator present,
|
717 | e8d4e5ff | Jeff Cody | * then that is an invalid combination */
|
718 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
719 | e8d4e5ff | Jeff Cody | goto exit;
|
720 | e8d4e5ff | Jeff Cody | } |
721 | e8d4e5ff | Jeff Cody | } |
722 | e8d4e5ff | Jeff Cody | |
723 | e8d4e5ff | Jeff Cody | /* determine virtual disk size, logical sector size,
|
724 | e8d4e5ff | Jeff Cody | * and phys sector size */
|
725 | e8d4e5ff | Jeff Cody | |
726 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, |
727 | e8d4e5ff | Jeff Cody | s->metadata_entries.virtual_disk_size_entry.offset |
728 | e8d4e5ff | Jeff Cody | + s->metadata_rt.file_offset, |
729 | e8d4e5ff | Jeff Cody | &s->virtual_disk_size, |
730 | e8d4e5ff | Jeff Cody | sizeof(uint64_t));
|
731 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
732 | e8d4e5ff | Jeff Cody | goto exit;
|
733 | e8d4e5ff | Jeff Cody | } |
734 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, |
735 | e8d4e5ff | Jeff Cody | s->metadata_entries.logical_sector_size_entry.offset |
736 | e8d4e5ff | Jeff Cody | + s->metadata_rt.file_offset, |
737 | e8d4e5ff | Jeff Cody | &s->logical_sector_size, |
738 | e8d4e5ff | Jeff Cody | sizeof(uint32_t));
|
739 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
740 | e8d4e5ff | Jeff Cody | goto exit;
|
741 | e8d4e5ff | Jeff Cody | } |
742 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, |
743 | e8d4e5ff | Jeff Cody | s->metadata_entries.phys_sector_size_entry.offset |
744 | e8d4e5ff | Jeff Cody | + s->metadata_rt.file_offset, |
745 | e8d4e5ff | Jeff Cody | &s->physical_sector_size, |
746 | e8d4e5ff | Jeff Cody | sizeof(uint32_t));
|
747 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
748 | e8d4e5ff | Jeff Cody | goto exit;
|
749 | e8d4e5ff | Jeff Cody | } |
750 | e8d4e5ff | Jeff Cody | |
751 | e8d4e5ff | Jeff Cody | le64_to_cpus(&s->virtual_disk_size); |
752 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->logical_sector_size); |
753 | e8d4e5ff | Jeff Cody | le32_to_cpus(&s->physical_sector_size); |
754 | e8d4e5ff | Jeff Cody | |
755 | e8d4e5ff | Jeff Cody | if (s->logical_sector_size == 0 || s->params.block_size == 0) { |
756 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
757 | e8d4e5ff | Jeff Cody | goto exit;
|
758 | e8d4e5ff | Jeff Cody | } |
759 | e8d4e5ff | Jeff Cody | |
760 | e8d4e5ff | Jeff Cody | /* both block_size and sector_size are guaranteed powers of 2 */
|
761 | e8d4e5ff | Jeff Cody | s->sectors_per_block = s->params.block_size / s->logical_sector_size; |
762 | e8d4e5ff | Jeff Cody | s->chunk_ratio = (VHDX_MAX_SECTORS_PER_BLOCK) * |
763 | e8d4e5ff | Jeff Cody | (uint64_t)s->logical_sector_size / |
764 | e8d4e5ff | Jeff Cody | (uint64_t)s->params.block_size; |
765 | e8d4e5ff | Jeff Cody | |
766 | e8d4e5ff | Jeff Cody | /* These values are ones we will want to use for division / multiplication
|
767 | e8d4e5ff | Jeff Cody | * later on, and they are all guaranteed (per the spec) to be powers of 2,
|
768 | e8d4e5ff | Jeff Cody | * so we can take advantage of that for shift operations during
|
769 | e8d4e5ff | Jeff Cody | * reads/writes */
|
770 | e8d4e5ff | Jeff Cody | if (s->logical_sector_size & (s->logical_sector_size - 1)) { |
771 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
772 | e8d4e5ff | Jeff Cody | goto exit;
|
773 | e8d4e5ff | Jeff Cody | } |
774 | e8d4e5ff | Jeff Cody | if (s->sectors_per_block & (s->sectors_per_block - 1)) { |
775 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
776 | e8d4e5ff | Jeff Cody | goto exit;
|
777 | e8d4e5ff | Jeff Cody | } |
778 | e8d4e5ff | Jeff Cody | if (s->chunk_ratio & (s->chunk_ratio - 1)) { |
779 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
780 | e8d4e5ff | Jeff Cody | goto exit;
|
781 | e8d4e5ff | Jeff Cody | } |
782 | e8d4e5ff | Jeff Cody | s->block_size = s->params.block_size; |
783 | e8d4e5ff | Jeff Cody | if (s->block_size & (s->block_size - 1)) { |
784 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
785 | e8d4e5ff | Jeff Cody | goto exit;
|
786 | e8d4e5ff | Jeff Cody | } |
787 | e8d4e5ff | Jeff Cody | |
788 | e8d4e5ff | Jeff Cody | s->logical_sector_size_bits = 31 - clz32(s->logical_sector_size);
|
789 | e8d4e5ff | Jeff Cody | s->sectors_per_block_bits = 31 - clz32(s->sectors_per_block);
|
790 | e8d4e5ff | Jeff Cody | s->chunk_ratio_bits = 63 - clz64(s->chunk_ratio);
|
791 | e8d4e5ff | Jeff Cody | s->block_size_bits = 31 - clz32(s->block_size);
|
792 | e8d4e5ff | Jeff Cody | |
793 | e8d4e5ff | Jeff Cody | ret = 0;
|
794 | e8d4e5ff | Jeff Cody | |
795 | e8d4e5ff | Jeff Cody | exit:
|
796 | e8d4e5ff | Jeff Cody | qemu_vfree(buffer); |
797 | e8d4e5ff | Jeff Cody | return ret;
|
798 | e8d4e5ff | Jeff Cody | } |
799 | e8d4e5ff | Jeff Cody | |
800 | e8d4e5ff | Jeff Cody | |
801 | c46415af | Jeff Cody | static void vhdx_close(BlockDriverState *bs) |
802 | c46415af | Jeff Cody | { |
803 | c46415af | Jeff Cody | BDRVVHDXState *s = bs->opaque; |
804 | c46415af | Jeff Cody | qemu_vfree(s->headers[0]);
|
805 | 0a43a1b5 | Jeff Cody | s->headers[0] = NULL; |
806 | c46415af | Jeff Cody | qemu_vfree(s->headers[1]);
|
807 | 0a43a1b5 | Jeff Cody | s->headers[1] = NULL; |
808 | c46415af | Jeff Cody | qemu_vfree(s->bat); |
809 | 0a43a1b5 | Jeff Cody | s->bat = NULL;
|
810 | c46415af | Jeff Cody | qemu_vfree(s->parent_entries); |
811 | 0a43a1b5 | Jeff Cody | s->parent_entries = NULL;
|
812 | c46415af | Jeff Cody | migrate_del_blocker(s->migration_blocker); |
813 | c46415af | Jeff Cody | error_free(s->migration_blocker); |
814 | 0a43a1b5 | Jeff Cody | qemu_vfree(s->log.hdr); |
815 | 0a43a1b5 | Jeff Cody | s->log.hdr = NULL;
|
816 | 1a848fd4 | Jeff Cody | vhdx_region_unregister_all(s); |
817 | c46415af | Jeff Cody | } |
818 | c46415af | Jeff Cody | |
819 | 015a1036 | Max Reitz | static int vhdx_open(BlockDriverState *bs, QDict *options, int flags, |
820 | 015a1036 | Max Reitz | Error **errp) |
821 | e8d4e5ff | Jeff Cody | { |
822 | e8d4e5ff | Jeff Cody | BDRVVHDXState *s = bs->opaque; |
823 | e8d4e5ff | Jeff Cody | int ret = 0; |
824 | e8d4e5ff | Jeff Cody | uint32_t i; |
825 | e8d4e5ff | Jeff Cody | uint64_t signature; |
826 | e8d4e5ff | Jeff Cody | uint32_t data_blocks_cnt, bitmap_blocks_cnt; |
827 | 0a43a1b5 | Jeff Cody | bool log_flushed = false; |
828 | e8d4e5ff | Jeff Cody | |
829 | e8d4e5ff | Jeff Cody | |
830 | e8d4e5ff | Jeff Cody | s->bat = NULL;
|
831 | c3906c5e | Jeff Cody | s->first_visible_write = true;
|
832 | e8d4e5ff | Jeff Cody | |
833 | e8d4e5ff | Jeff Cody | qemu_co_mutex_init(&s->lock); |
834 | 1a848fd4 | Jeff Cody | QLIST_INIT(&s->regions); |
835 | e8d4e5ff | Jeff Cody | |
836 | e8d4e5ff | Jeff Cody | /* validate the file signature */
|
837 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, 0, &signature, sizeof(uint64_t)); |
838 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
839 | e8d4e5ff | Jeff Cody | goto fail;
|
840 | e8d4e5ff | Jeff Cody | } |
841 | e8d4e5ff | Jeff Cody | if (memcmp(&signature, "vhdxfile", 8)) { |
842 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
843 | e8d4e5ff | Jeff Cody | goto fail;
|
844 | e8d4e5ff | Jeff Cody | } |
845 | e8d4e5ff | Jeff Cody | |
846 | 4f18b782 | Jeff Cody | /* This is used for any header updates, for the file_write_guid.
|
847 | 4f18b782 | Jeff Cody | * The spec dictates that a new value should be used for the first
|
848 | 4f18b782 | Jeff Cody | * header update */
|
849 | 4f18b782 | Jeff Cody | vhdx_guid_generate(&s->session_guid); |
850 | 4f18b782 | Jeff Cody | |
851 | e8d4e5ff | Jeff Cody | ret = vhdx_parse_header(bs, s); |
852 | 0a43a1b5 | Jeff Cody | if (ret < 0) { |
853 | e8d4e5ff | Jeff Cody | goto fail;
|
854 | e8d4e5ff | Jeff Cody | } |
855 | e8d4e5ff | Jeff Cody | |
856 | 0a43a1b5 | Jeff Cody | ret = vhdx_parse_log(bs, s, &log_flushed); |
857 | 0a43a1b5 | Jeff Cody | if (ret < 0) { |
858 | e8d4e5ff | Jeff Cody | goto fail;
|
859 | e8d4e5ff | Jeff Cody | } |
860 | e8d4e5ff | Jeff Cody | |
861 | e8d4e5ff | Jeff Cody | ret = vhdx_open_region_tables(bs, s); |
862 | 0a43a1b5 | Jeff Cody | if (ret < 0) { |
863 | e8d4e5ff | Jeff Cody | goto fail;
|
864 | e8d4e5ff | Jeff Cody | } |
865 | e8d4e5ff | Jeff Cody | |
866 | e8d4e5ff | Jeff Cody | ret = vhdx_parse_metadata(bs, s); |
867 | 0a43a1b5 | Jeff Cody | if (ret < 0) { |
868 | e8d4e5ff | Jeff Cody | goto fail;
|
869 | e8d4e5ff | Jeff Cody | } |
870 | 0a43a1b5 | Jeff Cody | |
871 | e8d4e5ff | Jeff Cody | s->block_size = s->params.block_size; |
872 | e8d4e5ff | Jeff Cody | |
873 | e8d4e5ff | Jeff Cody | /* the VHDX spec dictates that virtual_disk_size is always a multiple of
|
874 | e8d4e5ff | Jeff Cody | * logical_sector_size */
|
875 | e8d4e5ff | Jeff Cody | bs->total_sectors = s->virtual_disk_size >> s->logical_sector_size_bits; |
876 | e8d4e5ff | Jeff Cody | |
877 | e8d4e5ff | Jeff Cody | data_blocks_cnt = s->virtual_disk_size >> s->block_size_bits; |
878 | e8d4e5ff | Jeff Cody | if (s->virtual_disk_size - (data_blocks_cnt << s->block_size_bits)) {
|
879 | e8d4e5ff | Jeff Cody | data_blocks_cnt++; |
880 | e8d4e5ff | Jeff Cody | } |
881 | e8d4e5ff | Jeff Cody | bitmap_blocks_cnt = data_blocks_cnt >> s->chunk_ratio_bits; |
882 | e8d4e5ff | Jeff Cody | if (data_blocks_cnt - (bitmap_blocks_cnt << s->chunk_ratio_bits)) {
|
883 | e8d4e5ff | Jeff Cody | bitmap_blocks_cnt++; |
884 | e8d4e5ff | Jeff Cody | } |
885 | e8d4e5ff | Jeff Cody | |
886 | e8d4e5ff | Jeff Cody | if (s->parent_entries) {
|
887 | e8d4e5ff | Jeff Cody | s->bat_entries = bitmap_blocks_cnt * (s->chunk_ratio + 1);
|
888 | e8d4e5ff | Jeff Cody | } else {
|
889 | e8d4e5ff | Jeff Cody | s->bat_entries = data_blocks_cnt + |
890 | e8d4e5ff | Jeff Cody | ((data_blocks_cnt - 1) >> s->chunk_ratio_bits);
|
891 | e8d4e5ff | Jeff Cody | } |
892 | e8d4e5ff | Jeff Cody | |
893 | e8d4e5ff | Jeff Cody | s->bat_offset = s->bat_rt.file_offset; |
894 | e8d4e5ff | Jeff Cody | |
895 | e8d4e5ff | Jeff Cody | if (s->bat_entries > s->bat_rt.length / sizeof(VHDXBatEntry)) { |
896 | e8d4e5ff | Jeff Cody | /* BAT allocation is not large enough for all entries */
|
897 | e8d4e5ff | Jeff Cody | ret = -EINVAL; |
898 | e8d4e5ff | Jeff Cody | goto fail;
|
899 | e8d4e5ff | Jeff Cody | } |
900 | e8d4e5ff | Jeff Cody | |
901 | 6e9d290b | Jeff Cody | /* s->bat is freed in vhdx_close() */
|
902 | e8d4e5ff | Jeff Cody | s->bat = qemu_blockalign(bs, s->bat_rt.length); |
903 | e8d4e5ff | Jeff Cody | |
904 | e8d4e5ff | Jeff Cody | ret = bdrv_pread(bs->file, s->bat_offset, s->bat, s->bat_rt.length); |
905 | e8d4e5ff | Jeff Cody | if (ret < 0) { |
906 | e8d4e5ff | Jeff Cody | goto fail;
|
907 | e8d4e5ff | Jeff Cody | } |
908 | e8d4e5ff | Jeff Cody | |
909 | 1a848fd4 | Jeff Cody | uint64_t payblocks = s->chunk_ratio; |
910 | 1a848fd4 | Jeff Cody | /* endian convert, and verify populated BAT field file offsets against
|
911 | 1a848fd4 | Jeff Cody | * region table and log entries */
|
912 | e8d4e5ff | Jeff Cody | for (i = 0; i < s->bat_entries; i++) { |
913 | e8d4e5ff | Jeff Cody | le64_to_cpus(&s->bat[i]); |
914 | 1a848fd4 | Jeff Cody | if (payblocks--) {
|
915 | 1a848fd4 | Jeff Cody | /* payload bat entries */
|
916 | 1a848fd4 | Jeff Cody | if ((s->bat[i] & VHDX_BAT_STATE_BIT_MASK) ==
|
917 | d92aa883 | Jeff Cody | PAYLOAD_BLOCK_FULLY_PRESENT) { |
918 | 1a848fd4 | Jeff Cody | ret = vhdx_region_check(s, s->bat[i] & VHDX_BAT_FILE_OFF_MASK, |
919 | 1a848fd4 | Jeff Cody | s->block_size); |
920 | 1a848fd4 | Jeff Cody | if (ret < 0) { |
921 | 1a848fd4 | Jeff Cody | goto fail;
|
922 | 1a848fd4 | Jeff Cody | } |
923 | 1a848fd4 | Jeff Cody | } |
924 | 1a848fd4 | Jeff Cody | } else {
|
925 | 1a848fd4 | Jeff Cody | payblocks = s->chunk_ratio; |
926 | 1a848fd4 | Jeff Cody | /* Once differencing files are supported, verify sector bitmap
|
927 | 1a848fd4 | Jeff Cody | * blocks here */
|
928 | 1a848fd4 | Jeff Cody | } |
929 | e8d4e5ff | Jeff Cody | } |
930 | e8d4e5ff | Jeff Cody | |
931 | e8d4e5ff | Jeff Cody | if (flags & BDRV_O_RDWR) {
|
932 | c3906c5e | Jeff Cody | ret = vhdx_update_headers(bs, s, false, NULL); |
933 | 4f18b782 | Jeff Cody | if (ret < 0) { |
934 | 4f18b782 | Jeff Cody | goto fail;
|
935 | 4f18b782 | Jeff Cody | } |
936 | e8d4e5ff | Jeff Cody | } |
937 | e8d4e5ff | Jeff Cody | |
938 | d92aa883 | Jeff Cody | /* TODO: differencing files */
|
939 | e8d4e5ff | Jeff Cody | |
940 | 5641bf40 | Jeff Cody | /* Disable migration when VHDX images are used */
|
941 | 5641bf40 | Jeff Cody | error_set(&s->migration_blocker, |
942 | 5641bf40 | Jeff Cody | QERR_BLOCK_FORMAT_FEATURE_NOT_SUPPORTED, |
943 | 5641bf40 | Jeff Cody | "vhdx", bs->device_name, "live migration"); |
944 | 5641bf40 | Jeff Cody | migrate_add_blocker(s->migration_blocker); |
945 | 5641bf40 | Jeff Cody | |
946 | e8d4e5ff | Jeff Cody | return 0; |
947 | e8d4e5ff | Jeff Cody | fail:
|
948 | 0a43a1b5 | Jeff Cody | vhdx_close(bs); |
949 | e8d4e5ff | Jeff Cody | return ret;
|
950 | e8d4e5ff | Jeff Cody | } |
951 | e8d4e5ff | Jeff Cody | |
952 | e8d4e5ff | Jeff Cody | static int vhdx_reopen_prepare(BDRVReopenState *state, |
953 | e8d4e5ff | Jeff Cody | BlockReopenQueue *queue, Error **errp) |
954 | e8d4e5ff | Jeff Cody | { |
955 | e8d4e5ff | Jeff Cody | return 0; |
956 | e8d4e5ff | Jeff Cody | } |
957 | e8d4e5ff | Jeff Cody | |
958 | e8d4e5ff | Jeff Cody | |
959 | 059e2fbb | Jeff Cody | /*
|
960 | 059e2fbb | Jeff Cody | * Perform sector to block offset translations, to get various
|
961 | 059e2fbb | Jeff Cody | * sector and file offsets into the image. See VHDXSectorInfo
|
962 | 059e2fbb | Jeff Cody | */
|
963 | 059e2fbb | Jeff Cody | static void vhdx_block_translate(BDRVVHDXState *s, int64_t sector_num, |
964 | 059e2fbb | Jeff Cody | int nb_sectors, VHDXSectorInfo *sinfo)
|
965 | 059e2fbb | Jeff Cody | { |
966 | 059e2fbb | Jeff Cody | uint32_t block_offset; |
967 | 059e2fbb | Jeff Cody | |
968 | 059e2fbb | Jeff Cody | sinfo->bat_idx = sector_num >> s->sectors_per_block_bits; |
969 | 059e2fbb | Jeff Cody | /* effectively a modulo - this gives us the offset into the block
|
970 | 059e2fbb | Jeff Cody | * (in sector sizes) for our sector number */
|
971 | 059e2fbb | Jeff Cody | block_offset = sector_num - (sinfo->bat_idx << s->sectors_per_block_bits); |
972 | 059e2fbb | Jeff Cody | /* the chunk ratio gives us the interleaving of the sector
|
973 | 059e2fbb | Jeff Cody | * bitmaps, so we need to advance our page block index by the
|
974 | 059e2fbb | Jeff Cody | * sector bitmaps entry number */
|
975 | 059e2fbb | Jeff Cody | sinfo->bat_idx += sinfo->bat_idx >> s->chunk_ratio_bits; |
976 | 059e2fbb | Jeff Cody | |
977 | 059e2fbb | Jeff Cody | /* the number of sectors we can read/write in this cycle */
|
978 | 059e2fbb | Jeff Cody | sinfo->sectors_avail = s->sectors_per_block - block_offset; |
979 | 059e2fbb | Jeff Cody | |
980 | 059e2fbb | Jeff Cody | sinfo->bytes_left = sinfo->sectors_avail << s->logical_sector_size_bits; |
981 | 059e2fbb | Jeff Cody | |
982 | 059e2fbb | Jeff Cody | if (sinfo->sectors_avail > nb_sectors) {
|
983 | 059e2fbb | Jeff Cody | sinfo->sectors_avail = nb_sectors; |
984 | 059e2fbb | Jeff Cody | } |
985 | 059e2fbb | Jeff Cody | |
986 | 059e2fbb | Jeff Cody | sinfo->bytes_avail = sinfo->sectors_avail << s->logical_sector_size_bits; |
987 | 059e2fbb | Jeff Cody | |
988 | 059e2fbb | Jeff Cody | sinfo->file_offset = s->bat[sinfo->bat_idx] >> VHDX_BAT_FILE_OFF_BITS; |
989 | 059e2fbb | Jeff Cody | |
990 | 059e2fbb | Jeff Cody | sinfo->block_offset = block_offset << s->logical_sector_size_bits; |
991 | 059e2fbb | Jeff Cody | |
992 | 059e2fbb | Jeff Cody | /* The file offset must be past the header section, so must be > 0 */
|
993 | 059e2fbb | Jeff Cody | if (sinfo->file_offset == 0) { |
994 | 059e2fbb | Jeff Cody | return;
|
995 | 059e2fbb | Jeff Cody | } |
996 | 059e2fbb | Jeff Cody | |
997 | 059e2fbb | Jeff Cody | /* block offset is the offset in vhdx logical sectors, in
|
998 | 059e2fbb | Jeff Cody | * the payload data block. Convert that to a byte offset
|
999 | 059e2fbb | Jeff Cody | * in the block, and add in the payload data block offset
|
1000 | 059e2fbb | Jeff Cody | * in the file, in bytes, to get the final read address */
|
1001 | 059e2fbb | Jeff Cody | |
1002 | 059e2fbb | Jeff Cody | sinfo->file_offset <<= 20; /* now in bytes, rather than 1MB units */ |
1003 | 059e2fbb | Jeff Cody | sinfo->file_offset += sinfo->block_offset; |
1004 | 059e2fbb | Jeff Cody | } |
1005 | 059e2fbb | Jeff Cody | |
1006 | 059e2fbb | Jeff Cody | |
1007 | 059e2fbb | Jeff Cody | |
1008 | e8d4e5ff | Jeff Cody | static coroutine_fn int vhdx_co_readv(BlockDriverState *bs, int64_t sector_num, |
1009 | e8d4e5ff | Jeff Cody | int nb_sectors, QEMUIOVector *qiov)
|
1010 | e8d4e5ff | Jeff Cody | { |
1011 | 059e2fbb | Jeff Cody | BDRVVHDXState *s = bs->opaque; |
1012 | 059e2fbb | Jeff Cody | int ret = 0; |
1013 | 059e2fbb | Jeff Cody | VHDXSectorInfo sinfo; |
1014 | 059e2fbb | Jeff Cody | uint64_t bytes_done = 0;
|
1015 | 059e2fbb | Jeff Cody | QEMUIOVector hd_qiov; |
1016 | 059e2fbb | Jeff Cody | |
1017 | 059e2fbb | Jeff Cody | qemu_iovec_init(&hd_qiov, qiov->niov); |
1018 | 059e2fbb | Jeff Cody | |
1019 | 059e2fbb | Jeff Cody | qemu_co_mutex_lock(&s->lock); |
1020 | 059e2fbb | Jeff Cody | |
1021 | 059e2fbb | Jeff Cody | while (nb_sectors > 0) { |
1022 | 059e2fbb | Jeff Cody | /* We are a differencing file, so we need to inspect the sector bitmap
|
1023 | 059e2fbb | Jeff Cody | * to see if we have the data or not */
|
1024 | 059e2fbb | Jeff Cody | if (s->params.data_bits & VHDX_PARAMS_HAS_PARENT) {
|
1025 | 059e2fbb | Jeff Cody | /* not supported yet */
|
1026 | 059e2fbb | Jeff Cody | ret = -ENOTSUP; |
1027 | 059e2fbb | Jeff Cody | goto exit;
|
1028 | 059e2fbb | Jeff Cody | } else {
|
1029 | 059e2fbb | Jeff Cody | vhdx_block_translate(s, sector_num, nb_sectors, &sinfo); |
1030 | 059e2fbb | Jeff Cody | |
1031 | 059e2fbb | Jeff Cody | qemu_iovec_reset(&hd_qiov); |
1032 | 059e2fbb | Jeff Cody | qemu_iovec_concat(&hd_qiov, qiov, bytes_done, sinfo.bytes_avail); |
1033 | 059e2fbb | Jeff Cody | |
1034 | 059e2fbb | Jeff Cody | /* check the payload block state */
|
1035 | 059e2fbb | Jeff Cody | switch (s->bat[sinfo.bat_idx] & VHDX_BAT_STATE_BIT_MASK) {
|
1036 | 059e2fbb | Jeff Cody | case PAYLOAD_BLOCK_NOT_PRESENT: /* fall through */ |
1037 | 059e2fbb | Jeff Cody | case PAYLOAD_BLOCK_UNDEFINED: /* fall through */ |
1038 | 059e2fbb | Jeff Cody | case PAYLOAD_BLOCK_UNMAPPED: /* fall through */ |
1039 | 059e2fbb | Jeff Cody | case PAYLOAD_BLOCK_ZERO:
|
1040 | 059e2fbb | Jeff Cody | /* return zero */
|
1041 | 059e2fbb | Jeff Cody | qemu_iovec_memset(&hd_qiov, 0, 0, sinfo.bytes_avail); |
1042 | 059e2fbb | Jeff Cody | break;
|
1043 | d92aa883 | Jeff Cody | case PAYLOAD_BLOCK_FULLY_PRESENT:
|
1044 | 059e2fbb | Jeff Cody | qemu_co_mutex_unlock(&s->lock); |
1045 | 059e2fbb | Jeff Cody | ret = bdrv_co_readv(bs->file, |
1046 | 059e2fbb | Jeff Cody | sinfo.file_offset >> BDRV_SECTOR_BITS, |
1047 | 059e2fbb | Jeff Cody | sinfo.sectors_avail, &hd_qiov); |
1048 | 059e2fbb | Jeff Cody | qemu_co_mutex_lock(&s->lock); |
1049 | 059e2fbb | Jeff Cody | if (ret < 0) { |
1050 | 059e2fbb | Jeff Cody | goto exit;
|
1051 | 059e2fbb | Jeff Cody | } |
1052 | 059e2fbb | Jeff Cody | break;
|
1053 | 059e2fbb | Jeff Cody | case PAYLOAD_BLOCK_PARTIALLY_PRESENT:
|
1054 | 059e2fbb | Jeff Cody | /* we don't yet support difference files, fall through
|
1055 | 059e2fbb | Jeff Cody | * to error */
|
1056 | 059e2fbb | Jeff Cody | default:
|
1057 | 059e2fbb | Jeff Cody | ret = -EIO; |
1058 | 059e2fbb | Jeff Cody | goto exit;
|
1059 | 059e2fbb | Jeff Cody | break;
|
1060 | 059e2fbb | Jeff Cody | } |
1061 | 059e2fbb | Jeff Cody | nb_sectors -= sinfo.sectors_avail; |
1062 | 059e2fbb | Jeff Cody | sector_num += sinfo.sectors_avail; |
1063 | 059e2fbb | Jeff Cody | bytes_done += sinfo.bytes_avail; |
1064 | 059e2fbb | Jeff Cody | } |
1065 | 059e2fbb | Jeff Cody | } |
1066 | 059e2fbb | Jeff Cody | ret = 0;
|
1067 | 059e2fbb | Jeff Cody | exit:
|
1068 | 059e2fbb | Jeff Cody | qemu_co_mutex_unlock(&s->lock); |
1069 | 059e2fbb | Jeff Cody | qemu_iovec_destroy(&hd_qiov); |
1070 | 059e2fbb | Jeff Cody | return ret;
|
1071 | e8d4e5ff | Jeff Cody | } |
1072 | e8d4e5ff | Jeff Cody | |
1073 | d92aa883 | Jeff Cody | /*
|
1074 | d92aa883 | Jeff Cody | * Allocate a new payload block at the end of the file.
|
1075 | d92aa883 | Jeff Cody | *
|
1076 | d92aa883 | Jeff Cody | * Allocation will happen at 1MB alignment inside the file
|
1077 | d92aa883 | Jeff Cody | *
|
1078 | d92aa883 | Jeff Cody | * Returns the file offset start of the new payload block
|
1079 | d92aa883 | Jeff Cody | */
|
1080 | d92aa883 | Jeff Cody | static int vhdx_allocate_block(BlockDriverState *bs, BDRVVHDXState *s, |
1081 | d92aa883 | Jeff Cody | uint64_t *new_offset) |
1082 | d92aa883 | Jeff Cody | { |
1083 | d92aa883 | Jeff Cody | *new_offset = bdrv_getlength(bs->file); |
1084 | d92aa883 | Jeff Cody | |
1085 | d92aa883 | Jeff Cody | /* per the spec, the address for a block is in units of 1MB */
|
1086 | d92aa883 | Jeff Cody | *new_offset = ROUND_UP(*new_offset, 1024 * 1024); |
1087 | d92aa883 | Jeff Cody | |
1088 | d92aa883 | Jeff Cody | return bdrv_truncate(bs->file, *new_offset + s->block_size);
|
1089 | d92aa883 | Jeff Cody | } |
1090 | d92aa883 | Jeff Cody | |
1091 | d92aa883 | Jeff Cody | /*
|
1092 | d92aa883 | Jeff Cody | * Update the BAT table entry with the new file offset, and the new entry
|
1093 | d92aa883 | Jeff Cody | * state */
|
1094 | d92aa883 | Jeff Cody | static void vhdx_update_bat_table_entry(BlockDriverState *bs, BDRVVHDXState *s, |
1095 | d92aa883 | Jeff Cody | VHDXSectorInfo *sinfo, |
1096 | d92aa883 | Jeff Cody | uint64_t *bat_entry_le, |
1097 | d92aa883 | Jeff Cody | uint64_t *bat_offset, int state)
|
1098 | d92aa883 | Jeff Cody | { |
1099 | d92aa883 | Jeff Cody | /* The BAT entry is a uint64, with 44 bits for the file offset in units of
|
1100 | d92aa883 | Jeff Cody | * 1MB, and 3 bits for the block state. */
|
1101 | d92aa883 | Jeff Cody | s->bat[sinfo->bat_idx] = ((sinfo->file_offset>>20) <<
|
1102 | d92aa883 | Jeff Cody | VHDX_BAT_FILE_OFF_BITS); |
1103 | e8d4e5ff | Jeff Cody | |
1104 | d92aa883 | Jeff Cody | s->bat[sinfo->bat_idx] |= state & VHDX_BAT_STATE_BIT_MASK; |
1105 | d92aa883 | Jeff Cody | |
1106 | d92aa883 | Jeff Cody | *bat_entry_le = cpu_to_le64(s->bat[sinfo->bat_idx]); |
1107 | d92aa883 | Jeff Cody | *bat_offset = s->bat_offset + sinfo->bat_idx * sizeof(VHDXBatEntry);
|
1108 | d92aa883 | Jeff Cody | |
1109 | d92aa883 | Jeff Cody | } |
1110 | e8d4e5ff | Jeff Cody | |
1111 | c3906c5e | Jeff Cody | /* Per the spec, on the first write of guest-visible data to the file the
|
1112 | c3906c5e | Jeff Cody | * data write guid must be updated in the header */
|
1113 | c3906c5e | Jeff Cody | int vhdx_user_visible_write(BlockDriverState *bs, BDRVVHDXState *s)
|
1114 | c3906c5e | Jeff Cody | { |
1115 | c3906c5e | Jeff Cody | int ret = 0; |
1116 | c3906c5e | Jeff Cody | if (s->first_visible_write) {
|
1117 | c3906c5e | Jeff Cody | s->first_visible_write = false;
|
1118 | c3906c5e | Jeff Cody | ret = vhdx_update_headers(bs, s, true, NULL); |
1119 | c3906c5e | Jeff Cody | } |
1120 | c3906c5e | Jeff Cody | return ret;
|
1121 | c3906c5e | Jeff Cody | } |
1122 | c3906c5e | Jeff Cody | |
1123 | e8d4e5ff | Jeff Cody | static coroutine_fn int vhdx_co_writev(BlockDriverState *bs, int64_t sector_num, |
1124 | e8d4e5ff | Jeff Cody | int nb_sectors, QEMUIOVector *qiov)
|
1125 | e8d4e5ff | Jeff Cody | { |
1126 | d92aa883 | Jeff Cody | int ret = -ENOTSUP;
|
1127 | d92aa883 | Jeff Cody | BDRVVHDXState *s = bs->opaque; |
1128 | d92aa883 | Jeff Cody | VHDXSectorInfo sinfo; |
1129 | d92aa883 | Jeff Cody | uint64_t bytes_done = 0;
|
1130 | d92aa883 | Jeff Cody | uint64_t bat_entry = 0;
|
1131 | d92aa883 | Jeff Cody | uint64_t bat_entry_offset = 0;
|
1132 | d92aa883 | Jeff Cody | QEMUIOVector hd_qiov; |
1133 | d92aa883 | Jeff Cody | struct iovec iov1 = { 0 }; |
1134 | d92aa883 | Jeff Cody | struct iovec iov2 = { 0 }; |
1135 | d92aa883 | Jeff Cody | int sectors_to_write;
|
1136 | d92aa883 | Jeff Cody | int bat_state;
|
1137 | d92aa883 | Jeff Cody | uint64_t bat_prior_offset = 0;
|
1138 | d92aa883 | Jeff Cody | bool bat_update = false; |
1139 | d92aa883 | Jeff Cody | |
1140 | d92aa883 | Jeff Cody | qemu_iovec_init(&hd_qiov, qiov->niov); |
1141 | d92aa883 | Jeff Cody | |
1142 | d92aa883 | Jeff Cody | qemu_co_mutex_lock(&s->lock); |
1143 | d92aa883 | Jeff Cody | |
1144 | d92aa883 | Jeff Cody | ret = vhdx_user_visible_write(bs, s); |
1145 | d92aa883 | Jeff Cody | if (ret < 0) { |
1146 | d92aa883 | Jeff Cody | goto exit;
|
1147 | d92aa883 | Jeff Cody | } |
1148 | d92aa883 | Jeff Cody | |
1149 | d92aa883 | Jeff Cody | while (nb_sectors > 0) { |
1150 | d92aa883 | Jeff Cody | bool use_zero_buffers = false; |
1151 | d92aa883 | Jeff Cody | bat_update = false;
|
1152 | d92aa883 | Jeff Cody | if (s->params.data_bits & VHDX_PARAMS_HAS_PARENT) {
|
1153 | d92aa883 | Jeff Cody | /* not supported yet */
|
1154 | d92aa883 | Jeff Cody | ret = -ENOTSUP; |
1155 | d92aa883 | Jeff Cody | goto exit;
|
1156 | d92aa883 | Jeff Cody | } else {
|
1157 | d92aa883 | Jeff Cody | vhdx_block_translate(s, sector_num, nb_sectors, &sinfo); |
1158 | d92aa883 | Jeff Cody | sectors_to_write = sinfo.sectors_avail; |
1159 | d92aa883 | Jeff Cody | |
1160 | d92aa883 | Jeff Cody | qemu_iovec_reset(&hd_qiov); |
1161 | d92aa883 | Jeff Cody | /* check the payload block state */
|
1162 | d92aa883 | Jeff Cody | bat_state = s->bat[sinfo.bat_idx] & VHDX_BAT_STATE_BIT_MASK; |
1163 | d92aa883 | Jeff Cody | switch (bat_state) {
|
1164 | d92aa883 | Jeff Cody | case PAYLOAD_BLOCK_ZERO:
|
1165 | d92aa883 | Jeff Cody | /* in this case, we need to preserve zero writes for
|
1166 | d92aa883 | Jeff Cody | * data that is not part of this write, so we must pad
|
1167 | d92aa883 | Jeff Cody | * the rest of the buffer to zeroes */
|
1168 | d92aa883 | Jeff Cody | |
1169 | d92aa883 | Jeff Cody | /* if we are on a posix system with ftruncate() that extends
|
1170 | d92aa883 | Jeff Cody | * a file, then it is zero-filled for us. On Win32, the raw
|
1171 | d92aa883 | Jeff Cody | * layer uses SetFilePointer and SetFileEnd, which does not
|
1172 | d92aa883 | Jeff Cody | * zero fill AFAIK */
|
1173 | d92aa883 | Jeff Cody | |
1174 | d92aa883 | Jeff Cody | /* Queue another write of zero buffers if the underlying file
|
1175 | d92aa883 | Jeff Cody | * does not zero-fill on file extension */
|
1176 | d92aa883 | Jeff Cody | |
1177 | d92aa883 | Jeff Cody | if (bdrv_has_zero_init(bs->file) == 0) { |
1178 | d92aa883 | Jeff Cody | use_zero_buffers = true;
|
1179 | d92aa883 | Jeff Cody | |
1180 | d92aa883 | Jeff Cody | /* zero fill the front, if any */
|
1181 | d92aa883 | Jeff Cody | if (sinfo.block_offset) {
|
1182 | d92aa883 | Jeff Cody | iov1.iov_len = sinfo.block_offset; |
1183 | d92aa883 | Jeff Cody | iov1.iov_base = qemu_blockalign(bs, iov1.iov_len); |
1184 | d92aa883 | Jeff Cody | memset(iov1.iov_base, 0, iov1.iov_len);
|
1185 | d92aa883 | Jeff Cody | qemu_iovec_concat_iov(&hd_qiov, &iov1, 1, 0, |
1186 | d92aa883 | Jeff Cody | sinfo.block_offset); |
1187 | d92aa883 | Jeff Cody | sectors_to_write += iov1.iov_len >> BDRV_SECTOR_BITS; |
1188 | d92aa883 | Jeff Cody | } |
1189 | d92aa883 | Jeff Cody | |
1190 | d92aa883 | Jeff Cody | /* our actual data */
|
1191 | d92aa883 | Jeff Cody | qemu_iovec_concat(&hd_qiov, qiov, bytes_done, |
1192 | d92aa883 | Jeff Cody | sinfo.bytes_avail); |
1193 | d92aa883 | Jeff Cody | |
1194 | d92aa883 | Jeff Cody | /* zero fill the back, if any */
|
1195 | d92aa883 | Jeff Cody | if ((sinfo.bytes_avail - sinfo.block_offset) <
|
1196 | d92aa883 | Jeff Cody | s->block_size) { |
1197 | d92aa883 | Jeff Cody | iov2.iov_len = s->block_size - |
1198 | d92aa883 | Jeff Cody | (sinfo.bytes_avail + sinfo.block_offset); |
1199 | d92aa883 | Jeff Cody | iov2.iov_base = qemu_blockalign(bs, iov2.iov_len); |
1200 | d92aa883 | Jeff Cody | memset(iov2.iov_base, 0, iov2.iov_len);
|
1201 | d92aa883 | Jeff Cody | qemu_iovec_concat_iov(&hd_qiov, &iov2, 1, 0, |
1202 | d92aa883 | Jeff Cody | sinfo.block_offset); |
1203 | d92aa883 | Jeff Cody | sectors_to_write += iov2.iov_len >> BDRV_SECTOR_BITS; |
1204 | d92aa883 | Jeff Cody | } |
1205 | d92aa883 | Jeff Cody | } |
1206 | d92aa883 | Jeff Cody | |
1207 | d92aa883 | Jeff Cody | /* fall through */
|
1208 | d92aa883 | Jeff Cody | case PAYLOAD_BLOCK_NOT_PRESENT: /* fall through */ |
1209 | d92aa883 | Jeff Cody | case PAYLOAD_BLOCK_UNMAPPED: /* fall through */ |
1210 | d92aa883 | Jeff Cody | case PAYLOAD_BLOCK_UNDEFINED: /* fall through */ |
1211 | d92aa883 | Jeff Cody | bat_prior_offset = sinfo.file_offset; |
1212 | d92aa883 | Jeff Cody | ret = vhdx_allocate_block(bs, s, &sinfo.file_offset); |
1213 | d92aa883 | Jeff Cody | if (ret < 0) { |
1214 | d92aa883 | Jeff Cody | goto exit;
|
1215 | d92aa883 | Jeff Cody | } |
1216 | d92aa883 | Jeff Cody | /* once we support differencing files, this may also be
|
1217 | d92aa883 | Jeff Cody | * partially present */
|
1218 | d92aa883 | Jeff Cody | /* update block state to the newly specified state */
|
1219 | d92aa883 | Jeff Cody | vhdx_update_bat_table_entry(bs, s, &sinfo, &bat_entry, |
1220 | d92aa883 | Jeff Cody | &bat_entry_offset, |
1221 | d92aa883 | Jeff Cody | PAYLOAD_BLOCK_FULLY_PRESENT); |
1222 | d92aa883 | Jeff Cody | bat_update = true;
|
1223 | d92aa883 | Jeff Cody | /* since we just allocated a block, file_offset is the
|
1224 | d92aa883 | Jeff Cody | * beginning of the payload block. It needs to be the
|
1225 | d92aa883 | Jeff Cody | * write address, which includes the offset into the block */
|
1226 | d92aa883 | Jeff Cody | if (!use_zero_buffers) {
|
1227 | d92aa883 | Jeff Cody | sinfo.file_offset += sinfo.block_offset; |
1228 | d92aa883 | Jeff Cody | } |
1229 | d92aa883 | Jeff Cody | /* fall through */
|
1230 | d92aa883 | Jeff Cody | case PAYLOAD_BLOCK_FULLY_PRESENT:
|
1231 | d92aa883 | Jeff Cody | /* if the file offset address is in the header zone,
|
1232 | d92aa883 | Jeff Cody | * there is a problem */
|
1233 | d92aa883 | Jeff Cody | if (sinfo.file_offset < (1024 * 1024)) { |
1234 | d92aa883 | Jeff Cody | ret = -EFAULT; |
1235 | d92aa883 | Jeff Cody | goto error_bat_restore;
|
1236 | d92aa883 | Jeff Cody | } |
1237 | d92aa883 | Jeff Cody | |
1238 | d92aa883 | Jeff Cody | if (!use_zero_buffers) {
|
1239 | d92aa883 | Jeff Cody | qemu_iovec_concat(&hd_qiov, qiov, bytes_done, |
1240 | d92aa883 | Jeff Cody | sinfo.bytes_avail); |
1241 | d92aa883 | Jeff Cody | } |
1242 | d92aa883 | Jeff Cody | /* block exists, so we can just overwrite it */
|
1243 | d92aa883 | Jeff Cody | qemu_co_mutex_unlock(&s->lock); |
1244 | d92aa883 | Jeff Cody | ret = bdrv_co_writev(bs->file, |
1245 | d92aa883 | Jeff Cody | sinfo.file_offset >> BDRV_SECTOR_BITS, |
1246 | d92aa883 | Jeff Cody | sectors_to_write, &hd_qiov); |
1247 | d92aa883 | Jeff Cody | qemu_co_mutex_lock(&s->lock); |
1248 | d92aa883 | Jeff Cody | if (ret < 0) { |
1249 | d92aa883 | Jeff Cody | goto error_bat_restore;
|
1250 | d92aa883 | Jeff Cody | } |
1251 | d92aa883 | Jeff Cody | break;
|
1252 | d92aa883 | Jeff Cody | case PAYLOAD_BLOCK_PARTIALLY_PRESENT:
|
1253 | d92aa883 | Jeff Cody | /* we don't yet support difference files, fall through
|
1254 | d92aa883 | Jeff Cody | * to error */
|
1255 | d92aa883 | Jeff Cody | default:
|
1256 | d92aa883 | Jeff Cody | ret = -EIO; |
1257 | d92aa883 | Jeff Cody | goto exit;
|
1258 | d92aa883 | Jeff Cody | break;
|
1259 | d92aa883 | Jeff Cody | } |
1260 | d92aa883 | Jeff Cody | |
1261 | d92aa883 | Jeff Cody | if (bat_update) {
|
1262 | d92aa883 | Jeff Cody | /* this will update the BAT entry into the log journal, and
|
1263 | d92aa883 | Jeff Cody | * then flush the log journal out to disk */
|
1264 | d92aa883 | Jeff Cody | ret = vhdx_log_write_and_flush(bs, s, &bat_entry, |
1265 | d92aa883 | Jeff Cody | sizeof(VHDXBatEntry),
|
1266 | d92aa883 | Jeff Cody | bat_entry_offset); |
1267 | d92aa883 | Jeff Cody | if (ret < 0) { |
1268 | d92aa883 | Jeff Cody | goto exit;
|
1269 | d92aa883 | Jeff Cody | } |
1270 | d92aa883 | Jeff Cody | } |
1271 | d92aa883 | Jeff Cody | |
1272 | d92aa883 | Jeff Cody | nb_sectors -= sinfo.sectors_avail; |
1273 | d92aa883 | Jeff Cody | sector_num += sinfo.sectors_avail; |
1274 | d92aa883 | Jeff Cody | bytes_done += sinfo.bytes_avail; |
1275 | d92aa883 | Jeff Cody | |
1276 | d92aa883 | Jeff Cody | } |
1277 | d92aa883 | Jeff Cody | } |
1278 | d92aa883 | Jeff Cody | |
1279 | d92aa883 | Jeff Cody | goto exit;
|
1280 | d92aa883 | Jeff Cody | |
1281 | d92aa883 | Jeff Cody | error_bat_restore:
|
1282 | d92aa883 | Jeff Cody | if (bat_update) {
|
1283 | d92aa883 | Jeff Cody | /* keep metadata in sync, and restore the bat entry state
|
1284 | d92aa883 | Jeff Cody | * if error. */
|
1285 | d92aa883 | Jeff Cody | sinfo.file_offset = bat_prior_offset; |
1286 | d92aa883 | Jeff Cody | vhdx_update_bat_table_entry(bs, s, &sinfo, &bat_entry, |
1287 | d92aa883 | Jeff Cody | &bat_entry_offset, bat_state); |
1288 | d92aa883 | Jeff Cody | } |
1289 | d92aa883 | Jeff Cody | exit:
|
1290 | d92aa883 | Jeff Cody | qemu_vfree(iov1.iov_base); |
1291 | d92aa883 | Jeff Cody | qemu_vfree(iov2.iov_base); |
1292 | d92aa883 | Jeff Cody | qemu_co_mutex_unlock(&s->lock); |
1293 | d92aa883 | Jeff Cody | qemu_iovec_destroy(&hd_qiov); |
1294 | d92aa883 | Jeff Cody | return ret;
|
1295 | e8d4e5ff | Jeff Cody | } |
1296 | e8d4e5ff | Jeff Cody | |
1297 | e8d4e5ff | Jeff Cody | |
1298 | e8d4e5ff | Jeff Cody | static BlockDriver bdrv_vhdx = {
|
1299 | e8d4e5ff | Jeff Cody | .format_name = "vhdx",
|
1300 | e8d4e5ff | Jeff Cody | .instance_size = sizeof(BDRVVHDXState),
|
1301 | e8d4e5ff | Jeff Cody | .bdrv_probe = vhdx_probe, |
1302 | e8d4e5ff | Jeff Cody | .bdrv_open = vhdx_open, |
1303 | e8d4e5ff | Jeff Cody | .bdrv_close = vhdx_close, |
1304 | e8d4e5ff | Jeff Cody | .bdrv_reopen_prepare = vhdx_reopen_prepare, |
1305 | e8d4e5ff | Jeff Cody | .bdrv_co_readv = vhdx_co_readv, |
1306 | e8d4e5ff | Jeff Cody | .bdrv_co_writev = vhdx_co_writev, |
1307 | e8d4e5ff | Jeff Cody | }; |
1308 | e8d4e5ff | Jeff Cody | |
1309 | e8d4e5ff | Jeff Cody | static void bdrv_vhdx_init(void) |
1310 | e8d4e5ff | Jeff Cody | { |
1311 | e8d4e5ff | Jeff Cody | bdrv_register(&bdrv_vhdx); |
1312 | e8d4e5ff | Jeff Cody | } |
1313 | e8d4e5ff | Jeff Cody | |
1314 | e8d4e5ff | Jeff Cody | block_init(bdrv_vhdx_init); |