Re: [isabelle] Isabelle2016-RC3 -- jEdit build fails when session loaded from different directory



On 02/02/2016 22:35, Makarius wrote:
On Tue, 2 Feb 2016, Peter Lammich wrote:

Have you used 64bit poly? What happens on 32bit poly?

Using Poly/ML with x86_64 is actually a common mistake -- it is the
default on most Linux installations, but the Isabelle installation
instructions say explicitly that 32bit libraries should be installed.

We are back to the question how much documentation people want to use.
Anybody with higher-than average requirements should peek at advanced
texts occasionally.


What also helps under tight ML heap conditions to is vary the ML_OPTIONS
a bit, concerning the initial heap size.  This changes the way how
Poly/ML grows and shrinks the heap, and sometimes it makes a difference.

Actually, that used to be the case. At one time the initial heap size was also used to calculate the increment if the heap needed to be expanded. Since Poly/ML 5.5 the heap sizing is adjusted depending on the GC load. The heap size is only adjusted after a major GC so if you know you're going to need a large heap it may help to set the minimum size before you start.

David




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.