gcl-devel
[Top][All Lists]
Advanced

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

Re: [Gcl-devel] Re: GCL 2.6.6 is released


From: Camm Maguire
Subject: Re: [Gcl-devel] Re: GCL 2.6.6 is released
Date: 14 Feb 2005 11:15:50 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!

Camm Maguire <address@hidden> writes:

> Greetings!
> 
> "Matt Kaufmann" <address@hidden> writes:
> 
> > Thanks!  I've succesffully built ACL2 2.9.1 on GCL 2.6.6 at AMD, following 
> > your
> > GCL configure suggestion.
> > 
> > What's more, I've successfully run that ACL2/GCL image on the project at 
> > AMD on
> > which I'm currently working.  As you know, GCL (2.6.5) has consistently run
> > substantially faster than Allegro CL 6.2 on linux on the ACL2 regression 
> > suite
> > (see "Performance Comparisons" on
> > http://www.cs.utexas.edu/users/moore/acl2/v2-9/new.html).  However, I'm 
> > finding
> 
> Great!
> 
> > GCL somewhat slower than Allegro on my current AMD project.  There are two
> > separate calls of make in each case, each invoking ACL2 many times 
> > (something
> > like 10 times for the first part and 70 times for the second part).  All 
> > runs
> > are on linux.
> > 
> > Allegro CL 6.2 on first part:
> > 315.060u 7.320s 5:28.07 98.2%       0+0k 0+0io 114490pf+0w
> > 
> > GCL 2.6.6 on first part:
> > 381.680u 6.640s 6:33.74 98.6%       0+0k 0+0io 118537pf+0w
> > 
> > Allegro CL 6.2 on second part:
> > 2150.730u 34.330s 37:02.11 98.3%    0+0k 0+0io 866079pf+0w
> > 
> > GCL 2.6.6 on second part:
> > 2747.590u 28.160s 46:50.37 98.7%    0+0k 0+0io 786285pf+0w
> > 
> > I spent some time browsing the logs and found the following as some of the
> > largest time discrepancies in absolute (not percentage) terms.
> > 
> > 1:34 gcl vs. 1:17 allegro
> > 1:04 gcl vs. 0:53 allegro
> > 2:37 gcl vs. 2:31 allegro
> > 3:07 gcl vs. 3:03 allegro
> > 4:27 gcl vs. 4:00 allegro
> > 3:40 gcl vs. 2:35 allegro
> > 
> 
> Well, somewhat disappointing -- but these are always opportunities, right?
> 
> > As usual, I can't send you any of the files (sigh) as they involve AMD 
> > stuff.
> > But I've made a note of which files correspond to the six comparisons above.
> > I guess the most promising one to look at is the last of these six.  If you
> > send me (or point me to) instructions for how to profile or otherwise get
> > information for GCL 2.6.6, I'd be happy to push the appropriate button and 
> > send
> > you what I can.
> > 
> 
> For profiling, rebuild gcl with --enable-gprof, and then rebuild acl2
> on top of this.  To profile a command, sandwich it between
> (si::gprof-start) and (si::gprof-quit).  The profiling overhead itself
> will be noticeable, but reported times should retain their
> proportionality in a non-profiling image.  
> 
> The first step is always to separate out the gc component of
> comparable gcl and allegro runs.  After that, if undesirable
> performance persists, I will most likely have to see the C code
> produced from a representative lisp snippet.  I'm assuming you are
> proclaiming everything the way you do in stock acl2, which is
> exemplary in this regard.
> 
> And of course if you can isolate this enough to identify an analogous
> run on stock acl2 where the performance diff is the other way around,
> that would be very helpful too.
> 
> As you may know, I'm mostly away from email and office until 2/15, so
> in depth replies will likely have to wait until then.

Just a quick note that if you need me to look into anything here, I
may have some time in the next few days.

Take care,

> 
> Take care,  
> 
> > -- Matt
> >    X-Server-Uuid: 5FC0E2DF-CD44-48CD-883A-0ED95B391E89
> >    cc: address@hidden
> >    From: "Camm Maguire" <address@hidden>
> >    Date: 21 Jan 2005 19:06:02 -0500
> >    X-MMS-Spam-Filter-ID: A2005012109_IBF_2.0.0
> >    X-WSS-ID: 6DEF47612CW3800652-01-01
> >    X-Spam-Status: No, hits=0 required=5 tests=
> >    X-Spam-Level:  
> >    X-Scanned-By: MIMEDefang 2.39
> > 
> >    Greetings!
> > 
> >    "Matt Kaufmann" <address@hidden> writes:
> > 
> >    > Thanks, Camm.  I unpacked the .deb (but not as root, so usr/ and etc/ 
> > were put
> >    > under the current directory, and I edited usr/bin/gcl accordingly).  
> > But I
> >    > guess we don't have the right libraries.  Is there an easy workaround? 
> >  (I
> >    > don't think I want to ask the sysadmins to mess with the libraries; 
> > things need
> >    > to be kept pretty stable around here.)
> >    > 
> >    >   rainer:/u/acl2/gcl[ 600 ] --> /u/acl2/gcl/gcl-2.6.6/usr/bin/gcl
> >    >   /u/acl2/gcl/gcl-2.6.6/usr/lib/gcl-2.6.6/unixport/saved_gcl: 
> > /lib/libc.so.6: version `GLIBC_2.3' not found (required by 
> > /u/acl2/gcl/gcl-2.6.6/usr/lib/gcl-2.6.6/unixport/saved_gcl)
> >    >   rainer:/u/acl2/gcl[ 601 ] --> 
> > /u/acl2/gcl/gcl-2.6.6/usr/lib/gcl-2.6.6/unixport/saved_gcl
> >    >   /u/acl2/gcl/gcl-2.6.6/usr/lib/gcl-2.6.6/unixport/saved_gcl: 
> > /lib/libc.so.6: version `GLIBC_2.3' not found (required by 
> > /u/acl2/gcl/gcl-2.6.6/usr/lib/gcl-2.6.6/unixport/saved_gcl)
> >    >   rainer:/u/acl2/gcl[ 602 ] --> 
> >    > 
> > 
> >    Alas, no, no workaround here.
> > 
> >    > Here is the tail of the log when I tried, earlier, to build gcl myself:
> >    > 
> >    > gcc -c -Wall -DVOL=volatile -fsigned-char -pipe -O3 
> > -fomit-frame-pointer  -I/u/acl2/gcl/gcl-2.6.6/o -I../h -I../gcl-tk 
> > fat_string.c  
> >    > In file included from /usr/include/bfd.h:103,
> >    >                  from fat_string.c:17:
> >    > 
> > /tool/pandora/.package/gcc-2.95.3/lib/gcc-lib/i686-pc-linux-gnu/2.95.3/include/stdbool.h:11:
> >  conflicting types for `bool'
> >    > ../h/../h/object.h:68: previous declaration of `bool'
> >    > make[1]: *** [fat_string.o] Error 1
> >    > make[1]: Leaving directory `/u/acl2/gcl/gcl-2.6.6/o'
> >    > make: *** [unixport/saved_pre_gcl] Error 2
> >    > 
> > 
> >    This is simple -- ./configure --disable-statsysbfd --enable-locbfd &&
> >    make
> > 
> >    Please let me know if problems persist.
> > 
> >    Take care,
> > 
> > 
> >    > Thanks --
> >    > -- Matt
> >    >    cc: address@hidden
> >    >    From: "Camm Maguire" <address@hidden>
> >    >    Date: 20 Jan 2005 22:44:42 -0500
> >    >    User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
> >    >    X-WSS-ID: 6DEEA55D3749131-01-01
> >    >    Content-Type: text/plain;
> >    >     charset=us-ascii
> >    >    X-Spam-Status: No, hits=0 required=5 tests=
> >    >    X-Spam-Level:  
> >    >    X-Scanned-By: MIMEDefang 2.39
> >    > 
> >    >    Greetings!  You can retrieve a .deb from
> >    >    http://packages.debian.org/unstable/interpreters/gcl and follow the
> >    >    HOWTO-UNPACK-DEBS, which is basically to ar x the .deb and then tar
> >    >    zxf the data.tar.gz.
> >    > 
> >    >    Please let me know if you have difficulties.  Likewise if you want 
> > to
> >    >    forward your failed build log.
> >    > 
> >    >    Take care,
> >    > 
> >    >    "Matt Kaufmann" <address@hidden> writes:
> >    > 
> >    >    > Hi, Camm --
> >    >    > 
> >    >    > It turns out that for some reason I can't see ftp.gnu.org from 
> > work, but I can
> >    >    > see if from home.  So I've fetched the tar.gz file.
> >    >    > 
> >    >    > But I'm getting an error during the make, probably because we 
> > have an old
> >    >    > version of gcc by default.  Rather than get that working, I'd be 
> > delighted to
> >    >    > download a binary x86 distribution of GCl 2.6.6, but I couldn't 
> > find one (we're
> >    >    > running Redhat rather than Debian, but I doubt that this 
> > matters).  Is one
> >    >    > available?
> >    >    > 
> >    >    > Thanks --
> >    >    > -- Matt
> >    >    >    Resent-From: address@hidden
> >    >    >    Resent-To: address@hidden
> >    >    >    cc: address@hidden
> >    >    >    From: "Camm Maguire" <address@hidden>
> >    >    >    Date: 19 Jan 2005 19:56:09 -0500
> >    >    >    User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
> >    >    >    X-SpamAssassin-Status: No, hits=-2.6 required=5.0
> >    >    >    X-UTCS-Spam-Status: No, hits=-232 required=180
> >    >    >    X-WSS-ID: 6DF1D25D3453388-01-01
> >    >    >    Content-Type: text/plain;
> >    >    >     charset=us-ascii
> >    >    >    X-Spam-Status: No, hits=0 required=5 tests=
> >    >    >    X-Spam-Level:  
> >    >    >    X-Scanned-By: MIMEDefang 2.39
> >    >    > 
> >    >    >    Greetings!  That's odd, the links seem to work for me.  Are you
> >    >    >    looking at http://www.gnu.org/software/gcl?
> >    >    > 
> >    >    >    In any case,
> >    >    > 
> >    >    >    You can get 2.6.6 either from
> >    >    > 
> >    >    >    ftp://ftp.gnu.org/pub/gnu/gcl/gcl-2.6.6.tar.gz
> >    >    > 
> >    >    >    or via cvs
> >    >    > 
> >    >    >    export CVS_RSH=ssh
> >    >    >    export CVSROOT=:ext:address@hidden:/cvsroot/gcl
> >    >    >    cvs -z9 -q co -d gcl-2.6.6 -r Version_2_6_6 gcl
> >    >    > 
> >    >    >    Please let me know if problems persist.
> >    >    > 
> >    >    >    Take care,
> >    >    > 
> >    >    >    Matt Kaufmann <address@hidden> writes:
> >    >    > 
> >    >    >    > Hi, Camm --
> >    >    >    > 
> >    >    >    > Congratulations on the GCL 2.6.6 release!  I'm interested in 
> > trying it out at
> >    >    >    > AMD, since you've put in that reader extension patch for 
> > foo::(bar foobar).
> >    >    >    > 
> >    >    >    > Unfortunately, the "Download" and "Get Latest Release" links 
> > appear to be
> >    >    >    > broken.  Any suggestions?
> >    >    >    > 
> >    >    >    > Thanks --
> >    >    >    > -- Matt
> >    >    >    >    X-IronPort-MID: 476076990
> >    >    >    >    X-SBRS: 1.9
> >    >    >    >    X-BrightmailFiltered: true
> >    >    >    >    X-Ironport-AV: i="3.88,135,1102312800"; 
> >    >    >    >       d="scan'208"; a="476076990:sNHT13365576"
> >    >    >    >    User-Agent: SEMI/1.14.3 (Ushinoya) FLIM/1.14.3 
> > (=?ISO-8859-4?Q?Unebigory?=
> >    >    >    >     =?ISO-8859-4?Q?=F2mae?=) APEL/10.3 Emacs/21.2 
> > (i386-debian-linux-gnu)
> >    >    >    >     MULE/5.0 (SAKAKI)
> >    >    >    >    Content-Type: text/plain; charset=US-ASCII
> >    >    >    >    From: Camm Maguire <address@hidden>
> >    >    >    >    Date: Tue, 18 Jan 2005 23:01:26 -0500
> >    >    >    >    Reply-To: address@hidden
> >    >    >    >    Sender: address@hidden
> >    >    >    >    X-Listprocessor-Version: 8.2.10/020311/17:52 -- 
> > ListProc(tm) by CREN
> >    >    >    >    X-SpamAssassin-Status: No, hits=-2.6 required=5.0
> >    >    >    >    X-UTCS-Spam-Status: No, hits=-272 required=180
> >    >    >    > 
> >    >    >    >    Greetings!  The GCL team is happy to announce the release 
> > of version
> >    >    >    >    2.6.6, the latest achievement in the 'stable' (as opposed 
> > to
> >    >    >    >    'development') series.  Please see 
> > http://www.gnu.org/software/gcl for
> >    >    >    >    downloading information.
> >    >    >    > 
> >    >    >    >    This release is a minor modification of 2.6.5,
> >    >    >    >    incorporating the known bug fixes that had accumulated on 
> > the GCL
> >    >    >    >    errata page together with a few other fixes required for 
> > building axiom
> >    >    >    >    on Windows.  From the changelog:
> >    >    >    > 
> >    >    >    >    gcl (2.6.6-1) unstable; urgency=high
> >    >    >    > 
> >    >    >    >      * New upstream release
> >    >    >    >      * Allow .data section to be first in executable, as on 
> > solaris.  Also
> >    >    >    >        allow for new bfd section size semantics
> >    >    >    >      * Don't try to write map file when not using GNU ld.  
> > Also allow
> >    >    >    >        compile-file to process pathnames with whitespace on 
> > Windows
> >    >    >    >      * Fix corner case fixnum arithmetic on 64bit machines
> >    >    >    >      * Rework gmp_wrappers semantics for older gcc
> >    >    >    >      * Explicitly mprotect loaded code pages PROT_EXEC on 
> > x86 Linux, as FC3
> >    >    >    >        now requires it.
> >    >    >    >      * lisp-implementation-version is GCL
> >    >    >    >      * Reader extension patch allowing for foo::(bar foobar) 
> > semantics
> >    >    >    >      * a shell script variable fix in "unixport/makefile" 
> > for MSYS
> >    >    >    >      * __MINGW32__ malloc initialization fix in "o/alloc.c"
> >    >    >    >      * Windows file/directory fixes in "o/unixfsys.c"
> >    >    >    >      * MinGW32 -march in configure - removes deprecation 
> > warnings
> >    >    >    >      * MinGW32 directory fix - "o/mingfile.c".
> >    >    >    >      * Allow for sysconf to determine clock granularity at 
> > compile time to
> >    >    >    >        fix time errors on the Itanium
> >    >    >    >      * Disable SGC on macosx until the sgc/save problem can 
> > be fixed.
> >    >    >    >      * Fix fixnum print bug on 64bit
> >    >    >    >      * Fix nil types in room report
> >    >    >    >      * 64bit fixes to fixnum_add and fixnum_sub
> >    >    >    >      * Fix Mac SGC/save bug, at least in part
> >    >    >    > 
> >    >    >    >    For the latest information, capabilities, and status of 
> > GCL stable,
> >    >    >    >    please see 
> > http://www.gnu.org/software/gcl/RELEASE-2.6.2.html.
> >    >    >    > 
> >    >    >    >    -- 
> >    >    >    >    Camm Maguire                                              
> > address@hidden
> >    >    >    >    
> > ==========================================================================
> >    >    >    >    "The earth is but one country, and mankind its citizens." 
> >  --  Baha'u'llah
> >    >    >    > 
> >    >    >    > 
> >    >    >    > 
> >    >    > 
> >    >    >    -- 
> >    >    >    Camm Maguire                                           
> > address@hidden
> >    >    >    
> > ==========================================================================
> >    >    >    "The earth is but one country, and mankind its citizens."  --  
> > Baha'u'llah
> >    >    > 
> >    >    > 
> >    >    > 
> >    >    > 
> >    >    > 
> >    > 
> >    >    -- 
> >    >    Camm Maguire                                                
> > address@hidden
> >    >    
> > ==========================================================================
> >    >    "The earth is but one country, and mankind its citizens."  --  
> > Baha'u'llah
> >    > 
> >    > 
> >    > 
> >    > _______________________________________________
> >    > Gcl-devel mailing list
> >    > address@hidden
> >    > http://lists.gnu.org/mailman/listinfo/gcl-devel
> >    > 
> >    > 
> >    > 
> > 
> >    -- 
> >    Camm Maguire                                             address@hidden
> >    
> > ==========================================================================
> >    "The earth is but one country, and mankind its citizens."  --  
> > Baha'u'llah
> > 
> > 
> > 
> > 
> 
> -- 
> Camm Maguire                                          address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
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]