* [Caml-list] Stdlib's hashtbl never sized down?
@ 2012-04-24 6:52 rixed
2012-04-24 8:20 ` Christoph Bauer
0 siblings, 1 reply; 2+ messages in thread
From: rixed @ 2012-04-24 6:52 UTC (permalink / raw)
To: caml-list
I just discovered that stdlib's hash table size is doubled when the
average list length reach some threshold, but are never sized down. So
if one uses a long lived hashtable which number of elements vary with
time the underlying array will only grow. I suppose it's on purpose but
need help to find a reason for this.
^ permalink raw reply [flat|nested] 2+ messages in thread
* RE: [Caml-list] Stdlib's hashtbl never sized down?
2012-04-24 6:52 [Caml-list] Stdlib's hashtbl never sized down? rixed
@ 2012-04-24 8:20 ` Christoph Bauer
0 siblings, 0 replies; 2+ messages in thread
From: Christoph Bauer @ 2012-04-24 8:20 UTC (permalink / raw)
To: rixed, caml-list
There is a mantis issue for that: http://caml.inria.fr/mantis/view.php?id=5555
-----Original Message-----
From: rixed@happyleptic.org [mailto:rixed@happyleptic.org]
Sent: Tuesday, April 24, 2012 8:53 AM
To: caml-list@inria.fr
Subject: [Caml-list] Stdlib's hashtbl never sized down?
I just discovered that stdlib's hash table size is doubled when the average list length reach some threshold, but are never sized down. So if one uses a long lived hashtable which number of elements vary with time the underlying array will only grow. I suppose it's on purpose but need help to find a reason for this.
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-04-24 8:19 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-04-24 6:52 [Caml-list] Stdlib's hashtbl never sized down? rixed
2012-04-24 8:20 ` Christoph Bauer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox