Re: [Caml-list] How to profile compiler's performance

[oliver <oliver@first.in-berlin.de>]

On Sun, Aug 26, 2012 at 10:52:07PM +0200, oliver wrote:
> On Sun, Aug 26, 2012 at 09:59:24PM +0200, Daniel Bünzli wrote:
> [...]
> > Example program, from Mairson, as found in Pierce's Types and Programming languages:
> > 
> > let f0 = fun x -> (x, x) in
> > let f1 = fun y -> f0 (f0 y) in
> > let f2 = fun y -> f1 (f1 y) in
> > let f3 = fun y -> f2 (f2 y) in
> > let f4 = fun y -> f3 (f3 y) in
> > let f5 = fun y -> f4 (f4 y) in
> > f5 (fun z -> z)
> > ;;
> [...]
> 
> Oh.
> 
> > 
> > (Start compilation and go make the coffee)
> 
> I do like coffee.... but the circumstances for this one aren't
> a pleasure.
> 
> Nevertheless thanks for the example code.
> 
> (Do you have an estimation if it will take hours, days or weeks to get that
> parsed?)
[...]

top - 02:12:24 up  5:06,  6 users,  load average: 1.66, 1.50, 1.46
[...]
 PID USER      PR  NI  VIRT  RES  SHR S %CPU %MEM    TIME+  COMMAND 
2471 oliver    20   0 15604 3268  692 R 82.0  0.2 160:24.91 ocaml
[...]


Time to kill that process....

...nice working example. :-)


Ciao,
   Oliver