Re: [Gcl-devel] MacOSX stack space

[Matt Kaufmann]

Hi, Camm --

Sorry, but I have no idea what sorts of limits are good.  The only way
that I know for figuring that out is to run regressions; probably you
know how but I can send instructions if you like (one example is
below).

By the way, the build succeeded when I didn't use the following on the
command line:

  -eval "(defparameter user::*fast-acl2-gcl-build* t)

That causes the build to avoid compiling functions on-the-fly -- I
guess maybe it makes sense that this is causing the error, since maybe
compilation is necessary in order to avoid running into stack limits.

It's not critical to me that we be able to use GCL on a Mac, though it
would be nice.  Maybe instead of a full regression you could at least
get a relatively small "basic" regression to pass:

<Build ACL2>
cd books
make basic

Thanks --
-- Matt
> From: Camm Maguire <address@hidden>
> Date: Fri, 22 Jan 2016 14:01:38 -0500
> Cc: address@hidden
> 
> Greetings!
> 
> Thanks for the heads up.
> 
> Recent mac has constrained the stack space to 8Mb, and made it
> impossible for gcl any longer to extend this limit via setrlimit() at
> startup, as has been the case for ages.  The user seems to be able to go
> up to 32Mb at runtime via ulimit in the shell, but to make things 'just
> work' out of the box it appears we have to set a compile time limit on
> the binary itself.  I always hate this, as it inevitably limits runtime
> flexibility.
> 
> I've just checked that 64Mb at least gets through the save-acl2 stage
> and am trying 32Mb now.   Essentially this setting will constrain
> the depth of non-tail recursion.  Do you have a suggestion for a default
> size?  The way mac is set up now, once set at compile time, it can only
> be decreased later.
> 
> Take care,
> 
> Matt Kaufmann <address@hidden> writes:
> 
> > Hi, Camm --
> >
> > I've run into a problem building ACL2 on GCL on a Mac (running
> > Mac OS 10.10.5).  This is very low priority for me right now, but I
> > thought you might be interested.
> >
> > I've attached a log showing the problem, but here is an abbreviated
> > version of it, which shows that the error goes away when turning off
> > fast links.  So I can't see how to get debugging info for you -- sorry.
> > Maybe I should just update, but I'm not sure how these days -- is
> > it simply "git clone http://git.savannah.gnu.org/cgit/gcl.git";?  Anyhow
> > here's the abbreviated version of the attached log.
> >
> > ~/acl2/acl2-git-scratch$ cat /Users/kaufmann/bin/my-fast-gcl
> > #!/bin/sh
> >
> > # Built May 7 at UT CS:
> > /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval
> > "(defparameter user::*fast-acl2-gcl-build* t)" "$@"
> > ~/acl2/acl2-git-scratch$
> > /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval
> > "(defparameter user::*fast-acl2-gcl-build* t)"
> > GCL (GNU Common Lisp)  2.6.12 ANSI    May  7 2015 12:24:18
> > ....
> >>(load "init.lisp")
> > ....
> > Finished loading init.lisp
> > T
> >
> >>[GC for 54 SFUN pages..(T=1).GC finished]
> >
> > Error:
> > Fast links are on: do (si::use-fast-links nil) for debugging
> > Signalled by SYSTEM::GCL-TOP-LEVEL.
> >
> > Raw Lisp Break.
> > Condition in SYSTEM::GCL-TOP-LEVEL [or a callee]:
> > INTERNAL-SIMPLE-ERROR: Caught fatal error [memory may be damaged]
> >
> > [GC for 129 RELOCATABLE-BLOCKS pages..
> > Unrecoverable error: Segmentation violation..
> > Abort trap: 6
> > ~/acl2/acl2-git-scratch$
> > /Users/kaufmann/lisps/gcl/2.6.13pre14d/gcl/gcl/bin/gcl -eval
> > "(defparameter user::*fast-acl2-gcl-build* t)"
> > GCL (GNU Common Lisp)  2.6.12 ANSI    May  7 2015 12:24:18
> > ....
> >>(si::use-fast-links nil)
> >
> > NIL
> >
> >>(load "init.lisp")
> > ....
> > Finished loading init.lisp
> > T
> >
> >>[GC for 54 SFUN pages..(T=0).GC finished]
> > GCL (GNU Common Lisp)  2.6.12 ANSI    May  7 2015 12:24:18
> > Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
> > Binary License:  GPL due to GPL'ed components: (READLINE UNEXEC)
> > Modifications of this banner must retain notice of a compatible license
> > Dedicated to the memory of W. Schelter
> >
> > Use (help) to get some basic information on how to use GCL.
> > Temporary directory for compiler files:
> > /private/var/folders/gg/583fkmvx1g70j4s7m33tg1500000gn/T/
> >
> >>
> >
> > Thanks --
> > -- Matt
> >
> 
> -- 
> Camm Maguire                                      address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/gcl-devel
>