Although MLton does understand about running out of memory (when an `mmap` request fails), on recent versions of Linux, I've observed that the OOM killer will sometimes step in before a failing `mmap` request. But, I wouldn't think that that would manifest itself as a seg fault. In any case, I would think that 3G would be enough for a self compile; recent builds on amd64-linux show a max live of 887K.
On Thu, Jan 6, 2022 at 3:33 PM Henry Cejtin <henry.cej...@gmail.com> wrote: > MLton understands about running out of memory, so it shouldn't just > segfault. > If it isn't too hard, could you try it with Linux overcommit turned off? > > On Thu, Jan 6, 2022 at 1:57 PM John David Anglin <dave.ang...@bell.net> > wrote: > > > > Source: mlton > > Version: 20130715-3 > > Severity: normal > > > > Dear Maintainer, > > > > Because of dependency problems mlton_20210117+dfsg-3 had to built > > manually on hppa. However, it seems mlton_20210117+dfsg-3 cannot > > rebuild itself on hppa. > > > > See log: > > > https://buildd.debian.org/status/fetch.php?pkg=mlton&arch=hppa&ver=20210117%2Bdfsg-3&stamp=1641492022&raw=0 > > > > It fails with a reproducible segmentation fault. I noticed the compiler > > had allocated more than 2G at this point, so there was probably a memory > > allocation issue. hppa is a 32-bit architecture. > > > > Regards, > > Dave Anglin > > > > -- System Information: > > Debian Release: bookworm/sid > > APT prefers buildd-unstable > > APT policy: (500, 'buildd-unstable'), (500, 'unstable') > > Architecture: hppa (parisc64) > > > > Kernel: Linux 5.16.0-rc8+ (SMP w/4 CPU threads) > > Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set > > Shell: /bin/sh linked to /bin/dash > > Init: systemd (via /run/systemd/system) > > > >
