From: Aleksey Nogin <nogin@metaprl.org>
To: Martin Jambon <martin.jambon@ens-lyon.org>
Cc: OCaml Mailing List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] understanding weak
Date: Fri, 31 Oct 2008 12:12:58 -0700 [thread overview]
Message-ID: <490B58BA.6090307@metaprl.org> (raw)
In-Reply-To: <490B1CDC.8080808@ens-lyon.org>
On 31.10.2008 07:57, Martin Jambon wrote:
> let x = (1, 2);;
> let wa = Weak.create 10;;
> Weak.set wa 0 (Some x);;
> ...
> print_int (fst x);;
>
> (fst x) would certainly cause funny effects if x were GC'ed at an
> arbitrary time after it has been added to the weak array.
>
> An object can be reclaimed by the GC only if there is no reference to
> it. This remains true. Adding an object to a weak array just doesn't
> count as a reference.
>
Martin,
You are answering the wrong question - you are answering "could x be
GCed too early?" - the answer is obviously "no". However, the initial
question was "could (Some x) be removed from wa too early by GC - before
x is orphaned?" The answer is "we'd hope not", but the documentation is
somewhat ambiguous.
Aleksey
next prev parent reply other threads:[~2008-10-31 19:13 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-30 18:19 Warren Harris
2008-10-31 2:14 ` [Caml-list] " Martin Jambon
2008-10-31 8:37 ` Daniel Bünzli
2008-10-31 14:57 ` Martin Jambon
2008-10-31 15:27 ` Daniel Bünzli
2008-10-31 16:52 ` Martin Jambon
2008-10-31 19:12 ` Aleksey Nogin [this message]
2008-10-31 20:10 ` Martin Jambon
2008-10-31 20:44 ` Martin Jambon
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=490B58BA.6090307@metaprl.org \
--to=nogin@metaprl.org \
--cc=caml-list@yquem.inria.fr \
--cc=martin.jambon@ens-lyon.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).