Rob Arthan wrote:
We have performance problems with ProofPower when compiled with Poly/ML using
the latest sources as compared with version 5.2.1. The main problem is with
loading a large state. In some of QinetiQ's tests, it now takes nearly 40
minutes to load a state (occupying about 150Mb on disc) that previously took
about 20 seconds.
Unfortunately, my attempts to create simple examples of this type problem do
not exhibit much difference between 5.2.1 and the latest sources. I wondered
if anyone else has had similar problems or has any suggestions about how to
isolate the problem.
I believe the problem is quite old. It apparently predates the move from CVS
to SVN.
Rob,
When I converted from CVS to SVN I used a tool that carried over the
revision history. If you run
svn log libpolyml/savestate.cpp
you should see the revisions to the state-saving code including
revisions that were made in CVS. If you then check out the various
revisions e.g.
svn update -r 569
build this and test it you should be able to narrow down to the revision
that caused the problem. It's likely that the problem is in
savestate.cpp but it could possibly be somewhere else. In that case you
may be reduced to a binary chop!
Regards,
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
