Cannot brk more than 500M on kfreebsd-i386
Greetings! GCL needs about 1Gb of contiguous brk memory for ACL2 to
prove all its theorems. By default, .data starts at 0xe52000, and brk
will succeed up to 0x202e5000, roughly where shared libs are loaded. If
I use a linker script to start .text and .data above the shared lib
region, I still cannot get more than 500M.
Does the kernel hardwire the max brk according to the default layout,
independently of .text address? Is this runtime configurable? Is there
a workaround?
Take care,
--
Camm Maguire camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Reply to: