From: Wilco Dijkstra <Wilco.Dijkstra@arm.com>
To: Jakub Jelinek <jakub@redhat.com>
Cc: Jeff Law <law@redhat.com>, GCC Patches <gcc-patches@gcc.gnu.org>,
nd <nd@arm.com>
Subject: Re: [PATCH][RFA/RFC] Stack clash mitigation patch 07/08
Date: Fri, 14 Jul 2017 11:49:00 -0000 [thread overview]
Message-ID: <AM5PR0802MB26100E59B6F7CCED9A7E7EFC83AD0@AM5PR0802MB2610.eurprd08.prod.outlook.com> (raw)
In-Reply-To: <20170714081719.GY2123@tucnak>
Jakub Jelinek wrote:
> On Wed, Jul 12, 2017 at 12:20:32AM +0000, Wilco Dijkstra wrote:
> > Therefore even when using a tiny 4K probe size we can safely adjust SP by 3KB
> > before needing an explicit probe - now only 0.6% of functions need a probe.
> > If we choose a proper minimum probe distance, say 64KB, explicit probes are
> > basically non-existent (just 35 functions, or ~0.02% of all functions are > 64KB).
> > Clearly inserting probes can be the default as the impact on code quality is negligible.
>
> For non-leaf functions you need at least one probe no matter how small the
> frame size is (if it is bigger than 0), explicit or implicit, unless you
> perform IPA analysis on the callgraph and determine when that isn't needed,
> because you can have deep call stacks that would through functions that
> don't touch anything skip stack pages. Of course, such probes can be stores
> of call used registers, it can be any store to the stack.
Well you need to save the return address somewhere, so a non-leaf function already
has an implicit probe before a call (even if shrinkwrapped). So it is not possible for a
long sequence of function calls or a recursive function to jump the stack guard - the
only way to jump the guard is using a huge unchecked static or dynamic allocation.
One key thing to understand is that it doesn't matter where exactly the return address
is saved in a frame. You could save it at a random location and all it would mean is that
if the probe size is N, you only need to insert additional explicit probes if the frame is
larger than N/2 (sum of static and dynamic allocation). Obviously you could do better
than that with a well defined frame layout.
Before we consider IPA, how about optimizing trivial alloca's first? For example why
does GCC emit dynamic allocations for:
void f(void*);
void alloca (int x)
{
if (x < 100)
f (__builtin_alloca (x));
f (__builtin_alloca (16));
}
Wilco
next prev parent reply other threads:[~2017-07-14 11:49 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-12 0:20 Wilco Dijkstra
2017-07-12 2:02 ` Jeff Law
2017-07-12 12:47 ` Trevor Saunders
2017-07-12 21:08 ` Jeff Law
2017-07-16 18:36 ` Trevor Saunders
2017-07-17 15:51 ` Jeff Law
2017-07-17 20:30 ` Trevor Saunders
2017-07-14 6:19 ` Jeff Law
2017-07-17 11:27 ` Wilco Dijkstra
2017-07-17 15:24 ` Jeff Law
2017-07-17 15:31 ` Jakub Jelinek
2017-07-17 22:42 ` Wilco Dijkstra
2017-07-17 23:16 ` Jeff Law
2017-07-14 8:17 ` Jakub Jelinek
2017-07-14 11:49 ` Wilco Dijkstra [this message]
-- strict thread matches above, loose matches on Subject: below --
2017-07-11 21:21 Jeff Law
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=AM5PR0802MB26100E59B6F7CCED9A7E7EFC83AD0@AM5PR0802MB2610.eurprd08.prod.outlook.com \
--to=wilco.dijkstra@arm.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
--cc=law@redhat.com \
--cc=nd@arm.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).