From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 0D0CFBCAB for ; Wed, 11 May 2005 20:50:24 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4BIoNEx019239 for ; Wed, 11 May 2005 20:50:23 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA13025 for ; Wed, 11 May 2005 20:50:23 +0200 (MET DST) Received: from smtp.cegetel.net (mf00.sitadelle.com [212.94.174.79]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j4BIoMdJ019232 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Wed, 11 May 2005 20:50:23 +0200 Received: from [192.168.144.2] (80-125-226-141.dti.cegetel.net [80.125.226.141]) by smtp.cegetel.net (Postfix) with ESMTP id E66391A42D0; Wed, 11 May 2005 20:50:03 +0200 (CEST) Message-ID: <428253EC.3090201@univ-savoie.fr> Date: Wed, 11 May 2005 20:50:20 +0200 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.6) Gecko/20050322 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Mike Hamburg Cc: caml-list@inria.fr, Charles Martin Subject: Re: [Caml-list] unboxing options References: <20050506032256.10948.qmail@web90105.mail.scd.yahoo.com> <4280FB1F.3050003@univ-savoie.fr> In-Reply-To: X-Enigmail-Version: 0.89.6.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig6FD806947291375B8FA96BD0" Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 428253EF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 428253EE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 caml-list:01 unboxing:01 unboxed:01 unboxing:01 semantics:01 mutable:01 pointer:01 runtime:01 chablais:01 73376:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig6FD806947291375B8FA96BD0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Mike Hamburg wrote: > Why should we need an "unboxed" keyword? Is there any reason why the > user should want things to be boxed? Yes many reason: - Unboxing of data structure prevent sharing of data structure and therefore: 1 it may increase the memory usage 2 it changes the semantics in presence of mutable data or == 3 it cost time to get the data out of the structure (needs copying) So in fact, you only want unboxing for small object that have little chance to be shared. You could correct 2 and 3 if you allow pointer in the middle of the data structure, but this is a nightmare for GC and runtime ... -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enig6FD806947291375B8FA96BD0 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFCglPsSQDyWB/+xBwRAhgFAJ4ohxuKiCUFYbjPLf4LKIHlQc3VEACg4ZPr f9PlcYgOjG7JXdZdXS6DMzw= =VcxM -----END PGP SIGNATURE----- --------------enig6FD806947291375B8FA96BD0--