Email Gateway (Aug 13 2020 at 17:15): Email Gateway (Aug 13 2020 at 17:15):From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *
The jEdit status line includes a widget for Isabelle/ML heap usage,
including an indication for ongoing garbage collection (as "ML
cleanup").
The Monitor dockable provides buttons to request a full garbage
collection and sharing of live data on the ML heap. It also includes
information about the Java Runtime system.
This refers to Isabelle/510ebf846696, which also contains some snippets of
documentation.
The monitoring is based on recent changes in Poly/ML by David Mattews. We can
now see better how the every growing applications make use of memory
resources, and potentially avoid exhausting them too early.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Feb 01 2025 at 20:19 UTC