On Sun, Apr 21, 2024, Michael Roth wrote:
> +static int snp_begin_psc_msr(struct kvm_vcpu *vcpu, u64 ghcb_msr)
> +{
> + u64 gpa = gfn_to_gpa(GHCB_MSR_PSC_REQ_TO_GFN(ghcb_msr));
> + u8 op = GHCB_MSR_PSC_REQ_TO_OP(ghcb_msr);
> + struct vcpu_svm *svm = to_svm(vcpu);
> +
> + if (op != SNP_PAGE_STATE_PRIVATE && op != SNP_PAGE_STATE_SHARED) {
> + set_ghcb_msr(svm, GHCB_MSR_PSC_RESP_ERROR);
> + return 1; /* resume guest */
> + }
> +
> + vcpu->run->exit_reason = KVM_EXIT_VMGEXIT;
> + vcpu->run->vmgexit.type = KVM_USER_VMGEXIT_PSC_MSR;
> + vcpu->run->vmgexit.psc_msr.gpa = gpa;
> + vcpu->run->vmgexit.psc_msr.op = op;
Argh, no.
This is the same crud that TDX tried to push[*]. Use KVM's existing user exits,
and extend as *needed*. There is no good reason page state change requests need
*two* exit reasons. The *only* thing KVM supports right now is private<=>shared
conversions, and that can be handled with either KVM_HC_MAP_GPA_RANGE or
KVM_EXIT_MEMORY_FAULT.
The non-MSR flavor can batch requests, but I'm willing to bet that the overwhelming
majority of requests are contiguous, i.e. can be combined into a range by KVM,
and that handling any outliers by performing multiple exits to userspace will
provide sufficient performance.
And the non-MSR version that comes in later patch is a complete mess. It kicks
the PSC out to userspace without *any* validation. As I complained in the TDX
thread, that will create an unmaintable ABI for KVM.
KVM needs to have its own, well-defined ABI. Splitting functionality between
KVM and userspace at seemingly random points is not maintainable.
E.g. if/when KVM supports UNSMASH, upgrading to the KVM would arguably break
userspace as PSC requests that previously exited would suddenly be handled by
KVM. Maybe. It's impossible to review this because there's no KVM ABI, KVM is
little more than a dumb pipe parroting information to userspace.
I truly do not understand why we would even consider allowing this. We push back
on people wanting new hypercalls for some specific use case, because we already
have generic ways to achieve things, but then CoCo comes along and we apparently
throw out any thought of maintainability. I don't get it.
[*] https://lore.kernel.org/all/Zg18ul8Q4PGQMWam@xxxxxxxxxx
