From: Paolo Bonzini <pbonzini@redhat.com>
To: "Radim Krčmář" <rkrcmar@redhat.com>, "Joel Schopp" <joel.schopp@amd.com>
Cc: Gleb Natapov <gleb@kernel.org>,
kvm@vger.kernel.org, David Kaplan <David.Kaplan@amd.com>,
Joerg Roedel <joro@8bytes.org>,
linux-kernel@vger.kernel.org, Borislav Petkov <bp@alien8.de>
Subject: Re: [PATCH v3] x86: svm: use kvm_fast_pio_in()
Date: Tue, 07 Apr 2015 14:55:45 +0200 [thread overview]
Message-ID: <5523D3D1.7090909@redhat.com> (raw)
In-Reply-To: <20150303204206.GH25123@potion.brq.redhat.com>
On 03/03/2015 21:42, Radim Krčmář wrote:
> 2015-03-03 13:48-0600, Joel Schopp:
>>>> + unsigned long new_rax = kvm_register_read(vcpu, VCPU_REGS_RAX);
>>> Shouldn't we handle writes in EAX differently than in AX and AL, because
>>> of implicit zero extension.
>> I don't think the implicit zero extension hurts us here, but maybe there
>> is something I'm missing that I need understand. Could you explain this
>> further?
>
> According to APM vol.2, 2.5.3 Operands and Results, when using EAX,
> we should zero upper 32 bits of RAX:
>
> Zero Extension of Results. In 64-bit mode, when performing 32-bit
> operations with a GPR destination, the processor zero-extends the 32-bit
> result into the full 64-bit destination. Both 8-bit and 16-bit
> operations on GPRs preserve all unwritten upper bits of the destination
> GPR. This is consistent with legacy 16-bit and 32-bit semantics for
> partial-width results.
>
> Is IN not covered?
It is. You need to zero the upper 32 bits.
>>>> + BUG_ON(!vcpu->arch.pio.count);
>>>> + BUG_ON(vcpu->arch.pio.count * vcpu->arch.pio.size > sizeof(new_rax));
>>> (Looking at it again, a check for 'vcpu->arch.pio.count == 1' would be
>>> sufficient.)
>> I prefer the checks that are there now after your last review,
>> especially since surrounded by BUG_ON they only run on debug kernels.
>
> BUG_ON is checked on essentially all kernels that run KVM.
> (All distribution-based configs should have it.)
Correct.
> If we wanted to validate the size, then this is strictly better:
> BUG_ON(vcpu->arch.pio.count != 1 || vcpu->arch.pio.size > sizeof(new_rax))
That would be a very weird assertion considering that
vcpu->arch.pio.size will architecturally be at most 4.
The first arm of the || is sufficient.
>>>> + memcpy(&new_rax, vcpu, sizeof(new_rax));
>>>> + trace_kvm_pio(KVM_PIO_IN, vcpu->arch.pio.port, vcpu->arch.pio.size,
>>>> + vcpu->arch.pio.count, vcpu->arch.pio_data);
>>>> + kvm_register_write(vcpu, VCPU_REGS_RAX, new_rax);
>>>> + vcpu->arch.pio.count = 0;
>>> I think it is better to call emulator_pio_in_emulated directly, like
>>>
>>> emulator_pio_in_out(&vcpu->arch.emulate_ctxt, vcpu->arch.pio.size,
>>> vcpu->arch.pio.port, &new_rax, 1);
>>> kvm_register_write(vcpu, VCPU_REGS_RAX, new_rax);
>>>
>>> because we know that vcpu->arch.pio.count != 0.
>
> Pasting the same code creates bug opportunities when we forget to modify
> all places. This class of problems can be harder to deal with, that (c)
> and (d), because we can't simply print all callers.
I agree with this and prefer calling emulator_pio_in_emulated in
complete_fast_pio_in, indeed.
>>> Refactoring could avoid the weird vcpu->ctxt->vcpu conversion.
>>> (A better name is always welcome.)
No need for that.
>> The pointer chasing is making me dizzy. I'm not sure why
>> emulator_pio_in_emulated takes a x86_emulate_ctxt when all it does it
>> immediately translate that to a vcpu and never use the x86_emulate_ctxt,
>> why not pass the vcpu in the first place?
Because the emulator is written to be usable outside the Linux kernel as
well.
Also, the fast path (used if kernel_pio returns 0) doesn't read
VCPU_REGS_RAX, thus using an uninitialized variable here:
>>> + unsigned long val;
>>> + int ret = emulator_pio_in_emulated(&vcpu->arch.emulate_ctxt, size,
>>> + port, &val, 1);
>>> +
>>> + if (ret)
>>> + kvm_register_write(vcpu, VCPU_REGS_RAX, val);
Thanks,
Paolo
next prev parent reply other threads:[~2015-04-07 12:55 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-03-02 21:02 [PATCH v3] x86: svm: use kvm_fast_pio_in() Joel Schopp
2015-03-03 16:42 ` Radim Krčmář
2015-03-03 19:48 ` Joel Schopp
2015-03-03 20:42 ` Radim Krčmář
2015-04-07 12:55 ` Paolo Bonzini [this message]
2015-03-03 16:44 ` Radim Krčmář
2015-03-03 20:03 ` Joel Schopp
2015-03-03 20:44 ` Radim Krčmář
2015-03-13 0:47 ` Marcelo Tosatti
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5523D3D1.7090909@redhat.com \
--to=pbonzini@redhat.com \
--cc=David.Kaplan@amd.com \
--cc=bp@alien8.de \
--cc=gleb@kernel.org \
--cc=joel.schopp@amd.com \
--cc=joro@8bytes.org \
--cc=kvm@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=rkrcmar@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox