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 c5ff346549e7 (Postfix) with ESMTP id 11AFF5D4 for ; Fri, 21 Jun 2019 11:38:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,400,1557180000"; d="scan'208";a="388506081" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Jun 2019 13:38:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3CB4D826E2; Fri, 21 Jun 2019 13:38:42 +0200 (CEST) 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 7E62F8247D for ; Fri, 21 Jun 2019 13:38:35 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.63,400,1557180000"; d="scan'208";a="310985347" Received: from prajna.paris.inria.fr ([128.93.65.171]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 21 Jun 2019 13:38:35 +0200 Received: from shindere by prajna.paris.inria.fr with local (Exim 4.92) (envelope-from ) id 1heHsJ-0007VJ-1T for caml-list@inria.fr; Fri, 21 Jun 2019 13:38:35 +0200 Date: Fri, 21 Jun 2019 13:38:35 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20190621113835.GA28574@prajna.paris.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20190621073031.GA26636@prajna.paris.inria.fr> <8a6cb4e0-e3b2-437f-a7f7-c430170a9fdd@www.fastmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <8a6cb4e0-e3b2-437f-a7f7-c430170a9fdd@www.fastmail.com> Subject: Re: [Caml-list] C, threads, callbacks, and corrupted local_roots Reply-To: =?utf-8?Q?S=C3=A9bastien?= Hinderer X-Loop: caml-list@inria.fr X-Sequence: 17632 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hi again, Cédric, > This makes sense. > Does it mean that the INSTALL.doc, which instruct to manually change > the compilation flag and rebuild (see > https://github.com/ocaml/ocaml/blob/trunk/INSTALL.adoc#if-something-goes-wrong) > is not up to date? Yes, you are perfectly right, very sorry about that and many thanks for having pointed this out. I have just submitted https://github.com/ocaml/ocaml/pull/8759 as an attempt to improve the situation. > I guess this is the difference between libasmrun and libasmrund Yes and also between ocamlrun and ocamlrund > (I indeed have both installed), although objdump shows debug sections > in both. The difference is not so much in the debug symbols, rather in the fact that, as the INSTALL files rightly explains, the debug version contains assertions and sanity checks that the valinna versioon does not contain. > Indeed, when I compile without -fPIC and link with libasmrund on Linux > it seems to run in some debug mode; ie. it does print additional debug > strings, but there are no more debug symbols and it seems to be > compiled with optimisations on all the same. Also, it crash at the > very same line with the very same 0xfff in local root address. Why did you try to link rather than using the runtime's executable, actually? Best wishes, Sébastien.