]>
Commit | Line | Data |
---|---|---|
2668b4bf EH |
1 | /* |
2 | * Test code for VMState | |
3 | * | |
4 | * Copyright (c) 2013 Red Hat Inc. | |
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 | ||
681c28a3 | 25 | #include "qemu/osdep.h" |
2668b4bf | 26 | |
6666c96a | 27 | #include "../migration/migration.h" |
2668b4bf | 28 | #include "migration/vmstate.h" |
08a0aee1 JQ |
29 | #include "migration/qemu-file-types.h" |
30 | #include "../migration/qemu-file.h" | |
40014d81 | 31 | #include "../migration/qemu-file-channel.h" |
c3d2e2e7 | 32 | #include "../migration/savevm.h" |
10817bf0 | 33 | #include "qemu/coroutine.h" |
0b8fa32f | 34 | #include "qemu/module.h" |
8925839f | 35 | #include "io/channel-file.h" |
2668b4bf | 36 | |
748bfb4e SW |
37 | static char temp_file[] = "/tmp/vmst.test.XXXXXX"; |
38 | static int temp_fd; | |
2668b4bf | 39 | |
9935baca | 40 | |
2668b4bf | 41 | /* Duplicate temp_fd and seek to the beginning of the file */ |
c6f6646c | 42 | static QEMUFile *open_test_file(bool write) |
2668b4bf EH |
43 | { |
44 | int fd = dup(temp_fd); | |
8925839f | 45 | QIOChannel *ioc; |
4ae3c0e2 MAL |
46 | QEMUFile *f; |
47 | ||
2668b4bf | 48 | lseek(fd, 0, SEEK_SET); |
c6f6646c | 49 | if (write) { |
2668b4bf EH |
50 | g_assert_cmpint(ftruncate(fd, 0), ==, 0); |
51 | } | |
8925839f DB |
52 | ioc = QIO_CHANNEL(qio_channel_file_new_fd(fd)); |
53 | if (write) { | |
4ae3c0e2 | 54 | f = qemu_fopen_channel_output(ioc); |
8925839f | 55 | } else { |
4ae3c0e2 | 56 | f = qemu_fopen_channel_input(ioc); |
8925839f | 57 | } |
4ae3c0e2 MAL |
58 | object_unref(OBJECT(ioc)); |
59 | return f; | |
2668b4bf EH |
60 | } |
61 | ||
4ea7df4e JQ |
62 | #define SUCCESS(val) \ |
63 | g_assert_cmpint((val), ==, 0) | |
2668b4bf | 64 | |
4ea7df4e JQ |
65 | #define FAILURE(val) \ |
66 | g_assert_cmpint((val), !=, 0) | |
2668b4bf | 67 | |
4ea7df4e JQ |
68 | static void save_vmstate(const VMStateDescription *desc, void *obj) |
69 | { | |
70 | QEMUFile *f = open_test_file(true); | |
71 | ||
72 | /* Save file with vmstate */ | |
2f168d07 DDAG |
73 | int ret = vmstate_save_state(f, desc, obj, NULL); |
74 | g_assert(!ret); | |
4ea7df4e JQ |
75 | qemu_put_byte(f, QEMU_VM_EOF); |
76 | g_assert(!qemu_file_get_error(f)); | |
77 | qemu_fclose(f); | |
78 | } | |
2668b4bf | 79 | |
6d57b4c0 HP |
80 | static void save_buffer(const uint8_t *buf, size_t buf_size) |
81 | { | |
82 | QEMUFile *fsave = open_test_file(true); | |
83 | qemu_put_buffer(fsave, buf, buf_size); | |
84 | qemu_fclose(fsave); | |
85 | } | |
86 | ||
5c379d90 | 87 | static void compare_vmstate(const uint8_t *wire, size_t size) |
2668b4bf | 88 | { |
4ea7df4e JQ |
89 | QEMUFile *f = open_test_file(false); |
90 | uint8_t result[size]; | |
2668b4bf | 91 | |
4ea7df4e JQ |
92 | /* read back as binary */ |
93 | ||
94 | g_assert_cmpint(qemu_get_buffer(f, result, sizeof(result)), ==, | |
2668b4bf | 95 | sizeof(result)); |
4ea7df4e JQ |
96 | g_assert(!qemu_file_get_error(f)); |
97 | ||
98 | /* Compare that what is on the file is the same that what we | |
99 | expected to be there */ | |
100 | SUCCESS(memcmp(result, wire, sizeof(result))); | |
2668b4bf EH |
101 | |
102 | /* Must reach EOF */ | |
4ea7df4e JQ |
103 | qemu_get_byte(f); |
104 | g_assert_cmpint(qemu_file_get_error(f), ==, -EIO); | |
2668b4bf | 105 | |
4ea7df4e | 106 | qemu_fclose(f); |
2668b4bf EH |
107 | } |
108 | ||
4ea7df4e | 109 | static int load_vmstate_one(const VMStateDescription *desc, void *obj, |
5c379d90 | 110 | int version, const uint8_t *wire, size_t size) |
2668b4bf | 111 | { |
4ea7df4e JQ |
112 | QEMUFile *f; |
113 | int ret; | |
114 | ||
115 | f = open_test_file(true); | |
116 | qemu_put_buffer(f, wire, size); | |
117 | qemu_fclose(f); | |
118 | ||
119 | f = open_test_file(false); | |
120 | ret = vmstate_load_state(f, desc, obj, version); | |
121 | if (ret) { | |
122 | g_assert(qemu_file_get_error(f)); | |
123 | } else{ | |
124 | g_assert(!qemu_file_get_error(f)); | |
125 | } | |
126 | qemu_fclose(f); | |
127 | return ret; | |
128 | } | |
2668b4bf | 129 | |
4ea7df4e JQ |
130 | |
131 | static int load_vmstate(const VMStateDescription *desc, | |
132 | void *obj, void *obj_clone, | |
133 | void (*obj_copy)(void *, void*), | |
5c379d90 | 134 | int version, const uint8_t *wire, size_t size) |
4ea7df4e JQ |
135 | { |
136 | /* We test with zero size */ | |
137 | obj_copy(obj_clone, obj); | |
138 | FAILURE(load_vmstate_one(desc, obj, version, wire, 0)); | |
139 | ||
140 | /* Stream ends with QEMU_EOF, so we need at least 3 bytes to be | |
141 | * able to test in the middle */ | |
142 | ||
143 | if (size > 3) { | |
144 | ||
145 | /* We test with size - 2. We can't test size - 1 due to EOF tricks */ | |
146 | obj_copy(obj, obj_clone); | |
147 | FAILURE(load_vmstate_one(desc, obj, version, wire, size - 2)); | |
148 | ||
149 | /* Test with size/2, first half of real state */ | |
150 | obj_copy(obj, obj_clone); | |
151 | FAILURE(load_vmstate_one(desc, obj, version, wire, size/2)); | |
152 | ||
153 | /* Test with size/2, second half of real state */ | |
154 | obj_copy(obj, obj_clone); | |
155 | FAILURE(load_vmstate_one(desc, obj, version, wire + (size/2), size/2)); | |
156 | ||
157 | } | |
158 | obj_copy(obj, obj_clone); | |
159 | return load_vmstate_one(desc, obj, version, wire, size); | |
160 | } | |
161 | ||
162 | /* Test struct that we are going to use for our tests */ | |
163 | ||
164 | typedef struct TestSimple { | |
165 | bool b_1, b_2; | |
166 | uint8_t u8_1; | |
167 | uint16_t u16_1; | |
168 | uint32_t u32_1; | |
169 | uint64_t u64_1; | |
170 | int8_t i8_1, i8_2; | |
171 | int16_t i16_1, i16_2; | |
172 | int32_t i32_1, i32_2; | |
173 | int64_t i64_1, i64_2; | |
174 | } TestSimple; | |
175 | ||
176 | /* Object instantiation, we are going to use it in more than one test */ | |
177 | ||
178 | TestSimple obj_simple = { | |
179 | .b_1 = true, | |
180 | .b_2 = false, | |
181 | .u8_1 = 130, | |
182 | .u16_1 = 512, | |
183 | .u32_1 = 70000, | |
184 | .u64_1 = 12121212, | |
185 | .i8_1 = 65, | |
186 | .i8_2 = -65, | |
187 | .i16_1 = 512, | |
188 | .i16_2 = -512, | |
189 | .i32_1 = 70000, | |
190 | .i32_2 = -70000, | |
191 | .i64_1 = 12121212, | |
192 | .i64_2 = -12121212, | |
193 | }; | |
194 | ||
195 | /* Description of the values. If you add a primitive type | |
196 | you are expected to add a test here */ | |
197 | ||
198 | static const VMStateDescription vmstate_simple_primitive = { | |
199 | .name = "simple/primitive", | |
200 | .version_id = 1, | |
201 | .minimum_version_id = 1, | |
202 | .fields = (VMStateField[]) { | |
203 | VMSTATE_BOOL(b_1, TestSimple), | |
204 | VMSTATE_BOOL(b_2, TestSimple), | |
205 | VMSTATE_UINT8(u8_1, TestSimple), | |
206 | VMSTATE_UINT16(u16_1, TestSimple), | |
207 | VMSTATE_UINT32(u32_1, TestSimple), | |
208 | VMSTATE_UINT64(u64_1, TestSimple), | |
209 | VMSTATE_INT8(i8_1, TestSimple), | |
210 | VMSTATE_INT8(i8_2, TestSimple), | |
211 | VMSTATE_INT16(i16_1, TestSimple), | |
212 | VMSTATE_INT16(i16_2, TestSimple), | |
213 | VMSTATE_INT32(i32_1, TestSimple), | |
214 | VMSTATE_INT32(i32_2, TestSimple), | |
215 | VMSTATE_INT64(i64_1, TestSimple), | |
216 | VMSTATE_INT64(i64_2, TestSimple), | |
217 | VMSTATE_END_OF_LIST() | |
218 | } | |
219 | }; | |
220 | ||
221 | /* It describes what goes through the wire. Our tests are basically: | |
222 | ||
223 | * save test | |
224 | - save a struct a vmstate to a file | |
225 | - read that file back (binary read, no vmstate) | |
226 | - compare it with what we expect to be on the wire | |
227 | * load test | |
228 | - save to the file what we expect to be on the wire | |
229 | - read struct back with vmstate in a different | |
230 | - compare back with the original struct | |
231 | */ | |
232 | ||
233 | uint8_t wire_simple_primitive[] = { | |
234 | /* b_1 */ 0x01, | |
235 | /* b_2 */ 0x00, | |
236 | /* u8_1 */ 0x82, | |
237 | /* u16_1 */ 0x02, 0x00, | |
238 | /* u32_1 */ 0x00, 0x01, 0x11, 0x70, | |
239 | /* u64_1 */ 0x00, 0x00, 0x00, 0x00, 0x00, 0xb8, 0xf4, 0x7c, | |
240 | /* i8_1 */ 0x41, | |
241 | /* i8_2 */ 0xbf, | |
242 | /* i16_1 */ 0x02, 0x00, | |
243 | /* i16_2 */ 0xfe, 0x0, | |
244 | /* i32_1 */ 0x00, 0x01, 0x11, 0x70, | |
245 | /* i32_2 */ 0xff, 0xfe, 0xee, 0x90, | |
246 | /* i64_1 */ 0x00, 0x00, 0x00, 0x00, 0x00, 0xb8, 0xf4, 0x7c, | |
247 | /* i64_2 */ 0xff, 0xff, 0xff, 0xff, 0xff, 0x47, 0x0b, 0x84, | |
248 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
249 | }; | |
250 | ||
251 | static void obj_simple_copy(void *target, void *source) | |
252 | { | |
253 | memcpy(target, source, sizeof(TestSimple)); | |
254 | } | |
255 | ||
256 | static void test_simple_primitive(void) | |
257 | { | |
258 | TestSimple obj, obj_clone; | |
259 | ||
260 | memset(&obj, 0, sizeof(obj)); | |
261 | save_vmstate(&vmstate_simple_primitive, &obj_simple); | |
262 | ||
263 | compare_vmstate(wire_simple_primitive, sizeof(wire_simple_primitive)); | |
264 | ||
265 | SUCCESS(load_vmstate(&vmstate_simple_primitive, &obj, &obj_clone, | |
266 | obj_simple_copy, 1, wire_simple_primitive, | |
267 | sizeof(wire_simple_primitive))); | |
268 | ||
269 | #define FIELD_EQUAL(name) g_assert_cmpint(obj.name, ==, obj_simple.name) | |
270 | ||
271 | FIELD_EQUAL(b_1); | |
272 | FIELD_EQUAL(b_2); | |
273 | FIELD_EQUAL(u8_1); | |
274 | FIELD_EQUAL(u16_1); | |
275 | FIELD_EQUAL(u32_1); | |
276 | FIELD_EQUAL(u64_1); | |
277 | FIELD_EQUAL(i8_1); | |
278 | FIELD_EQUAL(i8_2); | |
279 | FIELD_EQUAL(i16_1); | |
280 | FIELD_EQUAL(i16_2); | |
281 | FIELD_EQUAL(i32_1); | |
282 | FIELD_EQUAL(i32_2); | |
283 | FIELD_EQUAL(i64_1); | |
284 | FIELD_EQUAL(i64_2); | |
2668b4bf | 285 | } |
4ea7df4e | 286 | |
b95d6588 MAL |
287 | typedef struct TestSimpleArray { |
288 | uint16_t u16_1[3]; | |
289 | } TestSimpleArray; | |
290 | ||
291 | /* Object instantiation, we are going to use it in more than one test */ | |
292 | ||
293 | TestSimpleArray obj_simple_arr = { | |
294 | .u16_1 = { 0x42, 0x43, 0x44 }, | |
295 | }; | |
296 | ||
297 | /* Description of the values. If you add a primitive type | |
298 | you are expected to add a test here */ | |
299 | ||
300 | static const VMStateDescription vmstate_simple_arr = { | |
301 | .name = "simple/array", | |
302 | .version_id = 1, | |
303 | .minimum_version_id = 1, | |
304 | .fields = (VMStateField[]) { | |
305 | VMSTATE_UINT16_ARRAY(u16_1, TestSimpleArray, 3), | |
306 | VMSTATE_END_OF_LIST() | |
307 | } | |
308 | }; | |
309 | ||
310 | uint8_t wire_simple_arr[] = { | |
311 | /* u16_1 */ 0x00, 0x42, | |
312 | /* u16_1 */ 0x00, 0x43, | |
313 | /* u16_1 */ 0x00, 0x44, | |
314 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
315 | }; | |
316 | ||
317 | static void obj_simple_arr_copy(void *target, void *source) | |
318 | { | |
319 | memcpy(target, source, sizeof(TestSimpleArray)); | |
320 | } | |
321 | ||
322 | static void test_simple_array(void) | |
323 | { | |
324 | TestSimpleArray obj, obj_clone; | |
325 | ||
326 | memset(&obj, 0, sizeof(obj)); | |
327 | save_vmstate(&vmstate_simple_arr, &obj_simple_arr); | |
328 | ||
329 | compare_vmstate(wire_simple_arr, sizeof(wire_simple_arr)); | |
330 | ||
331 | SUCCESS(load_vmstate(&vmstate_simple_arr, &obj, &obj_clone, | |
332 | obj_simple_arr_copy, 1, wire_simple_arr, | |
333 | sizeof(wire_simple_arr))); | |
334 | } | |
335 | ||
4ea7df4e JQ |
336 | typedef struct TestStruct { |
337 | uint32_t a, b, c, e; | |
338 | uint64_t d, f; | |
339 | bool skip_c_e; | |
340 | } TestStruct; | |
2668b4bf EH |
341 | |
342 | static const VMStateDescription vmstate_versioned = { | |
4ea7df4e | 343 | .name = "test/versioned", |
2668b4bf EH |
344 | .version_id = 2, |
345 | .minimum_version_id = 1, | |
35d08458 | 346 | .fields = (VMStateField[]) { |
2668b4bf EH |
347 | VMSTATE_UINT32(a, TestStruct), |
348 | VMSTATE_UINT32_V(b, TestStruct, 2), /* Versioned field in the middle, so | |
349 | * we catch bugs more easily. | |
350 | */ | |
351 | VMSTATE_UINT32(c, TestStruct), | |
352 | VMSTATE_UINT64(d, TestStruct), | |
353 | VMSTATE_UINT32_V(e, TestStruct, 2), | |
354 | VMSTATE_UINT64_V(f, TestStruct, 2), | |
355 | VMSTATE_END_OF_LIST() | |
356 | } | |
357 | }; | |
358 | ||
359 | static void test_load_v1(void) | |
360 | { | |
2668b4bf EH |
361 | uint8_t buf[] = { |
362 | 0, 0, 0, 10, /* a */ | |
363 | 0, 0, 0, 30, /* c */ | |
364 | 0, 0, 0, 0, 0, 0, 0, 40, /* d */ | |
365 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
366 | }; | |
6d57b4c0 | 367 | save_buffer(buf, sizeof(buf)); |
2668b4bf | 368 | |
c6f6646c | 369 | QEMUFile *loading = open_test_file(false); |
2668b4bf EH |
370 | TestStruct obj = { .b = 200, .e = 500, .f = 600 }; |
371 | vmstate_load_state(loading, &vmstate_versioned, &obj, 1); | |
372 | g_assert(!qemu_file_get_error(loading)); | |
373 | g_assert_cmpint(obj.a, ==, 10); | |
374 | g_assert_cmpint(obj.b, ==, 200); | |
375 | g_assert_cmpint(obj.c, ==, 30); | |
376 | g_assert_cmpint(obj.d, ==, 40); | |
377 | g_assert_cmpint(obj.e, ==, 500); | |
378 | g_assert_cmpint(obj.f, ==, 600); | |
379 | qemu_fclose(loading); | |
380 | } | |
381 | ||
382 | static void test_load_v2(void) | |
383 | { | |
2668b4bf EH |
384 | uint8_t buf[] = { |
385 | 0, 0, 0, 10, /* a */ | |
386 | 0, 0, 0, 20, /* b */ | |
387 | 0, 0, 0, 30, /* c */ | |
388 | 0, 0, 0, 0, 0, 0, 0, 40, /* d */ | |
389 | 0, 0, 0, 50, /* e */ | |
390 | 0, 0, 0, 0, 0, 0, 0, 60, /* f */ | |
391 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
392 | }; | |
6d57b4c0 | 393 | save_buffer(buf, sizeof(buf)); |
2668b4bf | 394 | |
c6f6646c | 395 | QEMUFile *loading = open_test_file(false); |
2668b4bf EH |
396 | TestStruct obj; |
397 | vmstate_load_state(loading, &vmstate_versioned, &obj, 2); | |
398 | g_assert_cmpint(obj.a, ==, 10); | |
399 | g_assert_cmpint(obj.b, ==, 20); | |
400 | g_assert_cmpint(obj.c, ==, 30); | |
401 | g_assert_cmpint(obj.d, ==, 40); | |
402 | g_assert_cmpint(obj.e, ==, 50); | |
403 | g_assert_cmpint(obj.f, ==, 60); | |
404 | qemu_fclose(loading); | |
405 | } | |
406 | ||
407 | static bool test_skip(void *opaque, int version_id) | |
408 | { | |
409 | TestStruct *t = (TestStruct *)opaque; | |
410 | return !t->skip_c_e; | |
411 | } | |
412 | ||
413 | static const VMStateDescription vmstate_skipping = { | |
4ea7df4e | 414 | .name = "test/skip", |
2668b4bf EH |
415 | .version_id = 2, |
416 | .minimum_version_id = 1, | |
35d08458 | 417 | .fields = (VMStateField[]) { |
2668b4bf EH |
418 | VMSTATE_UINT32(a, TestStruct), |
419 | VMSTATE_UINT32(b, TestStruct), | |
420 | VMSTATE_UINT32_TEST(c, TestStruct, test_skip), | |
421 | VMSTATE_UINT64(d, TestStruct), | |
422 | VMSTATE_UINT32_TEST(e, TestStruct, test_skip), | |
423 | VMSTATE_UINT64_V(f, TestStruct, 2), | |
424 | VMSTATE_END_OF_LIST() | |
425 | } | |
426 | }; | |
427 | ||
428 | ||
429 | static void test_save_noskip(void) | |
430 | { | |
a8ec4437 | 431 | QEMUFile *fsave = open_test_file(true); |
2668b4bf EH |
432 | TestStruct obj = { .a = 1, .b = 2, .c = 3, .d = 4, .e = 5, .f = 6, |
433 | .skip_c_e = false }; | |
2f168d07 DDAG |
434 | int ret = vmstate_save_state(fsave, &vmstate_skipping, &obj, NULL); |
435 | g_assert(!ret); | |
2668b4bf | 436 | g_assert(!qemu_file_get_error(fsave)); |
2668b4bf | 437 | |
2668b4bf EH |
438 | uint8_t expected[] = { |
439 | 0, 0, 0, 1, /* a */ | |
440 | 0, 0, 0, 2, /* b */ | |
441 | 0, 0, 0, 3, /* c */ | |
442 | 0, 0, 0, 0, 0, 0, 0, 4, /* d */ | |
443 | 0, 0, 0, 5, /* e */ | |
444 | 0, 0, 0, 0, 0, 0, 0, 6, /* f */ | |
445 | }; | |
a8ec4437 | 446 | |
9935baca | 447 | qemu_fclose(fsave); |
a8ec4437 | 448 | compare_vmstate(expected, sizeof(expected)); |
2668b4bf EH |
449 | } |
450 | ||
451 | static void test_save_skip(void) | |
452 | { | |
a8ec4437 | 453 | QEMUFile *fsave = open_test_file(true); |
2668b4bf EH |
454 | TestStruct obj = { .a = 1, .b = 2, .c = 3, .d = 4, .e = 5, .f = 6, |
455 | .skip_c_e = true }; | |
2f168d07 DDAG |
456 | int ret = vmstate_save_state(fsave, &vmstate_skipping, &obj, NULL); |
457 | g_assert(!ret); | |
2668b4bf | 458 | g_assert(!qemu_file_get_error(fsave)); |
2668b4bf | 459 | |
2668b4bf EH |
460 | uint8_t expected[] = { |
461 | 0, 0, 0, 1, /* a */ | |
462 | 0, 0, 0, 2, /* b */ | |
463 | 0, 0, 0, 0, 0, 0, 0, 4, /* d */ | |
464 | 0, 0, 0, 0, 0, 0, 0, 6, /* f */ | |
465 | }; | |
2668b4bf | 466 | |
9935baca | 467 | qemu_fclose(fsave); |
a8ec4437 | 468 | compare_vmstate(expected, sizeof(expected)); |
2668b4bf EH |
469 | } |
470 | ||
471 | static void test_load_noskip(void) | |
472 | { | |
2668b4bf EH |
473 | uint8_t buf[] = { |
474 | 0, 0, 0, 10, /* a */ | |
475 | 0, 0, 0, 20, /* b */ | |
476 | 0, 0, 0, 30, /* c */ | |
477 | 0, 0, 0, 0, 0, 0, 0, 40, /* d */ | |
478 | 0, 0, 0, 50, /* e */ | |
479 | 0, 0, 0, 0, 0, 0, 0, 60, /* f */ | |
480 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
481 | }; | |
6d57b4c0 | 482 | save_buffer(buf, sizeof(buf)); |
2668b4bf | 483 | |
a8ec4437 | 484 | QEMUFile *loading = open_test_file(false); |
2668b4bf EH |
485 | TestStruct obj = { .skip_c_e = false }; |
486 | vmstate_load_state(loading, &vmstate_skipping, &obj, 2); | |
487 | g_assert(!qemu_file_get_error(loading)); | |
488 | g_assert_cmpint(obj.a, ==, 10); | |
489 | g_assert_cmpint(obj.b, ==, 20); | |
490 | g_assert_cmpint(obj.c, ==, 30); | |
491 | g_assert_cmpint(obj.d, ==, 40); | |
492 | g_assert_cmpint(obj.e, ==, 50); | |
493 | g_assert_cmpint(obj.f, ==, 60); | |
494 | qemu_fclose(loading); | |
495 | } | |
496 | ||
497 | static void test_load_skip(void) | |
498 | { | |
2668b4bf EH |
499 | uint8_t buf[] = { |
500 | 0, 0, 0, 10, /* a */ | |
501 | 0, 0, 0, 20, /* b */ | |
502 | 0, 0, 0, 0, 0, 0, 0, 40, /* d */ | |
503 | 0, 0, 0, 0, 0, 0, 0, 60, /* f */ | |
504 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
505 | }; | |
6d57b4c0 | 506 | save_buffer(buf, sizeof(buf)); |
2668b4bf | 507 | |
a8ec4437 | 508 | QEMUFile *loading = open_test_file(false); |
2668b4bf EH |
509 | TestStruct obj = { .skip_c_e = true, .c = 300, .e = 500 }; |
510 | vmstate_load_state(loading, &vmstate_skipping, &obj, 2); | |
511 | g_assert(!qemu_file_get_error(loading)); | |
512 | g_assert_cmpint(obj.a, ==, 10); | |
513 | g_assert_cmpint(obj.b, ==, 20); | |
514 | g_assert_cmpint(obj.c, ==, 300); | |
515 | g_assert_cmpint(obj.d, ==, 40); | |
516 | g_assert_cmpint(obj.e, ==, 500); | |
517 | g_assert_cmpint(obj.f, ==, 60); | |
518 | qemu_fclose(loading); | |
519 | } | |
520 | ||
8cc49f03 HP |
521 | typedef struct { |
522 | int32_t i; | |
523 | } TestStructTriv; | |
524 | ||
525 | const VMStateDescription vmsd_tst = { | |
526 | .name = "test/tst", | |
527 | .version_id = 1, | |
528 | .minimum_version_id = 1, | |
529 | .fields = (VMStateField[]) { | |
530 | VMSTATE_INT32(i, TestStructTriv), | |
531 | VMSTATE_END_OF_LIST() | |
532 | } | |
533 | }; | |
534 | ||
cc958831 HP |
535 | /* test array migration */ |
536 | ||
8cc49f03 HP |
537 | #define AR_SIZE 4 |
538 | ||
539 | typedef struct { | |
540 | TestStructTriv *ar[AR_SIZE]; | |
541 | } TestArrayOfPtrToStuct; | |
542 | ||
543 | const VMStateDescription vmsd_arps = { | |
544 | .name = "test/arps", | |
545 | .version_id = 1, | |
546 | .minimum_version_id = 1, | |
547 | .fields = (VMStateField[]) { | |
548 | VMSTATE_ARRAY_OF_POINTER_TO_STRUCT(ar, TestArrayOfPtrToStuct, | |
549 | AR_SIZE, 0, vmsd_tst, TestStructTriv), | |
550 | VMSTATE_END_OF_LIST() | |
551 | } | |
552 | }; | |
cc958831 HP |
553 | |
554 | static uint8_t wire_arr_ptr_no0[] = { | |
555 | 0x00, 0x00, 0x00, 0x00, | |
556 | 0x00, 0x00, 0x00, 0x01, | |
557 | 0x00, 0x00, 0x00, 0x02, | |
558 | 0x00, 0x00, 0x00, 0x03, | |
559 | QEMU_VM_EOF | |
560 | }; | |
561 | ||
8cc49f03 HP |
562 | static void test_arr_ptr_str_no0_save(void) |
563 | { | |
564 | TestStructTriv ar[AR_SIZE] = {{.i = 0}, {.i = 1}, {.i = 2}, {.i = 3} }; | |
565 | TestArrayOfPtrToStuct sample = {.ar = {&ar[0], &ar[1], &ar[2], &ar[3]} }; | |
8cc49f03 HP |
566 | |
567 | save_vmstate(&vmsd_arps, &sample); | |
cc958831 | 568 | compare_vmstate(wire_arr_ptr_no0, sizeof(wire_arr_ptr_no0)); |
8cc49f03 HP |
569 | } |
570 | ||
571 | static void test_arr_ptr_str_no0_load(void) | |
572 | { | |
573 | TestStructTriv ar_gt[AR_SIZE] = {{.i = 0}, {.i = 1}, {.i = 2}, {.i = 3} }; | |
574 | TestStructTriv ar[AR_SIZE] = {}; | |
575 | TestArrayOfPtrToStuct obj = {.ar = {&ar[0], &ar[1], &ar[2], &ar[3]} }; | |
576 | int idx; | |
8cc49f03 | 577 | |
cc958831 HP |
578 | save_buffer(wire_arr_ptr_no0, sizeof(wire_arr_ptr_no0)); |
579 | SUCCESS(load_vmstate_one(&vmsd_arps, &obj, 1, | |
580 | wire_arr_ptr_no0, sizeof(wire_arr_ptr_no0))); | |
581 | for (idx = 0; idx < AR_SIZE; ++idx) { | |
582 | /* compare the target array ar with the ground truth array ar_gt */ | |
583 | g_assert_cmpint(ar_gt[idx].i, ==, ar[idx].i); | |
584 | } | |
585 | } | |
586 | ||
587 | static uint8_t wire_arr_ptr_0[] = { | |
588 | 0x00, 0x00, 0x00, 0x00, | |
589 | VMS_NULLPTR_MARKER, | |
590 | 0x00, 0x00, 0x00, 0x02, | |
591 | 0x00, 0x00, 0x00, 0x03, | |
592 | QEMU_VM_EOF | |
593 | }; | |
594 | ||
595 | static void test_arr_ptr_str_0_save(void) | |
596 | { | |
597 | TestStructTriv ar[AR_SIZE] = {{.i = 0}, {.i = 1}, {.i = 2}, {.i = 3} }; | |
598 | TestArrayOfPtrToStuct sample = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} }; | |
599 | ||
600 | save_vmstate(&vmsd_arps, &sample); | |
601 | compare_vmstate(wire_arr_ptr_0, sizeof(wire_arr_ptr_0)); | |
602 | } | |
603 | ||
604 | static void test_arr_ptr_str_0_load(void) | |
605 | { | |
606 | TestStructTriv ar_gt[AR_SIZE] = {{.i = 0}, {.i = 0}, {.i = 2}, {.i = 3} }; | |
607 | TestStructTriv ar[AR_SIZE] = {}; | |
608 | TestArrayOfPtrToStuct obj = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} }; | |
609 | int idx; | |
610 | ||
611 | save_buffer(wire_arr_ptr_0, sizeof(wire_arr_ptr_0)); | |
8cc49f03 | 612 | SUCCESS(load_vmstate_one(&vmsd_arps, &obj, 1, |
cc958831 | 613 | wire_arr_ptr_0, sizeof(wire_arr_ptr_0))); |
8cc49f03 HP |
614 | for (idx = 0; idx < AR_SIZE; ++idx) { |
615 | /* compare the target array ar with the ground truth array ar_gt */ | |
616 | g_assert_cmpint(ar_gt[idx].i, ==, ar[idx].i); | |
617 | } | |
cc958831 HP |
618 | for (idx = 0; idx < AR_SIZE; ++idx) { |
619 | if (idx == 1) { | |
620 | g_assert_cmpint((uintptr_t)(obj.ar[idx]), ==, 0); | |
621 | } else { | |
622 | g_assert_cmpint((uintptr_t)(obj.ar[idx]), !=, 0); | |
623 | } | |
624 | } | |
8cc49f03 HP |
625 | } |
626 | ||
43333099 HP |
627 | typedef struct TestArrayOfPtrToInt { |
628 | int32_t *ar[AR_SIZE]; | |
629 | } TestArrayOfPtrToInt; | |
630 | ||
631 | const VMStateDescription vmsd_arpp = { | |
632 | .name = "test/arps", | |
633 | .version_id = 1, | |
634 | .minimum_version_id = 1, | |
635 | .fields = (VMStateField[]) { | |
636 | VMSTATE_ARRAY_OF_POINTER(ar, TestArrayOfPtrToInt, | |
637 | AR_SIZE, 0, vmstate_info_int32, int32_t*), | |
638 | VMSTATE_END_OF_LIST() | |
639 | } | |
640 | }; | |
641 | ||
642 | static void test_arr_ptr_prim_0_save(void) | |
643 | { | |
644 | int32_t ar[AR_SIZE] = {0 , 1, 2, 3}; | |
645 | TestArrayOfPtrToInt sample = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} }; | |
646 | ||
647 | save_vmstate(&vmsd_arpp, &sample); | |
648 | compare_vmstate(wire_arr_ptr_0, sizeof(wire_arr_ptr_0)); | |
649 | } | |
650 | ||
651 | static void test_arr_ptr_prim_0_load(void) | |
652 | { | |
653 | int32_t ar_gt[AR_SIZE] = {0, 1, 2, 3}; | |
654 | int32_t ar[AR_SIZE] = {3 , 42, 1, 0}; | |
655 | TestArrayOfPtrToInt obj = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} }; | |
656 | int idx; | |
657 | ||
658 | save_buffer(wire_arr_ptr_0, sizeof(wire_arr_ptr_0)); | |
659 | SUCCESS(load_vmstate_one(&vmsd_arpp, &obj, 1, | |
660 | wire_arr_ptr_0, sizeof(wire_arr_ptr_0))); | |
661 | for (idx = 0; idx < AR_SIZE; ++idx) { | |
662 | /* compare the target array ar with the ground truth array ar_gt */ | |
663 | if (idx == 1) { | |
664 | g_assert_cmpint(42, ==, ar[idx]); | |
665 | } else { | |
666 | g_assert_cmpint(ar_gt[idx], ==, ar[idx]); | |
667 | } | |
668 | } | |
669 | } | |
670 | ||
7e99f22c JD |
671 | /* test QTAILQ migration */ |
672 | typedef struct TestQtailqElement TestQtailqElement; | |
673 | ||
674 | struct TestQtailqElement { | |
675 | bool b; | |
676 | uint8_t u8; | |
677 | QTAILQ_ENTRY(TestQtailqElement) next; | |
678 | }; | |
679 | ||
680 | typedef struct TestQtailq { | |
681 | int16_t i16; | |
eae3eb3e | 682 | QTAILQ_HEAD(, TestQtailqElement) q; |
7e99f22c JD |
683 | int32_t i32; |
684 | } TestQtailq; | |
685 | ||
686 | static const VMStateDescription vmstate_q_element = { | |
687 | .name = "test/queue-element", | |
688 | .version_id = 1, | |
689 | .minimum_version_id = 1, | |
690 | .fields = (VMStateField[]) { | |
691 | VMSTATE_BOOL(b, TestQtailqElement), | |
692 | VMSTATE_UINT8(u8, TestQtailqElement), | |
693 | VMSTATE_END_OF_LIST() | |
694 | }, | |
695 | }; | |
696 | ||
697 | static const VMStateDescription vmstate_q = { | |
698 | .name = "test/queue", | |
699 | .version_id = 1, | |
700 | .minimum_version_id = 1, | |
701 | .fields = (VMStateField[]) { | |
702 | VMSTATE_INT16(i16, TestQtailq), | |
703 | VMSTATE_QTAILQ_V(q, TestQtailq, 1, vmstate_q_element, TestQtailqElement, | |
704 | next), | |
705 | VMSTATE_INT32(i32, TestQtailq), | |
706 | VMSTATE_END_OF_LIST() | |
707 | } | |
708 | }; | |
709 | ||
710 | uint8_t wire_q[] = { | |
711 | /* i16 */ 0xfe, 0x0, | |
712 | /* start of element 0 of q */ 0x01, | |
713 | /* .b */ 0x01, | |
714 | /* .u8 */ 0x82, | |
715 | /* start of element 1 of q */ 0x01, | |
716 | /* b */ 0x00, | |
717 | /* u8 */ 0x41, | |
718 | /* end of q */ 0x00, | |
719 | /* i32 */ 0x00, 0x01, 0x11, 0x70, | |
720 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
721 | }; | |
722 | ||
723 | static void test_save_q(void) | |
724 | { | |
725 | TestQtailq obj_q = { | |
726 | .i16 = -512, | |
727 | .i32 = 70000, | |
728 | }; | |
729 | ||
730 | TestQtailqElement obj_qe1 = { | |
731 | .b = true, | |
732 | .u8 = 130, | |
733 | }; | |
734 | ||
735 | TestQtailqElement obj_qe2 = { | |
736 | .b = false, | |
737 | .u8 = 65, | |
738 | }; | |
739 | ||
740 | QTAILQ_INIT(&obj_q.q); | |
741 | QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe1, next); | |
742 | QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe2, next); | |
743 | ||
744 | save_vmstate(&vmstate_q, &obj_q); | |
745 | compare_vmstate(wire_q, sizeof(wire_q)); | |
746 | } | |
747 | ||
748 | static void test_load_q(void) | |
749 | { | |
750 | TestQtailq obj_q = { | |
751 | .i16 = -512, | |
752 | .i32 = 70000, | |
753 | }; | |
754 | ||
755 | TestQtailqElement obj_qe1 = { | |
756 | .b = true, | |
757 | .u8 = 130, | |
758 | }; | |
759 | ||
760 | TestQtailqElement obj_qe2 = { | |
761 | .b = false, | |
762 | .u8 = 65, | |
763 | }; | |
764 | ||
765 | QTAILQ_INIT(&obj_q.q); | |
766 | QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe1, next); | |
767 | QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe2, next); | |
768 | ||
769 | QEMUFile *fsave = open_test_file(true); | |
770 | ||
771 | qemu_put_buffer(fsave, wire_q, sizeof(wire_q)); | |
772 | g_assert(!qemu_file_get_error(fsave)); | |
773 | qemu_fclose(fsave); | |
774 | ||
775 | QEMUFile *fload = open_test_file(false); | |
776 | TestQtailq tgt; | |
777 | ||
778 | QTAILQ_INIT(&tgt.q); | |
779 | vmstate_load_state(fload, &vmstate_q, &tgt, 1); | |
780 | char eof = qemu_get_byte(fload); | |
781 | g_assert(!qemu_file_get_error(fload)); | |
782 | g_assert_cmpint(tgt.i16, ==, obj_q.i16); | |
783 | g_assert_cmpint(tgt.i32, ==, obj_q.i32); | |
784 | g_assert_cmpint(eof, ==, QEMU_VM_EOF); | |
785 | ||
786 | TestQtailqElement *qele_from = QTAILQ_FIRST(&obj_q.q); | |
eae3eb3e | 787 | TestQtailqElement *qlast_from = QTAILQ_LAST(&obj_q.q); |
7e99f22c | 788 | TestQtailqElement *qele_to = QTAILQ_FIRST(&tgt.q); |
eae3eb3e | 789 | TestQtailqElement *qlast_to = QTAILQ_LAST(&tgt.q); |
7e99f22c JD |
790 | |
791 | while (1) { | |
792 | g_assert_cmpint(qele_to->b, ==, qele_from->b); | |
793 | g_assert_cmpint(qele_to->u8, ==, qele_from->u8); | |
794 | if ((qele_from == qlast_from) || (qele_to == qlast_to)) { | |
795 | break; | |
796 | } | |
797 | qele_from = QTAILQ_NEXT(qele_from, next); | |
798 | qele_to = QTAILQ_NEXT(qele_to, next); | |
799 | } | |
800 | ||
801 | g_assert_cmpint((uintptr_t) qele_from, ==, (uintptr_t) qlast_from); | |
802 | g_assert_cmpint((uintptr_t) qele_to, ==, (uintptr_t) qlast_to); | |
803 | ||
804 | /* clean up */ | |
805 | TestQtailqElement *qele; | |
806 | while (!QTAILQ_EMPTY(&tgt.q)) { | |
eae3eb3e | 807 | qele = QTAILQ_LAST(&tgt.q); |
7e99f22c JD |
808 | QTAILQ_REMOVE(&tgt.q, qele, next); |
809 | free(qele); | |
810 | qele = NULL; | |
811 | } | |
812 | qemu_fclose(fload); | |
813 | } | |
814 | ||
5c379d90 DDAG |
815 | typedef struct TmpTestStruct { |
816 | TestStruct *parent; | |
817 | int64_t diff; | |
818 | } TmpTestStruct; | |
819 | ||
44b1ff31 | 820 | static int tmp_child_pre_save(void *opaque) |
5c379d90 DDAG |
821 | { |
822 | struct TmpTestStruct *tts = opaque; | |
823 | ||
824 | tts->diff = tts->parent->b - tts->parent->a; | |
44b1ff31 DDAG |
825 | |
826 | return 0; | |
5c379d90 DDAG |
827 | } |
828 | ||
829 | static int tmp_child_post_load(void *opaque, int version_id) | |
830 | { | |
831 | struct TmpTestStruct *tts = opaque; | |
832 | ||
833 | tts->parent->b = tts->parent->a + tts->diff; | |
834 | ||
835 | return 0; | |
836 | } | |
837 | ||
838 | static const VMStateDescription vmstate_tmp_back_to_parent = { | |
839 | .name = "test/tmp_child_parent", | |
840 | .fields = (VMStateField[]) { | |
841 | VMSTATE_UINT64(f, TestStruct), | |
842 | VMSTATE_END_OF_LIST() | |
843 | } | |
844 | }; | |
845 | ||
846 | static const VMStateDescription vmstate_tmp_child = { | |
847 | .name = "test/tmp_child", | |
848 | .pre_save = tmp_child_pre_save, | |
849 | .post_load = tmp_child_post_load, | |
850 | .fields = (VMStateField[]) { | |
851 | VMSTATE_INT64(diff, TmpTestStruct), | |
852 | VMSTATE_STRUCT_POINTER(parent, TmpTestStruct, | |
853 | vmstate_tmp_back_to_parent, TestStruct), | |
854 | VMSTATE_END_OF_LIST() | |
855 | } | |
856 | }; | |
857 | ||
858 | static const VMStateDescription vmstate_with_tmp = { | |
859 | .name = "test/with_tmp", | |
860 | .version_id = 1, | |
861 | .fields = (VMStateField[]) { | |
862 | VMSTATE_UINT32(a, TestStruct), | |
863 | VMSTATE_UINT64(d, TestStruct), | |
864 | VMSTATE_WITH_TMP(TestStruct, TmpTestStruct, vmstate_tmp_child), | |
865 | VMSTATE_END_OF_LIST() | |
866 | } | |
867 | }; | |
868 | ||
869 | static void obj_tmp_copy(void *target, void *source) | |
870 | { | |
871 | memcpy(target, source, sizeof(TestStruct)); | |
872 | } | |
873 | ||
874 | static void test_tmp_struct(void) | |
875 | { | |
876 | TestStruct obj, obj_clone; | |
877 | ||
878 | uint8_t const wire_with_tmp[] = { | |
879 | /* u32 a */ 0x00, 0x00, 0x00, 0x02, | |
880 | /* u64 d */ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, | |
881 | /* diff */ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, | |
882 | /* u64 f */ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, | |
883 | QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */ | |
884 | }; | |
885 | ||
886 | memset(&obj, 0, sizeof(obj)); | |
887 | obj.a = 2; | |
888 | obj.b = 4; | |
889 | obj.d = 1; | |
890 | obj.f = 8; | |
891 | save_vmstate(&vmstate_with_tmp, &obj); | |
892 | ||
893 | compare_vmstate(wire_with_tmp, sizeof(wire_with_tmp)); | |
894 | ||
895 | memset(&obj, 0, sizeof(obj)); | |
896 | SUCCESS(load_vmstate(&vmstate_with_tmp, &obj, &obj_clone, | |
897 | obj_tmp_copy, 1, wire_with_tmp, | |
898 | sizeof(wire_with_tmp))); | |
899 | g_assert_cmpint(obj.a, ==, 2); /* From top level vmsd */ | |
900 | g_assert_cmpint(obj.b, ==, 4); /* from the post_load */ | |
901 | g_assert_cmpint(obj.d, ==, 1); /* From top level vmsd */ | |
902 | g_assert_cmpint(obj.f, ==, 8); /* From the child->parent */ | |
903 | } | |
904 | ||
2668b4bf EH |
905 | int main(int argc, char **argv) |
906 | { | |
907 | temp_fd = mkstemp(temp_file); | |
908 | ||
8925839f DB |
909 | module_call_init(MODULE_INIT_QOM); |
910 | ||
977a7204 DB |
911 | setenv("QTEST_SILENT_ERRORS", "1", 1); |
912 | ||
2668b4bf | 913 | g_test_init(&argc, &argv, NULL); |
4ea7df4e | 914 | g_test_add_func("/vmstate/simple/primitive", test_simple_primitive); |
b95d6588 | 915 | g_test_add_func("/vmstate/simple/array", test_simple_array); |
2668b4bf EH |
916 | g_test_add_func("/vmstate/versioned/load/v1", test_load_v1); |
917 | g_test_add_func("/vmstate/versioned/load/v2", test_load_v2); | |
918 | g_test_add_func("/vmstate/field_exists/load/noskip", test_load_noskip); | |
919 | g_test_add_func("/vmstate/field_exists/load/skip", test_load_skip); | |
920 | g_test_add_func("/vmstate/field_exists/save/noskip", test_save_noskip); | |
921 | g_test_add_func("/vmstate/field_exists/save/skip", test_save_skip); | |
8cc49f03 HP |
922 | g_test_add_func("/vmstate/array/ptr/str/no0/save", |
923 | test_arr_ptr_str_no0_save); | |
924 | g_test_add_func("/vmstate/array/ptr/str/no0/load", | |
925 | test_arr_ptr_str_no0_load); | |
cc958831 HP |
926 | g_test_add_func("/vmstate/array/ptr/str/0/save", test_arr_ptr_str_0_save); |
927 | g_test_add_func("/vmstate/array/ptr/str/0/load", | |
928 | test_arr_ptr_str_0_load); | |
43333099 HP |
929 | g_test_add_func("/vmstate/array/ptr/prim/0/save", |
930 | test_arr_ptr_prim_0_save); | |
931 | g_test_add_func("/vmstate/array/ptr/prim/0/load", | |
932 | test_arr_ptr_prim_0_load); | |
7e99f22c JD |
933 | g_test_add_func("/vmstate/qtailq/save/saveq", test_save_q); |
934 | g_test_add_func("/vmstate/qtailq/load/loadq", test_load_q); | |
5c379d90 | 935 | g_test_add_func("/vmstate/tmp_struct", test_tmp_struct); |
2668b4bf EH |
936 | g_test_run(); |
937 | ||
938 | close(temp_fd); | |
939 | unlink(temp_file); | |
940 | ||
941 | return 0; | |
942 | } |