lkml.org 
[lkml]   [2020]   [Apr]   [2]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRe: [patch 2/2] x86/kvm/vmx: Prevent split lock detection induced #AC wreckage
Date
> On Apr 2, 2020, at 8:30 AM, Sean Christopherson <sean.j.christopherson@intel.com> wrote:
>
> On Thu, Apr 02, 2020 at 02:33:00PM +0200, Thomas Gleixner wrote:
>> Without at least minimal handling for split lock detection induced #AC, VMX
>> will just run into the same problem as the VMWare hypervisor, which was
>> reported by Kenneth.
>>
>> It will inject the #AC blindly into the guest whether the guest is prepared
>> or not.
>>
>> Add the minimal required handling for it:
>>
>> - Check guest state whether CR0.AM is enabled and EFLAGS.AC is set. If
>> so, then the #AC originated from CPL3 and the guest has is prepared to
>> handle it. In this case it does not matter whether the #AC is due to a
>> split lock or a regular unaligned check.
>>
>> - Invoke a minimal split lock detection handler. If the host SLD mode is
>> sld_warn, then handle it in the same way as user space handling works:
>> Emit a warning, disable SLD and mark the current task with TIF_SLD.
>> With that resume the guest without injecting #AC.
>>
>> If the host mode is sld_fatal or sld_off, emit a warning and deliver
>> the exception to user space which can crash and burn itself.
>>
>> Mark the module with MOD_INFO(sld_safe, "Y") so the module loader does not
>> force SLD off.
>
> Some comments below. But, any objection to taking Xiaoyao's patches that
> do effectively the same things, minus the MOD_INFO()? I'll repost them in
> reply to this thread.

IIUC they also deal with emulated split-lock accesses in the host, during
instruction emulation [1]. This seems also to be required, although I am not
sure the approach that he took once emulation encounters a split-lock is
robust.

[1] https://lore.kernel.org/lkml/20200324151859.31068-5-xiaoyao.li@intel.com/
\
 
 \ /
  Last update: 2020-04-02 17:44    [W:0.508 / U:0.088 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site