OSDN Git Service

target/ppc: remove unused interrupts from p7_deliver_interrupt
[qmiga/qemu.git] / target / s390x / cpu_models_sysemu.c
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 }