Re: [isabelle] Isabelle2014-RC2: PIDE does not resume processing

Makarius wrote:
A java process with 100% (and a few GB memory) could mean that the specified heap is full and GC failing to continue properly. This is a well-known "feature" of the JVM. You need to give more room in advance, e.g. like this in $ISABELLE_HOME_USER/etc/settings:
JEDIT_JAVA_OPTIONS="-Xms1024m -Xmx4096m -Xss4m"

I'm not having any big problems, but when I try that with 32-bit Java, on a PC with 16G of RAM, the PIDE tries to start, but quickly terminates.

...the defaults are for a 2-4 GB machine in 32bit mode, where JVM memory is tight. ... On Windows the bundled JVM is always for 32bit, though, but a 64bit one could be installed manually, e.g. by replacing the Isabelle2014/contrib/jdk directory.

So, I did this:

*) Install the 64-bit JDK:

*) Copy 'C:\Program Files\java\jdk1.7.0_71' to 'Isabelle2014\contrib\jdk\jdk1.7.0_71'

*) Rename 'Isabelle2014\contrib\jdk\x86-cygwin' to 'jdk\x86-cygwin__OLD'

*) Rename 'Isabelle2014\contrib\jdk\jdk1.7.0_71' to 'jdk\x86-cygwin'

I'm using these settings on a PC with 16G of RAM and cheap 8-core AMD FX-8320:

   JEDIT_JAVA_OPTIONS="-Xms4G -Xmx8G -Xss4m"

It's working so far. Thanks for the info.


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