[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Re: GCL 2.6.6 is released
|
From: |
Matt Kaufmann |
|
Subject: |
Re: [Gcl-devel] Re: GCL 2.6.6 is released |
|
Date: |
Sun, 23 Jan 2005 11:48:03 -0600 |
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
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
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.
-- 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