lkml.org 
[lkml]   [2017]   [Nov]   [29]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Date
SubjectRe: [PATCH] x86/entry/64: Fix native_load_gs_index() SWAPGS handling with IRQ state tracing enabled
On Wed, Nov 29, 2017 at 1:41 PM, Andy Lutomirski <luto@kernel.org> wrote:
> On Wed, Nov 29, 2017 at 1:25 PM, Andy Lutomirski <luto@amacapital.net> wrote:
>>
>>
>>> On Nov 29, 2017, at 12:58 PM, Linus Torvalds <torvalds@linux-foundation.org> wrote:
>>>
>>>> On Wed, Nov 29, 2017 at 10:12 AM, Andy Lutomirski <luto@kernel.org> wrote:
>>>>
>>>> Jarkko, can you try the attached patch? If it survives resume, can
>>>> you see if the log contains anything interesting?
>>>
>>> I'm not Jarkko, but I'm not a huge fan of that patch.
>>>
>>> If this was the cause of the problem (and it looks likely), wouldn't
>>> it be nicer to instead make sure that __restore_processor_state() is
>>> made to use only low-level code and easy to verify?
>>>
>>> That function is already marked "notrace" because it is so fragile,
>>> and it does the segment register reloads manually with inline asms.
>>
>> I completely agree, and I think it might be better to move more of that crap to asm. Also, it looks quite buggy -- it restores segment registers before it loads the LDT, so they had better not be user registers.
>
> It does indeed restore user state. And it very well may need to work
> on Xen PV, too. Blech.

I took another look. This function is severely busted. Bugs include:

- 32-bit fails to save and restore %ds. I have no idea why.

- 64-bit has inlined restores of segment regs. This is busted
because it's missing exception handling. Admittedly, there shouldn't
be exceptions these days since we try pretty hard to keep segments in
sync.

- GSBASE is restored way too late.

- Segments are restored before the LDT is restored. *Boom* if we
write to /sys/power/state from a program compiled with a sufficiently
ancient libc.

- Because we aren't sensible enough to do all this from a kernel
thread, we probably fail to correctly handle nasty things like
blockstep.

I'll make a patch to fix a few of these bugs.

\
 
 \ /
  Last update: 2017-11-29 22:58    [W:0.087 / U:0.008 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site