[Sbcl-devel] Re: [Sbcl-help] Need advice in tracking down SBCL Memory fault

[John M. <jm...@ma...>]

Hi;

On Saturday 11 June 2005 05:25 am, Nikodemus Siivola wrote:
> My first guess is that you're simply running out of static space.
> As a quick workaround: don't purify, and if you need to save an image,
> do it with :PURIFY NIL.

OK, I can do that ... thanks!  Two questions immediately spring to
mind: (1) Is there any way I can verify that (that it's a simple space
issue and not some Deep Dark Coding Malevolence)?  (2) Will/might
there be fewer such problems with a 64-bit version of SBCL?

> If you're purifying because you need stuff that doesn't move, then

The "callback" trampoline stuff has an advisory about that, but I
cannot recall whether either the infrastructure or all my callbacks
require the purify to keep them from moving...

> SB-INT:MAKE-STATIC-VECTOR may be what you need: it allocates vectors of
> immediate objects directly to static space. Do not be overly alarmed by
> the SB-INT in this case: once the dust settles I think it (or something
> very much like it) is destined to move to SB-EXT. You get to beta-test it.
> ;-)

OK.  Thanks again.  I will check out the callback/trampoline code.

> If you're feeling adventurous, then twiddling the static-space-* values in
> src/compiler/target/parms.lisp may help by giving you a larger static
> space; searching sbcl-devel archives should yield some advice for that.

OK.  I will do that if I get No Joy with the first two suggestions you
have been kind enough to make.

> Similarly, building SBCL with the first PURIFY in make-target-2.sh
> commented out should also conserve _some_ static space, and may be
> sufficient for your needs, but I rather doubt it.
>
> As a longer term solution we should probably detect the end of static
> space and signal a STORAGE-CONDITION if we run out of it.

That would be cool!

Thanks again!

-jm

>
> Cheers,
>
>   -- Nikodemus              Schemer: "Buddha is small, clean, and serious."
>                    Lispnik: "Buddha is big, has hairy armpits, and laughs."

-- 
==== John Morrison
==== MAK Technologies Inc.
==== 10 Fawcett Street, Cambridge, MA 02138
==== http://www.mak.com/
==== vox:617-876-8085 x115
==== fax:617-876-9208
==== jm...@ma...