Email Gateway (Aug 22 2022 at 10:10): Email Gateway (Aug 22 2022 at 10:10):From: Makarius <makarius@sketis.net>
(I've changed the subject line, to help disentangling all these
Isabelle2015-RC threads.)
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
https://bitbucket.org/isabelle_project/isabelle-release/commits/4f72b00d9952
so it should work better in the next release candidate.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC