gcl-devel
[Top][All Lists]
Advanced

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

[Gcl-devel] Re: Update on GCL 2.7.0 t3 testing


From: Camm Maguire
Subject: [Gcl-devel] Re: Update on GCL 2.7.0 t3 testing
Date: 09 Aug 2005 01:05:02 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!

<address@hidden> writes:

> Camm,
> Sorry for the delay in providing you with an update on our GCL 2.7.0 t3 
> testing, but we have been working to reduce the memory
> footprint of our basic processor model so that it could successfully build 
> with the maximum 512K pages that t3 (plus the
> configure patch you sent) affords us.  We have been able to reach this happy 
> state recently, so we can report some additional
> results.

Great to hear that 2Gb on 32bit is working for you (or so I take it)!

> Speed: we see a 30% speedup vs. GCL 2.6.5 on processor simulation runs, using 
> ACL2 2.9.2.  This is an additional 10% above
> what we were able to achieve with GCL 2.6.6 twc...great work!
> Memory Usage: Run Set Sizes are reduced by about 33% relative to GCL 2.6.5 -- 
> this is similar to what we saw with GCL 2.6.6
> twc.

Thanks for the report!

> As for your request regarding our Linux setup, all I was able to get from our 
> local Linux admins was that we are running a
> stock Red Hat Linux Enterprise Workstation 3 configuration, kernel 
> 2.4.21-4.EL  (according to uname -a).  Perhaps you would
> have some luck asking Red Hat how they configure things for this product.

OK, at some point will try to isolate the patch.  If anyone else on
the list has a pointer to the Linux kernel patch which pushes the
shared library load address just beneath the C stack, please let me know.

> Going forward, it would be very nice if we could configure 2.7.0 t3 maxpages 
> for 768K or 1M; I can currently only get a subset

Well, at most I think you can get about 2.7Gb on 32bit, unless your
kernel has some large mem extensions I don't understand.  The C stack
starts at 3Gb. (0xc0000000).


> of our current processor model to certify under ACL2 2.9.2 with 512Kpages.
> If you have any other 2.7.0 test prereleases coming up in the near future, 
> especially ones that let us increase maxpages, I
> would be happy to test them.

OK.  t4 is out, though its changes might not be of much interest to
you.  Hope to work on static linking and memory size limit relaxation
in the next go round.

Take care,

> Thanks again,
> David Hardin

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