I have a couple of quick questions, mostly based on observing that
http://www.polyml.org/docs/HeapParms9.html
could do with being updated.
Looking at the poly man page, I feel it is a little brief on the
descriptions, these are the questions that came to mind when I was about
to explain it to someone else...
"man poly" tells me:
-H size
Set the initial heap size, in MB.
--heap size
Set the initial heap size, in MB.
is this then the same as -H? Given that the heap size is described as
being initial, does it increase as PolyML is running? I was under the
(probably wrong) impression that PolyML has a fixed heap size.
--immutable size
Set the size of the immutables buffer, in MB.
--mutable size
Set the size of the mutables buffer, in MB.
Are these limits? Can they be edited while PolyML is running?
--timeslice timeslice
Set the timeslice.
Can someone remind me what this is?
I was also curious if there a way to get PolyML to print/edit out it's
current memory parameters while it is running?
cheers,
lucas
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
