target/s390x: split sysemu part of cpu models
split sysemu part of cpu models, also create a tiny _user.c with just the (at least for now), empty implementation of apply_cpu_model. Signed-off-by: Claudio Fontana <cfontana@suse.de> Signed-off-by: Cho, Yu-Chen <acho@suse.com> Reviewed-by: Thomas Huth <thuth@redhat.com> Message-Id: <20210707105324.23400-15-acho@suse.com> Signed-off-by: Cornelia Huck <cohuck@redhat.com>
This commit is contained in:
parent
67043607d1
commit
7ab3eb42b0
@ -298,6 +298,7 @@ M: David Hildenbrand <david@redhat.com>
|
||||
S: Maintained
|
||||
F: target/s390x/
|
||||
F: target/s390x/tcg
|
||||
F: target/s390x/cpu_models_*.[ch]
|
||||
F: hw/s390x/
|
||||
F: disas/s390.c
|
||||
F: tests/tcg/s390x/
|
||||
|
@ -18,18 +18,11 @@
|
||||
#include "sysemu/tcg.h"
|
||||
#include "qapi/error.h"
|
||||
#include "qapi/visitor.h"
|
||||
#include "qemu/error-report.h"
|
||||
#include "qemu/module.h"
|
||||
#include "qemu/qemu-print.h"
|
||||
#include "qapi/qmp/qerror.h"
|
||||
#include "qapi/qobject-input-visitor.h"
|
||||
#include "qapi/qmp/qdict.h"
|
||||
#ifndef CONFIG_USER_ONLY
|
||||
#include "sysemu/arch_init.h"
|
||||
#include "sysemu/sysemu.h"
|
||||
#include "hw/pci/pci.h"
|
||||
#endif
|
||||
#include "qapi/qapi-commands-machine-target.h"
|
||||
#include "hw/s390x/pv.h"
|
||||
|
||||
#define CPUDEF_INIT(_type, _gen, _ec_ga, _mha_pow, _hmfai, _name, _desc) \
|
||||
@ -416,381 +409,6 @@ void s390_cpu_list(void)
|
||||
}
|
||||
}
|
||||
|
||||
static S390CPUModel *get_max_cpu_model(Error **errp);
|
||||
|
||||
#ifndef CONFIG_USER_ONLY
|
||||
static void list_add_feat(const char *name, void *opaque);
|
||||
|
||||
static void check_unavailable_features(const S390CPUModel *max_model,
|
||||
const S390CPUModel *model,
|
||||
strList **unavailable)
|
||||
{
|
||||
S390FeatBitmap missing;
|
||||
|
||||
/* check general model compatibility */
|
||||
if (max_model->def->gen < model->def->gen ||
|
||||
(max_model->def->gen == model->def->gen &&
|
||||
max_model->def->ec_ga < model->def->ec_ga)) {
|
||||
list_add_feat("type", unavailable);
|
||||
}
|
||||
|
||||
/* detect missing features if any to properly report them */
|
||||
bitmap_andnot(missing, model->features, max_model->features,
|
||||
S390_FEAT_MAX);
|
||||
if (!bitmap_empty(missing, S390_FEAT_MAX)) {
|
||||
s390_feat_bitmap_to_ascii(missing, unavailable, list_add_feat);
|
||||
}
|
||||
}
|
||||
|
||||
struct CpuDefinitionInfoListData {
|
||||
CpuDefinitionInfoList *list;
|
||||
S390CPUModel *model;
|
||||
};
|
||||
|
||||
static void create_cpu_model_list(ObjectClass *klass, void *opaque)
|
||||
{
|
||||
struct CpuDefinitionInfoListData *cpu_list_data = opaque;
|
||||
CpuDefinitionInfoList **cpu_list = &cpu_list_data->list;
|
||||
CpuDefinitionInfo *info;
|
||||
char *name = g_strdup(object_class_get_name(klass));
|
||||
S390CPUClass *scc = S390_CPU_CLASS(klass);
|
||||
|
||||
/* strip off the -s390x-cpu */
|
||||
g_strrstr(name, "-" TYPE_S390_CPU)[0] = 0;
|
||||
info = g_new0(CpuDefinitionInfo, 1);
|
||||
info->name = name;
|
||||
info->has_migration_safe = true;
|
||||
info->migration_safe = scc->is_migration_safe;
|
||||
info->q_static = scc->is_static;
|
||||
info->q_typename = g_strdup(object_class_get_name(klass));
|
||||
/* check for unavailable features */
|
||||
if (cpu_list_data->model) {
|
||||
Object *obj;
|
||||
S390CPU *sc;
|
||||
obj = object_new_with_class(klass);
|
||||
sc = S390_CPU(obj);
|
||||
if (sc->model) {
|
||||
info->has_unavailable_features = true;
|
||||
check_unavailable_features(cpu_list_data->model, sc->model,
|
||||
&info->unavailable_features);
|
||||
}
|
||||
object_unref(obj);
|
||||
}
|
||||
|
||||
QAPI_LIST_PREPEND(*cpu_list, info);
|
||||
}
|
||||
|
||||
CpuDefinitionInfoList *qmp_query_cpu_definitions(Error **errp)
|
||||
{
|
||||
struct CpuDefinitionInfoListData list_data = {
|
||||
.list = NULL,
|
||||
};
|
||||
|
||||
list_data.model = get_max_cpu_model(NULL);
|
||||
|
||||
object_class_foreach(create_cpu_model_list, TYPE_S390_CPU, false,
|
||||
&list_data);
|
||||
|
||||
return list_data.list;
|
||||
}
|
||||
|
||||
static void cpu_model_from_info(S390CPUModel *model, const CpuModelInfo *info,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
const QDict *qdict = NULL;
|
||||
const QDictEntry *e;
|
||||
Visitor *visitor;
|
||||
ObjectClass *oc;
|
||||
S390CPU *cpu;
|
||||
Object *obj;
|
||||
|
||||
if (info->props) {
|
||||
qdict = qobject_to(QDict, info->props);
|
||||
if (!qdict) {
|
||||
error_setg(errp, QERR_INVALID_PARAMETER_TYPE, "props", "dict");
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
||||
oc = cpu_class_by_name(TYPE_S390_CPU, info->name);
|
||||
if (!oc) {
|
||||
error_setg(errp, "The CPU definition \'%s\' is unknown.", info->name);
|
||||
return;
|
||||
}
|
||||
if (S390_CPU_CLASS(oc)->kvm_required && !kvm_enabled()) {
|
||||
error_setg(errp, "The CPU definition '%s' requires KVM", info->name);
|
||||
return;
|
||||
}
|
||||
obj = object_new_with_class(oc);
|
||||
cpu = S390_CPU(obj);
|
||||
|
||||
if (!cpu->model) {
|
||||
error_setg(errp, "Details about the host CPU model are not available, "
|
||||
"it cannot be used.");
|
||||
object_unref(obj);
|
||||
return;
|
||||
}
|
||||
|
||||
if (qdict) {
|
||||
visitor = qobject_input_visitor_new(info->props);
|
||||
if (!visit_start_struct(visitor, NULL, NULL, 0, errp)) {
|
||||
visit_free(visitor);
|
||||
object_unref(obj);
|
||||
return;
|
||||
}
|
||||
for (e = qdict_first(qdict); e; e = qdict_next(qdict, e)) {
|
||||
if (!object_property_set(obj, e->key, visitor, &err)) {
|
||||
break;
|
||||
}
|
||||
}
|
||||
if (!err) {
|
||||
visit_check_struct(visitor, &err);
|
||||
}
|
||||
visit_end_struct(visitor, NULL);
|
||||
visit_free(visitor);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
object_unref(obj);
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
||||
/* copy the model and throw the cpu away */
|
||||
memcpy(model, cpu->model, sizeof(*model));
|
||||
object_unref(obj);
|
||||
}
|
||||
|
||||
static void qdict_add_disabled_feat(const char *name, void *opaque)
|
||||
{
|
||||
qdict_put_bool(opaque, name, false);
|
||||
}
|
||||
|
||||
static void qdict_add_enabled_feat(const char *name, void *opaque)
|
||||
{
|
||||
qdict_put_bool(opaque, name, true);
|
||||
}
|
||||
|
||||
/* convert S390CPUDef into a static CpuModelInfo */
|
||||
static void cpu_info_from_model(CpuModelInfo *info, const S390CPUModel *model,
|
||||
bool delta_changes)
|
||||
{
|
||||
QDict *qdict = qdict_new();
|
||||
S390FeatBitmap bitmap;
|
||||
|
||||
/* always fallback to the static base model */
|
||||
info->name = g_strdup_printf("%s-base", model->def->name);
|
||||
|
||||
if (delta_changes) {
|
||||
/* features deleted from the base feature set */
|
||||
bitmap_andnot(bitmap, model->def->base_feat, model->features,
|
||||
S390_FEAT_MAX);
|
||||
if (!bitmap_empty(bitmap, S390_FEAT_MAX)) {
|
||||
s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_disabled_feat);
|
||||
}
|
||||
|
||||
/* features added to the base feature set */
|
||||
bitmap_andnot(bitmap, model->features, model->def->base_feat,
|
||||
S390_FEAT_MAX);
|
||||
if (!bitmap_empty(bitmap, S390_FEAT_MAX)) {
|
||||
s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_enabled_feat);
|
||||
}
|
||||
} else {
|
||||
/* expand all features */
|
||||
s390_feat_bitmap_to_ascii(model->features, qdict,
|
||||
qdict_add_enabled_feat);
|
||||
bitmap_complement(bitmap, model->features, S390_FEAT_MAX);
|
||||
s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_disabled_feat);
|
||||
}
|
||||
|
||||
if (!qdict_size(qdict)) {
|
||||
qobject_unref(qdict);
|
||||
} else {
|
||||
info->props = QOBJECT(qdict);
|
||||
info->has_props = true;
|
||||
}
|
||||
}
|
||||
|
||||
CpuModelExpansionInfo *qmp_query_cpu_model_expansion(CpuModelExpansionType type,
|
||||
CpuModelInfo *model,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
CpuModelExpansionInfo *expansion_info = NULL;
|
||||
S390CPUModel s390_model;
|
||||
bool delta_changes = false;
|
||||
|
||||
/* convert it to our internal representation */
|
||||
cpu_model_from_info(&s390_model, model, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
if (type == CPU_MODEL_EXPANSION_TYPE_STATIC) {
|
||||
delta_changes = true;
|
||||
} else if (type != CPU_MODEL_EXPANSION_TYPE_FULL) {
|
||||
error_setg(errp, "The requested expansion type is not supported.");
|
||||
return NULL;
|
||||
}
|
||||
|
||||
/* convert it back to a static representation */
|
||||
expansion_info = g_new0(CpuModelExpansionInfo, 1);
|
||||
expansion_info->model = g_malloc0(sizeof(*expansion_info->model));
|
||||
cpu_info_from_model(expansion_info->model, &s390_model, delta_changes);
|
||||
return expansion_info;
|
||||
}
|
||||
|
||||
static void list_add_feat(const char *name, void *opaque)
|
||||
{
|
||||
strList **last = (strList **) opaque;
|
||||
|
||||
QAPI_LIST_PREPEND(*last, g_strdup(name));
|
||||
}
|
||||
|
||||
CpuModelCompareInfo *qmp_query_cpu_model_comparison(CpuModelInfo *infoa,
|
||||
CpuModelInfo *infob,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
CpuModelCompareResult feat_result, gen_result;
|
||||
CpuModelCompareInfo *compare_info;
|
||||
S390FeatBitmap missing, added;
|
||||
S390CPUModel modela, modelb;
|
||||
|
||||
/* convert both models to our internal representation */
|
||||
cpu_model_from_info(&modela, infoa, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
cpu_model_from_info(&modelb, infob, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
compare_info = g_new0(CpuModelCompareInfo, 1);
|
||||
|
||||
/* check the cpu generation and ga level */
|
||||
if (modela.def->gen == modelb.def->gen) {
|
||||
if (modela.def->ec_ga == modelb.def->ec_ga) {
|
||||
/* ec and corresponding bc are identical */
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_IDENTICAL;
|
||||
} else if (modela.def->ec_ga < modelb.def->ec_ga) {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUBSET;
|
||||
} else {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUPERSET;
|
||||
}
|
||||
} else if (modela.def->gen < modelb.def->gen) {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUBSET;
|
||||
} else {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUPERSET;
|
||||
}
|
||||
if (gen_result != CPU_MODEL_COMPARE_RESULT_IDENTICAL) {
|
||||
/* both models cannot be made identical */
|
||||
list_add_feat("type", &compare_info->responsible_properties);
|
||||
}
|
||||
|
||||
/* check the feature set */
|
||||
if (bitmap_equal(modela.features, modelb.features, S390_FEAT_MAX)) {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_IDENTICAL;
|
||||
} else {
|
||||
bitmap_andnot(missing, modela.features, modelb.features, S390_FEAT_MAX);
|
||||
s390_feat_bitmap_to_ascii(missing,
|
||||
&compare_info->responsible_properties,
|
||||
list_add_feat);
|
||||
bitmap_andnot(added, modelb.features, modela.features, S390_FEAT_MAX);
|
||||
s390_feat_bitmap_to_ascii(added, &compare_info->responsible_properties,
|
||||
list_add_feat);
|
||||
if (bitmap_empty(missing, S390_FEAT_MAX)) {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_SUBSET;
|
||||
} else if (bitmap_empty(added, S390_FEAT_MAX)) {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_SUPERSET;
|
||||
} else {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE;
|
||||
}
|
||||
}
|
||||
|
||||
/* combine the results */
|
||||
if (gen_result == feat_result) {
|
||||
compare_info->result = gen_result;
|
||||
} else if (feat_result == CPU_MODEL_COMPARE_RESULT_IDENTICAL) {
|
||||
compare_info->result = gen_result;
|
||||
} else if (gen_result == CPU_MODEL_COMPARE_RESULT_IDENTICAL) {
|
||||
compare_info->result = feat_result;
|
||||
} else {
|
||||
compare_info->result = CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE;
|
||||
}
|
||||
return compare_info;
|
||||
}
|
||||
|
||||
CpuModelBaselineInfo *qmp_query_cpu_model_baseline(CpuModelInfo *infoa,
|
||||
CpuModelInfo *infob,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
CpuModelBaselineInfo *baseline_info;
|
||||
S390CPUModel modela, modelb, model;
|
||||
uint16_t cpu_type;
|
||||
uint8_t max_gen_ga;
|
||||
uint8_t max_gen;
|
||||
|
||||
/* convert both models to our internal representation */
|
||||
cpu_model_from_info(&modela, infoa, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
cpu_model_from_info(&modelb, infob, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
/* features both models support */
|
||||
bitmap_and(model.features, modela.features, modelb.features, S390_FEAT_MAX);
|
||||
|
||||
/* detect the maximum model not regarding features */
|
||||
if (modela.def->gen == modelb.def->gen) {
|
||||
if (modela.def->type == modelb.def->type) {
|
||||
cpu_type = modela.def->type;
|
||||
} else {
|
||||
cpu_type = 0;
|
||||
}
|
||||
max_gen = modela.def->gen;
|
||||
max_gen_ga = MIN(modela.def->ec_ga, modelb.def->ec_ga);
|
||||
} else if (modela.def->gen > modelb.def->gen) {
|
||||
cpu_type = modelb.def->type;
|
||||
max_gen = modelb.def->gen;
|
||||
max_gen_ga = modelb.def->ec_ga;
|
||||
} else {
|
||||
cpu_type = modela.def->type;
|
||||
max_gen = modela.def->gen;
|
||||
max_gen_ga = modela.def->ec_ga;
|
||||
}
|
||||
|
||||
model.def = s390_find_cpu_def(cpu_type, max_gen, max_gen_ga,
|
||||
model.features);
|
||||
|
||||
/* models without early base features (esan3) are bad */
|
||||
if (!model.def) {
|
||||
error_setg(errp, "No compatible CPU model could be created as"
|
||||
" important base features are disabled");
|
||||
return NULL;
|
||||
}
|
||||
|
||||
/* strip off features not part of the max model */
|
||||
bitmap_and(model.features, model.features, model.def->full_feat,
|
||||
S390_FEAT_MAX);
|
||||
|
||||
baseline_info = g_new0(CpuModelBaselineInfo, 1);
|
||||
baseline_info->model = g_malloc0(sizeof(*baseline_info->model));
|
||||
cpu_info_from_model(baseline_info->model, &model, true);
|
||||
return baseline_info;
|
||||
}
|
||||
#endif
|
||||
|
||||
static void check_consistency(const S390CPUModel *model)
|
||||
{
|
||||
static int dep[][2] = {
|
||||
@ -906,7 +524,7 @@ static void check_compatibility(const S390CPUModel *max_model,
|
||||
"available in the configuration: ");
|
||||
}
|
||||
|
||||
static S390CPUModel *get_max_cpu_model(Error **errp)
|
||||
S390CPUModel *get_max_cpu_model(Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
static S390CPUModel max_model;
|
||||
@ -931,39 +549,6 @@ static S390CPUModel *get_max_cpu_model(Error **errp)
|
||||
return &max_model;
|
||||
}
|
||||
|
||||
static inline void apply_cpu_model(const S390CPUModel *model, Error **errp)
|
||||
{
|
||||
#ifndef CONFIG_USER_ONLY
|
||||
Error *err = NULL;
|
||||
static S390CPUModel applied_model;
|
||||
static bool applied;
|
||||
|
||||
/*
|
||||
* We have the same model for all VCPUs. KVM can only be configured before
|
||||
* any VCPUs are defined in KVM.
|
||||
*/
|
||||
if (applied) {
|
||||
if (model && memcmp(&applied_model, model, sizeof(S390CPUModel))) {
|
||||
error_setg(errp, "Mixed CPU models are not supported on s390x.");
|
||||
}
|
||||
return;
|
||||
}
|
||||
|
||||
if (kvm_enabled()) {
|
||||
kvm_s390_apply_cpu_model(model, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
||||
applied = true;
|
||||
if (model) {
|
||||
applied_model = *model;
|
||||
}
|
||||
#endif
|
||||
}
|
||||
|
||||
void s390_realize_cpu_model(CPUState *cs, Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
|
426
target/s390x/cpu_models_sysemu.c
Normal file
426
target/s390x/cpu_models_sysemu.c
Normal file
@ -0,0 +1,426 @@
|
||||
/*
|
||||
* CPU models for s390x - System Emulation-only
|
||||
*
|
||||
* Copyright 2016 IBM Corp.
|
||||
*
|
||||
* Author(s): David Hildenbrand <dahi@linux.vnet.ibm.com>
|
||||
*
|
||||
* This work is licensed under the terms of the GNU GPL, version 2 or (at
|
||||
* your option) any later version. See the COPYING file in the top-level
|
||||
* directory.
|
||||
*/
|
||||
|
||||
#include "qemu/osdep.h"
|
||||
#include "cpu.h"
|
||||
#include "s390x-internal.h"
|
||||
#include "kvm/kvm_s390x.h"
|
||||
#include "sysemu/kvm.h"
|
||||
#include "sysemu/tcg.h"
|
||||
#include "qapi/error.h"
|
||||
#include "qapi/visitor.h"
|
||||
#include "qapi/qmp/qerror.h"
|
||||
#include "qapi/qobject-input-visitor.h"
|
||||
#include "qapi/qmp/qdict.h"
|
||||
#include "qapi/qapi-commands-machine-target.h"
|
||||
|
||||
static void list_add_feat(const char *name, void *opaque);
|
||||
|
||||
static void check_unavailable_features(const S390CPUModel *max_model,
|
||||
const S390CPUModel *model,
|
||||
strList **unavailable)
|
||||
{
|
||||
S390FeatBitmap missing;
|
||||
|
||||
/* check general model compatibility */
|
||||
if (max_model->def->gen < model->def->gen ||
|
||||
(max_model->def->gen == model->def->gen &&
|
||||
max_model->def->ec_ga < model->def->ec_ga)) {
|
||||
list_add_feat("type", unavailable);
|
||||
}
|
||||
|
||||
/* detect missing features if any to properly report them */
|
||||
bitmap_andnot(missing, model->features, max_model->features,
|
||||
S390_FEAT_MAX);
|
||||
if (!bitmap_empty(missing, S390_FEAT_MAX)) {
|
||||
s390_feat_bitmap_to_ascii(missing, unavailable, list_add_feat);
|
||||
}
|
||||
}
|
||||
|
||||
struct CpuDefinitionInfoListData {
|
||||
CpuDefinitionInfoList *list;
|
||||
S390CPUModel *model;
|
||||
};
|
||||
|
||||
static void create_cpu_model_list(ObjectClass *klass, void *opaque)
|
||||
{
|
||||
struct CpuDefinitionInfoListData *cpu_list_data = opaque;
|
||||
CpuDefinitionInfoList **cpu_list = &cpu_list_data->list;
|
||||
CpuDefinitionInfo *info;
|
||||
char *name = g_strdup(object_class_get_name(klass));
|
||||
S390CPUClass *scc = S390_CPU_CLASS(klass);
|
||||
|
||||
/* strip off the -s390x-cpu */
|
||||
g_strrstr(name, "-" TYPE_S390_CPU)[0] = 0;
|
||||
info = g_new0(CpuDefinitionInfo, 1);
|
||||
info->name = name;
|
||||
info->has_migration_safe = true;
|
||||
info->migration_safe = scc->is_migration_safe;
|
||||
info->q_static = scc->is_static;
|
||||
info->q_typename = g_strdup(object_class_get_name(klass));
|
||||
/* check for unavailable features */
|
||||
if (cpu_list_data->model) {
|
||||
Object *obj;
|
||||
S390CPU *sc;
|
||||
obj = object_new_with_class(klass);
|
||||
sc = S390_CPU(obj);
|
||||
if (sc->model) {
|
||||
info->has_unavailable_features = true;
|
||||
check_unavailable_features(cpu_list_data->model, sc->model,
|
||||
&info->unavailable_features);
|
||||
}
|
||||
object_unref(obj);
|
||||
}
|
||||
|
||||
QAPI_LIST_PREPEND(*cpu_list, info);
|
||||
}
|
||||
|
||||
CpuDefinitionInfoList *qmp_query_cpu_definitions(Error **errp)
|
||||
{
|
||||
struct CpuDefinitionInfoListData list_data = {
|
||||
.list = NULL,
|
||||
};
|
||||
|
||||
list_data.model = get_max_cpu_model(NULL);
|
||||
|
||||
object_class_foreach(create_cpu_model_list, TYPE_S390_CPU, false,
|
||||
&list_data);
|
||||
|
||||
return list_data.list;
|
||||
}
|
||||
|
||||
static void cpu_model_from_info(S390CPUModel *model, const CpuModelInfo *info,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
const QDict *qdict = NULL;
|
||||
const QDictEntry *e;
|
||||
Visitor *visitor;
|
||||
ObjectClass *oc;
|
||||
S390CPU *cpu;
|
||||
Object *obj;
|
||||
|
||||
if (info->props) {
|
||||
qdict = qobject_to(QDict, info->props);
|
||||
if (!qdict) {
|
||||
error_setg(errp, QERR_INVALID_PARAMETER_TYPE, "props", "dict");
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
||||
oc = cpu_class_by_name(TYPE_S390_CPU, info->name);
|
||||
if (!oc) {
|
||||
error_setg(errp, "The CPU definition \'%s\' is unknown.", info->name);
|
||||
return;
|
||||
}
|
||||
if (S390_CPU_CLASS(oc)->kvm_required && !kvm_enabled()) {
|
||||
error_setg(errp, "The CPU definition '%s' requires KVM", info->name);
|
||||
return;
|
||||
}
|
||||
obj = object_new_with_class(oc);
|
||||
cpu = S390_CPU(obj);
|
||||
|
||||
if (!cpu->model) {
|
||||
error_setg(errp, "Details about the host CPU model are not available, "
|
||||
"it cannot be used.");
|
||||
object_unref(obj);
|
||||
return;
|
||||
}
|
||||
|
||||
if (qdict) {
|
||||
visitor = qobject_input_visitor_new(info->props);
|
||||
if (!visit_start_struct(visitor, NULL, NULL, 0, errp)) {
|
||||
visit_free(visitor);
|
||||
object_unref(obj);
|
||||
return;
|
||||
}
|
||||
for (e = qdict_first(qdict); e; e = qdict_next(qdict, e)) {
|
||||
if (!object_property_set(obj, e->key, visitor, &err)) {
|
||||
break;
|
||||
}
|
||||
}
|
||||
if (!err) {
|
||||
visit_check_struct(visitor, &err);
|
||||
}
|
||||
visit_end_struct(visitor, NULL);
|
||||
visit_free(visitor);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
object_unref(obj);
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
||||
/* copy the model and throw the cpu away */
|
||||
memcpy(model, cpu->model, sizeof(*model));
|
||||
object_unref(obj);
|
||||
}
|
||||
|
||||
static void qdict_add_disabled_feat(const char *name, void *opaque)
|
||||
{
|
||||
qdict_put_bool(opaque, name, false);
|
||||
}
|
||||
|
||||
static void qdict_add_enabled_feat(const char *name, void *opaque)
|
||||
{
|
||||
qdict_put_bool(opaque, name, true);
|
||||
}
|
||||
|
||||
/* convert S390CPUDef into a static CpuModelInfo */
|
||||
static void cpu_info_from_model(CpuModelInfo *info, const S390CPUModel *model,
|
||||
bool delta_changes)
|
||||
{
|
||||
QDict *qdict = qdict_new();
|
||||
S390FeatBitmap bitmap;
|
||||
|
||||
/* always fallback to the static base model */
|
||||
info->name = g_strdup_printf("%s-base", model->def->name);
|
||||
|
||||
if (delta_changes) {
|
||||
/* features deleted from the base feature set */
|
||||
bitmap_andnot(bitmap, model->def->base_feat, model->features,
|
||||
S390_FEAT_MAX);
|
||||
if (!bitmap_empty(bitmap, S390_FEAT_MAX)) {
|
||||
s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_disabled_feat);
|
||||
}
|
||||
|
||||
/* features added to the base feature set */
|
||||
bitmap_andnot(bitmap, model->features, model->def->base_feat,
|
||||
S390_FEAT_MAX);
|
||||
if (!bitmap_empty(bitmap, S390_FEAT_MAX)) {
|
||||
s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_enabled_feat);
|
||||
}
|
||||
} else {
|
||||
/* expand all features */
|
||||
s390_feat_bitmap_to_ascii(model->features, qdict,
|
||||
qdict_add_enabled_feat);
|
||||
bitmap_complement(bitmap, model->features, S390_FEAT_MAX);
|
||||
s390_feat_bitmap_to_ascii(bitmap, qdict, qdict_add_disabled_feat);
|
||||
}
|
||||
|
||||
if (!qdict_size(qdict)) {
|
||||
qobject_unref(qdict);
|
||||
} else {
|
||||
info->props = QOBJECT(qdict);
|
||||
info->has_props = true;
|
||||
}
|
||||
}
|
||||
|
||||
CpuModelExpansionInfo *qmp_query_cpu_model_expansion(CpuModelExpansionType type,
|
||||
CpuModelInfo *model,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
CpuModelExpansionInfo *expansion_info = NULL;
|
||||
S390CPUModel s390_model;
|
||||
bool delta_changes = false;
|
||||
|
||||
/* convert it to our internal representation */
|
||||
cpu_model_from_info(&s390_model, model, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
if (type == CPU_MODEL_EXPANSION_TYPE_STATIC) {
|
||||
delta_changes = true;
|
||||
} else if (type != CPU_MODEL_EXPANSION_TYPE_FULL) {
|
||||
error_setg(errp, "The requested expansion type is not supported.");
|
||||
return NULL;
|
||||
}
|
||||
|
||||
/* convert it back to a static representation */
|
||||
expansion_info = g_new0(CpuModelExpansionInfo, 1);
|
||||
expansion_info->model = g_malloc0(sizeof(*expansion_info->model));
|
||||
cpu_info_from_model(expansion_info->model, &s390_model, delta_changes);
|
||||
return expansion_info;
|
||||
}
|
||||
|
||||
static void list_add_feat(const char *name, void *opaque)
|
||||
{
|
||||
strList **last = (strList **) opaque;
|
||||
|
||||
QAPI_LIST_PREPEND(*last, g_strdup(name));
|
||||
}
|
||||
|
||||
CpuModelCompareInfo *qmp_query_cpu_model_comparison(CpuModelInfo *infoa,
|
||||
CpuModelInfo *infob,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
CpuModelCompareResult feat_result, gen_result;
|
||||
CpuModelCompareInfo *compare_info;
|
||||
S390FeatBitmap missing, added;
|
||||
S390CPUModel modela, modelb;
|
||||
|
||||
/* convert both models to our internal representation */
|
||||
cpu_model_from_info(&modela, infoa, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
cpu_model_from_info(&modelb, infob, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
compare_info = g_new0(CpuModelCompareInfo, 1);
|
||||
|
||||
/* check the cpu generation and ga level */
|
||||
if (modela.def->gen == modelb.def->gen) {
|
||||
if (modela.def->ec_ga == modelb.def->ec_ga) {
|
||||
/* ec and corresponding bc are identical */
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_IDENTICAL;
|
||||
} else if (modela.def->ec_ga < modelb.def->ec_ga) {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUBSET;
|
||||
} else {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUPERSET;
|
||||
}
|
||||
} else if (modela.def->gen < modelb.def->gen) {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUBSET;
|
||||
} else {
|
||||
gen_result = CPU_MODEL_COMPARE_RESULT_SUPERSET;
|
||||
}
|
||||
if (gen_result != CPU_MODEL_COMPARE_RESULT_IDENTICAL) {
|
||||
/* both models cannot be made identical */
|
||||
list_add_feat("type", &compare_info->responsible_properties);
|
||||
}
|
||||
|
||||
/* check the feature set */
|
||||
if (bitmap_equal(modela.features, modelb.features, S390_FEAT_MAX)) {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_IDENTICAL;
|
||||
} else {
|
||||
bitmap_andnot(missing, modela.features, modelb.features, S390_FEAT_MAX);
|
||||
s390_feat_bitmap_to_ascii(missing,
|
||||
&compare_info->responsible_properties,
|
||||
list_add_feat);
|
||||
bitmap_andnot(added, modelb.features, modela.features, S390_FEAT_MAX);
|
||||
s390_feat_bitmap_to_ascii(added, &compare_info->responsible_properties,
|
||||
list_add_feat);
|
||||
if (bitmap_empty(missing, S390_FEAT_MAX)) {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_SUBSET;
|
||||
} else if (bitmap_empty(added, S390_FEAT_MAX)) {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_SUPERSET;
|
||||
} else {
|
||||
feat_result = CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE;
|
||||
}
|
||||
}
|
||||
|
||||
/* combine the results */
|
||||
if (gen_result == feat_result) {
|
||||
compare_info->result = gen_result;
|
||||
} else if (feat_result == CPU_MODEL_COMPARE_RESULT_IDENTICAL) {
|
||||
compare_info->result = gen_result;
|
||||
} else if (gen_result == CPU_MODEL_COMPARE_RESULT_IDENTICAL) {
|
||||
compare_info->result = feat_result;
|
||||
} else {
|
||||
compare_info->result = CPU_MODEL_COMPARE_RESULT_INCOMPATIBLE;
|
||||
}
|
||||
return compare_info;
|
||||
}
|
||||
|
||||
CpuModelBaselineInfo *qmp_query_cpu_model_baseline(CpuModelInfo *infoa,
|
||||
CpuModelInfo *infob,
|
||||
Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
CpuModelBaselineInfo *baseline_info;
|
||||
S390CPUModel modela, modelb, model;
|
||||
uint16_t cpu_type;
|
||||
uint8_t max_gen_ga;
|
||||
uint8_t max_gen;
|
||||
|
||||
/* convert both models to our internal representation */
|
||||
cpu_model_from_info(&modela, infoa, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
cpu_model_from_info(&modelb, infob, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return NULL;
|
||||
}
|
||||
|
||||
/* features both models support */
|
||||
bitmap_and(model.features, modela.features, modelb.features, S390_FEAT_MAX);
|
||||
|
||||
/* detect the maximum model not regarding features */
|
||||
if (modela.def->gen == modelb.def->gen) {
|
||||
if (modela.def->type == modelb.def->type) {
|
||||
cpu_type = modela.def->type;
|
||||
} else {
|
||||
cpu_type = 0;
|
||||
}
|
||||
max_gen = modela.def->gen;
|
||||
max_gen_ga = MIN(modela.def->ec_ga, modelb.def->ec_ga);
|
||||
} else if (modela.def->gen > modelb.def->gen) {
|
||||
cpu_type = modelb.def->type;
|
||||
max_gen = modelb.def->gen;
|
||||
max_gen_ga = modelb.def->ec_ga;
|
||||
} else {
|
||||
cpu_type = modela.def->type;
|
||||
max_gen = modela.def->gen;
|
||||
max_gen_ga = modela.def->ec_ga;
|
||||
}
|
||||
|
||||
model.def = s390_find_cpu_def(cpu_type, max_gen, max_gen_ga,
|
||||
model.features);
|
||||
|
||||
/* models without early base features (esan3) are bad */
|
||||
if (!model.def) {
|
||||
error_setg(errp, "No compatible CPU model could be created as"
|
||||
" important base features are disabled");
|
||||
return NULL;
|
||||
}
|
||||
|
||||
/* strip off features not part of the max model */
|
||||
bitmap_and(model.features, model.features, model.def->full_feat,
|
||||
S390_FEAT_MAX);
|
||||
|
||||
baseline_info = g_new0(CpuModelBaselineInfo, 1);
|
||||
baseline_info->model = g_malloc0(sizeof(*baseline_info->model));
|
||||
cpu_info_from_model(baseline_info->model, &model, true);
|
||||
return baseline_info;
|
||||
}
|
||||
|
||||
void apply_cpu_model(const S390CPUModel *model, Error **errp)
|
||||
{
|
||||
Error *err = NULL;
|
||||
static S390CPUModel applied_model;
|
||||
static bool applied;
|
||||
|
||||
/*
|
||||
* We have the same model for all VCPUs. KVM can only be configured before
|
||||
* any VCPUs are defined in KVM.
|
||||
*/
|
||||
if (applied) {
|
||||
if (model && memcmp(&applied_model, model, sizeof(S390CPUModel))) {
|
||||
error_setg(errp, "Mixed CPU models are not supported on s390x.");
|
||||
}
|
||||
return;
|
||||
}
|
||||
|
||||
if (kvm_enabled()) {
|
||||
kvm_s390_apply_cpu_model(model, &err);
|
||||
if (err) {
|
||||
error_propagate(errp, err);
|
||||
return;
|
||||
}
|
||||
}
|
||||
|
||||
applied = true;
|
||||
if (model) {
|
||||
applied_model = *model;
|
||||
}
|
||||
}
|
20
target/s390x/cpu_models_user.c
Normal file
20
target/s390x/cpu_models_user.c
Normal file
@ -0,0 +1,20 @@
|
||||
/*
|
||||
* CPU models for s390x - User-mode
|
||||
*
|
||||
* Copyright 2016 IBM Corp.
|
||||
*
|
||||
* Author(s): David Hildenbrand <dahi@linux.vnet.ibm.com>
|
||||
*
|
||||
* This work is licensed under the terms of the GNU GPL, version 2 or (at
|
||||
* your option) any later version. See the COPYING file in the top-level
|
||||
* directory.
|
||||
*/
|
||||
|
||||
#include "qemu/osdep.h"
|
||||
#include "cpu.h"
|
||||
#include "s390x-internal.h"
|
||||
#include "qapi/error.h"
|
||||
|
||||
void apply_cpu_model(const S390CPUModel *model, Error **errp)
|
||||
{
|
||||
}
|
@ -28,9 +28,13 @@ s390x_softmmu_ss.add(files(
|
||||
'mmu_helper.c',
|
||||
'sigp.c',
|
||||
'cpu-sysemu.c',
|
||||
'cpu_models_sysemu.c',
|
||||
))
|
||||
|
||||
s390x_user_ss = ss.source_set()
|
||||
s390x_user_ss.add(files(
|
||||
'cpu_models_user.c',
|
||||
))
|
||||
|
||||
subdir('tcg')
|
||||
subdir('kvm')
|
||||
|
@ -261,6 +261,8 @@ static inline void s390_cpu_unhalt(S390CPU *cpu)
|
||||
/* cpu_models.c */
|
||||
void s390_cpu_model_class_register_props(ObjectClass *oc);
|
||||
void s390_realize_cpu_model(CPUState *cs, Error **errp);
|
||||
S390CPUModel *get_max_cpu_model(Error **errp);
|
||||
void apply_cpu_model(const S390CPUModel *model, Error **errp);
|
||||
ObjectClass *s390_cpu_class_by_name(const char *name);
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user