1e1803dabSFabiano Rosas /* 2e1803dabSFabiano Rosas * Copyright (c) 2016-2018 Red Hat, Inc. and/or its affiliates 3e1803dabSFabiano Rosas * based on the vhost-user-test.c that is: 4e1803dabSFabiano Rosas * Copyright (c) 2014 Virtual Open Systems Sarl. 5e1803dabSFabiano Rosas * 6e1803dabSFabiano Rosas * This work is licensed under the terms of the GNU GPL, version 2 or later. 7e1803dabSFabiano Rosas * See the COPYING file in the top-level directory. 8e1803dabSFabiano Rosas * 9e1803dabSFabiano Rosas */ 10e1803dabSFabiano Rosas 11e1803dabSFabiano Rosas #ifndef TEST_FRAMEWORK_H 12e1803dabSFabiano Rosas #define TEST_FRAMEWORK_H 13e1803dabSFabiano Rosas 14e1803dabSFabiano Rosas #include "libqtest.h" 15e1803dabSFabiano Rosas 16e1803dabSFabiano Rosas #define FILE_TEST_FILENAME "migfile" 17e1803dabSFabiano Rosas #define FILE_TEST_OFFSET 0x1000 18e1803dabSFabiano Rosas #define FILE_TEST_MARKER 'X' 19e1803dabSFabiano Rosas 20e1803dabSFabiano Rosas typedef struct MigrationTestEnv { 21e1803dabSFabiano Rosas bool has_kvm; 22e1803dabSFabiano Rosas bool has_tcg; 23e1803dabSFabiano Rosas bool has_uffd; 24e1803dabSFabiano Rosas bool uffd_feature_thread_id; 25e1803dabSFabiano Rosas bool has_dirty_ring; 26e1803dabSFabiano Rosas bool is_x86; 27e1803dabSFabiano Rosas const char *arch; 28e1803dabSFabiano Rosas const char *qemu_src; 29e1803dabSFabiano Rosas const char *qemu_dst; 30e1803dabSFabiano Rosas char *tmpfs; 31e1803dabSFabiano Rosas } MigrationTestEnv; 32e1803dabSFabiano Rosas 33e1803dabSFabiano Rosas MigrationTestEnv *migration_get_env(void); 34e1803dabSFabiano Rosas int migration_env_clean(MigrationTestEnv *env); 35e1803dabSFabiano Rosas 36e1803dabSFabiano Rosas /* 37e1803dabSFabiano Rosas * A hook that runs after the src and dst QEMUs have been 38e1803dabSFabiano Rosas * created, but before the migration is started. This can 39e1803dabSFabiano Rosas * be used to set migration parameters and capabilities. 40e1803dabSFabiano Rosas * 41e1803dabSFabiano Rosas * Returns: NULL, or a pointer to opaque state to be 42e1803dabSFabiano Rosas * later passed to the TestMigrateEndHook 43e1803dabSFabiano Rosas */ 44e1803dabSFabiano Rosas typedef void * (*TestMigrateStartHook)(QTestState *from, 45e1803dabSFabiano Rosas QTestState *to); 46e1803dabSFabiano Rosas 47e1803dabSFabiano Rosas /* 48e1803dabSFabiano Rosas * A hook that runs after the migration has finished, 49e1803dabSFabiano Rosas * regardless of whether it succeeded or failed, but 50e1803dabSFabiano Rosas * before QEMU has terminated (unless it self-terminated 51e1803dabSFabiano Rosas * due to migration error) 52e1803dabSFabiano Rosas * 53e1803dabSFabiano Rosas * @opaque is a pointer to state previously returned 54e1803dabSFabiano Rosas * by the TestMigrateStartHook if any, or NULL. 55e1803dabSFabiano Rosas */ 56e1803dabSFabiano Rosas typedef void (*TestMigrateEndHook)(QTestState *from, 57e1803dabSFabiano Rosas QTestState *to, 58e1803dabSFabiano Rosas void *opaque); 59e1803dabSFabiano Rosas 60e1803dabSFabiano Rosas /* 61e1803dabSFabiano Rosas * Our goal is to ensure that we run a single full migration 62e1803dabSFabiano Rosas * iteration, and also dirty memory, ensuring that at least 63e1803dabSFabiano Rosas * one further iteration is required. 64e1803dabSFabiano Rosas * 65e1803dabSFabiano Rosas * We can't directly synchronize with the start of a migration 66e1803dabSFabiano Rosas * so we have to apply some tricks monitoring memory that is 67e1803dabSFabiano Rosas * transferred. 68e1803dabSFabiano Rosas * 69e1803dabSFabiano Rosas * Initially we set the migration bandwidth to an insanely 70e1803dabSFabiano Rosas * low value, with tiny max downtime too. This basically 71e1803dabSFabiano Rosas * guarantees migration will never complete. 72e1803dabSFabiano Rosas * 73e1803dabSFabiano Rosas * This will result in a test that is unacceptably slow though, 74e1803dabSFabiano Rosas * so we can't let the entire migration pass run at this speed. 75e1803dabSFabiano Rosas * Our intent is to let it run just long enough that we can 76e1803dabSFabiano Rosas * prove data prior to the marker has been transferred *AND* 77e1803dabSFabiano Rosas * also prove this transferred data is dirty again. 78e1803dabSFabiano Rosas * 79e1803dabSFabiano Rosas * Before migration starts, we write a 64-bit magic marker 80e1803dabSFabiano Rosas * into a fixed location in the src VM RAM. 81e1803dabSFabiano Rosas * 82e1803dabSFabiano Rosas * Then watch dst memory until the marker appears. This is 83e1803dabSFabiano Rosas * proof that start_address -> MAGIC_OFFSET_BASE has been 84e1803dabSFabiano Rosas * transferred. 85e1803dabSFabiano Rosas * 86e1803dabSFabiano Rosas * Finally we go back to the source and read a byte just 87e1803dabSFabiano Rosas * before the marker until we see it flip in value. This 88e1803dabSFabiano Rosas * is proof that start_address -> MAGIC_OFFSET_BASE 89e1803dabSFabiano Rosas * is now dirty again. 90e1803dabSFabiano Rosas * 91e1803dabSFabiano Rosas * IOW, we're guaranteed at least a 2nd migration pass 92e1803dabSFabiano Rosas * at this point. 93e1803dabSFabiano Rosas * 94e1803dabSFabiano Rosas * We can now let migration run at full speed to finish 95e1803dabSFabiano Rosas * the test 96e1803dabSFabiano Rosas */ 97e1803dabSFabiano Rosas typedef struct { 98e1803dabSFabiano Rosas /* 99e1803dabSFabiano Rosas * QTEST_LOG=1 may override this. When QTEST_LOG=1, we always dump errors 100e1803dabSFabiano Rosas * unconditionally, because it means the user would like to be verbose. 101e1803dabSFabiano Rosas */ 102e1803dabSFabiano Rosas bool hide_stderr; 103e1803dabSFabiano Rosas bool use_shmem; 104e1803dabSFabiano Rosas /* only launch the target process */ 105e1803dabSFabiano Rosas bool only_target; 106e1803dabSFabiano Rosas /* Use dirty ring if true; dirty logging otherwise */ 107e1803dabSFabiano Rosas bool use_dirty_ring; 108e1803dabSFabiano Rosas const char *opts_source; 109e1803dabSFabiano Rosas const char *opts_target; 110e1803dabSFabiano Rosas /* suspend the src before migrating to dest. */ 111e1803dabSFabiano Rosas bool suspend_me; 1123dec966fSJuraj Marcin /* enable OOB QMP capability */ 1133dec966fSJuraj Marcin bool oob; 114*fdbfbfc7SSteve Sistare /* 115*fdbfbfc7SSteve Sistare * Format string for the main memory backend, containing one %s where the 116*fdbfbfc7SSteve Sistare * size is plugged in. If omitted, "-m %s" is used. 117*fdbfbfc7SSteve Sistare */ 118*fdbfbfc7SSteve Sistare const char *memory_backend; 119e1803dabSFabiano Rosas } MigrateStart; 120e1803dabSFabiano Rosas 121e1803dabSFabiano Rosas typedef enum PostcopyRecoveryFailStage { 122e1803dabSFabiano Rosas /* 123e1803dabSFabiano Rosas * "no failure" must be 0 as it's the default. OTOH, real failure 124e1803dabSFabiano Rosas * cases must be >0 to make sure they trigger by a "if" test. 125e1803dabSFabiano Rosas */ 126e1803dabSFabiano Rosas POSTCOPY_FAIL_NONE = 0, 127e1803dabSFabiano Rosas POSTCOPY_FAIL_CHANNEL_ESTABLISH, 128e1803dabSFabiano Rosas POSTCOPY_FAIL_RECOVERY, 129e1803dabSFabiano Rosas POSTCOPY_FAIL_MAX 130e1803dabSFabiano Rosas } PostcopyRecoveryFailStage; 131e1803dabSFabiano Rosas 132e1803dabSFabiano Rosas typedef struct { 133e1803dabSFabiano Rosas /* Optional: fine tune start parameters */ 134e1803dabSFabiano Rosas MigrateStart start; 135e1803dabSFabiano Rosas 136e1803dabSFabiano Rosas /* Required: the URI for the dst QEMU to listen on */ 137e1803dabSFabiano Rosas const char *listen_uri; 138e1803dabSFabiano Rosas 139e1803dabSFabiano Rosas /* 140e1803dabSFabiano Rosas * Optional: the URI for the src QEMU to connect to 141e1803dabSFabiano Rosas * If NULL, then it will query the dst QEMU for its actual 142e1803dabSFabiano Rosas * listening address and use that as the connect address. 143e1803dabSFabiano Rosas * This allows for dynamically picking a free TCP port. 144e1803dabSFabiano Rosas */ 145e1803dabSFabiano Rosas const char *connect_uri; 146e1803dabSFabiano Rosas 147e1803dabSFabiano Rosas /* 148e1803dabSFabiano Rosas * Optional: JSON-formatted list of src QEMU URIs. If a port is 149e1803dabSFabiano Rosas * defined as '0' in any QDict key a value of '0' will be 150e1803dabSFabiano Rosas * automatically converted to the correct destination port. 151e1803dabSFabiano Rosas */ 152e1803dabSFabiano Rosas const char *connect_channels; 153e1803dabSFabiano Rosas 154e1803dabSFabiano Rosas /* Optional: callback to run at start to set migration parameters */ 155e1803dabSFabiano Rosas TestMigrateStartHook start_hook; 156e1803dabSFabiano Rosas /* Optional: callback to run at finish to cleanup */ 157e1803dabSFabiano Rosas TestMigrateEndHook end_hook; 158e1803dabSFabiano Rosas 159e1803dabSFabiano Rosas /* 160e1803dabSFabiano Rosas * Optional: normally we expect the migration process to complete. 161e1803dabSFabiano Rosas * 162e1803dabSFabiano Rosas * There can be a variety of reasons and stages in which failure 163e1803dabSFabiano Rosas * can happen during tests. 164e1803dabSFabiano Rosas * 165e1803dabSFabiano Rosas * If a failure is expected to happen at time of establishing 166e1803dabSFabiano Rosas * the connection, then MIG_TEST_FAIL will indicate that the dst 167e1803dabSFabiano Rosas * QEMU is expected to stay running and accept future migration 168e1803dabSFabiano Rosas * connections. 169e1803dabSFabiano Rosas * 170e1803dabSFabiano Rosas * If a failure is expected to happen while processing the 171e1803dabSFabiano Rosas * migration stream, then MIG_TEST_FAIL_DEST_QUIT_ERR will indicate 172e1803dabSFabiano Rosas * that the dst QEMU is expected to quit with non-zero exit status 173e1803dabSFabiano Rosas */ 174e1803dabSFabiano Rosas enum { 175e1803dabSFabiano Rosas /* This test should succeed, the default */ 176e1803dabSFabiano Rosas MIG_TEST_SUCCEED = 0, 177e1803dabSFabiano Rosas /* This test should fail, dest qemu should keep alive */ 178e1803dabSFabiano Rosas MIG_TEST_FAIL, 179e1803dabSFabiano Rosas /* This test should fail, dest qemu should fail with abnormal status */ 180e1803dabSFabiano Rosas MIG_TEST_FAIL_DEST_QUIT_ERR, 181e1803dabSFabiano Rosas /* The QMP command for this migration should fail with an error */ 182e1803dabSFabiano Rosas MIG_TEST_QMP_ERROR, 183e1803dabSFabiano Rosas } result; 184e1803dabSFabiano Rosas 185e1803dabSFabiano Rosas /* 186e1803dabSFabiano Rosas * Optional: set number of migration passes to wait for, if live==true. 187e1803dabSFabiano Rosas * If zero, then merely wait for a few MB of dirty data 188e1803dabSFabiano Rosas */ 189e1803dabSFabiano Rosas unsigned int iterations; 190e1803dabSFabiano Rosas 191e1803dabSFabiano Rosas /* 192e1803dabSFabiano Rosas * Optional: whether the guest CPUs should be running during a precopy 193e1803dabSFabiano Rosas * migration test. We used to always run with live but it took much 194e1803dabSFabiano Rosas * longer so we reduced live tests to only the ones that have solid 195e1803dabSFabiano Rosas * reason to be tested live-only. For each of the new test cases for 196e1803dabSFabiano Rosas * precopy please provide justifications to use live explicitly (please 197e1803dabSFabiano Rosas * refer to existing ones with live=true), or use live=off by default. 198e1803dabSFabiano Rosas */ 199e1803dabSFabiano Rosas bool live; 200e1803dabSFabiano Rosas 201e1803dabSFabiano Rosas /* Postcopy specific fields */ 202e1803dabSFabiano Rosas void *postcopy_data; 203e1803dabSFabiano Rosas bool postcopy_preempt; 204e1803dabSFabiano Rosas PostcopyRecoveryFailStage postcopy_recovery_fail_stage; 205e1803dabSFabiano Rosas } MigrateCommon; 206e1803dabSFabiano Rosas 207e1803dabSFabiano Rosas void wait_for_serial(const char *side); 208e1803dabSFabiano Rosas void migrate_prepare_for_dirty_mem(QTestState *from); 209e1803dabSFabiano Rosas void migrate_wait_for_dirty_mem(QTestState *from, QTestState *to); 210e1803dabSFabiano Rosas int migrate_start(QTestState **from, QTestState **to, const char *uri, 211e1803dabSFabiano Rosas MigrateStart *args); 212e1803dabSFabiano Rosas void migrate_end(QTestState *from, QTestState *to, bool test_dest); 213e1803dabSFabiano Rosas 214e1803dabSFabiano Rosas void test_postcopy_common(MigrateCommon *args); 215e1803dabSFabiano Rosas void test_postcopy_recovery_common(MigrateCommon *args); 216e1803dabSFabiano Rosas void test_precopy_common(MigrateCommon *args); 217e1803dabSFabiano Rosas void test_file_common(MigrateCommon *args, bool stop_src); 218e1803dabSFabiano Rosas void *migrate_hook_start_precopy_tcp_multifd_common(QTestState *from, 219e1803dabSFabiano Rosas QTestState *to, 220e1803dabSFabiano Rosas const char *method); 221e1803dabSFabiano Rosas 222e1803dabSFabiano Rosas typedef struct QTestMigrationState QTestMigrationState; 223e1803dabSFabiano Rosas QTestMigrationState *get_src(void); 224e1803dabSFabiano Rosas 225979ee2a7SFabiano Rosas #ifdef CONFIG_GNUTLS 226979ee2a7SFabiano Rosas void migration_test_add_tls(MigrationTestEnv *env); 227979ee2a7SFabiano Rosas #else 228979ee2a7SFabiano Rosas static inline void migration_test_add_tls(MigrationTestEnv *env) {}; 229979ee2a7SFabiano Rosas #endif 230932f74f3SFabiano Rosas void migration_test_add_compression(MigrationTestEnv *env); 2315e87cf32SFabiano Rosas void migration_test_add_postcopy(MigrationTestEnv *env); 232d8057eb3SFabiano Rosas void migration_test_add_file(MigrationTestEnv *env); 2338a645544SFabiano Rosas void migration_test_add_precopy(MigrationTestEnv *env); 23444bd87a5SFabiano Rosas void migration_test_add_cpr(MigrationTestEnv *env); 235de8bc62cSFabiano Rosas void migration_test_add_misc(MigrationTestEnv *env); 236979ee2a7SFabiano Rosas 237e1803dabSFabiano Rosas #endif /* TEST_FRAMEWORK_H */ 238