01/09/13 13:56, Rob Arthan wrote:
On 2 Aug 2013, at 13:21, David Matthews <[email protected]> wrote:
….
Please try out the SVN version and let me know how it goes.
…
I am grateful to Phil Clayton for pointing out a surprising performance issue
that he noticed while building ProofPower. He found that the elapsed time for
the build was over 3 minutes with the latest development version and less than
1.5 minutes with version 5.5, even though the user and system times were about
the same. I repeated the experiments and got similar results.
The problem is easy to reproduce. E.g., construct a source file perftest.ML
containing the following:
structure PerfTest = struct
fun f x = x;
end;
Then run
time echo 'use"perftest.ML"' | poly
WIth 5.5, I get:
real 0m0.016s
user 0m0.003s
sys 0m0.010s
With the latest version (SVN rev 1838), I get:
real 0m0.416s
user 0m0.003s
sys 0m0.010s
The ProofPower build runs Poly/ML about 180 times. The results I am seeing are
compatible with an overhead of about 400ms on each of these runs.
I think this delay is actually when exiting Poly/ML. I have just this
moment hit Ctrl+D to exit poly in a terminal but, as nothing happened
immediately, I hit it again. In fact, both key strokes registered and I
zapped the terminal. (It seems I really am that impatient!)
The delay can still be seen with just
time echo | poly
Phil
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
