Hi all,
when I build a large session in Isabelle2011-1 (to be precise, an extension of
of JinjaThreads in the Archive of Formal Proofs) with PolyML 5.4.1, this takes
1:51h. While running the session, polyml requires 12GB of memory (VmSize in
/proc/<PID>/status). The final call to PolyML.shareCommonData before writing the
heap image consumes 17GB of memory.
I now ran the same session with the SVN version 1352 of PolyML. Then, it takes
2:35h, 16GB for the session and 21GB for sharing common data. What is happening
there? Have other people experienced a similar surge in memory usage and runtime?
Thanks for any hints,
Andreas
--
Karlsruher Institut für Technologie
IPD Snelting
Andreas Lochbihler
wissenschaftlicher Mitarbeiter
Adenauerring 20a, Geb. 50.41, Raum 031
76131 Karlsruhe
Telefon: +49 721 608-47399
Fax: +49 721 608-48457
E-Mail: [email protected]
http://pp.info.uni-karlsruhe.de
KIT - Universität des Landes Baden-Württemberg und nationales Forschungszentrum
in der Helmholtz-Gemeinschaft
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
