Yes, indeed, the increase in the memory footprint is minimal and constant for each stack frame that uses the unsafe stack - it's just a single unsafe stack frame pointer per unsafe stack frame. The space for each stack object is still allocated only once: either on normal or on the unsafe stack, but not both. In practice, we indeed didn't observe any measurable increase in the memory footprint due to the safe stack in our experiments.<br><div><br></div><div>As for the cache locality, we actually observed that the safe stack sometimes improves the cache hit rate. This is especially the case for programs that allocate large arrays or long-lived objects on the stack that should be normally evicted from the cache, but are kept there only because they share the same cache lines with e.g., spilled registers. With the safe stack, such objects are moved elsewhere, which results in the frequently accessed objects on the normal stack being closer to each other and occupy less cache lines in total. Of course there might be pathological negative cases as well, but as we show in our paper, both the average and the maximum overhead looks quite good in practice (see Figures 3 and 4 in <a href="http://dslab.epfl.ch/pubs/cpi.pdf">http://dslab.epfl.ch/pubs/cpi.pdf</a>).</div><div><br></div><div>- Vova</div><br><div class="gmail_quote">On Tue Nov 04 2014 at 11:50:01 AM David Chisnall <<a href="mailto:David.Chisnall@cl.cam.ac.uk">David.Chisnall@cl.cam.ac.uk</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 4 Nov 2014, at 00:36, Kostya Serebryany <<a href="mailto:kcc@google.com" target="_blank">kcc@google.com</a>> wrote:<br>
<br>
> You at least increase the memory footprint by doubling the stack sizes.<br>
<br>
Not quite.  The space overhead is constant for each stack frame - you just need to keep track of the top of two stacks, rather than one.  The important overhead is that you reduce locality of reference.  You will need a minimum of two cache lines for each stack frame instead of one.  In practice, this is not a huge problem, because you need several cache lines live for good performance of the stack and the total number of lines is not much different.<br>
<br>
There are likely to be some pathological cases though, when both the safe and unsafe stacks have the same alignment for the top and you are dealing with some other heap data with the same alignment.  This will increase the contention in set-associative cache lines and may cause more misses.<br>
<br>
David<br>
<br>
</blockquote></div>