more on JVM heap space;
authorwenzelm
Sun Nov 20 17:10:30 2016 +0100 (2016-11-20)
changeset 645122b90410090ee
parent 64511 287d4cdf70a0
child 64513 56972c755027
more on JVM heap space;
src/Doc/JEdit/JEdit.thy
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Sun Nov 20 16:22:32 2016 +0100
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Sun Nov 20 17:10:30 2016 +0100
     1.3 @@ -2020,6 +2020,27 @@
     1.4  
     1.5    \<^bold>\<open>Workaround:\<close> Use native full-screen control of the window manager (notably
     1.6    on Mac OS X).
     1.7 +
     1.8 +  \<^item> \<^bold>\<open>Problem:\<close> Heap space of the JVM may fill up and render the Prover IDE
     1.9 +  unresponsive, e.g.\ when editing big Isabelle sessions with many theories.
    1.10 +
    1.11 +  \<^bold>\<open>Workaround:\<close> On a 64bit platform, ensure that the JVM runs in 64bit mode,
    1.12 +  but the Isabelle/ML process remains in 32bit mode! Do not switch Isabelle/ML
    1.13 +  into 64bit mode in the expectation to be ``more efficient'' --- this
    1.14 +  requires approx.\ 32\,GB to make sense.
    1.15 +
    1.16 +  For the JVM, always use the 64bit version. That is the default on all
    1.17 +  platforms, except for Windows: the standard download is for win32, but there
    1.18 +  is a separate download for win64. This implicitly provides a larger default
    1.19 +  heap for the JVM.
    1.20 +
    1.21 +  Moreover, it is possible to increase JVM heap parameters explicitly, by
    1.22 +  editing platform-specific files (for ``properties'' or ``options'') that are
    1.23 +  associated with the main app bundle.
    1.24 +
    1.25 +  Also note that jEdit provides a heap space monitor in the status line
    1.26 +  (bottom-right). Double-clicking on that causes full garbage-collection,
    1.27 +  which sometimes helps in low-memory situations.
    1.28  \<close>
    1.29  
    1.30  end
    1.31 \ No newline at end of file