[isabelle-dev] Isabelle/jEdit: JVM crash

[Christian Sternagel]

Maybe this is of interest for somebody (Makarius?). If its irrelevant, 
sorry for the spam.

Today Isabelle/jEdit grayed out and became irresponsive after switching 
from one thy file to another (with C+`). So I waited about 1 minute and 
when nothing seemed to change I killed the corresponding process. As a 
result I obtained the attached log-file. While this grayout effect is 
not completely new to me (but rather rare) this was the first time that 
I saw this kind of log-file.

isabelle build -?

   Build and manage Isabelle sessions, depending on implicit
   ISABELLE_BUILD_OPTIONS="threads=4"

   ML_PLATFORM="x86_64-linux"
   ML_HOME="/home/griff/.isabelle/contrib/polyml-5.5.2-1/x86_64-linux"
   ML_SYSTEM="polyml-5.5.2"
   ML_OPTIONS="-H 500 --gcthreads 4"

isabelle components -l

Available components:
   /home/griff/Repos/isabelle
   /home/griff/Repos/isabelle/src/Tools/Code
   /home/griff/Repos/isabelle/src/Tools/jEdit
   /home/griff/Repos/isabelle/src/Tools/Graphview
   /home/griff/Repos/isabelle/src/HOL/Mirabelle
   /home/griff/Repos/isabelle/src/HOL/Mutabelle
   /home/griff/Repos/isabelle/src/HOL/Library/Sum_of_Squares
   /home/griff/Repos/isabelle/src/HOL/Tools
   /home/griff/Repos/isabelle/src/HOL/Tools/ATP
   /home/griff/Repos/isabelle/src/HOL/TPTP
   /home/griff/Repos/isabelle/Admin
   /home/griff/.isabelle
   /home/griff/.isabelle/contrib/cvc3-2.4.1
   /home/griff/.isabelle/contrib/csdp-6.x
   /home/griff/.isabelle/contrib/e-1.8
   /home/griff/.isabelle/contrib/exec_process-1.0.3
   /home/griff/.isabelle/contrib/Haskabelle-2014
   /home/griff/.isabelle/contrib/jdk-7u72
   /home/griff/.isabelle/contrib/jedit_build-20141104
   /home/griff/.isabelle/contrib/jfreechart-1.0.14-1
   /home/griff/.isabelle/contrib/jortho-1.0-2
   /home/griff/.isabelle/contrib/kodkodi-1.5.2
   /home/griff/.isabelle/contrib/polyml-5.5.2-1
   /home/griff/.isabelle/contrib/scala-2.11.4
   /home/griff/.isabelle/contrib/spass-3.8ds
   /home/griff/.isabelle/contrib/z3-4.3.2pre-1
   /home/griff/.isabelle/contrib/xz-java-1.2-1
   /home/griff/.isabelle/contrib/ProofGeneral-4.2-2
   /home/griff/.isabelle/contrib/jdk-8u20
   /home/griff/Repos/afp

Btw: How can I tell which of the jdk components is actually used?

cat ~/.isabelle/etc/settings

init_components "$ISABELLE_HOME_USER/contrib" 
"$ISABELLE_HOME/Admin/components/main"
init_components "$ISABELLE_HOME_USER/contrib" 
"$ISABELLE_HOME_USER/components/optional"
init_component "$HOME/Repos/afp"

ISAFOR="$HOME/rewriting/IsaFoR/"

ISABELLE_BUILD_OPTIONS="threads=4"
ISABELLE_GHC=ghc

ML_PLATFORM="$ISABELLE_PLATFORM64"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_OPTIONS="-H 500 --gcthreads 4"

Z3_NON_COMMERCIAL="yes"

cheers

chris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hs_err_pid5057.log
Type: text/x-log
Size: 95085 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20141209/ab879c43/attachment-0001.bin>