From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1E08080161 for ; Mon, 19 Jun 2017 22:15:20 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=pra; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=mailfrom; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tempura.bentobako.org) identity=helo; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="postmaster@tempura.bentobako.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A3hP2wRKHRjo12DwgDtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRKfjxwZ3uMQTl6Ol3ixeRBMOAuq0C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhj?= =?us-ascii?q?oZOT438G/ZicJ+g6xUrx2juxNxzJXZYJ2WOfdkYq/RYd0XSGhHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQPJ+lYsYj9qEYWohW5CgeiHP3hxCNUg3Tr2qA1zuEhHh/A3Aw8BdIBrm?= =?us-ascii?q?/ZrNH0NKcUTOC0w7DEzTvZb/xM3zfy9JbHfgomofGWUrJ9aMzcwlQsGQPdllid?= =?us-ascii?q?rYPoMymL2ukDqWSW4e5tWfiuhmMosw19vySjy8M2hoTKnI4Z11TJ+ThjzIooKt?= =?us-ascii?q?C1TlNwb8S+H5tKrS6aMpN7QsM8TGFsvyY30qEGtoC+fCgS1ZQn3QTQZ+acfIeW?= =?us-ascii?q?5BLjSOGRLixii3Jmf7KznRGy8VKvyuHkV8m01khFrjZdn9TIuX0BzQLf58adRv?= =?us-ascii?q?Zz+kqtwzeC2g/L5uFBO080lK7bK5A7wr43k5oeqVnMHirol0XwkK+WbFsr9/Os?= =?us-ascii?q?6+TmZLXmu5CdO5Z6igHkKKsunNCwDvoiPggJRWib9vyw1Kf/8k3hXLVKkvo2n7?= =?us-ascii?q?HFv5/AIMQbore1AwtU0oY49xayFCym0dQdnXkfNl1JYhOHj47zO1HPOv/0F/m/?= =?us-ascii?q?g07/2AtskvvPO7mkBpTWMlDClq3gdPBz8R1y0g02mPxW+ZNYPZQsBs7J+weluN?= =?us-ascii?q?nVCAMjPiSwwuD6GJBzzIoYUm/JBbWWZvCB+WSU7/4idrHfLLQevyzwfqAo?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BfFACAMEhZ/0AnF15cHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgy1lhHWbc5gqhiQCgllCFQEBAQEBAQEBAQEBaiiCMyKCRAYjDwF?= =?us-ascii?q?WCxoCJgICHzgTCAEBiiwBrVYggQWBAYtXDCaBC4djC4JshTWCRoJhAQSeXh6eW?= =?us-ascii?q?4ZzlQk1IoEKgQEISYUNHIFoikMBAQE?= X-IPAS-Result: =?us-ascii?q?A0BfFACAMEhZ/0AnF15cHAEBBAEBCgEBFwEBBAEBCgEBgy1?= =?us-ascii?q?lhHWbc5gqhiQCgllCFQEBAQEBAQEBAQEBaiiCMyKCRAYjDwFWCxoCJgICHzgTC?= =?us-ascii?q?AEBiiwBrVYggQWBAYtXDCaBC4djC4JshTWCRoJhAQSeXh6eW4ZzlQk1IoEKgQE?= =?us-ascii?q?ISYUNHIFoikMBAQE?= X-IronPort-AV: E=Sophos;i="5.39,362,1493676000"; d="scan'208";a="228925395" Received: from tempura.bentobako.org ([94.23.39.64]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Jun 2017 22:15:19 +0200 Received: from [192.168.0.13] (14.191.8.109.rev.sfr.net [109.8.191.14]) by tempura.bentobako.org (Postfix) with ESMTPSA id AF926B8F for ; Mon, 19 Jun 2017 22:15:17 +0200 (CEST) To: caml-list@inria.fr References: From: =?UTF-8?Q?David_MENTR=c3=89?= Message-ID: <88108a18-8044-bc46-bed3-aef241b4ff48@linux-france.org> Date: Mon, 19 Jun 2017 22:15:16 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] segmentation fault Hello Julia, Le 2017-06-18 à 21:41, Julia Lawall a écrit : > 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ünzli advised to him to frequently call Gc.full_major () to have a crash closer to the real issue. 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. 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? Good luck! david