Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Update to OpenJDK 21

view this post on Zulip Email Gateway (Nov 20 2023 at 21:24):

From: Makarius <makarius@sketis.net>
* System *

This refers to Isabelle/4fb5e6499da9.

Official release-notes:
https://docs.azul.com/core/zulu-openjdk/release-notes/21-ga

A quick test looks good so far.

Moreover, it might be time to change a few fundamental Java runtime defaults,
e.g. ZGC https://openjdk.org/jeps/439

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Nov 24 2023 at 21:21):

From: Makarius <makarius@sketis.net>
My overall impression is that ZGC requires more heap space (due to full 64bit
pointers) and cumulatively more GC time. At that cost it promises better
reactivity.

Here is an example for $ISABELLE_HOME_USER/etc/settings for further
experimentation:

JEDIT_JAVA_OPTIONS="-Xms512m -Xmx8g -Xss16m -XX:+UseZGC -XX:+ZGenerational
-XX:SoftMaxHeapSize=2g"

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Dec 21 2024 at 16:20 UTC