From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 445ED800CE for ; Sat, 18 Feb 2017 22:02:27 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f54.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-wm0-f54.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AseiKRBGTme1Xmzk0h9qNwp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75psmwAkXT6L1XgUPTWs2DsrQf2reQ6/CrADBZqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2ap42N2uuz45zeZRlTzHr4OOsqbUb+kQKEmcQMjcNZNqE10h7ApH0AL+?= =?us-ascii?q?VQy2RAKl+Jk1Pn+sC05Jtq9SIWt/93pOBaVqCvXK07RLBFRGAlOmM86NCttRDN?= =?us-ascii?q?RA2G4HI0XWAfkx4OCA/AukKpFqztuzf347IukBKROtf7GPVtAWyv?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B+AgAFtahYhjZSfUpeGwEBAQMBAQEJA?= =?us-ascii?q?QEBFQEBAQECAQEBAQgBAQEBg0gBPoEJB4NUnBuIeo5GJoV8AoIeB0MUAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCAsLCh0vgjMEAR0BBIIXAQUjHQEUBx0BAwwGBQsDBAYCAiYCA?= =?us-ascii?q?iIBEQEFAQ4OBhMJiU0BAxUOoyo/jAOCBAUBHIMJBYNOChknDVWDPgEBAQEBAQQ?= =?us-ascii?q?BAQEBARsCBhJ5ijCEMS+CeoJfBYkOhzSLQoJbhBmHEYQYg1CNOpFbFB6BFTaBI?= =?us-ascii?q?TQfUxeEJA8RDIFkPTUBiDJtgU8BAQE?= X-IPAS-Result: =?us-ascii?q?A0B+AgAFtahYhjZSfUpeGwEBAQMBAQEJAQEBFQEBAQECAQE?= =?us-ascii?q?BAQgBAQEBg0gBPoEJB4NUnBuIeo5GJoV8AoIeB0MUAQEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?AsLCh0vgjMEAR0BBIIXAQUjHQEUBx0BAwwGBQsDBAYCAiYCAiIBEQEFAQ4OBhM?= =?us-ascii?q?JiU0BAxUOoyo/jAOCBAUBHIMJBYNOChknDVWDPgEBAQEBAQQBAQEBARsCBhJ5i?= =?us-ascii?q?jCEMS+CeoJfBYkOhzSLQoJbhBmHEYQYg1CNOpFbFB6BFTaBITQfUxeEJA8RDIF?= =?us-ascii?q?kPTUBiDJtgU8BAQE?= X-IronPort-AV: E=Sophos;i="5.35,176,1484002800"; d="scan'208";a="261111728" Received: from mail-wm0-f54.google.com ([74.125.82.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Feb 2017 22:02:26 +0100 Received: by mail-wm0-f54.google.com with SMTP id c85so44970711wmi.1; Sat, 18 Feb 2017 13:02:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=6E/YP7qHt1yMoXbxY4RsbQATghsRBqMIvek303Ne1XQ=; b=bqg+/GjJqrRDgLBwOOX+P1C+3K9xairErHkTQoNhjf9VVM5y/HDPGVDtvmORSE1S3k 01qq3x6K6szmB5h0MM9K5xTI3HOLEk8VHss5fxfXBxELSJlMFoDD29HtNcGSmFEMc6vz 4xGnXOcRkGRSSR1LvNS8NEzOM5GYpvKl51s5U+HwU6upcat6BMco1ctD09ThGasHjK0d 2hvBvbUiBq67t9SkvoQpBJvScIKmhlQhBObZT5Krh/ZblxBrzq2/rxmD248ABm7mHQ3q 7imq59TBZ+7uCdoh0Zfjg+D9utT+VlKDlPvBEWK4VgoTLxvCOt4n4RMx1lwYCchrNC56 IaxQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=6E/YP7qHt1yMoXbxY4RsbQATghsRBqMIvek303Ne1XQ=; b=FHtHO4MpoX4lx//KVW7icwAjWjy5iLMYLkFP7urZuDNNFMPoZQdXziyQA7COT3XMNe Ddin25sx1XhMIFNKln8ET6yMGNU6MTJvW+6+Shrm5q01CV6AOCqTfd0se6BjAWMTtNJc bfCVem10muFYFFcRxf0ag8G35wbq6tFfw+VmNXMIQQL2ph1RR7pwKW+sz23mkb8oUU6z hmMY7/znGR9dFhwuFPbks6UI9vUV+pSOJLyQzpMOy2l/vqHtj6z9aCGM4xl9i7neliwf 6w9yyDY6itd3aKtroKmXqN5EqYXM5sxzrTlXGZd5cSPhtbQskF+iz+0JPOqDesfJu4ut Vk0A== X-Gm-Message-State: AMke39l2iDhJ7Wibudj9hOcrUDVS5jotkio7CQsPy4EH09TkphVZhXx8q9xtXmWI2bBfyJEnq5LxN3uHx0Vv3A== X-Received: by 10.28.87.19 with SMTP id l19mr10914977wmb.95.1487451745682; Sat, 18 Feb 2017 13:02:25 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.170.215 with HTTP; Sat, 18 Feb 2017 13:02:05 -0800 (PST) In-Reply-To: <1487451144.4182.85.camel@gerd-stolpmann.de> References: <20170218015321.GA22237@yquem.inria.fr> <86d1efopdj.fsf@lpw25.net> <20170218103154.GA5070@yquem.inria.fr> <1487451144.4182.85.camel@gerd-stolpmann.de> From: Kakadu Date: Sun, 19 Feb 2017 00:02:05 +0300 Message-ID: To: Gerd Stolpmann Cc: Daniel de Rauglaudre , Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation I also tried to comment some code in the file. OCamlopt tries to build it and fails after eating all free RAM (5Gb). On Sat, Feb 18, 2017 at 11:52 PM, Gerd Stolpmann wrote: > 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 > ------------------------------------------------------------ > >