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