From: David Edmondson <dme@dme.org>
To: Aaron Lewis <aaronlewis@google.com>
Cc: Sean Christopherson <seanjc@google.com>,
Jim Mattson <jmattson@google.com>, kvm list <kvm@vger.kernel.org>
Subject: Re: [PATCH v2 1/2] kvm: x86: Allow userspace to handle emulation errors
Date: Wed, 21 Apr 2021 18:10:42 +0100 [thread overview]
Message-ID: <cunmttrftrh.fsf@dme.org> (raw)
In-Reply-To: <CAAAPnDH1LtRDLCjxdd8hdqABSu9JfLyxN1G0Nu1COoVbHn1MLw@mail.gmail.com>
On Wednesday, 2021-04-21 at 09:24:13 -07, Aaron Lewis wrote:
>> > + if (insn_size) {
>> > + run->emulation_failure.ndata = 3;
>> > + run->emulation_failure.flags |=
>> > + KVM_INTERNAL_ERROR_EMULATION_FLAG_INSTRUCTION_BYTES;
>> > + run->emulation_failure.insn_size = insn_size;
>> > + memcpy(run->emulation_failure.insn_bytes,
>> > + ctxt->fetch.data, sizeof(ctxt->fetch.data));
>>
>> We're relying on the fact that insn_bytes is at least as large as
>> fetch.data, which is fine, but worth an assertion?
>>
>> "Leaking" irrelevant bytes here also seems bad, but I can't immediately
>> see a problem as a result.
>>
>
> I don't think this is a problem because the instruction bytes stream
> has irrelevant bytes in it anyway. In the test attached I verify that
> it receives an flds instruction in userspace that was emulated in the
> guest. In the stream that comes through insn_size is set to 15 and
> the instruction is only 2 bytes long, so the stream has irrelevant
> bytes in it as far as this instruction is concerned.
As an experiment I added[1] reporting of the exit reason using flag 2. On
emulation failure (without the instruction bytes flag enabled), one run
of QEMU reported:
> KVM internal error. Suberror: 1
> extra data[0]: 2
> extra data[1]: 4
> extra data[2]: 0
> extra data[3]: 31
> emulation failure
data[1] and data[2] are not indicated as valid, but it seems unfortunate
that I got (not really random) garbage there.
Admittedly, with only your patches applied ndata will never skip past
any bytes, as there is only one flag. As soon as I add another, is it my
job to zero out those unused bytes? Maybe we should be clearing all of
the payload at the top of prepare_emulation_failure_exit().
Footnotes:
[1] https://disaster-area.hh.sledj.net/tmp/dme-581090/
dme.
--
Music has magic, it's good clear syncopation.
next prev parent reply other threads:[~2021-04-21 17:10 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-04-21 12:28 [PATCH v2 1/2] kvm: x86: Allow userspace to handle emulation errors Aaron Lewis
2021-04-21 12:28 ` [PATCH v2 2/2] selftests: kvm: Allows " Aaron Lewis
2021-04-21 14:03 ` [PATCH v2 1/2] kvm: x86: Allow " David Edmondson
2021-04-21 16:24 ` Aaron Lewis
2021-04-21 17:10 ` David Edmondson [this message]
2021-04-21 19:01 ` Aaron Lewis
2021-04-22 8:07 ` David Edmondson
2021-04-23 15:33 ` Sean Christopherson
2021-04-23 17:23 ` David Edmondson
2021-04-23 17:37 ` Sean Christopherson
2021-04-23 17:55 ` David Edmondson
2021-04-23 17:57 ` Jim Mattson
2021-04-23 18:01 ` Jim Mattson
2021-04-23 18:43 ` Aaron Lewis
2021-04-22 12:57 ` Jim Mattson
2021-04-23 4:14 ` Aaron Lewis
2021-04-23 16:43 ` Jim Mattson
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=cunmttrftrh.fsf@dme.org \
--to=dme@dme.org \
--cc=aaronlewis@google.com \
--cc=jmattson@google.com \
--cc=kvm@vger.kernel.org \
--cc=seanjc@google.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