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: Mar 04 2024 at 10:08 UTC