[m-dev.] Mercury and GCC split stacks

[Paul Bone]

On Fri, Sep 05, 2014 at 10:01:26AM +1000, Julien Fischer wrote:
>
> Hi,
>
> Has anyone tried Mercury (particularly the high-level C grades) with
> GCC's split stacks capability?  See: <https://gcc.gnu.org/wiki/SplitStacks>.
>

The trade offs seem interesting, not that they're trying to economise on
address space usage, especially on 32bit systems.  On a 64bit system this
isn't a big deal for C programs as only the parts of the stack that actually
get used get mapped to actual physical pages.

There may also be interesting interactions with the Boehm collector.  Will
BoehmGC be able to scan these stacks?

I've cross-posted this to the Boehm GC list as it may be interesting for
the GC's developers.



-- 
Paul Bone