From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pedagand@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id DD17FBC69
	for <caml-list@yquem.inria.fr>; Sun, 16 Dec 2007 19:27:22 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAIb8ZEfRVYC6mGdsb2JhbACQBQIBAQcEBieXQQ
X-IronPort-AV: E=Sophos;i="4.24,174,1196636400"; 
   d="scan'208";a="6887220"
Received: from fk-out-0910.google.com ([209.85.128.186])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Dec 2007 19:27:22 +0100
Received: by fk-out-0910.google.com with SMTP id b27so1374114fka.11
        for <caml-list@yquem.inria.fr>; Sun, 16 Dec 2007 10:27:22 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=sbS6IMq1DnbLGEGDED5ZRGcXAsSyJ5HOGQ/reNwgyIo=;
        b=w/KS4F+2OmKqnCNRuY4HtoA8HwhzuhYbJYrUKhULzqye4LuolZXr8kOyNA8UkGU8YAJM1EDXZe8tTQQETC+BvZipPtkaQu57ubvyzki59yUJznOGEwQrLh+/bnDr9C1HgN4Rx9Mqpl1ercj+ddw27alRywcoDbSOlz2xBbNsvjg=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=q6U+uEfWM6JPDaZSkeXgAHJsc7ZJ+IZW/E2AeQnvPciSqpJyubg9QOeAnJYfzGm5QCiYjdOlm7/EzikJzyQe9rkwV1dTduHkHaf99a8/y0pXb9SOw5XO5cyotCEA3GhXZdd7fZ3nXHOSgAPS/qyPMI9MYb+zHQG+iyK5fJgZaV0=
Received: by 10.82.160.19 with SMTP id i19mr3234356bue.19.1197829641805;
        Sun, 16 Dec 2007 10:27:21 -0800 (PST)
Received: by 10.82.154.16 with HTTP; Sun, 16 Dec 2007 10:27:21 -0800 (PST)
Message-ID: <6cb897b30712161027q2ca11311p81fe1691979828af@mail.gmail.com>
Date: Sun, 16 Dec 2007 19:27:21 +0100
From: "Pierre-Evariste Dagand" <pedagand@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] "Ref" and copy of functions
In-Reply-To: <6cb897b30712160839g1efb65d2j449e4e2b66b847a1@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <6cb897b30712130927m7df88e3axec56eacba4d47fdf@mail.gmail.com>
	 <20071216.141725.55512483.garrigue@math.nagoya-u.ac.jp>
	 <6cb897b30712160839g1efb65d2j449e4e2b66b847a1@mail.gmail.com>
X-Spam: no; 0.00; combinators:01 simulated:01 caml-list:01 functions:01 ens-cachan:01 library:03 negligible:04 overhead:04 style:93 eleves:08 real:10 thus:10 such:14 projets:14 solution:14 

> Now, I will re-write my combinators and see which style better suits my needs.

Finally, impressed by the speed of the record solution, I have
re-written the whole library with records.

I have measured the performance of this implementation against the
Ref-based one on "real" code. Thus, I have simulated my Chord [1]
implementation with a simulator instrumented such that it drops the
processing time for each arrow processing.

The results can be found at [2].

In a nutshell : the record solution has a negligible overhead compared
to the Ref solution.

Thanks all,

[1]: http://pdos.csail.mit.edu/chord/
[2]: http://perso.eleves.bretagne.ens-cachan.fr/~dagand/projets/opis/processing_speed_records.pdf

-- 
Pierre-Evariste DAGAND