From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,RCVD_IN_BL_SPAMCOP_NET, SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 7C259BBAF for ; Tue, 25 Aug 2009 19:59:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwCAH/Dk0rUGyoBkWdsb2JhbACBU5k7AQEBAQkLCgcTA71ihBoF X-IronPort-AV: E=Sophos;i="4.44,273,1249250400"; d="asc'?scan'208";a="45444221" Received: from smtp1-g21.free.fr ([212.27.42.1]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Aug 2009 19:59:37 +0200 Received: from smtp1-g21.free.fr (localhost [127.0.0.1]) by smtp1-g21.free.fr (Postfix) with ESMTP id 64F159401D7; Tue, 25 Aug 2009 19:59:31 +0200 (CEST) Received: from macbookpro.local (lns-bzn-48f-81-56-220-129.adsl.proxad.net [81.56.220.129]) by smtp1-g21.free.fr (Postfix) with ESMTP id 0C1439401C8; Tue, 25 Aug 2009 19:59:28 +0200 (CEST) Message-ID: <4A942774.8000208@univ-savoie.fr> Date: Tue, 25 Aug 2009 20:03:32 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812) MIME-Version: 1.0 To: Pascal Cuoq Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Physical counterpart to Pervasives.compare? References: <20090824100004.6DBBDBBAF@yquem.inria.fr> <67BF878D-BA80-4CE8-87BA-760AE8082517@cea.fr> In-Reply-To: <67BF878D-BA80-4CE8-87BA-760AE8082517@cea.fr> X-Enigmail-Version: 0.96.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig6E2A624F864A32AFF854F5D2" X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 pervasives:01 ocaml's:01 cheers:01 garbage:01 heap:01 heap:01 caml-list:01 gcs:01 minor:01 int:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig6E2A624F864A32AFF854F5D2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable > > But you should still do the comparison > with a unique C function written for this purpose. > If you tried to use a "convert address to int" function, > you would have a race condition between the conversion > of each address and garbage collection. Or, if all major GCs are compacting and the minor heap is at a higher adress than the major heap, then OCaml's could also preserve the adress order between GC ... How much slower is the compacting major GC comparer to the standard one ? Cheers, Christophe --------------enig6E2A624F864A32AFF854F5D2 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.9 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkqUJ3oACgkQi9jr/RgYAS7VAgCfYzcPwkhcBDXZnJXxThFmVvSz dYEAoMEJtt95qnmolZcl3ipRYbL15P1x =JwLe -----END PGP SIGNATURE----- --------------enig6E2A624F864A32AFF854F5D2--