migration: Pass migrate_caps_check() the old and new caps

We used to pass the old capabilities array and the new
capabilities as a list.

Signed-off-by: Juan Quintela <quintela@redhat.com>
Reviewed-by: Vladimir Sementsov-Ogievskiy <vsementsov@yandex-team.ru>
This commit is contained in:
Juan Quintela 2023-03-01 20:28:56 +01:00
parent 0cec2056ff
commit b02c7fc9ef

View File

@ -1299,30 +1299,20 @@ WriteTrackingSupport migrate_query_write_tracking(void)
} }
/** /**
* @migration_caps_check - check capability validity * @migration_caps_check - check capability compatibility
* *
* @cap_list: old capability list, array of bool * @old_caps: old capability list
* @params: new capabilities to be applied soon * @new_caps: new capability list
* @errp: set *errp if the check failed, with reason * @errp: set *errp if the check failed, with reason
* *
* Returns true if check passed, otherwise false. * Returns true if check passed, otherwise false.
*/ */
static bool migrate_caps_check(bool *cap_list, static bool migrate_caps_check(bool *old_caps, bool *new_caps, Error **errp)
MigrationCapabilityStatusList *params,
Error **errp)
{ {
MigrationCapabilityStatusList *cap;
bool old_postcopy_cap;
MigrationIncomingState *mis = migration_incoming_get_current(); MigrationIncomingState *mis = migration_incoming_get_current();
old_postcopy_cap = cap_list[MIGRATION_CAPABILITY_POSTCOPY_RAM];
for (cap = params; cap; cap = cap->next) {
cap_list[cap->value->capability] = cap->value->state;
}
#ifndef CONFIG_LIVE_BLOCK_MIGRATION #ifndef CONFIG_LIVE_BLOCK_MIGRATION
if (cap_list[MIGRATION_CAPABILITY_BLOCK]) { if (new_caps[MIGRATION_CAPABILITY_BLOCK]) {
error_setg(errp, "QEMU compiled without old-style (blk/-b, inc/-i) " error_setg(errp, "QEMU compiled without old-style (blk/-b, inc/-i) "
"block migration"); "block migration");
error_append_hint(errp, "Use drive_mirror+NBD instead.\n"); error_append_hint(errp, "Use drive_mirror+NBD instead.\n");
@ -1331,7 +1321,7 @@ static bool migrate_caps_check(bool *cap_list,
#endif #endif
#ifndef CONFIG_REPLICATION #ifndef CONFIG_REPLICATION
if (cap_list[MIGRATION_CAPABILITY_X_COLO]) { if (new_caps[MIGRATION_CAPABILITY_X_COLO]) {
error_setg(errp, "QEMU compiled without replication module" error_setg(errp, "QEMU compiled without replication module"
" can't enable COLO"); " can't enable COLO");
error_append_hint(errp, "Please enable replication before COLO.\n"); error_append_hint(errp, "Please enable replication before COLO.\n");
@ -1339,12 +1329,13 @@ static bool migrate_caps_check(bool *cap_list,
} }
#endif #endif
if (cap_list[MIGRATION_CAPABILITY_POSTCOPY_RAM]) { if (new_caps[MIGRATION_CAPABILITY_POSTCOPY_RAM]) {
/* This check is reasonably expensive, so only when it's being /* This check is reasonably expensive, so only when it's being
* set the first time, also it's only the destination that needs * set the first time, also it's only the destination that needs
* special support. * special support.
*/ */
if (!old_postcopy_cap && runstate_check(RUN_STATE_INMIGRATE) && if (!old_caps[MIGRATION_CAPABILITY_POSTCOPY_RAM] &&
runstate_check(RUN_STATE_INMIGRATE) &&
!postcopy_ram_supported_by_host(mis)) { !postcopy_ram_supported_by_host(mis)) {
/* postcopy_ram_supported_by_host will have emitted a more /* postcopy_ram_supported_by_host will have emitted a more
* detailed message * detailed message
@ -1353,13 +1344,13 @@ static bool migrate_caps_check(bool *cap_list,
return false; return false;
} }
if (cap_list[MIGRATION_CAPABILITY_X_IGNORE_SHARED]) { if (new_caps[MIGRATION_CAPABILITY_X_IGNORE_SHARED]) {
error_setg(errp, "Postcopy is not compatible with ignore-shared"); error_setg(errp, "Postcopy is not compatible with ignore-shared");
return false; return false;
} }
} }
if (cap_list[MIGRATION_CAPABILITY_BACKGROUND_SNAPSHOT]) { if (new_caps[MIGRATION_CAPABILITY_BACKGROUND_SNAPSHOT]) {
WriteTrackingSupport wt_support; WriteTrackingSupport wt_support;
int idx; int idx;
/* /*
@ -1383,7 +1374,7 @@ static bool migrate_caps_check(bool *cap_list,
*/ */
for (idx = 0; idx < check_caps_background_snapshot.size; idx++) { for (idx = 0; idx < check_caps_background_snapshot.size; idx++) {
int incomp_cap = check_caps_background_snapshot.caps[idx]; int incomp_cap = check_caps_background_snapshot.caps[idx];
if (cap_list[incomp_cap]) { if (new_caps[incomp_cap]) {
error_setg(errp, error_setg(errp,
"Background-snapshot is not compatible with %s", "Background-snapshot is not compatible with %s",
MigrationCapability_str(incomp_cap)); MigrationCapability_str(incomp_cap));
@ -1393,10 +1384,10 @@ static bool migrate_caps_check(bool *cap_list,
} }
#ifdef CONFIG_LINUX #ifdef CONFIG_LINUX
if (cap_list[MIGRATION_CAPABILITY_ZERO_COPY_SEND] && if (new_caps[MIGRATION_CAPABILITY_ZERO_COPY_SEND] &&
(!cap_list[MIGRATION_CAPABILITY_MULTIFD] || (!new_caps[MIGRATION_CAPABILITY_MULTIFD] ||
cap_list[MIGRATION_CAPABILITY_COMPRESS] || new_caps[MIGRATION_CAPABILITY_COMPRESS] ||
cap_list[MIGRATION_CAPABILITY_XBZRLE] || new_caps[MIGRATION_CAPABILITY_XBZRLE] ||
migrate_multifd_compression() || migrate_multifd_compression() ||
migrate_use_tls())) { migrate_use_tls())) {
error_setg(errp, error_setg(errp,
@ -1404,15 +1395,15 @@ static bool migrate_caps_check(bool *cap_list,
return false; return false;
} }
#else #else
if (cap_list[MIGRATION_CAPABILITY_ZERO_COPY_SEND]) { if (new_caps[MIGRATION_CAPABILITY_ZERO_COPY_SEND]) {
error_setg(errp, error_setg(errp,
"Zero copy currently only available on Linux"); "Zero copy currently only available on Linux");
return false; return false;
} }
#endif #endif
if (cap_list[MIGRATION_CAPABILITY_POSTCOPY_PREEMPT]) { if (new_caps[MIGRATION_CAPABILITY_POSTCOPY_PREEMPT]) {
if (!cap_list[MIGRATION_CAPABILITY_POSTCOPY_RAM]) { if (!new_caps[MIGRATION_CAPABILITY_POSTCOPY_RAM]) {
error_setg(errp, "Postcopy preempt requires postcopy-ram"); error_setg(errp, "Postcopy preempt requires postcopy-ram");
return false; return false;
} }
@ -1423,14 +1414,14 @@ static bool migrate_caps_check(bool *cap_list,
* different compression channels, which is not compatible with the * different compression channels, which is not compatible with the
* preempt assumptions on channel assignments. * preempt assumptions on channel assignments.
*/ */
if (cap_list[MIGRATION_CAPABILITY_COMPRESS]) { if (new_caps[MIGRATION_CAPABILITY_COMPRESS]) {
error_setg(errp, "Postcopy preempt not compatible with compress"); error_setg(errp, "Postcopy preempt not compatible with compress");
return false; return false;
} }
} }
if (cap_list[MIGRATION_CAPABILITY_MULTIFD]) { if (new_caps[MIGRATION_CAPABILITY_MULTIFD]) {
if (cap_list[MIGRATION_CAPABILITY_COMPRESS]) { if (new_caps[MIGRATION_CAPABILITY_COMPRESS]) {
error_setg(errp, "Multifd is not compatible with compress"); error_setg(errp, "Multifd is not compatible with compress");
return false; return false;
} }
@ -1486,15 +1477,19 @@ void qmp_migrate_set_capabilities(MigrationCapabilityStatusList *params,
{ {
MigrationState *s = migrate_get_current(); MigrationState *s = migrate_get_current();
MigrationCapabilityStatusList *cap; MigrationCapabilityStatusList *cap;
bool cap_list[MIGRATION_CAPABILITY__MAX]; bool new_caps[MIGRATION_CAPABILITY__MAX];
if (migration_is_running(s->state)) { if (migration_is_running(s->state)) {
error_setg(errp, QERR_MIGRATION_ACTIVE); error_setg(errp, QERR_MIGRATION_ACTIVE);
return; return;
} }
memcpy(cap_list, s->capabilities, sizeof(cap_list)); memcpy(new_caps, s->capabilities, sizeof(new_caps));
if (!migrate_caps_check(cap_list, params, errp)) { for (cap = params; cap; cap = cap->next) {
new_caps[cap->value->capability] = cap->value->state;
}
if (!migrate_caps_check(s->capabilities, new_caps, errp)) {
return; return;
} }
@ -4631,27 +4626,14 @@ static void migration_instance_init(Object *obj)
*/ */
static bool migration_object_check(MigrationState *ms, Error **errp) static bool migration_object_check(MigrationState *ms, Error **errp)
{ {
MigrationCapabilityStatusList *head = NULL;
/* Assuming all off */ /* Assuming all off */
bool cap_list[MIGRATION_CAPABILITY__MAX] = { 0 }, ret; bool old_caps[MIGRATION_CAPABILITY__MAX] = { 0 };
int i;
if (!migrate_params_check(&ms->parameters, errp)) { if (!migrate_params_check(&ms->parameters, errp)) {
return false; return false;
} }
for (i = 0; i < MIGRATION_CAPABILITY__MAX; i++) { return migrate_caps_check(old_caps, ms->capabilities, errp);
if (ms->capabilities[i]) {
QAPI_LIST_PREPEND(head, migrate_cap_add(i, true));
}
}
ret = migrate_caps_check(cap_list, head, errp);
/* It works with head == NULL */
qapi_free_MigrationCapabilityStatusList(head);
return ret;
} }
static const TypeInfo migration_type = { static const TypeInfo migration_type = {