[isabelle-dev] Fwd: [Isabelle-ci] Build failure in AFP

Makarius 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
default settings.

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...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200619/15580ef3/attachment.sig>

More information about the isabelle-dev mailing list