1#! /bin/awk -f
2
3BEGIN {
4  nmach = 0;
5
6  init_test = "1";
7  abort_test = "6";
8  blocki_test = "7";
9  block_test = "8";
10}
11
12{
13  mach = $1
14  test = $2
15  iter = $3
16  time = $6 + $8
17
18  if (machi[mach] == 0) {
19    machn[nmach] = mach;
20    machi[mach] = 1;
21    ++nmach;
22  }
23
24  us_per_op = time / iter * 1000000
25  times[mach "_" test] = us_per_op;
26}
27
28
29END {
30  for (i=0; i<nmach; ++i) {
31    m = machn[i];
32    init = times[m "_" init_test];
33    printf ("init %s | %f\n", m, init);
34
35    init_abort_blocki = times[m "_" abort_test];
36    abort_blocki = init_abort_blocki - init;
37    blocki = times[m "_" blocki_test];
38    abort = abort_blocki - blocki;
39    blockf = times[m "_" block_test];
40    printf ("swap %s | %f | %f | %f\n", m, abort, blocki, blockf);
41  }
42}
43