spapr: Treat Hardware Transactional Memory (HTM) as an optional capability

This adds an spapr capability bit for Hardware Transactional Memory.  It is
enabled by default for pseries-2.11 and earlier machine types. with POWER8
or later CPUs (as it must be, since earlier qemu versions would implicitly
allow it).  However it is disabled by default for the latest pseries-2.12
machine type.

This means that with the latest machine type, HTM will not be available,
regardless of CPU, unless it is explicitly enabled on the command line.
That change is made on the basis that:

 * This way running with -M pseries,accel=tcg will start with whatever cpu
   and will provide the same guest visible model as with accel=kvm.
     - More specifically, this means existing make check tests don't have
       to be modified to use cap-htm=off in order to run with TCG

 * We hope to add a new "HTM without suspend" feature in the not too
   distant future which could work on both POWER8 and POWER9 cpus, and
   could be enabled by default.

 * Best guesses suggest that future POWER cpus may well only support the
   HTM-without-suspend model, not the (frankly, horribly overcomplicated)
   POWER8 style HTM with suspend.

 * Anecdotal evidence suggests problems with HTM being enabled when it
   wasn't wanted are more common than being missing when it was.

Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Reviewed-by: Greg Kurz <groug@kaod.org>
This commit is contained in:
David Gibson 2017-12-11 13:10:44 +11:00
parent 33face6b89
commit ee76a09fc7
3 changed files with 41 additions and 6 deletions

View File

@ -253,7 +253,9 @@ static int spapr_fixup_cpu_numa_dt(void *fdt, int offset, PowerPCCPU *cpu)
} }
/* Populate the "ibm,pa-features" property */ /* Populate the "ibm,pa-features" property */
static void spapr_populate_pa_features(PowerPCCPU *cpu, void *fdt, int offset, static void spapr_populate_pa_features(sPAPRMachineState *spapr,
PowerPCCPU *cpu,
void *fdt, int offset,
bool legacy_guest) bool legacy_guest)
{ {
CPUPPCState *env = &cpu->env; CPUPPCState *env = &cpu->env;
@ -318,7 +320,7 @@ static void spapr_populate_pa_features(PowerPCCPU *cpu, void *fdt, int offset,
*/ */
pa_features[3] |= 0x20; pa_features[3] |= 0x20;
} }
if (kvmppc_has_cap_htm() && pa_size > 24) { if (spapr_has_cap(spapr, SPAPR_CAP_HTM) && pa_size > 24) {
pa_features[24] |= 0x80; /* Transactional memory support */ pa_features[24] |= 0x80; /* Transactional memory support */
} }
if (legacy_guest && pa_size > 40) { if (legacy_guest && pa_size > 40) {
@ -384,8 +386,8 @@ static int spapr_fixup_cpu_dt(void *fdt, sPAPRMachineState *spapr)
return ret; return ret;
} }
spapr_populate_pa_features(cpu, fdt, offset, spapr_populate_pa_features(spapr, cpu, fdt, offset,
spapr->cas_legacy_guest_workaround); spapr->cas_legacy_guest_workaround);
} }
return ret; return ret;
} }
@ -579,7 +581,7 @@ static void spapr_populate_cpu_dt(CPUState *cs, void *fdt, int offset,
page_sizes_prop, page_sizes_prop_size))); page_sizes_prop, page_sizes_prop_size)));
} }
spapr_populate_pa_features(cpu, fdt, offset, false); spapr_populate_pa_features(spapr, cpu, fdt, offset, false);
_FDT((fdt_setprop_cell(fdt, offset, "ibm,chip-id", _FDT((fdt_setprop_cell(fdt, offset, "ibm,chip-id",
cs->cpu_index / vcpus_per_socket))); cs->cpu_index / vcpus_per_socket)));
@ -3903,7 +3905,10 @@ static void spapr_machine_2_11_instance_options(MachineState *machine)
static void spapr_machine_2_11_class_options(MachineClass *mc) static void spapr_machine_2_11_class_options(MachineClass *mc)
{ {
sPAPRMachineClass *smc = SPAPR_MACHINE_CLASS(mc);
spapr_machine_2_12_class_options(mc); spapr_machine_2_12_class_options(mc);
smc->default_caps = spapr_caps(SPAPR_CAP_HTM);
SET_MACHINE_COMPAT(mc, SPAPR_COMPAT_2_11); SET_MACHINE_COMPAT(mc, SPAPR_COMPAT_2_11);
} }

View File

@ -24,6 +24,10 @@
#include "qemu/osdep.h" #include "qemu/osdep.h"
#include "qapi/error.h" #include "qapi/error.h"
#include "qapi/visitor.h" #include "qapi/visitor.h"
#include "sysemu/hw_accel.h"
#include "target/ppc/cpu.h"
#include "cpu-models.h"
#include "kvm_ppc.h"
#include "hw/ppc/spapr.h" #include "hw/ppc/spapr.h"
@ -40,18 +44,41 @@ typedef struct sPAPRCapabilityInfo {
void (*disallow)(sPAPRMachineState *spapr, Error **errp); void (*disallow)(sPAPRMachineState *spapr, Error **errp);
} sPAPRCapabilityInfo; } sPAPRCapabilityInfo;
static void cap_htm_allow(sPAPRMachineState *spapr, Error **errp)
{
if (tcg_enabled()) {
error_setg(errp,
"No Transactional Memory support in TCG, try cap-htm=off");
} else if (kvm_enabled() && !kvmppc_has_cap_htm()) {
error_setg(errp,
"KVM implementation does not support Transactional Memory, try cap-htm=off"
);
}
}
static sPAPRCapabilityInfo capability_table[] = { static sPAPRCapabilityInfo capability_table[] = {
{
.name = "htm",
.description = "Allow Hardware Transactional Memory (HTM)",
.flag = SPAPR_CAP_HTM,
.allow = cap_htm_allow,
/* TODO: add cap_htm_disallow */
},
}; };
static sPAPRCapabilities default_caps_with_cpu(sPAPRMachineState *spapr, static sPAPRCapabilities default_caps_with_cpu(sPAPRMachineState *spapr,
CPUState *cs) CPUState *cs)
{ {
sPAPRMachineClass *smc = SPAPR_MACHINE_GET_CLASS(spapr); sPAPRMachineClass *smc = SPAPR_MACHINE_GET_CLASS(spapr);
PowerPCCPU *cpu = POWERPC_CPU(cs);
sPAPRCapabilities caps; sPAPRCapabilities caps;
caps = smc->default_caps; caps = smc->default_caps;
/* TODO: clamp according to cpu model */ if (!ppc_check_compat(cpu, CPU_POWERPC_LOGICAL_2_07,
0, spapr->max_compat_pvr)) {
caps.mask &= ~SPAPR_CAP_HTM;
}
return caps; return caps;
} }

View File

@ -54,6 +54,9 @@ typedef enum {
* Capabilities * Capabilities
*/ */
/* Hardware Transactional Memory */
#define SPAPR_CAP_HTM 0x0000000000000001ULL
typedef struct sPAPRCapabilities sPAPRCapabilities; typedef struct sPAPRCapabilities sPAPRCapabilities;
struct sPAPRCapabilities { struct sPAPRCapabilities {
uint64_t mask; uint64_t mask;