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 ESMTPS id 625D45D4 for ; Fri, 21 Jun 2019 12:22:08 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,400,1557180000"; d="scan'208";a="388514175" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Jun 2019 14:22:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4F3D28247D; Fri, 21 Jun 2019 14:22:07 +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 54E698247D for ; Fri, 21 Jun 2019 14:22:02 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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=3A0emEqx15pJnecmhHsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0SK/ad9pjvdHbS+e9qxAeQG9mCsbQc1aGL6eigATVGvc/Y9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMqMUam5duJ6c+xhbJvHdDZu?= =?us-ascii?q?BayX91KV6JkBvw+9q88IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?= =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?= =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7bcNgHR2ROQ9xRWjRGDIyy?= =?us-ascii?q?YIQBDOgOPehWoYf9uVUAsAexCwa3CePz0z9FnGP60Lcg3ukjFwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj1LqYSUO+rw6bV1jjDb+lZ2S/l6InIdhAuv+mMXa5xccXN00UvEBnFjlqW?= =?us-ascii?q?pIf4PD2VzvwAvmma4uZ6SO6jlnMrpxt+rzS12Mshi4/EjZ8PxF/e7yV22oM1KM?= =?us-ascii?q?W4SEFlZd6kF4NdtyaHN4tqXM8uWnpouCMmyr0eo5K7eTYFyI88xxHFZPyHco6I?= =?us-ascii?q?4h39W+aXLjd4hXRld6ylixmu9kigz/XwVsiy0FlUsipIitjBu3EX2xDO98SLV+?= =?us-ascii?q?Fx80i71TqR1g3f8uRELlo1larfJZ4h2Lkwlp8LvETZHy/3l1v5g7KNe0Uk4Oeo?= =?us-ascii?q?8/znY7XippCCL490lgD+Pbg0lsy4G+Q4PRACX3KH9uSkyL3j4Ur5Ta1WgfIsl6?= =?us-ascii?q?nZtInWJcAapq6iHw9YyZ0j6ha6Dze+ytsUh3gHLFRfeBKGlYflIV/OIOr+APyi?= =?us-ascii?q?nVmslCprx+vaPrL/GJXDM3nDkbb/crtl90IPgDY0mNtW4pYRDrAaPNryXFXwvZ?= =?us-ascii?q?rWFEwXKQuxlvzmGNhx/oMXQXqeBqKBLKLZ91iS6bF8a9KQbZMY7W6uY8Mu4OTj?= =?us-ascii?q?2CdgxA0tOJKx1J5SU0iWW/RrJ0LCOCjrn8tbVHwPohJ4SeHxk1SNUDhcanC9Xq?= =?us-ascii?q?QxoDo8DdD/VNuRdsWWmLWEmRyDMNhOfGkfVQKMGG/wZoGJQ+sNY2SVOMAzymVV?= =?us-ascii?q?B4jkcJco0FSVjCG/zrNmKuTO/ShB6sDj3cBt9unejQ0z/npzFcvPimw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BmAgBmywxdhxoEb0JlHgEGBwaBZ4NSA?= =?us-ascii?q?QExKIQWiHuJfIIPmmEJAQMBDC8BAYRAAoJeHAYBBDQTAQMBAQQBAQIBAgMBEwE?= =?us-ascii?q?BAQgNCQgpij4Mgjoigm8BAgMjHQEBOA8LGAICJgICLCuDO4ILpW1xgTGCeQEBB?= =?us-ascii?q?YI8g0OBJwmBDCiHB4ISgkUXgX+BOII9Lj6ERE2CPYJYqgQJlW8hghgBlS0tpB+?= =?us-ascii?q?BZ4F5fUMuGlaBToJBDA4Jg02FFIVBPQECMJAWAQE?= X-IPAS-Result: =?us-ascii?q?A0BmAgBmywxdhxoEb0JlHgEGBwaBZ4NSAQExKIQWiHuJfII?= =?us-ascii?q?PmmEJAQMBDC8BAYRAAoJeHAYBBDQTAQMBAQQBAQIBAgMBEwEBAQgNCQgpij4Mg?= =?us-ascii?q?joigm8BAgMjHQEBOA8LGAICJgICLCuDO4ILpW1xgTGCeQEBBYI8g0OBJwmBDCi?= =?us-ascii?q?HB4ISgkUXgX+BOII9Lj6ERE2CPYJYqgQJlW8hghgBlS0tpB+BZ4F5fUMuGlaBT?= =?us-ascii?q?oJBDA4Jg02FFIVBPQECMJAWAQE?= X-IronPort-AV: E=Sophos;i="5.63,400,1557180000"; d="scan'208";a="310991927" X-MGA-submission: =?us-ascii?q?MDHmYFGvPta/83CWEAHxcMi/ymVtTVY3cGbxZ3?= =?us-ascii?q?2paNlfgvycIaHbXwTFE4N96V4xYyE0OSRT/dRtI/RbuSCQ3qfonihsb5?= =?us-ascii?q?BOJzvTklTvY7mpkmk2FCsMhSFGSXrPASCga1/nkzMbv3u1n5LzCPMHTw?= =?us-ascii?q?NuyPxAsGCf3wDialbxgkG6Dg=3D=3D?= Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Jun 2019 14:22:01 +0200 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id CD9C0220CB for ; Fri, 21 Jun 2019 08:21:58 -0400 (EDT) Received: from imap2 ([10.202.2.52]) by compute3.internal (MEProxy); Fri, 21 Jun 2019 08:21:58 -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:content-transfer-encoding; s=fm3; bh=RYAMU 8/6V7PXoF07UsfNh8RV5cg4DAAJdVNQ1mHFiho=; b=O8OlKfl+8r5kpYycpji+8 Eh43K7mUsbONq5zeP3wXI6mgQlbJ8RKFakFPQDs7bRl6mLd/6oQbu/J+CfDAJHAM q3KdI9nXEspVId/3Ofd7IPxY7Gt8Zkprrkv7RJg3c63n4zxytb4gUu/8Sb05NkPU aI8G/uMwvhOoE9VdAMLm8KLFfrjrsK2Lf0pwG8VOtFaFlsI+9rl8pOaB19Rpy1/r HheNEDFMrdz1/HXRveW7IbDPcyvRaN7EuN5J+IDZfYZevYmEM/jg/iKvHxHcQRlF CHEtKHzrh4HxhrrIq4BW9bUMyDWXPu2iuAU4R5qvUvGoix53e/IonN1Cauyv/N5m Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding: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=RYAMU8/6V7PXoF07UsfNh8RV5cg4DAAJdVNQ1mHFi ho=; b=cW2y5ah2kplVt8T0Yx40qG0MC259adGKliwP7eSxnw/6kuOsj3i5e+bWs HRVQ95MrK0Fn81jfkDhYUgyiS1fsw5evCnX0M3lD2WUxDvGnDyaBWPFZG3emvR1o bfgIK5tBpPDgo+5kMlKrWOLBPU9uxcJIXIzMXDY6WCXuCDlYhicouMBTeXeDZlfC DSuug7xZDTeqE5/9owxnS9EPgMX3jBFHxOoAiQKwZkdEdouJAEYpcTLK4HfQn/+1 Sgav9JYmRHBXIDMPSE6C9M+Uo2a7HY987amGimmlcahd7hh00EyD5EeTmIh52neO Ed7MGPCoD6km/t1BMM+oHPSDNthUw== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduvddrtdeigdehgecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhepofgfggfkjghffffhvffutgfgsehtqh ertderreejnecuhfhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorhhgnecu rfgrrhgrmhepmhgrihhlfhhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorh hgnecuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 46EC7E00A3; Fri, 21 Jun 2019 08:21:58 -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: In-Reply-To: <20190621113835.GA28574@prajna.paris.inria.fr> References: <20190621073031.GA26636@prajna.paris.inria.fr> <8a6cb4e0-e3b2-437f-a7f7-c430170a9fdd@www.fastmail.com> <20190621113835.GA28574@prajna.paris.inria.fr> Date: Fri, 21 Jun 2019 14:21:57 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] C, threads, callbacks, and corrupted local_roots Reply-To: rixed@happyleptic.org X-Loop: caml-list@inria.fr X-Sequence: 17633 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: On Fri, Jun 21, 2019, at 13:38, S=C3=A9bastien Hinderer wrote: > Why did you try to link rather than using the runtime's executable, > actually? Not sure I understand this question. By runtime's executable do you mean= ocamlrun(d) ? I'm using the native compiler, and my program entry point is in C (this = is mandated by a library I'm using).