16 Nov
2011
16 Nov
'11
9:04 a.m.
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: andreas.lochbihler@kit.edu
http://pp.info.uni-karlsruhe.de
KIT - Universit?t des Landes Baden-W?rttemberg und nationales Forschungszentrum
in der Helmholtz-Gemeinschaft