Re: available memory on fischer
Greetings, and thanks for your reply!
Peter Palfrader <weasel@debian.org> writes:
> On Mon, 26 Aug 2013, Camm Maguire wrote:
>
>> Greetings! I seem to be able to allocate 1Gb of memory on all porter
>> machines but fischer, which will give me 500M. The machine appears to
>> have more, but brk will fail past this point. This persists if I use a
>> linker script to raise the .text and .data addresses over the congested
>> default region. I'm wondering if there is a per process limit
>> somewhere. In any case, recent acl2 requires about 1Gb to build. Can
>> this be fixed in someway, or is there an alternative?
>
> You'll have to ask the porters. As far as I can tell the system has 3
> gigs of real memory and 500m of swap. That should be sufficient for
> your needs and if it isn't I would think that's a platform issue.
I've been told that the following needs executing to make this memory
available to brk:
> You first have to raise system wide limit
> and after that eventually local limit by i.e.:
>
> sysctl kern.maxdsiz=1887436800
> ulimit -H -d 1887436800
> ulimit -S -d 1887436800
Would this be possible on fischer/autobuilder machines for kf-i386?
Take care,
--
Camm Maguire camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Reply to: