|
Message-ID: <CAKv+Gu_VaO39h8trgsNhU4JEVkdgoFWGoovBdmAL_YsHe7Nq1Q@mail.gmail.com> Date: Tue, 6 Mar 2018 19:07:39 +0000 From: Ard Biesheuvel <ard.biesheuvel@...aro.org> To: Linus Torvalds <torvalds@...ux-foundation.org> Cc: Daniel Micay <danielmicay@...il.com>, Ingo Molnar <mingo@...nel.org>, Kees Cook <keescook@...omium.org>, Dave Hansen <dave.hansen@...ux.intel.com>, Alexander Popov <alex.popov@...ux.com>, Kernel Hardening <kernel-hardening@...ts.openwall.com>, PaX Team <pageexec@...email.hu>, Brad Spengler <spender@...ecurity.net>, Andy Lutomirski <luto@...nel.org>, Tycho Andersen <tycho@...ho.ws>, Laura Abbott <labbott@...hat.com>, Mark Rutland <mark.rutland@....com>, Borislav Petkov <bp@...en8.de>, Richard Sandiford <richard.sandiford@....com>, Thomas Gleixner <tglx@...utronix.de>, "H . Peter Anvin" <hpa@...or.com>, Peter Zijlstra <a.p.zijlstra@...llo.nl>, "Dmitry V . Levin" <ldv@...linux.org>, Emese Revfy <re.emese@...il.com>, Jonathan Corbet <corbet@....net>, Andrey Ryabinin <aryabinin@...tuozzo.com>, "Kirill A . Shutemov" <kirill.shutemov@...ux.intel.com>, Thomas Garnier <thgarnie@...gle.com>, Andrew Morton <akpm@...ux-foundation.org>, Alexei Starovoitov <ast@...nel.org>, Josef Bacik <jbacik@...com>, Masami Hiramatsu <mhiramat@...nel.org>, Nicholas Piggin <npiggin@...il.com>, Al Viro <viro@...iv.linux.org.uk>, "David S . Miller" <davem@...emloft.net>, Ding Tianhong <dingtianhong@...wei.com>, David Woodhouse <dwmw@...zon.co.uk>, Josh Poimboeuf <jpoimboe@...hat.com>, Steven Rostedt <rostedt@...dmis.org>, Dominik Brodowski <linux@...inikbrodowski.net>, Juergen Gross <jgross@...e.com>, Greg Kroah-Hartman <gregkh@...uxfoundation.org>, Dan Williams <dan.j.williams@...el.com>, Mathias Krause <minipli@...glemail.com>, Vikas Shivappa <vikas.shivappa@...ux.intel.com>, Kyle Huey <me@...ehuey.com>, Dmitry Safonov <dsafonov@...tuozzo.com>, Will Deacon <will.deacon@....com>, Arnd Bergmann <arnd@...db.de>, X86 ML <x86@...nel.org>, LKML <linux-kernel@...r.kernel.org> Subject: Re: [PATCH RFC v9 4/7] x86/entry: Erase kernel stack in syscall_trace_enter() On 6 March 2018 at 18:56, Linus Torvalds <torvalds@...ux-foundation.org> wrote: > On Tue, Mar 6, 2018 at 7:16 AM, Daniel Micay <danielmicay@...il.com> wrote: >> >> Zeroing locals isn't very expensive because the compiler has a chance >> to optimize it out when it can figure out it isn't needed and they're >> almost always used. > > I thought I saw Kees with some stats, and it wasn't even noticeable. > But maybe I mis-remember. > > I definitely like the "zero local variables", and would actually > prefer something even stronger than GCC_PLUGIN_STRUCTLEAK_BYREF_ALL > (although I can't actually read gcc plugins, so I'm just going by > name). > > It's not necessarily just struct, it can very much be arrays and > regular automatic variables too. > The compiler usually does a pretty good job of detecting which scalar variables are never initialized by regular assignment. The reason that this is different for struct type variables is that we often initialize them by passing a reference to a function, and if this function is in another compilation unit, the compiler doesn't know whether such a call amounts to an initialization or not. We could easily extend this to scalar and array types, but we'd first need to see what the performance impact is, because I don't think it will be negligible.
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.