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.
Makarius
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
