On Wed, 11 Apr 2012, Alexander Krauss wrote:
Recent SVN versions of the PolyML runtime system contain a useful
statistics interface
PolyML.Statistics
I think David Matthews introduced this some months ago at the start of the
big memory management project, where he is still working heavily right
now. As of Poly/ML SVN 1476, performance is already quite good for multi
cores and relatively little memory. Things will improve further. I can't
wait to see JinjaThreads running again on x86 with 2-4 GB -- if there is
any chance for it.
A simple script in the spirit of Admin/profiling_report extracts the
data from the logs and outputs them in a plot-friendly format,
preferably CSV.
It would be nice to see some Isabelle/jEdit plugin for real-time plotting.
Using this http://jchart2d.sourceforge.net/ it might be actually easy, it
does not seem to be one of these huge useless "frameworks" again.
E.g. see
http://jchart2d.git.sourceforge.net/git/gitweb.cgi?p=jchart2d/jchart2d;a=blob;f=src/info/monitorenter/gui/chart/demos/MinimalDynamicChart.java;h=5027aa8b9091def09e07bdd607dcf5c9f7d9d6be;hb=HEAD
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
