From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9FD027FB0A for ; Fri, 28 Nov 2014 18:45:21 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.218.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.218.48 as permitted sender) identity=mailfrom; client-ip=209.85.218.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f48.google.com) identity=helo; client-ip=209.85.218.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-oi0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4BADa0eFTRVdowm2dsb2JhbABbg1dcxz6GTQKBBgcWAQEBAQERAQEBAQEGCwsJFC6EAgEBAQMBEhEdARseAwELBgULDQICJgICIgERAQUBHAYBEggaiAgBAwkJDbA9PTGLNoFugwyKBgoZJw1chSMBAQEHAQEBAQEBFgEFDoEgjxo6gniBVQWXTIc1gTWRXYIPGCmFNz4wAQGCSAEBAQ X-IPAS-Result: At4BADa0eFTRVdowm2dsb2JhbABbg1dcxz6GTQKBBgcWAQEBAQERAQEBAQEGCwsJFC6EAgEBAQMBEhEdARseAwELBgULDQICJgICIgERAQUBHAYBEggaiAgBAwkJDbA9PTGLNoFugwyKBgoZJw1chSMBAQEHAQEBAQEBFgEFDoEgjxo6gniBVQWXTIc1gTWRXYIPGCmFNz4wAQGCSAEBAQ X-IronPort-AV: E=Sophos;i="5.07,478,1413237600"; d="scan'208";a="110125746" Received: from mail-oi0-f48.google.com ([209.85.218.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Nov 2014 18:45:20 +0100 Received: by mail-oi0-f48.google.com with SMTP id u20so4873937oif.7 for ; Fri, 28 Nov 2014 09:45:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=z7DVTaSVGEV+rEY/XYecNvQDASOwl4Jnbq1I4q+UA2c=; b=w66kjK92nEOGcskPFslwXcNKAAILgr3gnjuVccR1fusX0qrM96/sH2x8VPORg3UVln GtjOSf6lhMkj7M9rd9ZdvcNruGZ7JzRn/O+1b+k1F3/wiVt+D5DuHFVrl+JXy3HIHtfZ 9ZMES/PCYMOdHnBX5VlYCaUgymccUrwugyuuC7QcVW7jk5dCjEDAfjEbvWV+YMhD6Vdn 7jPCJ7hO+p3y1szz3rQWyuKwcsCAAfjUnUbrdMJlDENFcEEBdpn8qRfgzuvqkA87ivHd eHr9BtjUG3Rf7BFf0nVs07Cmdxkkl1s8/uLBoYnJmLIid4ByTo2IOdIatZ5r+BbRMttM y8Zw== X-Received: by 10.60.134.20 with SMTP id pg20mr28275501oeb.36.1417196718679; Fri, 28 Nov 2014 09:45:18 -0800 (PST) MIME-Version: 1.0 Received: by 10.76.90.197 with HTTP; Fri, 28 Nov 2014 09:44:38 -0800 (PST) In-Reply-To: <20141128133958.GA6607@tbrk.org> References: <20141128133958.GA6607@tbrk.org> From: Gabriel Scherer Date: Fri, 28 Nov 2014 18:44:38 +0100 Message-ID: To: Timothy Bourke , OCaml list , Jun Inoue , Marc Pouzet Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Sundials/ML 2.5.0 Thanks for the significant effort put in documenting the bindings (and, of course, the cool software and research); your "information and documentation" page is impressive. The page has a very interesting performance comparison of numeric code partly or fully written in OCaml (using bigarrays of floats) -- and the not-so-surprising results is that the run times of the OCaml programs are between 100% and 200% of the run time of the reference C implementation. ( http://inria-parkas.github.io/sundialsml/perf.opt.png ) I'm curious about this specific part of the explanation: > For instance, some OCaml versions spend a significant fraction of their t= ime > in printf, and we were able to lower their ratios by instead using print_= string and print_int. The new 4.02 implementation of formats, due to Beno=C3=AEt Vaugon, should be significantly faster (in my experience they match the performance of the less-readable print_* sequence in most situations). Did you try those OCaml versions with 4.02? On Fri, Nov 28, 2014 at 2:39 PM, Timothy Bourke w= rote: > We are pleased to announce Sundials/ML, an OCaml interface to the > Sundials suite of numerical solvers (CVODE, CVODES, IDA, IDAS, KINSOL). > > Information and documentation: http://inria-parkas.github.io/sundialsml/ > Source code (BSD): https://github.com/inria-parkas/sundialsml > > opam install sundialsml # (requires Sundials 2.5.0) > > We gratefully acknowledge the original authors of Sundials, and the > support of the ITEA 3 project 11004 MODRIO (Model driven physical > systems operation), Inria, and the Departement d'Informatique de l'ENS. > > Timothy Bourke, Jun Inoue, and Marc Pouzet. >