On Thu, Jan 11, 2024 at 05:29:28PM +0700, Andrey G. Grozin wrote:
> An alternative solution, which requires re-compiling sbcl with a larger
> dynamic-space-size, is inconvenient for me. I'm the maintainer not only of
> the fricas package, but also of the sbcl package in Gentoo. So, technically,
> I could replace the sbcl package by a new revision, and to make fricas
> depend on this new revision. But this sbcl package with a larger
> dynamic-space-size might appear inconvenient for some Gentoo users, e.g.,
> with old or low-end hardware. It's much better to keep the sbcl package as
> it was (with the default dynamic-space-size), and make changes only in the
> fricas building process.
Just concerning "benefits": for long time default sbcl setting on
64-bit machines was 8Gb. Closure CL has 512Gb default setting and
I heard no complaints about this. Current setting happend after
Suse imposed default 4Gb limit (via ulimit in user startup)
on virtual memory on all user processes. Due to this limit
sbcl binaries failed to run on Suse. So main benefit is for
environment with low ulimit settings. There may be some benefit
in stopping runaway programs, but that should be doable in
much less heavy-handed way. Namely, actual memory use of sbcl
is determined by garbage collector and garbage collection is
triggered when memory allocated to Lisp objects crosses
certain threshold. In principle it should be quite easy to
modify garbage collector to report "out of memory" instead of
expanding memory pool. It could be controlled at runtime by user
settable parameter. I do not know if this is already implemented,
but whoever thinks that low limit is useful should ask sbcl
folks for such a feature and use it instead of dynamic space
size setting (which is changeable only at startup and even then
only if executable does not already contain dynamic-space-size
option).
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/Za8XBd-oybLuAjr0%40fricas.org.
