Re: [isabelle] frequent jEdit crash (Mac OS10.8.4; Isabelle 2013)



I think this is a general problem of the JVM on Macs. I frequently get it when I
close the lid of my Mac and reopen it...

Tobias

Am 26/08/2013 12:52, schrieb Makarius:
> On Fri, 23 Aug 2013, Leo Freitas wrote:
> 
>> I am getting a frequent crash of Isabelle/jEdit with the following error
>>
>> "
>> /Applications/Isabelle2013.app
>> /Contents/Resources/Isabelle2013/lib/Tools/java: line 1:
>>  375 Trace/BPT trap: 5
>>
>>  "$ISABELLE_JDK_HOME/bin/$PRG" "$@"
>>
>> Return code: 133
>> "
>>
>> It seems to happen every time a set of theories are loaded. Any hint /
>> suggestion on what's happening?
> 
> When there is a crash, the first thing is to look closely what has crashed and
> who is responsible for it, and what can be done about it.
> 
> Isabelle/jEdit is a plain Scala/JVM application without native libraries, so its
> own crashes would be just long JVM-style exception traces.
> 
> Sometimes the underlying Isabelle/ML process may crash, which is then
> a matter of telling David Matthews, who is the wizard behind that system.
> 
> 
> Above the crash is due to bin/java, which means it is a problem by Oracle and
> Apple -- which are sometimes like Gozilla vs. King Kong fighting each other, but
> both have sufficient software quality problems on their own to work on.
> 
> There might be workarounds via JVM options (e.g. Isabelle settings
> JEDIT_JAVA_OPTIONS or JEDIT_SYSTEM_OPTIONS) or juggling different JVM versions. 
> We should sort this out off-list via private mail, and report the final result
> here if it is relevant for general public.  (In any case, I usually distill from
> such incidences certain parameters to go into the next official Isabelle release.)
> 
> 
>> Could send the larger log if needed.
> 
> Yes, please send me that privately.
> 
> 
>     Makarius




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