[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <gsntbk55agni.fsf@coltonlewis-kvm.c.googlers.com>
Date: Thu, 16 May 2024 16:02:57 +0000
From: Colton Lewis <coltonlewis@...gle.com>
To: Marc Zyngier <maz@...nel.org>
Cc: kvm@...r.kernel.org, corbet@....net, oliver.upton@...ux.dev,
james.morse@....com, suzuki.poulose@....com, yuzenghui@...wei.com,
catalin.marinas@....com, will@...nel.org, linux-doc@...r.kernel.org,
linux-kernel@...r.kernel.org, linux-arm-kernel@...ts.infradead.org,
kvmarm@...ts.linux.dev
Subject: Re: [PATCH v5] KVM: arm64: Add early_param to control WFx trapping
Hi Marc. Thanks for the review.
Marc Zyngier <maz@...nel.org> writes:
> On Tue, 30 Apr 2024 19:14:44 +0100,
> Colton Lewis <coltonlewis@...gle.com> wrote:
>> diff --git a/Documentation/admin-guide/kernel-parameters.txt
>> b/Documentation/admin-guide/kernel-parameters.txt
>> index 31b3a25680d0..a4d94d9abbe4 100644
>> --- a/Documentation/admin-guide/kernel-parameters.txt
>> +++ b/Documentation/admin-guide/kernel-parameters.txt
>> @@ -2653,6 +2653,22 @@
>> [KVM,ARM] Allow use of GICv4 for direct injection of
>> LPIs.
>> + kvm-arm.wfe_trap_policy=
>> + [KVM,ARM] Control when to set WFE instruction trap for
>> + KVM VMs.
>> +
>> + trap: set WFE instruction trap
>> +
>> + notrap: clear WFE instruction trap
>> +
>> + kvm-arm.wfi_trap_policy=
>> + [KVM,ARM] Control when to set WFI instruction trap for
>> + KVM VMs.
>> +
>> + trap: set WFI instruction trap
>> +
>> + notrap: clear WFI instruction trap
>> +
> Please make it clear that neither traps are guaranteed. The
> architecture *allows* an implementation to trap when no events (resp.
> interrupts) are pending, but nothing more. An implementation is
> perfectly allowed to ignore these bits.
Will do. I'll just add an additional sentence stating "Traps are allowed
but not guaranteed by the CPU architecture"
>> diff --git a/arch/arm64/include/asm/kvm_host.h
>> b/arch/arm64/include/asm/kvm_host.h
>> index 21c57b812569..315ee7bfc1cb 100644
>> --- a/arch/arm64/include/asm/kvm_host.h
>> +++ b/arch/arm64/include/asm/kvm_host.h
>> @@ -67,6 +67,13 @@ enum kvm_mode {
>> KVM_MODE_NV,
>> KVM_MODE_NONE,
>> };
>> +
>> +enum kvm_wfx_trap_policy {
>> + KVM_WFX_NOTRAP_SINGLE_TASK, /* Default option */
>> + KVM_WFX_NOTRAP,
>> + KVM_WFX_TRAP,
>> +};
> Since this is only ever used in arm.c, it really doesn't need to be
> exposed anywhere else.
I can move it to there.
>> diff --git a/arch/arm64/kvm/arm.c b/arch/arm64/kvm/arm.c
>> index a25265aca432..5ec52333e042 100644
>> --- a/arch/arm64/kvm/arm.c
>> +++ b/arch/arm64/kvm/arm.c
>> @@ -46,6 +46,8 @@
>> #include <kvm/arm_psci.h>
>> static enum kvm_mode kvm_mode = KVM_MODE_DEFAULT;
>> +static enum kvm_wfx_trap_policy kvm_wfi_trap_policy =
>> KVM_WFX_NOTRAP_SINGLE_TASK;
>> +static enum kvm_wfx_trap_policy kvm_wfe_trap_policy =
>> KVM_WFX_NOTRAP_SINGLE_TASK;
> It would be worth declaring those as __read_mostly.
Will do.
>> +static bool kvm_vcpu_should_clear_twi(struct kvm_vcpu *vcpu)
>> +{
>> + if (likely(kvm_wfi_trap_policy == KVM_WFX_NOTRAP_SINGLE_TASK))
>> + return single_task_running() &&
>> + (atomic_read(&vcpu->arch.vgic_cpu.vgic_v3.its_vpe.vlpi_count) ||
>> + vcpu->kvm->arch.vgic.nassgireq);
> So you are evaluating a runtime condition (scheduler queue length,
> number of LPIs)...
Yes. Only in the case of default behavior when no option is given, which
should be equivalent to what the code was doing before.
>> +
>> + return kvm_wfi_trap_policy == KVM_WFX_NOTRAP;
>> +}
>> +
>> +static bool kvm_vcpu_should_clear_twe(struct kvm_vcpu *vcpu)
>> +{
>> + if (likely(kvm_wfe_trap_policy == KVM_WFX_NOTRAP_SINGLE_TASK))
>> + return single_task_running();
>> +
>> + return kvm_wfe_trap_policy == KVM_WFX_NOTRAP;
>> +}
>> +
>> +static inline void kvm_vcpu_reset_hcr(struct kvm_vcpu *vcpu)
> Why the inline?
Because I moved it from the kvm_emulate.h header with no
modification. It doesn't have to be.
>> +{
>> + vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
>> + if (has_vhe() || has_hvhe())
>> + vcpu->arch.hcr_el2 |= HCR_E2H;
>> + if (cpus_have_final_cap(ARM64_HAS_RAS_EXTN)) {
>> + /* route synchronous external abort exceptions to EL2 */
>> + vcpu->arch.hcr_el2 |= HCR_TEA;
>> + /* trap error record accesses */
>> + vcpu->arch.hcr_el2 |= HCR_TERR;
>> + }
>> +
>> + if (cpus_have_final_cap(ARM64_HAS_STAGE2_FWB)) {
>> + vcpu->arch.hcr_el2 |= HCR_FWB;
>> + } else {
>> + /*
>> + * For non-FWB CPUs, we trap VM ops (HCR_EL2.TVM) until M+C
>> + * get set in SCTLR_EL1 such that we can detect when the guest
>> + * MMU gets turned on and do the necessary cache maintenance
>> + * then.
>> + */
>> + vcpu->arch.hcr_el2 |= HCR_TVM;
>> + }
>> +
>> + if (cpus_have_final_cap(ARM64_HAS_EVT) &&
>> + !cpus_have_final_cap(ARM64_MISMATCHED_CACHE_TYPE))
>> + vcpu->arch.hcr_el2 |= HCR_TID4;
>> + else
>> + vcpu->arch.hcr_el2 |= HCR_TID2;
>> +
>> + if (vcpu_el1_is_32bit(vcpu))
>> + vcpu->arch.hcr_el2 &= ~HCR_RW;
>> +
>> + if (kvm_has_mte(vcpu->kvm))
>> + vcpu->arch.hcr_el2 |= HCR_ATA;
>> +
>> +
>> + if (kvm_vcpu_should_clear_twe(vcpu))
>> + vcpu->arch.hcr_el2 &= ~HCR_TWE;
>> + else
>> + vcpu->arch.hcr_el2 |= HCR_TWE;
>> +
>> + if (kvm_vcpu_should_clear_twi(vcpu))
>> + vcpu->arch.hcr_el2 &= ~HCR_TWI;
>> + else
>> + vcpu->arch.hcr_el2 |= HCR_TWI;
> ... and from the above runtime conditions you make it a forever
> decision, for a vcpu that still hasn't executed a single instruction.
> What could possibly go wrong?
Oh I see. kvm_arch_vcpu_ioctl_vcpu_init only executes once when the vcpu
is created (makes sense given the name), thereby making the decision
permanent for the life of the vcpu. I misunderstood that fact before.
I will move the decision back to when the vcpu is loaded as it was in
earlier versions of this series.
>> +static int __init early_kvm_wfx_trap_policy_cfg(char *arg, enum
>> kvm_wfx_trap_policy *p)
>> +{
>> + if (!arg)
>> + return -EINVAL;
>> +
>> + if (strcmp(arg, "trap") == 0) {
>> + *p = KVM_WFX_TRAP;
>> + return 0;
>> + }
>> +
>> + if (strcmp(arg, "notrap") == 0) {
>> + *p = KVM_WFX_NOTRAP;
>> + return 0;
>> + }
>> +
>> + if (strcmp(arg, "default") == 0) {
>> + *p = KVM_WFX_NOTRAP_SINGLE_TASK;
>> + return 0;
>> + }
> Where is this "default" coming from? It's not documented.
It was explicitly documented on earlier patch versions, but then I was
told we didn't want people to rely on the default behavior so we have
flexibility to change it in the future.
There isn't much use for it if it isn't documented, so I'll take it out.
Powered by blists - more mailing lists