From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBIGgrx2032333 for ; Sun, 18 Dec 2011 17:42:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An4BAP4W7k5KfVM2kGdsb2JhbABDq1EIIgEBAQEJCQ0HFAQhgXIBAQECAQESAiwBATcBBAsLNAcLNAEFARwGJw6HWAIGmh8KijOEHQGNRAMEiyFjono9g3o X-IronPort-AV: E=Sophos;i="4.71,372,1320620400"; d="scan'208";a="123822732" Received: from mail-ee0-f54.google.com ([74.125.83.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Dec 2011 17:42:47 +0100 Received: by eekc50 with SMTP id c50so6075861eek.27 for ; Sun, 18 Dec 2011 08:42:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=EKUeYntneh+f6dZUkIIsPxnP5wZxcw/Cewoxh179phU=; b=rw9rOEKceermkZLyzLtFeqM2RSHQmjRSdI/2GSE7pZ/DBsbSVQhcdtWW1H8NvN3qjJ Xyrn3RwxA7U6GjBvyxR+8ZJkYFJ7dxzNo1NedM3oBZJBoBZ4pJwJrLXIE5Z3Nnmwo6Ns 227qc8B3a+BHII/nK0welgzqi6OO6C6kI5r98= Received: by 10.213.36.12 with SMTP id r12mr4152122ebd.37.1324226567477; Sun, 18 Dec 2011 08:42:47 -0800 (PST) Received: from coruscant.kosmos.all (ip-95-223-170-32.unitymediagroup.de. [95.223.170.32]) by mx.google.com with ESMTPS id z43sm32259922eef.7.2011.12.18.08.42.44 (version=SSLv3 cipher=OTHER); Sun, 18 Dec 2011 08:42:45 -0800 (PST) Mime-Version: 1.0 (Apple Message framework v1251.1) Content-Type: text/plain; charset=iso-8859-1 From: Benedikt Meurer In-Reply-To: Date: Sun, 18 Dec 2011 17:42:46 +0100 Cc: caml users , =?iso-8859-1?Q?St=E9phane_Glondu?= , Mehdi Dogguy Message-Id: References: <55531934-37A5-4CC5-AB67-20CE4CCE8269@googlemail.com> <4EE37070.4010702@inria.fr> <4EE63E88.40805@glondu.net> To: Alexandre Pilkiewicz X-Mailer: Apple Mail (2.1251.1) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBIGgrx2032333 Subject: Re: [Caml-list] Re: New experimental ARM backend [was: OCaml maintenance status / community fork (again)] On Dec 18, 2011, at 15:50 , Alexandre Pilkiewicz wrote: > Hi Benedikt Hey Alexandre, >> [1] https://github.com/downloads/bmeurer/ocaml-arm/ocaml-arm-3.12.1+20111218-benchmark.pdf > > Could you by any chance give the execution time (one should be enough > since we have the ratio) and measurement technique of your benchmarks? Sure. Measured as combined user + system time with best result of 5 subsequent runs (Linux kernel was 2.6.31.14.25-efikamx in all tests), here are the execution times (in seconds): 3.12.1 armel: ------------- almabench 455.020 bdd 6.560 boyer 7.310 fft 21.770 nucleic 74.720 quicksort 1.640 sieve 0.120 soli 0.060 sorts 20.190 ocaml-arm armel: ---------------- almabench 455.500 bdd 6.650 boyer 7.230 fft 21.910 nucleic 74.110 quicksort 1.570 sieve 0.110 soli 0.060 sorts 20.950 ocaml-arm armhf: ---------------- almabench 111.810 bdd 6.590 boyer 7.120 fft 6.680 nucleic 19.430 quicksort 1.570 sieve 0.110 soli 0.070 sorts 20.900 > Thanks in advance > Alexandre HTH, Benedikt