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