Re: [isabelle] frequent jEdit crash (Mac OS10.8.4; Isabelle 2013)
On Fri, 23 Aug 2013, Leo Freitas wrote:
I am getting a frequent crash of Isabelle/jEdit with the following error
/Contents/Resources/Isabelle2013/lib/Tools/java: line 1:
375 Trace/BPT trap: 5
Return code: 133
Just one speculative idea, before we walk through your crash logs.
Isabelle2013/lib/Tools/java invokes the "java" executable with option
"-server" to make the code faster over time. This quite aggressive
just-in-time compilation might interfere with normal running of the code
-- it somehow conforms to the observations about "cold-start problems"
that I have described on this thread already.
So removing the "-server" mode or saying "-client" explicitly might make a
difference in robustness, at the cost of some runtime performance.
This archive was generated by a fusion of
Pipermail (Mailman edition) and