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 8A6F3800CE for ; Sat, 18 Feb 2017 22:15:16 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-wr0-f176.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.128.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.128.176 as permitted sender) identity=mailfrom; client-ip=209.85.128.176; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wr0-f176.google.com) identity=helo; client-ip=209.85.128.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-wr0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AoiB7XxZ2t68o8DWTpJo2wnP/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs+8bnLW6fgltlLVR4KTs6sC0LuL9fiwEjVcuN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCzbL52LBi6txndu8oZjYd/Jas91wbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4Gy?= =?us-ascii?q?YJYVD+cZP+lYoYnzqVUNoxWjGwejGPjiyiNUinLswaE2z/gtHAPA0Qc9H9wOqn?= =?us-ascii?q?PUrNDtOakXS++1z7PHwijeb/hL3jr965LHchM7rv6RQLJ8a8rRxlMhFwzfiFWf?= =?us-ascii?q?s4rlMCmO2+QCtmiU9etgVea1h2E7rAFxpyGiy8ExgYfHgYIVz0rL9SR/wIstKt?= =?us-ascii?q?23VlR7bsO9HJtLqyGaMI92QtsnQ25yviY6zKcKtoOlcyQS1Jso3Rvfa/ibfIiJ?= =?us-ascii?q?/hLiVPydITBihHJqfr+0mhW88VC4x+HiSsW51ExGoylFn9XWq3wByR/e5tKaRv?= =?us-ascii?q?Z//0qs3yuE2RrJ5eFeO080kLLWK54/zb40kZoeqUHDETX3mEXylaOXeF8k9vSx?= =?us-ascii?q?5+Tpf7nrpJ6RO5V7igH5NaQulci/DvoiPgcSWGib/Pyw1Lzl/ULnXLVHluM6nr?= =?us-ascii?q?XdvZzAJskWprS1DxJL3osg8RqzEjWr3dUAkXkCNl1FeRaHj4bzO1HJJfD1FfS/?= =?us-ascii?q?jE6vkDhx2v/GI6ftApXXIXjNirjhe6xy60hGxwcowtBf4ohbCrAFIP7pRkDxs9?= =?us-ascii?q?nYAgcjMwOo2+bnFMl91oQGVG2SHKCZKrndsUKH5uIrOeaBf44UuDf4K/c+/f7h?= =?us-ascii?q?l2U1mV4bfamz3JsYcmq0Hvp8I0+Be3rjns8BEXsWvgo5VOHllEeNUTtXZ3qrW6?= =?us-ascii?q?I85yo7CJ69AIfYRoGthaSB0z2hEp1XYGBGEFGMHm3ye4WKQfdfIB6Vd+NolD0J?= =?us-ascii?q?UfCtRscb3AyhsAbnx6BqZr7Y8ysZuJal2NVC/eTOmhU76DBuAuyc1XuMRid6hD?= =?us-ascii?q?VbaSUx2fVcqE90xkrLhatxgPVUCJpT7v1AVA48PLbTyuV7D5b5XQeXLYTBc0qv?= =?us-ascii?q?XtjzWWJ5ddk22dJbJh8lQ9g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CfAAB9uKhYhrCAVdFeGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFgEBAQMBAQEJAQEBg0g/gQkHg1ScG5dAJoV8AoIeB0MUAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCAsLCh0vgjMiAYIbAQUjHQEUBx0BAwwGBQsHBgICJgICIQEBEQEFA?= =?us-ascii?q?Q4OBhMIAYlNAQMVDqMuP4wDggQFARyDCQWDTQoZJw1Vgz4BAQEBAQEBAwEBAQE?= =?us-ascii?q?BGwIGEnmKMIJRgWAvgnqCXwWJDoc0iwg6gluEGYcOA4QYg1CNOoo/hxwUHoEVN?= =?us-ascii?q?oEhNB9TF4QkDxEMgWQ9NQGIMoI8AQEB?= X-IPAS-Result: =?us-ascii?q?A0CfAAB9uKhYhrCAVdFeGgEBAQECAQEBAQgBAQEBFgEBAQM?= =?us-ascii?q?BAQEJAQEBg0g/gQkHg1ScG5dAJoV8AoIeB0MUAQEBAQEBAQEBAQESAQEBCAsLC?= =?us-ascii?q?h0vgjMiAYIbAQUjHQEUBx0BAwwGBQsHBgICJgICIQEBEQEFAQ4OBhMIAYlNAQM?= =?us-ascii?q?VDqMuP4wDggQFARyDCQWDTQoZJw1Vgz4BAQEBAQEBAwEBAQEBGwIGEnmKMIJRg?= =?us-ascii?q?WAvgnqCXwWJDoc0iwg6gluEGYcOA4QYg1CNOoo/hxwUHoEVNoEhNB9TF4QkDxE?= =?us-ascii?q?MgWQ9NQGIMoI8AQEB?= X-IronPort-AV: E=Sophos;i="5.35,176,1484002800"; d="scan'208";a="213919293" Received: from mail-wr0-f176.google.com ([209.85.128.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Feb 2017 22:15:15 +0100 Received: by mail-wr0-f176.google.com with SMTP id 35so5843531wrw.0; Sat, 18 Feb 2017 13:15:15 -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=kHodC3M3H/WM3AHhf19GT+ptCydgG6X6E06tQoRm2EE=; b=YvNbsJOGbX9ejop+SqU6agToBCv4+T4cM0Su5g0aKnqZ3E4AxPYbobEAUTpuJH+tlV GS/GNjNjLlDwzcyqdbz+4QdVU11PkTeMWfB95z6WidKKMPOVb8fRP52O5zetnVZc2NZu FwDQAbD/qxYV2pNRcuREmzJEsbZupSWOycsUhpUfZI90YosuxC0IQdI9VONBEpoa2WWZ cowt0vP0Y+AalnH9wBTxWHmopg7nKR9VJG8ugZhjOwRjYyF5Gm8UVAYvHEEvOqN7rKmD 96Wls2BJpLb1L5WCaiyxThHvoGJjGEnl6SbKrgANhO93dvsL+fmwXM2fcO/T5NWF/ZMt 3giA== 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=kHodC3M3H/WM3AHhf19GT+ptCydgG6X6E06tQoRm2EE=; b=LVzfwytBagznyzncYFkj1svH5FfN5B2kLFDRm8Iezs9J4vBbCt6Be1HcdAso8HtD9W 23MP9pu1ouvsYsnvxe3m9aqK42G4+PX+X19SE3/JCYQYXoOpJK0VElhO5Rp+ndIcM+Lz BvlPnJOk61gXeztmavNkj2PRjqdf+Sgtr/AI+sOqRcaHEQjnWnSyTujuAv/L4lPUoRq4 q+ot29tev/2aI8CrlhutwnW/lY5P64xktmR72bo11LlinmQ9Gl0ve8qNoIjUuIT6Ryy0 KIFuIdQPh5kCA+UPv41QnqCOlLyR0S678JrvjDmspw6QWF8M8vTB+6765OH3HBvGmghz sJAA== X-Gm-Message-State: AMke39nZ5txO3RxcbEYfhrYN9RZdqsAD9eQ5CjE1qzKC4vqBaI5FnJBWnZ2Jubd+l12n+omly0hqlYM+7gjirQ== X-Received: by 10.223.166.137 with SMTP id t9mr10559875wrc.15.1487452514715; Sat, 18 Feb 2017 13:15:14 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.170.215 with HTTP; Sat, 18 Feb 2017 13:14:54 -0800 (PST) In-Reply-To: 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:14:54 +0300 Message-ID: To: Daniel de Rauglaudre Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation Daniel, It seems that program doesn't happen with ocaml_src/meta/q_MLast.ml because it is compiled with ocamlc.opt and another q_MLast with ocamlopt.opt. Happy hacking, Kakadu On Sun, Feb 19, 2017 at 12:02 AM, Kakadu wrote: > 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 >> ------------------------------------------------------------ >> >>