[isabelle] Isabelle/jEdit deadlock on shutdown
On Thu, 7 May 2015, C. Diekmann wrote:
I can repeatedly produce a crash of jEdit.
This is what I'm doing:
1) Open two files
2) Make changes to the files (do NOT save them)
3) Close jEdit
The "Unsaved Changes" box appears
4) Click "Select All"
5) Click "Save Selected"
Now jEdit doesn't respond anymore. If I started isabelle jedit from
the shell, I can terminate it with ctrl+c.
(I've changed the subject line, to help disentangling all these
The above is a GUI thread deadlock wrt. SideKick parsers. This classic oo
architecture of jEdit makes it almost impossible to implement certain
things correctly. It would be better to throw out all mutable state,
threads and locks, but that is not realistic right now.
I guess that the same problem is behind other obscure deadlocks that were
occasionally seen in the past few months on isabelle-dev.
I've reworked this now in
so it should work better in the next release candidate.
This archive was generated by a fusion of
Pipermail (Mailman edition) and