🚀 go-pugleaf

Hello everybody,

I'm having a minor problem on which I would welcome any comments:
Since I'll have some money to spend real soon now, I've been pondering
whether we should switch from Sun to HP. The usual benchmark results
suggest that a change might result in faster execution of our pet
program, a large "theorem prover" written in Lisp.

From the SpecInt92 results, one should expect a performance increase
of about a factor of 2 when switching from a SS2 to either s SS10-30
or HP720. Unfortunately, on both machines turned out to but just
30% faster than a SS2 when running our system (for which ps NEVER
shows a resident set under 3-4 MB, not even on an 8MB machine).

Any explanations at hand? Did we encounter a bottleneck between
CPU and memory, or what? What performace should I expect from
a SS10-41 or SS10-52 (which have a larger cache, but still not 
large enough to hold the Lisp's resident set. And if I'm not
mistaken, the large cache results in a longer time spent for
non-cache memory accesses (6 cycles instead of 3)). What 
performace should I expect from a HP735?

I can buy enough memory so that disk speed is no criterion.
Should I wait for machines with 8MB of cache? Should I shoot myself?
Should I give YOU the money? :-)

Sigh,

Andreas
-- 
Andreas Wolpers
e-mail: wolpers@ira.uka.de
phone:  49-721-608-3977
fax:    49-721-697760