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 836757FFB6 for ; Tue, 15 Mar 2016 10:44:14 +0100 (CET) IronPort-PHdr: 9a23:wbw3rRCpL/qUMHE8u/AkUyQJP3N1i/DPJgcQr6AfoPdwSP7/o8bcNUDSrc9gkEXOFd2CrakU1KyH7Ou5AzBIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niKbjpNaKOVkArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0oRiQVJBUDb6xeydI38vibgsu1ikH2VOtbpTLZxR3Gox7hmQlnkhXFUZHYC7GjLh5ko3+pgqxW7qkknzg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=goswin-v-b@web.de; spf=Pass smtp.mailfrom=goswin-v-b@web.de; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.15.14; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.15.14 as permitted sender) identity=mailfrom; client-ip=212.227.15.14; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; 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@mout.web.de) identity=helo; client-ip=212.227.15.14; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B3AAAs2edWkw4P49RerUmKJodlAQ2BcIYNAoE1OBQBAQEBAQEBARABAQEBBw0JCSEvQRIBgVmCFQEBBDIBVgsYCSUPBSiIQwEVBLc7H4R8AQsBHYlefoUHgl+BDwWXT413iS0KhViOfx4BAYJWgVKGbYRfAQEB X-IPAS-Result: A0B3AAAs2edWkw4P49RerUmKJodlAQ2BcIYNAoE1OBQBAQEBAQEBARABAQEBBw0JCSEvQRIBgVmCFQEBBDIBVgsYCSUPBSiIQwEVBLc7H4R8AQsBHYlefoUHgl+BDwWXT413iS0KhViOfx4BAYJWgVKGbYRfAQEB X-IronPort-AV: E=Sophos;i="5.24,338,1454972400"; d="scan'208";a="207818550" Received: from mout.web.de ([212.227.15.14]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Mar 2016 10:43:47 +0100 Received: from frosties.localnet ([134.3.242.84]) by smtp.web.de (mrweb004) with ESMTPSA (Nemesis) id 0Le8Ca-1a38z02YgO-00pspd for ; Tue, 15 Mar 2016 10:43:46 +0100 Received: from mrvn by frosties.localnet with local (Exim 4.84) (envelope-from ) id 1aflVx-0000ic-Rh for caml-list@inria.fr; Tue, 15 Mar 2016 10:43:45 +0100 Date: Tue, 15 Mar 2016 10:43:45 +0100 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20160315094344.GA2468@frosties> References: <20160308154948.GA5919@frosties> <20160308190415.GA10232@frosties> <56E2DEB5.8020304@cea.fr> <20160314103240.GA21595@frosties> <56E6EA6C.8090605@cea.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <56E6EA6C.8090605@cea.fr> User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:07yGjGnin+YhyrM/Bp+YinoKyVwcIIexNMlrdVKH2aCPQsoseFh H9IEQeelvubgwu7CvGmS2LvDKRP/xkzhkwKkm61Bd1dnDtjzDn8PpDaivdtz5mwXJqnYtvC 7x117GQO1oS6jtenxS3TO7G5vwDmCPI+2cPbyPQ3+Nb5pwAcGGOXSRx/M6nbzfgmdS/n+mu 8VoQDpd6wqSoJwgYlgVKg== X-UI-Out-Filterresults: notjunk:1;V01:K0:o0CMebkcxyw=:gZFSDZ+TQfFyfQmvk7aFgj aYrJIvEBEL2m1Y8zcoMITx4bUdRPofNLX65KfnApfQdboIhMZ/kMI2qa8uZUzpuh/7mV24D25 sm7KWiMihDy5iZQAJPDG18YR+54lOPo92kUq8BE87PMCLLg/NWvtDOUioJW0twQxUXjMjvfm3 isgii1DPmwq4eEU7Uw2qZcGbMyzjgzZgxlNLA0dcirpowxfHIwnY0BO8/bydJwnKGQfj4T2A6 R0h99rK80F6jF4RNOwOPw0YnKCZoiyU3t0ph0iyNQtUqqEYQqPt/L4h08PqurHp2wqCYaucZ3 6QL2tYH03d5rjFDukNKfbtPH8qpe5vxYfZJ6t5is35Gg6whH7uk27gtxxTH+a0C8V6LaqhGZt qAHmQXhJz+CBAUPBzBDCPNkJP7F64xunokY4gUl3o88kndoxwITkESYIgjNCSWFAj4grpstXX PAKSmaTau5JYeB86PtNFeCNBk0QAWMNm7tOICMxWZenBLRmY98fNtVwo7cKktfY6yj5TRZMgS p0z3AFHdO0y8PYco5HMAeKHKrfgO9a8X9A1PAlrLX6i/VWMRNgp0xNfDNVLxgM+WaYYexEtCK jKbjCoaCqJa7aRggWFwsKRFwrleZ0KlUJezJWHt5rpBrpLtTZjAzCarTNFA9V0jD2UdvH9Bew p8oEQ37ObIkAEbvRsl990Ue/8DEwXWV8FwYXryN39wU1v1T4iSzGHIR9L/ebckoejAfQfpsTS KiDLXCroWaODbEZh+9yQ9pMqjlwPKKFJcXcvCKvdI/ggWJdVAa7YBKQuHKg= Subject: Re: [Caml-list] memory corruption with Weak.t in Gc.finalise On Mon, Mar 14, 2016 at 05:44:28PM +0100, François Bobot wrote: > On 14/03/2016 11:32, Goswin von Brederlow wrote: > > > >Still using 4.02. This is a new thing. > > > >Still Weak.t needs to interact cleanly with the Gc. Guessing at the > >internal state of Weak.t is bad. Let's fix this for 4.03. > > I think it is already fixed for 4.03. The new GC phase named "clean", > between mark and sweep, makes the behavior of weak pointers straightforward > compared to previous OCaml version: > - A weak pointer is unset only if the value pointed is marked dead after > the mark phase (ie. no way to ever access it, the memory could be freed). > - Conversely, during the clean phase, a weak pointer to a dead value is > considered unset (so Weak.get return None). > > If you know weird behavior in 4.03+beta on weak pointers or ephemeron, I > would be very interested to know them. > > Best, I heard about that design cleanup. But what I ment was to provide and document an interface for C code interacting with Weak.t. MfG Goswin