From: Alessandro Baretta <a.baretta@studio.baretta.com>
To: Remi Vanicat <remi.vanicat@gmail.com>
Cc: Ocaml <caml-list@inria.fr>
Subject: Hweak question
Date: Mon, 04 Sep 2006 16:14:08 +0200 [thread overview]
Message-ID: <44FC34B0.1000704@studio.baretta.com> (raw)
While googling for weak pointer resources, I have discovered the beautiful Hweak
library, implementing a real weak hashtable. I should have googled for it a long
time ago.
Just one question: how do you manage to maintain the bound value live when the
key is live? As far as I know from experimenting with the weak hashtables in the
vanilla distribution it is enough for the pointer to the bound value to become
unreachable for it be garbage collected away.
I tried implementating weak hastables on top of the weak "hashed set" functor of
the standard library but never managed to get the GC to keep my bindings live so
long as the the key was live.
Alex
--
*********************************************************************
Ing. Alessandro Baretta
Studio Baretta
http://studio.baretta.com/
Consulenza Tecnologica e Ingegneria Industriale
Technological Consulting and Industrial Engineering
Headquarters
tel. +39 02 370 111 55
fax. +39 02 370 111 54
Lab
tel. +39 02 9880 271
fax. +39 02 9828 0296
reply other threads:[~2006-09-04 14:14 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=44FC34B0.1000704@studio.baretta.com \
--to=a.baretta@studio.baretta.com \
--cc=caml-list@inria.fr \
--cc=remi.vanicat@gmail.com \
/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