[Gcl-devel] Re: running out of space

[Camm Maguire]

Greetings!

Robert Boyer <address@hidden> writes:

> Thanks for the extra room.
> 
> Ok, there are two things to say.
> 
> 1.  Boyer should just shut up.  Camm's observation that you

Please no, your comments are most valuable.

> are still running with a 24-bit cons is quite accurate and
> is probably a fair bit of your problem/solution.  You'll
> notice, for example, that in your (room t), the "cons" and
> "fixnum" entries are in different "spaces" (3 32-bit words
> vs. 2 32-bit words), whereas in "my" (room t) last sent,
> both cons and fixnum are both in 2 32-bit word space, thanks
> to Camm's two-word-cons magic, which is still desperately
> trying to get released to the world.  So your #1 objective
> could well be to try to build a big, static, ansi, 2.7.0,
> ACL 3.0, wherein a cons only takes up 16-bits, like I do
> routinely, when the 2.7.0 is not broken as it naturally is
> because it "is" what Camm is working on more or less,
> yesterday.  Instructions on how to build aforesaid 2.7.0
> follow immediately under separate cover.
> 

Just a clarification:

32bit machine, 2.6.x cons : 3 words, 12 bytes, 96 bits
32bit machine, 2.7.x cons : 2 words,  8 bytes, 64 bits

unless I am confused, as is typical!

Take care,

> 2.  Still Boyer may have been 10% right once a day.  Your
> last "hole" number of 79530 pages is somewhat crimping your
> cons space.  A mere waste of 13 million potential conses?
> Maybe.
> 
> If you can see it, you might find that
> 
>    wget http://www.cs.utexas.edu/users/boyer/gcl/xa
> 
> which is in "reality"
> 
>    -rwxr-xr-x  1 boyer prof 209105329 Jun 21 14:08 
> /u/boyer/acl2/acl2-sources/saved_acl2.gcl
> 
> 
> will work for you.  This sometimes does work in parallel
> universes, at least if one sets compiler::*cc* right.  See
> below.
> 
> Bob
> 
> -------------------------------------------------------------------------------
> 
> ACL2>% xa
> GCL (GNU Common Lisp)  2.7.0 ANSI    Jun 21 2006 13:30:08
> Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd)
> ...
> Temporary directory for compiler files set to /tmp/
> 
>  ACL2 Version 3.0 built June 21, 2006  14:05:02.
> ...
> ACL2 Version 3.0.  Level 1.  Cbd "/v/filer2/boyer/".
> ...
> ACL2 !>:q
> 
> Exiting the ACL2 read-eval-print loop.  To re-enter, execute (LP).
> ACL2>compiler::*cc*
> 
> "gcc -c -g -Wall -fsigned-char -pipe -g "
> 
> ACL2>% which gcc
> /lusr/bin/gcc
> % gcc --version
> gcc (GCC) 3.3.4
> Copyright (C) 2003 Free Software Foundation, Inc.
> This is free software; see the source for copying conditions.  There is NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
> 
> Why Camm is slowing us down with the double -g today beats me.
>  
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah