1 /* 2 * CPU models for s390x - System Emulation-only 3 * 4 * Copyright 2016 IBM Corp. 5 * 6 * Author(s): David Hildenbrand <dahi@linux.vnet.ibm.com> 7 * 8 * This work is licensed under the terms of the GNU GPL, version 2 or (at 9 * your option) any later version. See the COPYING file in the top-level 10 * directory. 11 */ 12 13 #include "qemu/osdep.h" 14 #include "cpu.h" 15 #include "s390x-internal.h" 16 #include "kvm/kvm_s390x.h" 17 #include "sysemu/kvm.h" 18 #include "qapi/error.h" 19 #include "qapi/visitor.h" 20 #include "qapi/qmp/qerror.h" 21 #include "qapi/qobject-input-visitor.h" 22 #include "qapi/qmp/qdict.h" 23 #include "qapi/qapi-commands-machine-target.h" 24 25 static void list_add_feat(const char *name, void *opaque); 26 27 static void check_unavailable_features(const S390CPUModel *max_model, 28 const S390CPUModel *model, 29 strList **unavailable) 30 { 31 S390FeatBitmap missing; 32 33 /* check general model compatibility */ 34 if (max_model->def->gen < model->def->gen || 35 (max_model->def->gen == model->def->gen && 36 max_model->def->ec_ga < model->def->ec_ga)) { 37 list_add_feat("type", unavailable); 38 } 39 40 /* detect missing features if any to properly report them */ 41 bitmap_andnot(missing, model->features, max_model->features, 42 S390_FEAT_MAX); 43 if (!bitmap_empty(missing, S390_FEAT_MAX)) { 44 s390_feat_bitmap_to_ascii(missing, unavailable, list_add_feat); 45 } 46 } 47 48 struct CpuDefinitionInfoListData { 49 CpuDefinitionInfoList *list; 50 S390CPUModel *model; 51 }; 52 53 static void create_cpu_model_list(ObjectClass *klass, void *opaque) 54 { 55 struct CpuDefinitionInfoListData *cpu_list_data = opaque; 56 CpuDefinitionInfoList **cpu_list = &cpu_list_data->list; 57 CpuDefinitionInfo *info; 58 char *name = g_strdup(object_class_get_name(klass)); 59 S390CPUClass *scc = S390_CPU_CLASS(klass); 60 61 /* strip off the -s390x-cpu */ 62 g_strrstr(name, "-" TYPE_S390_CPU)[0] = 0; 63 info = g_new0(CpuDefinitionInfo, 1); 64 info->name = name; 65 info->has_migration_safe = true; 66 info->migration_safe = scc->is_migration_safe; 67 info->q_static = scc->is_static; 68 info->q_typename = g_strdup(object_class_get_name(klass)); 69 /* check for unavailable features */ 70 if (cpu_list_data->model) { 71 Object *obj; 72 S390CPU *sc; 73 obj = object_new_with_class(klass); 74 sc = S390_CPU(obj); 75 if (sc->model) { 76 info->has_unavailable_features = true; 77 check_unavailable_features(cpu_list_data->model, sc->model, 78 &info->unavailable_features); 79 } 80 object_unref(obj); 81 } 82 83 QAPI_LIST_PREPEND(*cpu_list, info); 84 } 85 86 CpuDefinitionInfoList *qmp_query_cpu_definitions(Error **errp) 87 { 88 struct CpuDefinitionInfoListData list_data = { 89 .list = NULL, 90 }; 91 92 list_data.model = get_max_cpu_model(NULL); 93 94 object_class_foreach(create_cpu_model_list, TYPE_S390_CPU, false, 95 &list_data); 96 97 return list_data.list; 98 } 99 100 static void cpu_model_from_info(S390CPUModel *model, const CpuModelInfo *info, 101 Error **errp) 102 { 103 Error *err = NULL; 104 const QDict *qdict = NULL; 105 const QDictEntry *e; 106 Visitor *visitor; 107 ObjectClass *oc; 108 S390CPU *cpu; 109 Object *obj; 110 111 if (info->props) { 112 qdict = qobject_to(QDict, info->props); 113 if (!qdict) { 114 error_setg(errp, QERR_INVALID_PARAMETER_TYPE, "props", "dict"); 115 return; 116 } 117 } 118 119 oc = cpu_class_by_name(TYPE_S390_CPU, info->name); 120 if (!oc) { 121 error_setg(errp, "The CPU definition \'%s\' is unknown.", info->name); 122 return; 123 } 124 if (S390_CPU_CLASS(oc)->kvm_required && !kvm_enabled()) { 125 error_setg(errp, "The CPU definition '%s' requires KVM", info->name); 126 return; 127 } 128 obj = object_new_with_class(oc); 129 cpu = S390_CPU(obj); 130 131 if (!cpu->model) { 132 error_setg(errp, "Details about the host CPU model are not available, " 133 "it cannot be used."); 134 object_unref(obj); 135 return; 136 } 137 138 if (qdict) { 139 visitor = qobject_input_visitor_new(info->props); 140 if (!visit_start_struct(visitor, NULL, NULL, 0, errp)) { 141 visit_free(visitor); 142 object_unref(obj); 143 return; 144 } 145 for (e = qdict_first(qdict); e; e = qdict_next(qdict, e)) { 146 if (!object_property_set(obj, e->key, visitor, &err)) { 147 break; 148 } 149 } 150 if (!err) { 151 visit_check_struct(visitor, &err); 152 } 153 visit_end_struct(visitor, NULL); 154 visit_free(visitor); 155 if (err) { 156 error_propagate(errp, err); 157 object_unref(obj); 158 return; 159 } 160 } 161 162 /* copy the model and throw the cpu away */ 163 memcpy(model, cpu->model, sizeof(*model)); 164 object_unref(obj); 165 } 166 167 static void qdict_add_disabled_feat(const char *name, void *opaque) 168 { 169 qdict_put_bool(opaque, name, false); 170 } 171 172 static void qdict_add_enabled_feat(const char *name, void *opaque) 173 { 174 qdict_put_bool(opaque, name, true); 175 } 176 177 /* convert S390CPUDef into a static CpuModelInfo */ 178 static void cpu_info_from_model(CpuModelInfo *info, const S390CPUModel *model, 179 bool delta_changes) 180 { 181 QDict *qdict = qdict_new(); 182 S390FeatBitmap bitmap; 183 184 /* always fallback to the static base model */ 185 info->name = g_strdup_printf("%s-base", model->def->name); 186 187 if (delta_changes) { 188 /* features deleted from the base feature set */ 189 bitmap_andnot(bitmap, model->def->base_feat, model->features, 190 S390_FEAT_MAX); 191 if (!bitmap_empty(bitmap, S390_FEAT_MAX)) { 192 s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_disabled_feat); 193 } 194 195 /* features added to the base feature set */ 196 bitmap_andnot(bitmap, model->features, model->def->base_feat, 197 S390_FEAT_MAX); 198 if (!bitmap_empty(bitmap, S390_FEAT_MAX)) { 199 s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_enabled_feat); 200 } 201 } else { 202 /* expand all features */ 203 s390_feat_bitmap_to_ascii(model->features, qdict, 204 qdict_add_enabled_feat); 205 bitmap_complement(bitmap, model->features, S390_FEAT_MAX); 206 s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_disabled_feat); 207 } 208 209 if (!qdict_size(qdict)) { 210 qobject_unref(qdict); 211 } else { 212 info->props = QOBJECT(qdict); 213 info->has_props = true; 214 } 215 } 216 217 CpuModelExpansionInfo *qmp_query_cpu_model_expansion(CpuModelExpansionType type, 218 CpuModelInfo *model, 219 Error **errp) 220 { 221 Error *err = NULL; 222 CpuModelExpansionInfo *expansion_info = NULL; 223 S390CPUModel s390_model; 224 bool delta_changes = false; 225 226 /* convert it to our internal representation */ 227 cpu_model_from_info(&s390_model, model, &err); 228 if (err) { 229 error_propagate(errp, err); 230 return NULL; 231 } 232 233 if (type == CPU_MODEL_EXPANSION_TYPE_STATIC) { 234 delta_changes = true; 235 } else if (type != CPU_MODEL_EXPANSION_TYPE_FULL) { 236 error_setg(errp, "The requested expansion type is not supported."); 237 return NULL; 238 } 239 240 /* convert it back to a static representation */ 241 expansion_info = g_new0(CpuModelExpansionInfo, 1); 242 expansion_info->model = g_malloc0(sizeof(*expansion_info->model)); 243 cpu_info_from_model(expansion_info->model, &s390_model, delta_changes); 244 return expansion_info; 245 } 246 247 static void list_add_feat(const char *name, void *opaque) 248 { 249 strList **last = (strList **) opaque; 250 251 QAPI_LIST_PREPEND(*last, g_strdup(name)); 252 } 253 254 CpuModelCompareInfo *qmp_query_cpu_model_comparison(CpuModelInfo *infoa, 255 CpuModelInfo *infob, 256 Error **errp) 257 { 258 Error *err = NULL; 259 CpuModelCompareResult feat_result, gen_result; 260 CpuModelCompareInfo *compare_info; 261 S390FeatBitmap missing, added; 262 S390CPUModel modela, modelb; 263 264 /* convert both models to our internal representation */ 265 cpu_model_from_info(&modela, infoa, &err); 266 if (err) { 267 error_propagate(errp, err); 268 return NULL; 269 } 270 cpu_model_from_info(&modelb, infob, &err); 271 if (err) { 272 error_propagate(errp, err); 273 return NULL; 274 } 275 compare_info = g_new0(CpuModelCompareInfo, 1); 276 277 /* check the cpu generation and ga level */ 278 if (modela.def->gen == modelb.def->gen) { 279 if (modela.def->ec_ga == modelb.def->ec_ga) { 280 /* ec and corresponding bc are identical */ 281 gen_result = CPU_MODEL_COMPARE_RESULT_IDENTICAL; 282 } else if (modela.def->ec_ga < modelb.def->ec_ga) { 283 gen_result = CPU_MODEL_COMPARE_RESULT_SUBSET; 284 } else { 285 gen_result = CPU_MODEL_COMPARE_RESULT_SUPERSET; 286 } 287 } else if (modela.def->gen < modelb.def->gen) { 288 gen_result = CPU_MODEL_COMPARE_RESULT_SUBSET; 289 } else { 290 gen_result = CPU_MODEL_COMPARE_RESULT_SUPERSET; 291 } 292 if (gen_result != CPU_MODEL_COMPARE_RESULT_IDENTICAL) { 293 /* both models cannot be made identical */ 294 list_add_feat("type", &compare_info->responsible_properties); 295 } 296 297 /* check the feature set */ 298 if (bitmap_equal(modela.features, modelb.features, S390_FEAT_MAX)) { 299 feat_result = CPU_MODEL_COMPARE_RESULT_IDENTICAL; 300 } else { 301 bitmap_andnot(missing, modela.features, modelb.features, S390_FEAT_MAX); 302 s390_feat_bitmap_to_ascii(missing, 303 &compare_info->responsible_properties, 304 list_add_feat); 305 bitmap_andnot(added, modelb.features, modela.features, S390_FEAT_MAX); 306 s390_feat_bitmap_to_ascii(added, &compare_info->responsible_properties, 307 list_add_feat); 308 if (bitmap_empty(missing, S390_FEAT_MAX)) { 309 feat_result = CPU_MODEL_COMPARE_RESULT_SUBSET; 310 } else if (bitmap_empty(added, S390_FEAT_MAX)) { 311 feat_result = CPU_MODEL_COMPARE_RESULT_SUPERSET; 312 } else { 313 feat_result = CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE; 314 } 315 } 316 317 /* combine the results */ 318 if (gen_result == feat_result) { 319 compare_info->result = gen_result; 320 } else if (feat_result == CPU_MODEL_COMPARE_RESULT_IDENTICAL) { 321 compare_info->result = gen_result; 322 } else if (gen_result == CPU_MODEL_COMPARE_RESULT_IDENTICAL) { 323 compare_info->result = feat_result; 324 } else { 325 compare_info->result = CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE; 326 } 327 return compare_info; 328 } 329 330 CpuModelBaselineInfo *qmp_query_cpu_model_baseline(CpuModelInfo *infoa, 331 CpuModelInfo *infob, 332 Error **errp) 333 { 334 Error *err = NULL; 335 CpuModelBaselineInfo *baseline_info; 336 S390CPUModel modela, modelb, model; 337 uint16_t cpu_type; 338 uint8_t max_gen_ga; 339 uint8_t max_gen; 340 341 /* convert both models to our internal representation */ 342 cpu_model_from_info(&modela, infoa, &err); 343 if (err) { 344 error_propagate(errp, err); 345 return NULL; 346 } 347 348 cpu_model_from_info(&modelb, infob, &err); 349 if (err) { 350 error_propagate(errp, err); 351 return NULL; 352 } 353 354 /* features both models support */ 355 bitmap_and(model.features, modela.features, modelb.features, S390_FEAT_MAX); 356 357 /* detect the maximum model not regarding features */ 358 if (modela.def->gen == modelb.def->gen) { 359 if (modela.def->type == modelb.def->type) { 360 cpu_type = modela.def->type; 361 } else { 362 cpu_type = 0; 363 } 364 max_gen = modela.def->gen; 365 max_gen_ga = MIN(modela.def->ec_ga, modelb.def->ec_ga); 366 } else if (modela.def->gen > modelb.def->gen) { 367 cpu_type = modelb.def->type; 368 max_gen = modelb.def->gen; 369 max_gen_ga = modelb.def->ec_ga; 370 } else { 371 cpu_type = modela.def->type; 372 max_gen = modela.def->gen; 373 max_gen_ga = modela.def->ec_ga; 374 } 375 376 model.def = s390_find_cpu_def(cpu_type, max_gen, max_gen_ga, 377 model.features); 378 379 /* models without early base features (esan3) are bad */ 380 if (!model.def) { 381 error_setg(errp, "No compatible CPU model could be created as" 382 " important base features are disabled"); 383 return NULL; 384 } 385 386 /* strip off features not part of the max model */ 387 bitmap_and(model.features, model.features, model.def->full_feat, 388 S390_FEAT_MAX); 389 390 baseline_info = g_new0(CpuModelBaselineInfo, 1); 391 baseline_info->model = g_malloc0(sizeof(*baseline_info->model)); 392 cpu_info_from_model(baseline_info->model, &model, true); 393 return baseline_info; 394 } 395 396 void apply_cpu_model(const S390CPUModel *model, Error **errp) 397 { 398 Error *err = NULL; 399 static S390CPUModel applied_model; 400 static bool applied; 401 402 /* 403 * We have the same model for all VCPUs. KVM can only be configured before 404 * any VCPUs are defined in KVM. 405 */ 406 if (applied) { 407 if (model && memcmp(&applied_model, model, sizeof(S390CPUModel))) { 408 error_setg(errp, "Mixed CPU models are not supported on s390x."); 409 } 410 return; 411 } 412 413 if (kvm_enabled()) { 414 kvm_s390_apply_cpu_model(model, &err); 415 if (err) { 416 error_propagate(errp, err); 417 return; 418 } 419 } 420 421 applied = true; 422 if (model) { 423 applied_model = *model; 424 } 425 } 426