On 26 Jul 2009, at 19:37, David Matthews wrote:
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!
David,
Thanks. The binary chop wasn't very arduous: the problem first shows
up at SVN revision 595. It looks like some changes in exporter.cpp
could be relevant. Let me know if there are any useful sizings that I
can provide.
Regards,
Rob.
Regards,
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
