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 893B180161 for ; Mon, 19 Jun 2017 23:15:46 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=josh@berdine.net; spf=Pass smtp.mailfrom=josh@berdine.net; spf=None smtp.helo=postmaster@out4-smtp.messagingengine.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of josh@berdine.net) identity=pra; client-ip=66.111.4.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of josh@berdine.net designates 66.111.4.28 as permitted sender) identity=mailfrom; client-ip=66.111.4.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; 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@out4-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.28; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="postmaster@out4-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/39jlRe33/4iBUmd90wELX3qlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu8Yh7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTyxPDJ2h?= =?us-ascii?q?YYQNAeoPM+VWoIbhqFUBtha+GRCsCfnzxjNUmnP736s32PkhHwHc2wwgGsoDvn?= =?us-ascii?q?DTrNXuNKcZTP24w7fSzTrebvNW3yny45XPfxAjpvGMRrJwfNHKxkYxDQPKk1SQ?= =?us-ascii?q?qYr7MD+P0OQCrXSb4vNmWOmyiGAnsxl8rzmuy8s2l4XFm58ZxkrL+Clj3oo4Js?= =?us-ascii?q?W0RFN/bNOgCpdcqT2WO5ZsTs4jQmxkojo2x7sbspChZicK0o4oxxvHZvyHbYeI?= =?us-ascii?q?5hXjWf6WITdlmHJod6uzhw238Ui80u3wTMy030hRripeiNbMuXEN1xrc6seZTP?= =?us-ascii?q?t98Uah2TCR2AzJ9u5EJkU0mbLaK54n3LEwioIevEXCEyPshUn6kbKael8r9+Sy?= =?us-ascii?q?9ejqYa3qppqGOI91jgH+PL4umsu6AekgMAgOWHOb+eSn2bL440L5WqhFjvwwkq?= =?us-ascii?q?bHqpzaI9oUprKhDw9Pzokj8wq/Dyuh0NkAgXYINldFeBaeg4jtOlHOO+z4AOyk?= =?us-ascii?q?g1WslTdr3+rJMqfgApXLNHjDka3ucaxz605Gm0IPyoV9+pZVA/klKe36Xku54N?= =?us-ascii?q?7FCh4wdQi93O/jDP1515tAH2yVVPy3KqTX5H2P/eJnCeSWaI4TtX6pKf8+59bk?= =?us-ascii?q?gGU1mFkQO6+kwc1EOziDAv16LhDBMjLXidAbHDJP51JmQQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B/AACxPkhZhxwEb0JcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBhRyDa4sMkQmVd4IRgm6DNgKCWUAXAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCgsJCCgvgjMkAYJAAQEBAQIBIx0BATcBBAsLGAICBSECAg8BHCsGijcIrQJrg?= =?us-ascii?q?iaDCAEBBYhJAQEBAQYBAQEBARsIgQuKWoRpgxKCYZ5jlEuKHIcFlQkhAYE/MCE?= =?us-ascii?q?IJgpJhH4PEAyBZ3WJTwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0B/AACxPkhZhxwEb0JcGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BhRyDa4sMkQmVd4IRgm6DNgKCWUAXAQEBAQEBAQEBAQESAQEBCgsJCCgvgjMkA?= =?us-ascii?q?YJAAQEBAQIBIx0BATcBBAsLGAICBSECAg8BHCsGijcIrQJrgiaDCAEBBYhJAQE?= =?us-ascii?q?BAQYBAQEBARsIgQuKWoRpgxKCYZ5jlEuKHIcFlQkhAYE/MCEIJgpJhH4PEAyBZ?= =?us-ascii?q?3WJTwEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,362,1493676000"; d="scan'208";a="279687109" Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Jun 2017 23:15:45 +0200 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id 4341820B67; Mon, 19 Jun 2017 17:15:29 -0400 (EDT) Received: from frontend2 ([10.202.2.161]) by compute1.internal (MEProxy); Mon, 19 Jun 2017 17:15:29 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= cc:content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=fm1; bh=PUCu0uWkvYSYdAcGPQ JNf2ZYHUI+owkcg70/i5KM2lw=; b=koZT31BlWvkj/LhCnGG+3nmGMGGsXhHrSx Y2JXC3Z1/gRhp2toa/R3KodMyajEEXTve2J8QWcvSFnja01EMju+JN6jKYEa+8SC 1E66FsJ6zoYO9M3wJmLbDB7ZsN2XpCE0El+nRdRH0sQAzJZYiWuCmvM0rlx6O4JQ rCKehg5xS1wlTsDSONmbb/8ifrD6IsY2PbwbmDEr2zURpnsONb4U4Fa9vdpVF1+y qGv4DrEojnHyBStQmvl+Fter1Q2/Upq4dIHcbMsk9fT9tRGuNnJ/UsPZv4v1e13S gL9uBLRgMKGDQctiLF5LUGIlBkfQ5pApIJ2fKk1ajl81fCoGPQpg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-sender:x-me-sender:x-sasl-enc:x-sasl-enc; s= fm1; bh=PUCu0uWkvYSYdAcGPQJNf2ZYHUI+owkcg70/i5KM2lw=; b=NCdbJfjJ BISJTGnugQmhehesBGxqx3wRL+Rg2IpAhGWHRAhZ+igFw0p5bTLszMnOrafhVE/x +B7MTnXNdad1g2YFZkltBq3C+4DXeJt8WPdQHJZ5e/+9LfxtD+qC0KvfjPTQmy/E BHo8hc/cAGU74OKvj8/lkLdNPD1vqP6XH2wWhtkAtWSYZjxhz/PmuUfFKoV8h2DG XIrM4j+jJ2NpSWlTS+H9QdvSGm4MMh0qi41kJCQbk1HI8wTLqAvz4+5Tm25VgmxA AF7nk8K9VeP7hEnVgNjIkKhQNN707R20u/wlSIpXDpeKT7WMe3h9QBa24HiioNc4 jAvuCFUvl9/EPw== X-ME-Sender: X-Sasl-enc: nxwIjPqqSxxf+Vx29iYKHhFEwj0GhDtIs8AxQ6DitKsm 1497906928 Received: from jjb-mbp.localdomain (unknown [199.201.66.0]) by mail.messagingengine.com (Postfix) with ESMTPA id DB6E62492A; Mon, 19 Jun 2017 17:15:28 -0400 (EDT) Received: by jjb-mbp.localdomain (Postfix, from userid 994052071) id 07AA2AB27894; Mon, 19 Jun 2017 22:15:26 +0100 (BST) From: Josh Berdine To: Julia Lawall Cc: caml-list@inria.fr In-Reply-To: References: <88108a18-8044-bc46-bed3-aef241b4ff48@linux-france.org> Date: Mon, 19 Jun 2017 22:15:26 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] segmentation fault On Mon, Jun 19 2017, Julia Lawall wrote: > On Mon, 19 Jun 2017, David MENTR=C3=89 wrote: > >> Hello Julia, >> >> Le 2017-06-18 =C3=A0 21:41, Julia Lawall a =C3=A9crit : >> > Over several >> > runs on two different laptops, the backtraces have nothing obvious in >> > common. The bytecode version does not seem to stack overflow. Adding >> > Gc.print_stat() at a periodic quiescent point in the execution did not >> > show a memory leak. >> >> A similar issue related to random crash in native code version was asked >> by Alexey Egorov on this list 9 days ago. Daniel B=C3=BCnzli advised to = him >> to frequently call Gc.full_major () to have a crash closer to the real >> issue. > > OK, I will try this. Are you using Windows? I have only experienced segfaults from stack overflo= w on Windows. >> In the case of Alexey, it was a non tail-recursive call that triggered a >> stack overflow and that is not detected in OCaml native code. Apparently >> this kind of issue is fixed in next to come OCaml 4.06.0. > > Why would something like this not be deterministic? In my case, it can > happen after seconds or after tens of minutes. This sounds like an interaction with the GC to me. >> Of course, your issue might be entirely different. But frequently >> calling Gc.full_major () seems a sensible starting point to me. >> >> Otherwise you have the usual suspects: are you using C bidings? Threads? > > There are no threads. The software may use C bindings. I don't think > they are involved in the failing execution, but I'm not 100% sure. I have found running under valgrind to be helpful in this sort of situation= , though it is slow and some valid code can trigger many warnings. Cheers, Josh