lkml.org 
[lkml]   [2021]   [Mar]   [16]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    SubjectRe: [PATCH 2/3] KVM: x86: guest debug: don't inject interrupts while single stepping
    From
    Date
    On Mon, 2021-03-15 at 16:37 -0700, Sean Christopherson wrote:
    > On Tue, Mar 16, 2021, Maxim Levitsky wrote:
    > > This change greatly helps with two issues:
    > >
    > > * Resuming from a breakpoint is much more reliable.
    > >
    > > When resuming execution from a breakpoint, with interrupts enabled, more often
    > > than not, KVM would inject an interrupt and make the CPU jump immediately to
    > > the interrupt handler and eventually return to the breakpoint, to trigger it
    > > again.
    > >
    > > From the user point of view it looks like the CPU never executed a
    > > single instruction and in some cases that can even prevent forward progress,
    > > for example, when the breakpoint is placed by an automated script
    > > (e.g lx-symbols), which does something in response to the breakpoint and then
    > > continues the guest automatically.
    > > If the script execution takes enough time for another interrupt to arrive,
    > > the guest will be stuck on the same breakpoint RIP forever.
    > >
    > > * Normal single stepping is much more predictable, since it won't land the
    > > debugger into an interrupt handler, so it is much more usable.
    > >
    > > (If entry to an interrupt handler is desired, the user can still place a
    > > breakpoint at it and resume the guest, which won't activate this workaround
    > > and let the gdb still stop at the interrupt handler)
    > >
    > > Since this change is only active when guest is debugged, it won't affect
    > > KVM running normal 'production' VMs.
    > >
    > >
    > > Signed-off-by: Maxim Levitsky <mlevitsk@redhat.com>
    > > Tested-by: Stefano Garzarella <sgarzare@redhat.com>
    > > ---
    > > arch/x86/kvm/x86.c | 6 ++++++
    > > 1 file changed, 6 insertions(+)
    > >
    > > diff --git a/arch/x86/kvm/x86.c b/arch/x86/kvm/x86.c
    > > index a9d95f90a0487..b75d990fcf12b 100644
    > > --- a/arch/x86/kvm/x86.c
    > > +++ b/arch/x86/kvm/x86.c
    > > @@ -8458,6 +8458,12 @@ static void inject_pending_event(struct kvm_vcpu *vcpu, bool *req_immediate_exit
    > > can_inject = false;
    > > }
    > >
    > > + /*
    > > + * Don't inject interrupts while single stepping to make guest debug easier
    > > + */
    > > + if (vcpu->guest_debug & KVM_GUESTDBG_SINGLESTEP)
    > > + return;
    >
    > Is this something userspace can deal with? E.g. disable IRQs and/or set NMI
    > blocking at the start of single-stepping, unwind at the end? Deviating this far
    > from architectural behavior will end in tears at some point.

    I don't worry about NMI, but for IRQs, userspace can clear EFLAGS.IF, but that
    can be messy to unwind, if an instruction that clears the interrupt flag was
    single stepped over.

    There is also notion of interrupt shadow but it also is reserved for things
    like delaying interrupts for one cycle after sti, and such.

    IMHO KVM_GUESTDBG_SINGLESTEP is already non architectural feature (userspace
    basically tell the KVM to single step the guest but it doesn't set TF flag
    or something like that), so changing its definition shouldn't be a problem.

    If you worry about some automated script breaking due to the change,
    (I expect that KVM_GUESTDBG_SINGLESTEP is mostly used manually, especially
    since single stepping is never 100% reliable due to various issues like that),
    I can add another flag to it which will block all the interrupts.
    (like say KVM_GUESTDBG_BLOCKEVENTS).

    In fact qemu already has single step flags, enabled over special qemu gdb extension
    'maintenance packet qqemu.sstepbits'

    Those single step flags allow to disable interrupts and qemu timers during the single stepping,
    (and both modes are enabled by default)
    However kvm code in qemu ignores these bits.


    What do you think?

    Best regards,
    Maxim Levitsky


    >
    > > +
    > > /*
    > > * Finally, inject interrupt events. If an event cannot be injected
    > > * due to architectural conditions (e.g. IF=0) a window-open exit
    > > --
    > > 2.26.2
    > >


    \
     
     \ /
      Last update: 2021-03-16 11:57    [W:5.059 / U:1.340 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site