this repo has no description
1#!/usr/bin/env dtrace -s
2
3#pragma D option quiet
4
5minizinc$target:::gc-start
6{
7 @count["GC Passes"] = count();
8 self->start_gc = timestamp;
9}
10
11minizinc$target:::gc-end
12{
13 @quant["Time in GC (ns)"] = quantize(timestamp - self->start_gc);
14 @times["Total time"] = sum(timestamp - self->start_gc);
15}
16
17END
18{
19 printa(@count);
20 printa(@quant);
21 printa(@times);
22}