OOM Errors in 8GB JVM builds, -XX:SoftMaxHeapSize
Fabian Huch
huch at in.tum.de
Fri Nov 28 15:32:52 CET 2025
>>
>> Since we are using the Z garbage collector, I've now changed the
>> build manager to use its soft heap max size (8g) with a hard limit of
>> 32g.
>
> I was not aware of that fine point. Would you say that the Z garbage
> collector is where high-end Java applications are going,
I would expect most desktop applications to migrate to generational ZGC.
Latency is better than G1GC, it's more efficient, and allows for desktop
applications with a low memory footprint. That solves all the main
problems with JVM garbage collection.
> and that its extra options work properly?
I have never seen JVM options misbehave. The only caveat is that this is
an XX option, i.e. subject to change without notice (but typically even
those remain stable).
Fabian
More information about the isabelle-dev
mailing list