[isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP
makarius at sketis.net
Fri Jun 19 11:36:12 CEST 2020
On 19/06/2020 07:41, Florian Haftmann wrote:
> I guess this »java.lang.OutOfMemoryError: Java heap space« is due to
>> * System option "pide_session" is enabled by default, notably for
>> standard "isabelle build": this allows to invoke Isabelle/Scala
>> operations from Isabelle/ML.
In recent years, JVM resource limitations have become more and more difficult
to circumvent. The problem is that the heap limit needs to be specified in
advance when starting the java process, but making it too high causes problems
with low-end hardware (e.g. a laptop with only 8GB).
I will make further experiments later, to see how far we can stretch the
For now I recommend something like this in $ISABELLE_HOME_USER/etc/settings:
ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms1g -Xmx8g -Xss16m"
I am often working with -Xmx30g on big machines, but not higher: there is a
32/64 discontinuity beyond 32 GB.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev