RE: [Caml-list] Stdlib's hashtbl never sized down?

Article View: fa.caml

Article #133

#133

From: Christoph Bauer
Date: Tue, 24 Apr 2012 08:39

24 lines
3935 bytes

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

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

Technical Details

Message-ID: <fa.vRMeLpkP/5SHTB1MTNoM65srkRc@ifi.uio.no>

Path:

arc1-ca.pugleaf.net!r9ni92399pbh.0!nntp.google.com!news1.google.com!news.glorb.com!uio.no!nntp.uio.no!.POSTED!not-for-mail

References: <fa.9a0R3U3eftWUwglyIsnUNh5yc+Q@ifi.uio.no>

Show Full Headers

Complete Article Headers

X-Google-Thread: ff861,8c94c9f520ee4196
X-Google-NewGroupId: yes
X-Google-Attributes: gidc0fe4b917e,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.125.233 with SMTP id mt9mr892692pbb.5.1335256787062;
        Tue, 24 Apr 2012 01:39:47 -0700 (PDT)
Path: arc1-ca.pugleaf.net!r9ni92399pbh.0!nntp.google.com!news1.google.com!news.glorb.com!uio.no!nntp.uio.no!.POSTED!not-for-mail
From: Christoph Bauer <christoph.bauer@lmsintl.com>
Newsgroups: fa.caml
Subject: RE: [Caml-list] Stdlib's hashtbl never sized down?
Date: Tue, 24 Apr 2012 08:39:46 UTC
Organization: Internet mailing list
Lines: 25
Message-ID: <fa.vRMeLpkP/5SHTB1MTNoM65srkRc@ifi.uio.no>
References: <fa.9a0R3U3eftWUwglyIsnUNh5yc+Q@ifi.uio.no>
NNTP-Posting-Host: mail-jess.uio.no
Mime-Version: 1.0
X-Trace: readme.uio.no 1335256786 5031 129.240.7.9 (24 Apr 2012 08:39:46 GMT)
X-Complaints-To: abuse@uio.no
NNTP-Posting-Date: Tue, 24 Apr 2012 08:39:46 +0000 (UTC)
To: "rixed@happyleptic.org" <rixed@happyleptic.org>,
        "caml-list@inria.fr"
 <caml-list@inria.fr>
X-IronPort-AV: E=Sophos;i="4.75,472,1330902000"; 
   d="scan'208";a="155282661"
X-Authentication-Warning: walapai.inria.fr: sympa set sender to caml-list-owner@inria.fr using -f
X-Sympa-To: caml-list@inria.fr
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuMBACBhlk/D9eYilGdsb2JhbAAqGqACkWYiAQEBAQkLCQkUBSKCCQEBAQQPASo0FwQCAQgRBAEBDhEJBzITAQkIAQEEARIICodvAw8HKqYlAYpDA4ldkGtjBJcLkhg
X-IronPort-AV: E=Sophos;i="4.75,472,1330902000"; 
   d="scan'208";a="141297346"
X-Env-Sender: christoph.bauer@lmsintl.com
X-Msg-Ref: server-2.tower-38.messagelabs.com!1335255577!12100267!1
X-Originating-IP: [213.68.136.230]
X-StarScan-Version: 6.5.5; banners=-,-,-
X-VirusChecked: Checked
Thread-Topic: [Caml-list] Stdlib's hashtbl never sized down?
Thread-Index: Ac0h5469QEFaH0pYSnGeWjlT2Ugt8QAC1CWw
In-Reply-To: <20120424065257.GA25891@yeeloong.happyleptic.org>
Accept-Language: de-DE, en-US
acceptlanguage: de-DE, en-US
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3O8Ji64020668
X-Validation-by: christoph.bauer@lmsintl.com
X-Sequence: 3961
List-Id: <caml-list.inria.fr>
List-Archive: <https://sympa-roc.inria.fr/wws/arc/caml-list>
List-Help: <mailto:sympa@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa@inria.fr?subject=unsubscribe%20caml-list>
Original-Date: Tue, 24 Apr 2012 10:20:01 +0200
Original-Message-Id: <9A8556989A396A408C72088C69EDE563089E0D7F65@KAIP-EXMSG01.lmsintl.com>
Original-References: <20120424065257.GA25891@yeeloong.happyleptic.org>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 8bit
Content-Language: en-US

Reply to Parent Message