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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9DF9E7F778 for ; Thu, 12 May 2016 18:11:02 +0200 (CEST) IronPort-PHdr: 9a23:j5kfrxL7RuZSxz8+3NmcpTZWNBhigK39O0sv0rFitYgUL/jxwZ3uMQTl6Ol3ixeRBMOAu6MC0rud4v2ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC3oLuhqvjptX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7awHoYSS08nxFLDhKNuBf7Woy3uCbxtedn8CObOtTrRLYoHymk7uJrRR7khSMNOiQ2tm3a3J8jxJlHqQ6s8kQsi7XfZ5uYYaJz Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nils.becker@bioquant.uni-heidelberg.de; spf=Pass smtp.mailfrom=gclci-caml-list@m.gmane.org; spf=Pass smtp.helo=postmaster@plane.gmane.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=pra; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D1AwD4qTRXcwPlW1BehDjCQIFCPBABAQEBAQEBAREBFzMvgi2CP4ELAiYCEi0UGQgBAYgrBAGbc49ikTmBAYUkiVeCNIJZBZgngVaWA4Vej0E3gWEBAQgCAYIqiR0BAQE X-IPAS-Result: A0D1AwD4qTRXcwPlW1BehDjCQIFCPBABAQEBAQEBAREBFzMvgi2CP4ELAiYCEi0UGQgBAYgrBAGbc49ikTmBAYUkiVeCNIJZBZgngVaWA4Vej0E3gWEBAQgCAYIqiR0BAQE X-IronPort-AV: E=Sophos;i="5.24,610,1454972400"; d="scan'208";a="177625692" Received: from plane.gmane.org ([80.91.229.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 12 May 2016 18:11:01 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1b0tCR-0001mj-Gb for caml-list@inria.fr; Thu, 12 May 2016 18:10:55 +0200 Received: from bqdyn253_067.bioquant.uni-heidelberg.de ([129.206.253.147]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 12 May 2016 18:10:55 +0200 Received: from nils.becker by bqdyn253_067.bioquant.uni-heidelberg.de with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 12 May 2016 18:10:55 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Nils Becker Date: Thu, 12 May 2016 18:13:01 +0200 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: bqdyn253_067.bioquant.uni-heidelberg.de X-Mozilla-News-Host: news://news.gmane.org:119 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 X-Validation-by: nils.becker@bioquant.uni-heidelberg.de Subject: [Caml-list] flambda optimization settings hi, i'm happy to report one more data point on flambda speedup. (best of 3, wall clock time, 4 cores running with parmap) -Oclassic 18.5s -O2 17.0s -O3 14.2s so, a nice 20% speedup with no work. this brings me to my question: given that O2 vs O3 does seem to matter, is it actually important at what optimization level linked libraries are compiled on a +flambda switch? who controls that, the package author or the user? n. ps, full disclosure: this is based on code that does stochastic simulation (basically euler-maruyama forward integration), uses Gsl for heavy random number generation but also does some floating point arithmetic in the inner loop, and uses exceptions as part of control flow.