functional again

Joachim Breitner mail at
Tue Oct 24 13:35:28 UTC 2017


Am Dienstag, den 24.10.2017, 09:57 +0200 schrieb Boespflug, Mathieu:
> what kind of machine is this running on at the moment? A dedicated
> instance or some colocated VM in the cloud?

A physical box sponsored by Bryn Mawr.
8GB RAM, 8 Core Intel(R) Core(TM) i7 CPU 930  @ 2.80GHz

> I ask because for perf
> results something CircleCI might *not* be suitable here because
> execution time on CircleCI varies quite substantially depending on
> load from other users of the same physical machine. This is not a
> problem for most types of jobs, but perf measurement is one of the few
> for which it is, depending on which metrics are tracked.

But that’s what I am saying: By measuring dynamic instructions (using
cachegrind), the execution time is no longer relevant.

Joachim Breitner
  mail at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the ghc-devs mailing list