benchmarks/checkfence/linuxrwlock/bench.sh

   1 #!/bin/bash
   2 source ../paths.sh
   3
   4
   5 #for i in 1 2 3 4 5 6 7 8 9 10 15
   6 #do
   7 #echo bias set to 0x100
   8 #echo size=$i
   9 #cat llock.c.in | sed s/PROBLEMSIZE/$i/ |sed s/TUNELOCK/0x100/ > llock.c
  10 #c2lsl.exe add_harness.c add_harness.lsl
  11 #time checkfence -i -a memmodel=sc add_harness.lsl locktests.lsl >> runlog
  12 #echo Hard loop bounds
  13 #time checkfence -a memmodel=sc add_harness.lsl locktests.lsl T0.prn >> runlog
  14 #done
  15
  16
  17 for i in 1 2 3 4 5 6 7 8 9 10 15 20 30
  18 do
  19 echo bias set to 100
  20 echo size=$i
  21 cat llock.c.in | sed s/PROBLEMSIZE/$i/ |sed s/TUNELOCK/100/ > llock.c
  22 c2lsl.exe add_harness.c add_harness.lsl
  23 time checkfence -i -a memmodel=sc add_harness.lsl locktests.lsl >> runlog
  24 echo Hard loop bounds
  25 time checkfence -a memmodel=sc add_harness.lsl locktests.lsl T0.prn >> runlog
  26 done