From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6B462800CE for ; Sat, 18 Feb 2017 21:52:54 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4vv4SR9zrE4BFv9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?2ukcTK2v8tzYMVDF4r011RmSDNids6IP0rGG+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFIiTanfb9/Lxq6oRjfu8QVnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRQT2gy?= =?us-ascii?q?kbKTE27GDXitRxjK1FphKhuwd/yJPQbI2MKfZyYr/RcdYcSGFcXMheSjZBD5u/?= =?us-ascii?q?YYUSD+QPI+hWoIvzp1QSqhWxChKhBOzzxjJSnHL7x7E23uAnHArb3AIgBdUOsH?= =?us-ascii?q?HModv0KqgSS/26x7TVwzXfaPNW3S/96I3SfRAnp/GHQLV9ccvXyUkhEAPIlVqQ?= =?us-ascii?q?ppL/PzyIz+gNqHSb7+1kVeK3jm4osQdxoj61ysgxlIbEn4QYwU3K+yV+xYY6P9?= =?us-ascii?q?y4SEhjbN6rDpRQrTyVO5JtQsM+RGFovD46yrgctp69eigG0okoyADHZ/ObaYeI?= =?us-ascii?q?5xbjW/qQITdkhHNpYrW/hwy98UWm1+byVdG03U5UoiZYjNXArG4B2wLR58SdV/?= =?us-ascii?q?dx4Eas1SyS2w3Q6OxIOUM5mKrBJ5I8wbM9mIAfvEXHEyPshUn7jbKae0M58eay?= =?us-ascii?q?8evneK/pppqEOo90lA7+NqMul9S6AeQ/LwgOQ3KX+eeh1L3l4EL2XrNKjuYona?= =?us-ascii?q?nDrpDVO94bqrSkDABLyooj6hC/ACm60NkAg3ULMUxJdAiZg4T3OVzCOu30Aem+?= =?us-ascii?q?jli2jTtmxPLLMqXkAprXL3jDlLnhfax6605Z0AczzNZf55xTCrwaL/L8RFXxu8?= =?us-ascii?q?HBAh8iLwy0xOLnCM141owEX2KPBLWVP77MvlOQ/OIgP/GMZJMJuDb6M/Uq++Th?= =?us-ascii?q?jXo9mVMEeamp3IAXaGyjE/R9I0SZZGLsjc0bHWcLuAo+Vu3qh0eYXT5dfXa4R7?= =?us-ascii?q?g86S0jCIK6EYfDQZigj6Gf0yehBJJWe29GClSWHnrzdoSEWvIMZzmIIsB7iDAE?= =?us-ascii?q?VL6hS5Ug1R60rgP6xaBnfaLo/Xg0vJTi2dw96+Cbrxgv+jh9EsiH3inZQ2hyn2?= =?us-ascii?q?4MATM767p2vEN5w0qPy6VQgvpCFNUV6ekfFk8xPJvYiuh7EMzaWwTbf97PRkz1?= =?us-ascii?q?bM+hBGQeQ8g9i+QSZEJlHtykiFiX3iykBJcamqaHQYco9abE2nH3IYBxxiCVh+?= =?us-ascii?q?Eak1A6T54XZiWdjall+l2WXtaRng=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DXAADZs6hYf7t+49ReGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBhAeBCZ92l0AmhXwCgiVDFAEBAQEBAQEBAQEBEgEBCQsLChs?= =?us-ascii?q?xgjMiAYIbAQVVNAsSBi5JDgYBEgmJagEJshGLRgEBAQEGAQEBARUPhVqFYYQxL?= =?us-ascii?q?4JADIMNBYkOknaBVwKFG5VjhlCTIjaBITQgFD6ESh2BYnQBiDKCPAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DXAADZs6hYf7t+49ReGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BhAeBCZ92l0AmhXwCgiVDFAEBAQEBAQEBAQEBEgEBCQsLChsxgjMiAYIbAQVVN?= =?us-ascii?q?AsSBi5JDgYBEgmJagEJshGLRgEBAQEGAQEBARUPhVqFYYQxL4JADIMNBYkOkna?= =?us-ascii?q?BVwKFG5VjhlCTIjaBITQgFD6ESh2BYnQBiDKCPAEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,176,1484002800"; d="asc'?scan'208";a="213918446" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 18 Feb 2017 21:52:36 +0100 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue003 [212.227.15.167]) with ESMTPSA (Nemesis) id 0MUAOE-1coZwf1ez4-00R1LC; Sat, 18 Feb 2017 21:52:35 +0100 Received: from e130 (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id AF359DC05D; Sat, 18 Feb 2017 21:52:34 +0100 (CET) Message-ID: <1487451144.4182.85.camel@gerd-stolpmann.de> From: Gerd Stolpmann To: Daniel de Rauglaudre , caml-list@inria.fr Date: Sat, 18 Feb 2017 21:52:24 +0100 In-Reply-To: <20170218103154.GA5070@yquem.inria.fr> References: <20170218015321.GA22237@yquem.inria.fr> <86d1efopdj.fsf@lpw25.net> <20170218103154.GA5070@yquem.inria.fr> Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-l1s8U0pCngRhgGLg8JNL" X-Mailer: Evolution 3.18.5.2-0ubuntu3.1 Mime-Version: 1.0 X-Provags-ID: V03:K0:06M1uF2zNkv5ou2u2+l7IFcJqNdKJKfzlmBnA/lumW+oC+bfRPK cmF5OjheWU4DEaupt1w5B4mUce4/jE+j34/GLg9EpEDIePkgmRC/m99ouM+EptAt/veSZVS bHYytq8SwEM4FdyqtRUKCnbpWkjzGhbs31HXlMqonWYU6jl9wLaUdmwL+6UiD4pSYZS7Ans nLfeD6KM310Aw89hVXgtA== X-UI-Out-Filterresults: notjunk:1;V01:K0:7ibSwlAUpIs=:ecGqqFjV5hL56PvoY8/7r5 RFhGvqPeWKG2XsraDEP5URushoDOfZtnHOKUjWzxj3JrvcRAxw6JNYCn7n2844EFIW7dQAwov uf48ckqUaqSp1UByfWaOBHXSt7fCbMZfOtoc9NsckY3ss4z4rCHpY76CoWd+SWg0UniarDhb8 bOBcUi/vlv08kWx6SUoY83y3e3oDk1T2d8vOgeNB4LbS749JfhRBYv9mG9PGz+cySRrz6/QKX 9TsvYEujgmPzNE2mfkM94eZfaVYUebm4zlBKSFRG+2V5EMrj+6nS9LY1dIks3YfL6jQtw4qJl OaEqLT+wOeRrqntuq7Om5+o/D8cB4tTrSVBmj4c/3fJOw6QL3dMeh6iwcy5ZfaFUWrwT3oIe8 iPOIhdMT9T/g2cSNqgE94sCdMPEsuKyoEQbnTBCcWnlT+08V3yXkIl2QgaMTybv2beX45ojKK 4FubGLbNzKeONmfJzGd7sJG7pBKsEUaJlfixTr6xUFYFpM1H8KbtPwhBLgi9BYY73XakPChVF 93NqDXs+YizvcLCW4/MS8jsSXhkhjG9v/M75gRoeKHDTyXY6NmmtrR7/NqirBbCTib0NhYK/L tyPUDwI6cDLcKerOFvYfN5XWOXBFrWi8B8WxXiHWR3pg2wvkaHXndHQ2/j9E+H/tYS1/aZENL NeKXW/Sio3meN3GXLNf/owzQvIlw6EKrniIygEl0kuYsNqLPBmtlyuGEXmZXwKs0RPGk= Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation --=-l1s8U0pCngRhgGLg8JNL Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable 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: >=20 > >=20 > > 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? >=20 > 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). >=20 > I could try to split this EXTEND into several parts to make OCaml > not having to use so much memory? >=20 > 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 --=A0 ------------------------------------------------------------ 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 ------------------------------------------------------------ --=-l1s8U0pCngRhgGLg8JNL Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAABCAAGBQJYqLQIAAoJEAaM4b9ZLB5ToHgH/3L5RYVWG4XAi5e9RLFv0Ey2 f5BOFZlVI4dsp8dpIUAzgVo5wXZ3nccibp5GRP4kid178C3FMES4s3EBH9FlL07y beeBDdHBScwneZ3hEHvZRYPJAXZRohPWlASLUi9qvopEGC1tf53YEyII0spsjD42 0J6P1mYxgAXYxBH59nWXGakm/8jpd7BCH1r6685AEgGW8Hx8geN7mr8JBhvMuLA4 +y/5YBI6x6ycGhE2ntC/xaKgswGnnNROz7RDgHJAXjHplhJtl8DesVBnSkTd1qxb il5OlCCzFBvp5P4OFYiPQeyfMoQPR2qB9974v8h6CXpk499tTHMTfpeoZ3nItD4= =EcgT -----END PGP SIGNATURE----- --=-l1s8U0pCngRhgGLg8JNL--