I just ran into this problem on a machine with 512 GB of ram, where the
Sage virtual memory usage is around 128 GB. Volker might consider that a
tiny fraction of the possible address space, but it still seems a bit
ridiculous. I noticed this when I tried to use @parallel to 64 processes.
(overcommit_memory is set to 2 on this machine.) I could @parallel(2) but
I can change the overcommit settings, but not everyone is so lucky. I
haven't actually tried (I'm just using an old version of sage for now) and
I don't actually know what the default overcommit policy would do with
this. 8 TB is not such a small fraction of the possible address space
anymore. Also, there could be situations where I want to fork significantly
more processes than the number of cpus. Also, 2 TB of ram is not so
unreasonable these days (is PARI going allocate 500 GB?) and neither is >
64 cores, so this seems like it could be problematic for some users, and,
in any case, it is annoying.
On Wed, Aug 31, 2016 at 8:23 AM, Jeroen Demeyer <jdeme...@cage.ugent.be>
> On 2016-08-31 08:57, Thierry Dumont wrote:
>> On machine 2, sage stating process (as mesured with top) uses about 39GB
>> (no more...) out of 153.79 available.
> It doesn't actually "use" that memory. It is reserved virtual memory but
> it does not take up physical memory or swap space.
> You received this message because you are subscribed to the Google Groups
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-support+unsubscr...@googlegroups.com.
> To post to this group, send email to email@example.com.
> Visit this group at https://groups.google.com/group/sage-support.
> For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.