]> git.proxmox.com Git - qemu.git/blame - docs/migration.txt
qdev-properties-system.c: Allow vlan or netdev for -device, not both
[qemu.git] / docs / migration.txt
CommitLineData
f58ae59c
JQ
1= Migration =
2
3QEMU has code to load/save the state of the guest that it is running.
dda5336e 4These are two complementary operations. Saving the state just does
f58ae59c
JQ
5that, saves the state for each device that the guest is running.
6Restoring a guest is just the opposite operation: we need to load the
7state of each device.
8
dda5336e 9For this to work, QEMU has to be launched with the same arguments the
f58ae59c
JQ
10two times. I.e. it can only restore the state in one guest that has
11the same devices that the one it was saved (this last requirement can
dda5336e 12be relaxed a bit, but for now we can consider that configuration has
f58ae59c
JQ
13to be exactly the same).
14
15Once that we are able to save/restore a guest, a new functionality is
16requested: migration. This means that QEMU is able to start in one
dda5336e
SW
17machine and being "migrated" to another machine. I.e. being moved to
18another machine.
f58ae59c
JQ
19
20Next was the "live migration" functionality. This is important
21because some guests run with a lot of state (specially RAM), and it
22can take a while to move all state from one machine to another. Live
23migration allows the guest to continue running while the state is
24transferred. Only while the last part of the state is transferred has
25the guest to be stopped. Typically the time that the guest is
26unresponsive during live migration is the low hundred of milliseconds
dda5336e 27(notice that this depends on a lot of things).
f58ae59c
JQ
28
29=== Types of migration ===
30
31Now that we have talked about live migration, there are several ways
32to do migration:
33
34- tcp migration: do the migration using tcp sockets
35- unix migration: do the migration using unix sockets
36- exec migration: do the migration using the stdin/stdout through a process.
37- fd migration: do the migration using an file descriptor that is
dda5336e 38 passed to QEMU. QEMU doesn't care how this file descriptor is opened.
f58ae59c 39
dda5336e 40All these four migration protocols use the same infrastructure to
f58ae59c
JQ
41save/restore state devices. This infrastructure is shared with the
42savevm/loadvm functionality.
43
7465dfec 44=== State Live Migration ===
f58ae59c
JQ
45
46This is used for RAM and block devices. It is not yet ported to vmstate.
47<Fill more information here>
48
49=== What is the common infrastructure ===
50
51QEMU uses a QEMUFile abstraction to be able to do migration. Any type
dda5336e 52of migration that wants to use QEMU infrastructure has to create a
f58ae59c
JQ
53QEMUFile with:
54
55QEMUFile *qemu_fopen_ops(void *opaque,
dda5336e 56 QEMUFilePutBufferFunc *put_buffer,
f58ae59c 57 QEMUFileGetBufferFunc *get_buffer,
1964a397 58 QEMUFileCloseFunc *close);
f58ae59c
JQ
59
60The functions have the following functionality:
61
62This function writes a chunk of data to a file at the given position.
dda5336e 63The pos argument can be ignored if the file is only used for
f58ae59c
JQ
64streaming. The handler should try to write all of the data it can.
65
66typedef int (QEMUFilePutBufferFunc)(void *opaque, const uint8_t *buf,
67 int64_t pos, int size);
68
69Read a chunk of data from a file at the given position. The pos argument
70can be ignored if the file is only be used for streaming. The number of
71bytes actually read should be returned.
72
73typedef int (QEMUFileGetBufferFunc)(void *opaque, uint8_t *buf,
74 int64_t pos, int size);
75
dda5336e 76Close a file and return an error code.
f58ae59c
JQ
77
78typedef int (QEMUFileCloseFunc)(void *opaque);
79
f58ae59c
JQ
80You can use any internal state that you need using the opaque void *
81pointer that is passed to all functions.
82
f58ae59c
JQ
83The important functions for us are put_buffer()/get_buffer() that
84allow to write/read a buffer into the QEMUFile.
85
7465dfec 86=== How to save the state of one device ===
f58ae59c
JQ
87
88The state of a device is saved using intermediate buffers. There are
89some helper functions to assist this saving.
90
91There is a new concept that we have to explain here: device state
92version. When we migrate a device, we save/load the state as a series
93of fields. Some times, due to bugs or new functionality, we need to
94change the state to store more/different information. We use the
95version to identify each time that we do a change. Each version is
dda5336e
SW
96associated with a series of fields saved. The save_state always saves
97the state as the newer version. But load_state sometimes is able to
f58ae59c
JQ
98load state from an older version.
99
7465dfec 100=== Legacy way ===
f58ae59c
JQ
101
102This way is going to disappear as soon as all current users are ported to VMSTATE.
103
104Each device has to register two functions, one to save the state and
105another to load the state back.
106
107int register_savevm(DeviceState *dev,
108 const char *idstr,
109 int instance_id,
110 int version_id,
111 SaveStateHandler *save_state,
112 LoadStateHandler *load_state,
113 void *opaque);
114
115typedef void SaveStateHandler(QEMUFile *f, void *opaque);
116typedef int LoadStateHandler(QEMUFile *f, void *opaque, int version_id);
117
118The important functions for the device state format are the save_state
119and load_state. Notice that load_state receives a version_id
dda5336e
SW
120parameter to know what state format is receiving. save_state doesn't
121have a version_id parameter because it always uses the latest version.
f58ae59c
JQ
122
123=== VMState ===
124
125The legacy way of saving/loading state of the device had the problem
dda5336e
SW
126that we have to maintain two functions in sync. If we did one change
127in one of them and not in the other, we would get a failed migration.
f58ae59c
JQ
128
129VMState changed the way that state is saved/loaded. Instead of using
130a function to save the state and another to load it, it was changed to
131a declarative way of what the state consisted of. Now VMState is able
132to interpret that definition to be able to load/save the state. As
133the state is declared only once, it can't go out of sync in the
134save/load functions.
135
7465dfec 136An example (from hw/input/pckbd.c)
f58ae59c
JQ
137
138static const VMStateDescription vmstate_kbd = {
139 .name = "pckbd",
140 .version_id = 3,
141 .minimum_version_id = 3,
142 .minimum_version_id_old = 3,
143 .fields = (VMStateField []) {
144 VMSTATE_UINT8(write_cmd, KBDState),
145 VMSTATE_UINT8(status, KBDState),
146 VMSTATE_UINT8(mode, KBDState),
147 VMSTATE_UINT8(pending, KBDState),
148 VMSTATE_END_OF_LIST()
149 }
150};
151
152We are declaring the state with name "pckbd".
153The version_id is 3, and the fields are 4 uint8_t in a KBDState structure.
154We registered this with:
155
156 vmstate_register(NULL, 0, &vmstate_kbd, s);
157
dda5336e 158Note: talk about how vmstate <-> qdev interact, and what the instance ids mean.
f58ae59c
JQ
159
160You can search for VMSTATE_* macros for lots of types used in QEMU in
7465dfec 161include/hw/hw.h.
f58ae59c 162
7465dfec 163=== More about versions ===
f58ae59c
JQ
164
165You can see that there are several version fields:
166
dda5336e 167- version_id: the maximum version_id supported by VMState for that device.
f58ae59c
JQ
168- minimum_version_id: the minimum version_id that VMState is able to understand
169 for that device.
170- minimum_version_id_old: For devices that were not able to port to vmstate, we can
171 assign a function that knows how to read this old state.
172
173So, VMState is able to read versions from minimum_version_id to
174version_id. And the function load_state_old() is able to load state
175from minimum_version_id_old to minimum_version_id. This function is
176deprecated and will be removed when no more users are left.
177
178=== Massaging functions ===
179
dda5336e 180Sometimes, it is not enough to be able to save the state directly
f58ae59c
JQ
181from one structure, we need to fill the correct values there. One
182example is when we are using kvm. Before saving the cpu state, we
183need to ask kvm to copy to QEMU the state that it is using. And the
184opposite when we are loading the state, we need a way to tell kvm to
185load the state for the cpu that we have just loaded from the QEMUFile.
186
187The functions to do that are inside a vmstate definition, and are called:
188
189- int (*pre_load)(void *opaque);
190
191 This function is called before we load the state of one device.
192
193- int (*post_load)(void *opaque, int version_id);
194
195 This function is called after we load the state of one device.
196
197- void (*pre_save)(void *opaque);
198
199 This function is called before we save the state of one device.
200
201Example: You can look at hpet.c, that uses the three function to
202 massage the state that is transferred.
203
a6c5c079
AK
204If you use memory API functions that update memory layout outside
205initialization (i.e., in response to a guest action), this is a strong
206indication that you need to call these functions in a post_load callback.
207Examples of such memory API functions are:
208
209 - memory_region_add_subregion()
210 - memory_region_del_subregion()
211 - memory_region_set_readonly()
212 - memory_region_set_enabled()
213 - memory_region_set_address()
214 - memory_region_set_alias_offset()
215
f58ae59c
JQ
216=== Subsections ===
217
218The use of version_id allows to be able to migrate from older versions
219to newer versions of a device. But not the other way around. This
220makes very complicated to fix bugs in stable branches. If we need to
221add anything to the state to fix a bug, we have to disable migration
222to older versions that don't have that bug-fix (i.e. a new field).
223
dda5336e 224But sometimes, that bug-fix is only needed sometimes, not always. For
f58ae59c
JQ
225instance, if the device is in the middle of a DMA operation, it is
226using a specific functionality, ....
227
228It is impossible to create a way to make migration from any version to
dda5336e 229any other version to work. But we can do better than only allowing
7465dfec 230migration from older versions to newer ones. For that fields that are
dda5336e 231only needed sometimes, we add the idea of subsections. A subsection
f58ae59c
JQ
232is "like" a device vmstate, but with a particularity, it has a Boolean
233function that tells if that values are needed to be sent or not. If
234this functions returns false, the subsection is not sent.
235
236On the receiving side, if we found a subsection for a device that we
237don't understand, we just fail the migration. If we understand all
238the subsections, then we load the state with success.
239
240One important note is that the post_load() function is called "after"
241loading all subsections, because a newer subsection could change same
242value that it uses.
243
244Example:
245
246static bool ide_drive_pio_state_needed(void *opaque)
247{
248 IDEState *s = opaque;
249
7465dfec
LL
250 return ((s->status & DRQ_STAT) != 0)
251 || (s->bus->error_status & BM_STATUS_PIO_RETRY);
f58ae59c
JQ
252}
253
254const VMStateDescription vmstate_ide_drive_pio_state = {
255 .name = "ide_drive/pio_state",
256 .version_id = 1,
257 .minimum_version_id = 1,
258 .minimum_version_id_old = 1,
259 .pre_save = ide_drive_pio_pre_save,
260 .post_load = ide_drive_pio_post_load,
261 .fields = (VMStateField []) {
262 VMSTATE_INT32(req_nb_sectors, IDEState),
263 VMSTATE_VARRAY_INT32(io_buffer, IDEState, io_buffer_total_len, 1,
dda5336e 264 vmstate_info_uint8, uint8_t),
f58ae59c
JQ
265 VMSTATE_INT32(cur_io_buffer_offset, IDEState),
266 VMSTATE_INT32(cur_io_buffer_len, IDEState),
267 VMSTATE_UINT8(end_transfer_fn_idx, IDEState),
268 VMSTATE_INT32(elementary_transfer_size, IDEState),
269 VMSTATE_INT32(packet_transfer_size, IDEState),
270 VMSTATE_END_OF_LIST()
271 }
272};
273
274const VMStateDescription vmstate_ide_drive = {
275 .name = "ide_drive",
276 .version_id = 3,
277 .minimum_version_id = 0,
278 .minimum_version_id_old = 0,
279 .post_load = ide_drive_post_load,
280 .fields = (VMStateField []) {
281 .... several fields ....
282 VMSTATE_END_OF_LIST()
283 },
284 .subsections = (VMStateSubsection []) {
285 {
286 .vmsd = &vmstate_ide_drive_pio_state,
287 .needed = ide_drive_pio_state_needed,
288 }, {
289 /* empty */
290 }
291 }
292};
293
294Here we have a subsection for the pio state. We only need to
295save/send this state when we are in the middle of a pio operation
296(that is what ide_drive_pio_state_needed() checks). If DRQ_STAT is
297not enabled, the values on that fields are garbage and don't need to
298be sent.