Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish

view this post on Zulip Email Gateway (Jan 19 2021 at 16:56):

From: Norbert Schirmer via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Dear Makarius,

I am using Isabelle2021-RC2 on macOS Big Sur. I have noticed that Isabelle/jEdit gets quite sluggish after a very short period of usage after loading some theories. When entering a key it takes about a second until Isabelle/jEdit reacts. This even happens when editing or scrolling in a plain text buffer. I tried to get an intuition by using the Java Monitor Panel. (Thanks for providing the live view on the JVM as well es ML heap in Isabelle/jEdit.) I have noticed an inconsistency in the display of used / free JVM heap memory: the memory claimed to be free in the view in the bottom right corner of Isabelle/jEdit is actually used according to the Java Monitor panel. But still there seems to be plenty of free memory. Once Isabelle/jEdit is in the bad state, every key-stroke let’s the graph in the CPU Usage go up to 30% (Java Monitor Panel), or 200-300% (macOS Activity Monitor).

Do you have an idea how I can further analyse the issue?

Regards,
Norbert

view this post on Zulip Email Gateway (Jan 19 2021 at 17:36):

From: Makarius <makarius@sketis.net>
Do you see the same with Isabelle2021-RC1?

One difference in Isabelle2021-RC2 is the brand-new jdk-15 ("MTS" --- medium
term support). It could introduce new problems that are absent in jdk-11. See
also https://isabelle.sketis.net/repos/isabelle-release/rev/af54129abd9e

I suppose you know how to try a repository clone like
https://isabelle.sketis.net/repos/isabelle-release/rev/c4b688abe2c4 and
exchange the jdk component on the spot: see isabelle/Admin/components/main.

Makarius

view this post on Zulip Email Gateway (Jan 24 2021 at 18:59):

From: Makarius <makarius@sketis.net>
On 19/01/2021 17:56, Norbert Schirmer via Cl-isabelle-users wrote:

I am using Isabelle2021-RC2 on macOS Big Sur. I have noticed that Isabelle/jEdit gets quite sluggish after a very short period of usage after loading some theories.

Please check https://isabelle.sketis.net/website-Isabelle2021-RC3

I have noticed an inconsistency in the display of used / free JVM heap memory: the memory claimed to be free in the view in the bottom right corner of Isabelle/jEdit is actually used according to the Java Monitor panel.

I have changed that in Isabelle2021-RC3.

Makarius

Last updated: Jan 04 2025 at 20:18 UTC