Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation

[Gerd Stolpmann <info@gerd-stolpmann.de>]

[-- Attachment #1: Type: text/plain, Size: 1692 bytes --]

Am Samstag, den 18.02.2017, 11:31 +0100 schrieb Daniel de Rauglaudre:
> On Sat, Feb 18, 2017 at 08:49:12AM +0000, Leo White wrote:
> 
> > 
> > As Gabriel said, it is probably just camlp5 being expensive to
> > compile
> > and spacetime tipping it over the edge. Have you tried increasing
> > the
> > stack size limit?
> Hmmm... perhaps I could test this bug by decreasing my stack size
> limit on my computer?
> 
> The example given seems to show a problem with the file
> meta/q_MLast.ml which indeed contains a statement EXTEND which
> generates a rather long OCaml expression. Strange that this problem
> does not occur with ocaml_src/meta/q_MLast.ml which is a pretty
> printed version of the same file (for Camlp5 cold stard).
> 
> I could try to split this EXTEND into several parts to make OCaml
> not having to use so much memory?
> 
> BTW, how to show one's stack size limit (Linux) and change it?

print: ulimit -s (or just ulimit -a). This is in kilobytes.

Change: e.g. ulimit -s 16384 to set it to 16MB.

Note that there is a soft and a hard limit, and you cannot increase the
soft limit (which is the effective one) beyond the hard limit. Print
the hard limit with "ulimit -H -s". Root can also increase the hard
limit, however there's sometimes a per-architecture kernel limit.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------



[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 473 bytes --]