[Gcl-devel] Re: bug in 2.6.6 with two-word cons patch sent to Rockwell
From:
dshardin
Subject:
[Gcl-devel] Re: bug in 2.6.6 with two-word cons patch sent to Rockwell
Date:
Fri, 1 Jul 2005 16:44:09 -0500
Camm Maguire wrote:
> Greetings, and thanks for your report!
>
> Here is the patch you need:
> [...]
Thanks for the speedy reply, Camm -- the new patch
did the trick for us.
> Do you find twc useful? Any disadvantages for the generic lisp
user
> that you can see?
I haven't seen any real disadvantages in practice.
I've gotten a couple of segfaults doing an ACL2 include-book, but
such things are to be expected in "early access" code...if I
try the same include-book again, everything works fine. In
general I have noticed a reduction in GC activity with twc, but have seen
a relative increase in the number of SGC's of STRUCTURE pages. I'm
not sure what STRUCTURE pages contain -- perhaps this is to be expected.
We have been able to build ACL2 (v 2.9), certify our
own processor model (~100 books), and execute our CPU model code successfully
using 2.6.6 twc (plus the aforementioned patch), which is a nice validation.
Some numbers for comparison (smaller numbers are better):
Before twc With twc
---------- -------- Certify 104 books 158 minutes
135 minutes "Steady State" RSS 605 MB
409 MB Execute CPU model 4.6 seconds
3.8 seconds (small program) Execute CPU model 333 seconds
268 seconds (large program)
I think you'll agree that these results are quite
encouraging! We don't yet know what features of the twc code are
most responsible for the performance improvements, but previous profiling
(before twc) indicated that the processor model spent significant time
performing (expt 2 x) while running the "small program"
mentioned above; this has been optimized in the twc builds.
Finally, note that we would rather be using 2.7.0,
but experienced a show-stopping problem with t1 (yet another PROCLAIM error)
-- we'll try t2, and let you know if the problem persists.
Thanks as always for your great work on GCL!
David Hardin
[Prev in Thread]
Current Thread
[Next in Thread]
[Gcl-devel] Re: bug in 2.6.6 with two-word cons patch sent to Rockwell,
dshardin<=