Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2019-RC2 NullPointerException on Cygwi...

view this post on Zulip Email Gateway (Aug 22 2022 at 19:41):

From: Makarius <makarius@sketis.net>
Do you mean the regular maximize button, or the jEdit action
toggle-full-screen (F11)?

Trying F11, I did get the exception once and then it showed up
continuously e.g. when resizing the window. This "exception" mode is not
realiable, though, it only happens sporadically.

Since it is repeatable for you: Can you try with the
Isabelle2019-RC2.exe desktop application and check the exception trace
in the activity log? See menu Utilities / Trouble Shooting / Activity Log.

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 19:41):

From: Fabian Immler <immler@in.tum.de>
On 5/22/2019 11:15 AM, Makarius wrote:

On 22/05/2019 07:58, Fabian Immler wrote:

I still get them reliably. But, as I just realized, only when the
Isabelle/jEdit window is maximized.

Do you mean the regular maximize button, or the jEdit action
toggle-full-screen (F11)?
The regular maximize button.

Trying F11, I did get the exception once and then it showed up
continuously e.g. when resizing the window. This "exception" mode is not
realiable, though, it only happens sporadically.

Since it is repeatable for you: Can you try with the
Isabelle2019-RC2.exe desktop application and check the exception trace
in the activity log? See menu Utilities / Trouble Shooting / Activity Log.
Yes, I've attached the activity.log. Looks like the NPE always occurs
together with
[debug] EditBus:
ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
[debug] jEdit: checkBufferStatus for all buffers
[debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]

Fabian
activity.log
smime.p7s

view this post on Zulip Email Gateway (Aug 22 2022 at 19:43):

From: Makarius <makarius@sketis.net>
I did not change anything for Isabelle2019-RC3 here: the exception is so
rare on my test machines that I cannot get hold of it.

Is this more than an aesthetic problem? Is there really a slowdown of
interaction when printing many exceptions, as you mentioned earlier?

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 19:45):

From: Makarius <makarius@sketis.net>
Looking again more carefully, it is easy to reproduce -- and in fact
occurs both with Java 8 and Java 11. See also
https://sourceforge.net/p/jedit/bugs/4082

Consequently, it happens in Isabelle2018 and Isabelle2019-RC3 alike, and
is formally not a regression.

There is nothing else we can do at the moment, unless someone on the
jEdit project is very quick in isolating the problem.

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 19:50):

From: Fabian Immler <immler@in.tum.de>
When I start Isabelle2019-RC2 on the Cygwin-Terminal (Windows 10), I see
lots of NullPointerExceptions like the following (all with the same trace).
It feels like their printing (?) makes the UI slightly less responsive.

Fabian

Exception in thread "AWT-EventQueue-0"
5:02:35 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:
java.lang.NullPointerException
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/sun.awt.windows.WInputMethod$1.run(WInputMethod.java:597)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.base/java.security.AccessController.doPrivileged(Native Method)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:95)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventQueue$5.run(EventQueue.java:745)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventQueue$5.run(EventQueue.java:743)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.base/java.security.AccessController.doPrivileged(Native Method)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0: at
java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)
smime.p7s

view this post on Zulip Email Gateway (Aug 22 2022 at 19:52):

From: Makarius <makarius@sketis.net>
Strange. I have never seen anything like that -- testing on various
virtual and real Windows installations.

Looking at
Isabelle2019-RC2/contrib/jdk-11.0.3+7/x86_64-windows/lib/src.zip file
java.desktop/sun/awt/windows/WInputMethod.java like 597 does not yield
anything particular, just some low-level operations:

Rectangle rc =
inputContext.getTextLocation(TextHitInfo.leading(0));
x = rc.x;
y = rc.y + rc.height;

If these sources have the correct line numbers, the NPE happens at rc.x,
i.e. the Rectangle rc is somehow invalid.

I have no further clues at the moment.

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 19:55):

From: Makarius <makarius@sketis.net>
Now I did see this exception on a virtual Windows 10 installation, but
only once: it is not directly repeatable.

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 19:55):

From: Fabian Immler <immler@in.tum.de>
I still get them reliably. But, as I just realized, only when the
Isabelle/jEdit window is maximized.

Fabian
smime.p7s

view this post on Zulip Email Gateway (Aug 22 2022 at 19:55):

From: Alexander Krauss <krauss@in.tum.de>
I am getting the same exception. It seems to occur reliably when the
Isabelle window is resized or moved, but also very often when it obtains
focus.

Alex

Last updated: Apr 19 2024 at 12:27 UTC