On 30/10/2015 07:49, Japheth Lim wrote:
On 21/10/15, Gerwin Klein wrote:
It turns out that with our collection of large Isabelle sessions that we
run regularly, polyml heap image space is becoming a noticeable problem
for us.
We found another way to solve this problem. Isabelle uses saveState to
save heaps. If we use saveChild instead, we get a substantial reduction
in heap sizes.
However, this makes the saved states less portable because they contain
the pathname of the parent. Then loading will fail if the heaps are
moved to a different path. Here it would be nice if Poly/ML could use
relative paths for the parent, and look them up relative to the child.
There are other ways to fix this (e.g. chdir before loadState) but I'd
rather get the above behaviour from Poly/ML directly. Any thoughts?
What about PolyML.SaveState.renameParent? See
http://www.polyml.org/documentation/Reference/PolyMLSaveState.html
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
