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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DEF787EE88 for ; Fri, 29 Apr 2016 18:41:26 +0200 (CEST) IronPort-PHdr: 9a23:G17ndxZ3SWYMoaxKvZ5nnZj/LSx+4OfEezUN459isYplN5qZpcS6bnLW6fgltlLVR4KTs6sC0LqG9fC+Ejxcqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7D0q8OYM1kArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6q72EfT35erRdJtA3M6heyCpL4qCjnraxi1SiBJsj/S7YcWDLk87puDhPl3nQpLTk8pUjbkM19iup9qR6svVQryoLOYYyTHPx5YqCbeskVEzkSFv1NXjBMV9vvJ7AECPAMaKMB99Hw Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=adrien@notk.org; spf=Pass smtp.mailfrom=adrien@notk.org; spf=None smtp.helo=postmaster@nautica.notk.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of adrien@notk.org) identity=pra; client-ip=91.121.71.147; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of adrien@notk.org designates 91.121.71.147 as permitted sender) identity=mailfrom; client-ip=91.121.71.147; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; 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@nautica.notk.org) identity=helo; client-ip=91.121.71.147; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="postmaster@nautica.notk.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A8BQB2jiNX/5NHeVtdgziEQ7kDhhACgSs8EAEBAQEBAQEBZCeCLYIUAQEBAwEjDwFGBQsLGAICBRMOAgIPBRgxiDUMszuRIwEBCAIBHXyFJYRMhz0rgisBBJgTjg0KZY4sRY5rNyuDbTqJMQEBAQ X-IPAS-Result: A0A8BQB2jiNX/5NHeVtdgziEQ7kDhhACgSs8EAEBAQEBAQEBZCeCLYIUAQEBAwEjDwFGBQsLGAICBRMOAgIPBRgxiDUMszuRIwEBCAIBHXyFJYRMhz0rgisBBJgTjg0KZY4sRY5rNyuDbTqJMQEBAQ X-IronPort-AV: E=Sophos;i="5.24,552,1454972400"; d="scan'208";a="216395503" Received: from nautica.notk.org ([91.121.71.147]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 29 Apr 2016 18:41:10 +0200 Received: by nautica.notk.org (Postfix, from userid 1003) id ADFA0C009; Fri, 29 Apr 2016 18:41:08 +0200 (CEST) Date: Fri, 29 Apr 2016 18:41:08 +0200 From: Adrien Nader To: Markus =?utf-8?B?V2Vpw59tYW5u?= Cc: caml-list@inria.fr, Gerd Stolpmann , Mark Shinwell Message-ID: <20160429164108.GA23973@notk.org> References: <1461935860.9915.100.camel@e130.lan.sumadev.de> <5630123afc948279fc61d5e4c35d9014@in.tum.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Obj.out_of_heap_tag, out of minor heap or memory corruption? On Fri, Apr 29, 2016, Markus Weißmann wrote: > Thanks a lot Gerd and Mark: It was in the C code: A missing > CAMLlocal(). =) > > The funny thing was: It had _nothing_ to do with the piece of code > the bug surfaced around. This is why calling Gc.collect can help trigger such issues: it can act as a checker for the ocaml memory. > So for anyone reading this thread in the future, tearing your hair > out in frustration: > Check your C code. > > I hereby confirm the Stolpmann-Theorem: "Its always the C code." Well, not always. The runtime is very good but not perfect. Still the most likely culprit however. -- Adrien Nader