[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CA+55aFzDnDi26qcP67ZwH8VU380VioW1kvpw5ntH-Rgj_T+CJQ@mail.gmail.com>
Date: Sun, 30 Jul 2017 21:38:54 -0700
From: Linus Torvalds <torvalds@...ux-foundation.org>
To: Andy Lutomirski <luto@...nel.org>
Cc: "Bae, Chang Seok" <chang.seok.bae@...el.com>,
X86 ML <x86@...nel.org>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
Borislav Petkov <bpetkov@...e.de>,
Brian Gerst <brgerst@...il.com>, Stas Sergeev <stsp@...t.ru>
Subject: Re: FSGSBASE ABI considerations
On Sun, Jul 30, 2017 at 8:05 PM, Andy Lutomirski <luto@...nel.org> wrote:
>
> This means that, when gdb saves away a regset and reloads it using
> PTRACE_SETREGS or similar, the effect is to load gs_base and then load
> gs. If gs != 0, this will blow away gs_base. Without FSGSBASE, this
> doesn't matter so much. With FSGSBASE, it means that using gdb to do,
> say, 'print func()' may corrupt gsbase.
>
> What, if anything, should we do about this? One option would be to
> make gs_base be accurate all the time (it currently isn't) and teach
> PTRACE_SETREGS to restore in the opposite order despite the struct
> layout.
I do not think that ordering should ever matter. If it does, it means
that you've designed something. We already screwed that up with the
msr interface, can we try to not do it again?
Could we perhaps do something like:
- every process starts out with CR4.FSGSBASE cleared
- if we get an #UD due to the process using the {rd|wr}{gs|fs}base
instructions, we enable FSGSBASE and mark the process as using those
instructions.
- once a process is marked as FSGSBASE, the kernel prioritizes
FSGSBASE. We'll still save/restore the selector too, but every time we
restore the selector, we will first do a rd*base, and then do a
wr*base afterwards
IOW, the "selector" ends up being meaningless after people have used
fsgsbase. It is saved and restored as a _value_, but it has no effect
what-so-ever on the actual base pointer.
Yes, it's modal, but at least you don't end up in some situation where
it matters whether you write the selector first or not.
Hmm?
Linus
Powered by blists - more mailing lists