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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 DB213BC6B for ; Fri, 14 Dec 2007 17:31:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOA9YkfRVYTyi2dsb2JhbACQAwEBAQgEBBMRBZk5 X-IronPort-AV: E=Sophos;i="4.24,168,1196636400"; d="scan'208";a="20330188" Received: from an-out-0708.google.com ([209.85.132.242]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Dec 2007 17:31:01 +0100 Received: by an-out-0708.google.com with SMTP id b15so327041ana.102 for ; Fri, 14 Dec 2007 08:31:00 -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:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=1gTzmArmlJonygGR9cd8srgLR+vnrFwTIvhl4Gu4T/E=; b=uFH3x08O10y6OGhpaa0pkKUEqHQQFT1Sk4MqKZnxOSXXyYt+MiOdChC7xUE0yW4vJVuN0SN/6YJx4owAe2o9ONjEcZj4DdJ08Pa37k97PvnTVuKb2Qy5h6VvlRZmeYUxACDnH/xwH7vGUn6wzrGpbrrcFsFhBV9DT6xQ7VuoEkY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=vDLpUQyNH6bCY4LGySqDZjeEe41iD52QBB7jX+vUbUXdvp/uXhzjP0FiGeauDj6IwneQlzRpldCsEscO6jizlK3LfrrMD7D3CSZAiJWSSvMO9qhUGNyrM+YTyRnW8XnEPaViiJz9BA00xBlCqYImt/Fvl3MiqKYee9Nu6XCBoV8= Received: by 10.100.216.3 with SMTP id o3mr7268168ang.28.1197649858491; Fri, 14 Dec 2007 08:30:58 -0800 (PST) Received: by 10.101.1.17 with HTTP; Fri, 14 Dec 2007 08:30:58 -0800 (PST) Message-ID: <6f9f8f4a0712140830q1ac9138cjee8d0c41f9774018@mail.gmail.com> Date: Fri, 14 Dec 2007 17:30:58 +0100 From: "Loup Vaillant" To: "Pierre-Evariste Dagand" Subject: Re: [Caml-list] Re: "Ref" and copy of functions Cc: "Zheng Li" , caml-list@yquem.inria.fr In-Reply-To: <6cb897b30712140654v26a0ef96we6007c868d3d1829@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> <87d4t9k0uy.fsf@pps.jussieu.fr> <6cb897b30712140654v26a0ef96we6007c868d3d1829@mail.gmail.com> X-Spam: no; 0.00; microseconds:01 microseconds:01 ocamlopt:01 -rectypes:01 0.75:98 caml-list:01 functions:01 variant:02 cps:02 library:03 compiled:04 opt:04 anyway:05 likely:08 err:09 2007/12/14, Pierre-Evariste Dagand : > And the results are ... > 1/ Ref : 0.75 microseconds > 2/ Variant CPS : 2.69 microseconds > 3/ Rectypes : 2.80 microseconds > [ compiled with ocamlopt.opt, with -rectypes for 3/ ] > > It's about 4 times longer and, against a C++ code, I fear that I can't > afford it. Err, Is this likely to be a bottoleneck? Or do you want it to be a library, so it has to be fast anyway? Loup