Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Apparent deadlock issue with Isabelle/JEdit


view this post on Zulip Email Gateway (Aug 04 2021 at 13:06):

From: "Eugene W. Stark" <isabelle-users@starkeffect.com>
I don't have a lot of information on this, but I am reporting it, because I have been experiencing
it relatively frequently and if no one reports this stuff then no one can be aware that anything might
be wrong.

Isabelle version: Isabelle2021 (Linux)
OS: Ubuntu 20.04
CPU: Intel(R) Core(TM) i9-10850K CPU @ 3.60GHz (10 cores, hyperthreading enabled)
RAM: 128GB system RAM
ML_OPTIONS="--maxheap 64G"
JEDIT_JAVA_OPTIONS="-Xmx8192m"

The symptoms are that the prover becomes unresponsive, with "ML cleanup" (full progress bar)
continuously displayed. The UI is still active, and when it is exited, the following trace
is displayed:

I am a heavy user of "try". It is possible that the misbehavior is triggered by a use of "try", but I
can't say for sure one way or the other.

The occurrence is not associated with any invocation of the Linux OOM killer. I checked the syslog specifically
for the instance reported here.


Last updated: Mar 29 2024 at 08:18 UTC