Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Increase maximum heap size

Email Gateway (Apr 22 2025 at 15:04):

From: Yakoub Nemouchi <y.nemouchi@gmail.com>
Hello list

How can I increase the maximum heap size of the java heap memory? I think
the default max is 4096MiB.

I am sure there is an Isabelle command line to increase this.

Best wishes,

Yakoub.

Email Gateway (Apr 23 2025 at 08:40):

From: Makarius <makarius@sketis.net>
On 22/04/2025 17:03, Yakoub Nemouchi wrote:

How can I increase the maximum heap size of the java heap memory? I think the
default max is 4096MiB.

You need to tinker manually with Java options. The details depend on context
(OS platform, application).

For Isabelle/jEdit run via "isabelle jedit" you can set
JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4g -Xss16m" in $ISABELLE_HOME_USER/etc/settings

The Isabelle/jEdit desktop application has its Java options in a
platform-specific file next to it.

For most other Isabelle/Scala command-line tools it works via
ISABELLE_TOOL_JAVA_OPTIONS in $ISABELLE_HOME_USER/etc/settings

Makarius

Email Gateway (Apr 24 2025 at 14:34):

From: Yakoub Nemouchi <y.nemouchi@gmail.com>
On Wed, Apr 23, 2025 at 2:40 AM Makarius <makarius@sketis.net> wrote:

On 22/04/2025 17:03, Yakoub Nemouchi wrote:

How can I increase the maximum heap size of the java heap memory? I
think the
default max is 4096MiB.

You need to tinker manually with Java options. The details depend on
context
(OS platform, application).

I am using macOS Ventura 13.7.5
app: Isabelle2024

Yakoub.

Email Gateway (Apr 24 2025 at 15:15):

From: Makarius <makarius@sketis.net>
On 24/04/2025 16:34, Yakoub Nemouchi wrote:

On Wed, Apr 23, 2025 at 2:40 AM Makarius <makarius@sketis.net
<mailto:makarius@sketis.net>> wrote:

On 22/04/2025 17:03, Yakoub Nemouchi wrote:
>
> How can I increase the maximum heap size of the java heap memory? I
think the
> default max is 4096MiB.

You need to tinker manually with Java options. The details depend on context
(OS platform, application).

I am using macOS Ventura 13.7.5
app: Isabelle2024

The relevant file is Isabelle2024.app/Isabelle.options --- each line has a
single Java option. The given defaults are:

-Xms512m
-Xmx4g
-Xss16m

Makarius

Email Gateway (Apr 24 2025 at 16:13):

From: Yakoub Nemouchi <y.nemouchi@gmail.com>
Perfect! Worked very well. After I made my tweaks, I had to restart
Isabelleapp to observe the changes.

On Thu, Apr 24, 2025 at 9:14 AM Makarius <makarius@sketis.net> wrote:

On 24/04/2025 16:34, Yakoub Nemouchi wrote:

On Wed, Apr 23, 2025 at 2:40 AM Makarius <makarius@sketis.net
<mailto:makarius@sketis.net>> wrote:

On 22/04/2025 17:03, Yakoub Nemouchi wrote:
>
> How can I increase the maximum heap size of the java heap memory?
I
think the
> default max is 4096MiB.

You need to tinker manually with Java options. The details depend on
context
(OS platform, application).

I am using macOS Ventura 13.7.5
app: Isabelle2024

The relevant file is Isabelle2024.app/Isabelle.options --- each line has a
single Java option. The given defaults are:

-Xms512m
-Xmx4g
-Xss16m

Makarius

Last updated: May 06 2025 at 08:28 UTC