Repaired the possibility to disable GCL's memory pool.
commit9c1b714fd1b12c59bc1c0705689510102a700852
authorGunter Königsmann <gunter@peterpall.de>
Fri, 22 Feb 2019 17:05:42 +0000 (22 18:05 +0100)
committerGunter Königsmann <gunter@peterpall.de>
Fri, 22 Feb 2019 17:05:42 +0000 (22 18:05 +0100)
tree4a161070ee2c0e21af366bfb36f96e19300be224
parentfd695019202d5e37826ffca39b41435bf2cda306
Repaired the possibility to disable GCL's memory pool.

GCL by default tries to save CPU time by postponing garbage collects
until a selectable fraction of the system memory is used by the
current process - which means that a try to run two concurrent
maxima processes quickly ends in an out-of-memory.

=> maxima by default tells concurrent gcl processes to share
the information which percentage of the system memory gcl uses.

Unfortunately for the said option not only "Y" and "1" enable the
feature but also a "0" or a "N" => Martin Saturka proposed to
introduce an separate environment variable that disables the
shared memory pool in order to avoid any bug it contains.

Resolves #3529
ChangeLog-Current.md
src/maxima.in