gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] MacOSX stack space


From: Camm Maguire
Subject: [Gcl-devel] MacOSX stack space
Date: Fri, 22 Jan 2016 14:01:38 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]