* [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