A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1global time_in_gc, tmp_ts
2
3probe process.mark("gc-start")
4{
5 tmp_ts[$arg1] = gettimeofday_ns();
6}
7
8probe process.mark("gc-end")
9{
10 delta = gettimeofday_ns() - tmp_ts[$arg1];
11 time_in_gc <<< delta;
12 delete tmp_ts[$arg1];
13}
14
15probe end
16{
17 printf("Total GC passes: %d\n", @count(time_in_gc));
18 print(@hist_log(time_in_gc));
19 printf("Total time spent in GC: %d ns\n", @sum(time_in_gc));
20}