Hi, Camm -- >> Passed without failure.
Excellent! Thanks for the great news. Below are some recent results I have lying around, which are encouraging. I got these from ACL2 regressions done using a development copy of ACL2 (hence, post-6.3), running "make" with option "-j 8" on an unloaded 64-bit linux machine. The comparisons aren't perfect because the books change daily, but I think they're reasonable numbers to compare. In short, the time is looking good -- some of the slightly slower wall-clock time compared to CCL seems to be from the "s" time, which could easily be from gcc, as you mentioned. ; Last night with ACL2 built on /p/bin/gcl-2.6.10pre (which you ; created on Oct. 16): 27806.329u 1106.597s 1:06:37.05 723.3% 0+0k 156680+6732192io 0pf+0w ; On Oct. 29 with ACL2 built on CCL Version 1.10-dev-r15915M-trunk: 26024.566u 415.489s 1:01:01.46 722.1% 0+0k 2768+1816744io 0pf+0w ; On Oct. 14 with ACL2 built on GCL 2.6.10pre that I built on Oct. 2 ; (/projects/acl2/lisps/gcl/2.6.10pre/gcl/gcl/bin/gcl): 28960.009u 1056.846s 1:18:07.39 640.3% 0+0k 147264+6462792io 2pf+0w -- Matt From: Camm Maguire <[email protected]> Cc: [email protected], [email protected] Date: Thu, 31 Oct 2013 12:19:07 -0400 Greetings! Matt Kaufmann <[email protected]> writes: > Hi, Camm -- > > That's really great! (Thanks, Harsh!) > > I'll keep my fingers crossed on the regression.... > Passed without failure. So this leaves only one possible item before 2.6.10 release. On ia64, sgc causes fread to hang. I might look at this briefly, or just disable sgc on this machine and be done with it. In any case, I'm wondering if you ever happened to do a timing after the last batch of improvements. gcc is still the bottleneck in many cases, but in spite of this I think you should see some improvement. Take care, -- Camm Maguire [email protected] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
