Stream: Mirror: Isabelle Development Mailing List

Topic: Update to jdk-21.0.6


view this post on Zulip Email Gateway (Jan 24 2025 at 19:40):

From: Makarius <makarius@sketis.net>
With Isabelle/82cf33956a17 we are on current jdk-21.0.6, which has been
released this week on time for our own release. Any remaining support for old
jdk-17 has been discontinued.

Details of the current PSU (Patch Set Update) are here:
https://docs.azul.com/core/pdfs/january-2025/azul-zulu-ca-release-notes-january-2025-rev1.1.pdf
--- I've checked all occurrences of "21", and it looks pretty stable and
well-maintained.

An interesting side-remark in the changelog is about CRaC:
https://wiki.openjdk.org/display/crac --- this will eventually provide
something like a "dumped heap image" as we are accustomed to in Poly/ML.
Welcome back to the old LISP Club, OpenJDK!

Makarius

view this post on Zulip Email Gateway (Jan 24 2025 at 21:44):

From: Makarius <makarius@sketis.net>
On 24/01/2025 20:39, Makarius wrote:

An interesting side-remark in the changelog is about CRaC: https://
wiki.openjdk.org/display/crac --- this will eventually provide something like
a "dumped heap image" as we are accustomed to in Poly/ML. Welcome back to the
old LISP Club, OpenJDK!

Here is some more information:
https://docs.azul.com/core/crac/crac-introduction with a video presentation at
the bottom.

Main conclusions:

* works only for Linux --- primarily x86_64, but now also arm64

* no macOS, no Windows

It is more like an old Emacs or TeX image dump, not quite the ML heap dump
that we know of.

Makarius


Last updated: Feb 01 2025 at 20:19 UTC