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 D6D845D4 for ; Fri, 21 Jun 2019 10:52:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,400,1557180000"; d="scan'208";a="388498673" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Jun 2019 12:52:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C7508826B2; Fri, 21 Jun 2019 12:52:03 +0200 (CEST) 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 492F48247D for ; Fri, 21 Jun 2019 12:51:53 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=Pass smtp.mailfrom=rixed@happyleptic.org; spf=Pass smtp.helo=postmaster@out2-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3A17/dpRakVndhq2Q9K8v6faz/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMu9bnLW6fgltlLVR4KTs6sC17OM9fi+EjddqdbZ6TZeKcUKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ8Jqor1hfEo3REdu?= =?us-ascii?q?pWyGh1IV6fgwvw6t2/8ZJ+7ihcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWGxMVdtTWSNcGIOx?= =?us-ascii?q?d4wBAOQOMuhbrYb9qVUAoxugCwexGOzi0SNIimPs0KEmyeksCx3K0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8IUeC0w6jH0yjMYuhW2Tjn8IjIahAgofWSUrJobcrRyFUgGxnCjlWK?= =?us-ascii?q?pozoOS6e2OoKs2ie9eVgVOSvhnYoqwFwvjivxtoshZLTio0JzVDE8CN0y5s2K9?= =?us-ascii?q?2gUEN2YN+pHIFNuy2HKod6WMwvT3t2tCs7zLANpIS1czIQyJs9wh7Sc/yHfJaM?= =?us-ascii?q?4hLkTOuRJip4hG57dL6mnBay9FSgyvXmWsmxzllKtTFFncPDtnAM0RzT5daISv?= =?us-ascii?q?1y/keg3zaAyRrf5f1DIUAxjabbKpghzaAslpcLsEnOHzX6lFjrgKOLbEkp9fKk?= =?us-ascii?q?5/rmb7n+o5+TLY50igXwMqQ0ncy/BPw1MhIPX2mU5+uzyabu/U3jT7VSlv03kq?= =?us-ascii?q?3Zv47CJcQHp662HxVZ0oE56xawFzumysgXnWEbLFJZfxKKl5TmNEvLIPD8FPu/?= =?us-ascii?q?h1WskCx3x/3dJb3gApDNLmDZn7v7fLZ97VRcyAspwtxF6ZJUELcMK+/tV0/1qd?= =?us-ascii?q?zYFQM5PBKuw+j6CdV8150RVHqTDvzRDKSHulaN4qcrIvKQTI4Tojf0bfY/tND0?= =?us-ascii?q?inpsg14NcKWB3ZIPcGG8E+x6Ik7fZmDj0YRJKnsDogdrFL+is1aFSzMGPy/uDZ?= =?us-ascii?q?J53SkyDcedNamGXpqk2ePT3C6jBoxSa3haC1vKFm3nJd3dBqU8LRmKK8okqQQq?= =?us-ascii?q?ELisT4h6jEOpqROgjqFiMvKS/yADrpvs1d566uvclBc/szdzCpbEijDffyRPhm?= =?us-ascii?q?oNAgQO8uV6qE15xE2E1PEn0fxRDcRC4/5RTgYxc5nGwL4jBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CLAwBUtgxdhxoEb0JlHgEGBwaBZwKBL?= =?us-ascii?q?gIBgU5SATEoh2CFMYl8gWItmmAJAQMBDCUKAQGEQAKCXhwGAQQ1BQ0BAwEBBAE?= =?us-ascii?q?BAgECAwETAQEBCA0JCCmKPgyCOiKCbwEEAUABATgECwtGLCuDOwGBew8PpQOCI?= =?us-ascii?q?oJ5AQEFgjyDRIEnAwaBMgMBAYcEghKCRReBf4E4gj0uPoJhAgKCLIUVqgAJiGG?= =?us-ascii?q?NDCGXRC2UIY95gWiBeH1DLhpWgU6CQRqDVoUUhUE9AQIwjzcBAQ?= X-IPAS-Result: =?us-ascii?q?A0CLAwBUtgxdhxoEb0JlHgEGBwaBZwKBLgIBgU5SATEoh2C?= =?us-ascii?q?FMYl8gWItmmAJAQMBDCUKAQGEQAKCXhwGAQQ1BQ0BAwEBBAEBAgECAwETAQEBC?= =?us-ascii?q?A0JCCmKPgyCOiKCbwEEAUABATgECwtGLCuDOwGBew8PpQOCIoJ5AQEFgjyDRIE?= =?us-ascii?q?nAwaBMgMBAYcEghKCRReBf4E4gj0uPoJhAgKCLIUVqgAJiGGNDCGXRC2UIY95g?= =?us-ascii?q?WiBeH1DLhpWgU6CQRqDVoUUhUE9AQIwjzcBAQ?= X-IronPort-AV: E=Sophos;i="5.63,400,1557180000"; d="scan'208";a="388498584" X-MGA-submission: =?us-ascii?q?MDF+Vnb/dG2hYAaSlCb74fSN/r5PD3eTVKMQIB?= =?us-ascii?q?CrTHK6B4B6sxbWT3zWhWZ9u/bW1BOxRBVRFwJZNp7TAIOA5m5XYQfzi8?= =?us-ascii?q?icWoWeGmtjJ9mwXS2arekvKZY4qeRY+ZAIQbJJOs+9GQlKSYzTVaH2JR?= =?us-ascii?q?KVEPvc0pFnCoBAolWFzUFm9Q=3D=3D?= Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Jun 2019 12:51:52 +0200 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 5A58B20CB1 for ; Fri, 21 Jun 2019 06:51:50 -0400 (EDT) Received: from imap2 ([10.202.2.52]) by compute3.internal (MEProxy); Fri, 21 Jun 2019 06:51:50 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=happyleptic.org; h=mime-version:message-id:in-reply-to:references:date:from:to :subject:content-type; s=fm3; bh=mSYyWxW547ryr7694Q6E3CwST7MIlnS WhBbMvPzeCH8=; b=Ozlb2e2QfYF6/F49p7kzMsmYgAlxNHg+epPHdKQ48tdsNue Kv9KQ1A+j+d0t0Xb0uTkMyYr54W3UiOQmGMc9R4l4cqI9xWDw9tZdzTZ0gcI+FHL 6ifVJVuCUOsCw8P962B1QhNVC/Q7QXGGDC/jdxNEPc78PZa6nUypZm6FiDG67rF9 q7jhytxZ/MdctddDa1UKyo0nwhTL9OsZtScGZviqmqz333ojICrAwNrsf+dAh3RQ RlDB59d4TslFfe6h8QmXl2yBEQBzEb5LDEnsGaeXaPpnPmdF6OPVNcRDuLL9wWuc slDs5TzCJYnxHmvtFg98Ib3cHY4OpMK4KN2w3ag== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=mSYyWx W547ryr7694Q6E3CwST7MIlnSWhBbMvPzeCH8=; b=DHSEhba6ix0PZLvsyR+gDO orTFfD/XqRR+2Oiiv5oKDcUgrc+Af3Gjo1l9G6Uqt6SgVD6FoE7qmEuswqAvuVSk RQu0mVdQJohKsi7Dc+/979WDuC4zG5jQgGQHOWtX0zxZbdKDlBMr1sWeGpCY3QvZ uI4+LGV1bXSLdfLhE6E5beYAZtaZ64cx5jiFxPNSbzkA1OE+ZeQTSHi7o1+58DtQ /BquIDzUwqgDNEkwUY0058TLhLFZhqZ79TUQFlQzJBzv+2JgWxZZWBkaios8FqZq m81j5m5GrigAt5oSMOpIsautFbCJun/GZJQ9yZQUp78Dx6OoHja/ZWMt7VrEZ86g == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduvddrtdeigdefiecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhepofgfggfkjghffffhvffutgesthdtre dtreertdenucfhrhhomheprhhigigvugeshhgrphhphihlvghpthhitgdrohhrghenucff ohhmrghinhepghhithhhuhgsrdgtohhmnecurfgrrhgrmhepmhgrihhlfhhrohhmpehrih igvggusehhrghpphihlhgvphhtihgtrdhorhhgnecuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id A8D27E00A1; Fri, 21 Jun 2019 06:51:49 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.6-728-g133121a-fmstable-20190620v1 Mime-Version: 1.0 Message-Id: <8a6cb4e0-e3b2-437f-a7f7-c430170a9fdd@www.fastmail.com> In-Reply-To: <20190621073031.GA26636@prajna.paris.inria.fr> References: <20190621073031.GA26636@prajna.paris.inria.fr> Date: Fri, 21 Jun 2019 12:51:49 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Content-Type: text/plain Subject: Re: [Caml-list] C, threads, callbacks, and corrupted local_roots Reply-To: rixed@happyleptic.org X-Loop: caml-list@inria.fr X-Sequence: 17631 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: > re:the debug > runtime, at least upstream it is now enabled by default so I would > expect opam to provide it with the compiler for recent versions, rather > than in a separate package. 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? I guess this is the difference between libasmrun and libasmrund (I indeed have both installed), although objdump shows debug sections in both. 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. Under macos I can;t link with libasmrun nor libasmrund as the linker then complains about missing symbols such as _caml_extern_sp. That's why I've been linking with libasmrun_shared in the first place. This so file does not seem to come with a debug version.