public inbox for kvm@vger.kernel.org
 help / color / mirror / Atom feed
From: Jan Kiszka <jan.kiszka@web.de>
To: Arthur Chunqi Li <yzt356@gmail.com>
Cc: kvm <kvm@vger.kernel.org>, Gleb Natapov <gleb@redhat.com>,
	Paolo Bonzini <pbonzini@redhat.com>
Subject: Re: [PATCH 3/4] kvm-unit-tests: VMX: Add test cases for I/O bitmaps
Date: Thu, 15 Aug 2013 10:13:12 +0200	[thread overview]
Message-ID: <520C8D98.6060805@web.de> (raw)
In-Reply-To: <CABpY8MJfLgxizB5_-2nzoLv4L-__-aGkYwyRt9+VypFq2-JU+g@mail.gmail.com>

[-- Attachment #1: Type: text/plain, Size: 5894 bytes --]

On 2013-08-15 10:09, Arthur Chunqi Li wrote:
> On Thu, Aug 15, 2013 at 3:58 PM, Jan Kiszka <jan.kiszka@web.de> wrote:
>> On 2013-08-15 09:51, Arthur Chunqi Li wrote:
>>> On Thu, Aug 15, 2013 at 3:40 PM, Jan Kiszka <jan.kiszka@web.de> wrote:
>>>> On 2013-08-13 17:56, Arthur Chunqi Li wrote:
>>>>> Add test cases for I/O bitmaps, including corner cases.
>>>>
>>>> Would be good to briefly list the corner cases here.
>>>>
>>>>>
>>>>> Signed-off-by: Arthur Chunqi Li <yzt356@gmail.com>
>>>>> ---
>>>>>  x86/vmx.h       |    6 +-
>>>>>  x86/vmx_tests.c |  167 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
>>>>>  2 files changed, 170 insertions(+), 3 deletions(-)
>>>>>
>>>>> diff --git a/x86/vmx.h b/x86/vmx.h
>>>>> index 18961f1..dba8b20 100644
>>>>> --- a/x86/vmx.h
>>>>> +++ b/x86/vmx.h
>>>>> @@ -417,15 +417,15 @@ enum Ctrl1 {
>>>>>       "popf\n\t"
>>>>>
>>>>>  #define VMX_IO_SIZE_MASK             0x7
>>>>> -#define _VMX_IO_BYTE                 1
>>>>> -#define _VMX_IO_WORD                 2
>>>>> +#define _VMX_IO_BYTE                 0
>>>>> +#define _VMX_IO_WORD                 1
>>>>>  #define _VMX_IO_LONG                 3
>>>>>  #define VMX_IO_DIRECTION_MASK                (1ul << 3)
>>>>>  #define VMX_IO_IN                    (1ul << 3)
>>>>>  #define VMX_IO_OUT                   0
>>>>>  #define VMX_IO_STRING                        (1ul << 4)
>>>>>  #define VMX_IO_REP                   (1ul << 5)
>>>>> -#define VMX_IO_OPRAND_DX             (1ul << 6)
>>>>> +#define VMX_IO_OPRAND_IMM            (1ul << 6)
>>>>>  #define VMX_IO_PORT_MASK             0xFFFF0000
>>>>>  #define VMX_IO_PORT_SHIFT            16
>>>>>
>>>>> diff --git a/x86/vmx_tests.c b/x86/vmx_tests.c
>>>>> index 44be3f4..ad28c4c 100644
>>>>> --- a/x86/vmx_tests.c
>>>>> +++ b/x86/vmx_tests.c
>>>>> @@ -2,10 +2,13 @@
>>>>>  #include "msr.h"
>>>>>  #include "processor.h"
>>>>>  #include "vm.h"
>>>>> +#include "io.h"
>>>>>
>>>>>  u64 ia32_pat;
>>>>>  u64 ia32_efer;
>>>>>  u32 stage;
>>>>> +void *io_bitmap_a, *io_bitmap_b;
>>>>> +u16 ioport;
>>>>>
>>>>>  static inline void vmcall()
>>>>>  {
>>>>> @@ -473,6 +476,168 @@ static int cr_shadowing_exit_handler()
>>>>>       return VMX_TEST_VMEXIT;
>>>>>  }
>>>>>
>>>>> +static void iobmp_init()
>>>>> +{
>>>>> +     u32 ctrl_cpu0;
>>>>> +
>>>>> +     io_bitmap_a = alloc_page();
>>>>> +     io_bitmap_a = alloc_page();
>>>>> +     memset(io_bitmap_a, 0x0, PAGE_SIZE);
>>>>> +     memset(io_bitmap_b, 0x0, PAGE_SIZE);
>>>>> +     ctrl_cpu0 = vmcs_read(CPU_EXEC_CTRL0);
>>>>> +     ctrl_cpu0 |= CPU_IO_BITMAP;
>>>>> +     ctrl_cpu0 &= (~CPU_IO);
>>>>> +     vmcs_write(CPU_EXEC_CTRL0, ctrl_cpu0);
>>>>> +     vmcs_write(IO_BITMAP_A, (u64)io_bitmap_a);
>>>>> +     vmcs_write(IO_BITMAP_B, (u64)io_bitmap_b);
>>>>> +}
>>>>> +
>>>>> +static void iobmp_main()
>>>>> +{
>>>>> +/*
>>>>> +     data = (u8 *)io_bitmap_b;
>>>>> +     ioport = 0xffff;
>>>>> +     data[(ioport - 0x8000) /8] |= (1 << (ioport % 8));
>>>>> +     inb(ioport);
>>>>> +     outb(0, ioport);
>>>>> +*/
>>>>
>>>> Forgotten debug code?
>>>>
>>>>> +     // stage 0, test IO pass
>>>>> +     set_stage(0);
>>>>> +     inb(0x5000);
>>>>> +     outb(0x0, 0x5000);
>>>>> +     if (stage != 0)
>>>>> +             report("I/O bitmap - I/O pass", 0);
>>>>> +     else
>>>>> +             report("I/O bitmap - I/O pass", 1);
>>>>> +     // test IO width, in/out
>>>>> +     ((u8 *)io_bitmap_a)[0] = 0xFF;
>>>>> +     set_stage(2);
>>>>> +     inb(0x0);
>>>>> +     if (stage != 3)
>>>>> +             report("I/O bitmap - trap in", 0);
>>>>> +     else
>>>>> +             report("I/O bitmap - trap in", 1);
>>>>> +     set_stage(3);
>>>>> +     outw(0x0, 0x0);
>>>>> +     if (stage != 4)
>>>>> +             report("I/O bitmap - trap out", 0);
>>>>> +     else
>>>>> +             report("I/O bitmap - trap out", 1);
>>>>> +     set_stage(4);
>>>>> +     inl(0x0);
>>>>
>>>> Forgot to check the progress?
>>>>
>>>>> +     // test low/high IO port
>>>>> +     set_stage(5);
>>>>> +     ((u8 *)io_bitmap_a)[0x5000 / 8] = (1 << (0x5000 % 8));
>>>>> +     inb(0x5000);
>>>>> +     if (stage == 6)
>>>>> +             report("I/O bitmap - I/O port, low part", 1);
>>>>> +     else
>>>>> +             report("I/O bitmap - I/O port, low part", 0);
>>>>> +     set_stage(6);
>>>>> +     ((u8 *)io_bitmap_b)[0x1000 / 8] = (1 << (0x1000 % 8));
>>>>> +     inb(0x9000);
>>>>> +     if (stage == 7)
>>>>> +             report("I/O bitmap - I/O port, high part", 1);
>>>>> +     else
>>>>> +             report("I/O bitmap - I/O port, high part", 0);
>>>>> +     // test partial pass
>>>>> +     set_stage(7);
>>>>> +     inl(0x4FFF);
>>>>> +     if (stage == 8)
>>>>> +             report("I/O bitmap - partial pass", 1);
>>>>> +     else
>>>>> +             report("I/O bitmap - partial pass", 0);
>>>>> +     // test overrun
>>>>> +     set_stage(8);
>>>>> +     memset(io_bitmap_b, 0xFF, PAGE_SIZE);
>>>>> +     inl(0xFFFF);
>>>>
>>>> Let's check the expected stage also here.
>>> The check is below "if (stage == 9)", the following "memset" is just
>>> used to prevent I/O mask to printf.
>>
>> Right, there is an i/o instruction missing below after the second memset
>> - or I cannot follow what you are trying to test. The above inl would
>> always trigger, independent of the wrap-around. Only if you clear both
>> bitmaps, we get to the "interesting" scenario. So something is still
>> wrong here, no?
> Yes, we need to memset io_bit_map_a to 0 here. The above inl and the
> test "if (stage == 9)" are cooperatively used to test I/O overrun:
> test 4 bits width "in" to 0xFFFF.

The point is that, according to our understanding of the SDM, we should
even see a trap in this wrap-around scenario if both bitmaps are cleared.

Jan



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 263 bytes --]

  reply	other threads:[~2013-08-15  8:13 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-08-13 15:56 [PATCH 0/4] kvm-unit-tests: Add a series of test cases Arthur Chunqi Li
2013-08-13 15:56 ` [PATCH 1/4] kvm-unit-tests: VMX: Add test cases for PAT and EFER Arthur Chunqi Li
2013-08-15  7:17   ` Jan Kiszka
2013-08-15  7:41     ` Arthur Chunqi Li
2013-08-15  7:48       ` Jan Kiszka
2013-08-15  8:05         ` Arthur Chunqi Li
2013-08-15  8:09           ` Jan Kiszka
2013-08-13 15:56 ` [PATCH 2/4] kvm-unit-tests: VMX: Add test cases for CR0/4 shadowing Arthur Chunqi Li
2013-08-15  7:30   ` Jan Kiszka
2013-08-15  7:40     ` Arthur Chunqi Li
2013-08-15  7:47       ` Jan Kiszka
2013-08-15  7:59         ` Arthur Chunqi Li
2013-08-15  8:07           ` Jan Kiszka
2013-08-18 14:07           ` Paolo Bonzini
2013-08-18 14:32             ` Gmail
2013-08-13 15:56 ` [PATCH 3/4] kvm-unit-tests: VMX: Add test cases for I/O bitmaps Arthur Chunqi Li
2013-08-15  7:40   ` Jan Kiszka
2013-08-15  7:51     ` Arthur Chunqi Li
2013-08-15  7:58       ` Jan Kiszka
2013-08-15  8:09         ` Arthur Chunqi Li
2013-08-15  8:13           ` Jan Kiszka [this message]
2013-08-15  8:20             ` Arthur Chunqi Li
2013-08-15  8:23               ` Jan Kiszka
2013-08-15 10:43                 ` Arthur Chunqi Li
2013-08-13 15:56 ` [PATCH 4/4] kvm-unit-tests: VMX: Add test cases for instruction interception Arthur Chunqi Li
2013-08-15  8:06   ` Jan Kiszka
2013-08-15  8:16     ` Arthur Chunqi Li
2013-08-15  8:20       ` Jan Kiszka
2013-08-15  8:35         ` Arthur Chunqi Li
2013-08-15  8:40           ` Jan Kiszka
2013-08-15  8:48             ` Arthur Chunqi Li
2013-08-15  9:15               ` Jan Kiszka

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=520C8D98.6060805@web.de \
    --to=jan.kiszka@web.de \
    --cc=gleb@redhat.com \
    --cc=kvm@vger.kernel.org \
    --cc=pbonzini@redhat.com \
    --cc=yzt356@gmail.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