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