From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA00678; Thu, 14 Mar 2002 15:16:56 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA32743 for ; Thu, 14 Mar 2002 15:16:56 +0100 (MET) Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g2EEGt504697 for ; Thu, 14 Mar 2002 15:16:55 +0100 (MET) Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id PAA0000009059; Thu, 14 Mar 2002 15:16:50 +0100 (MET) Date: Thu, 14 Mar 2002 15:16:50 +0100 (MET) From: Damien Doligez Message-Id: <200203141416.PAA0000009059@beaune.inria.fr> To: caml-list@inria.fr Subject: Re: [Caml-list] Weak hash table Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >From: Christophe Raffalli > >The semantics of weak pointer are just some kind of cache where value >can be erased at any time by the GC. This is what the documentation specifies. >The kind of weak array you need is array where value are erased by the >GC if and only if the value is not pointed from outside the weak array. >That is the mark phase of the GC does not traverse weak array. This is what the implementation does (if you replace "if and only if" with "at some time when" in the above). The weak arrays are grossly underspecified because I don't know how to clearly explain what they do to someone who doesn't already know what a weak pointer is. If someone wants to do write that explanation, I'll be very happy. -- Damien ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners