caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Nils Becker <nils.becker@bioquant.uni-heidelberg.de>
To: caml-list@inria.fr
Subject: [Caml-list] flambda optimization settings
Date: Thu, 12 May 2016 18:13:01 +0200	[thread overview]
Message-ID: <nh29u8$g2t$1@ger.gmane.org> (raw)

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.



             reply	other threads:[~2016-05-12 16:11 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-05-12 16:13 Nils Becker [this message]
2016-05-12 18:25 ` Gabriel Scherer
2016-05-12 19:55   ` Nils Becker
2016-05-13  8:27     ` Mark Shinwell
2016-05-13  8:34       ` Nils Becker
2016-05-13  8:51         ` Mark Shinwell

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='nh29u8$g2t$1@ger.gmane.org' \
    --to=nils.becker@bioquant.uni-heidelberg.de \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).