start of new file

[IRC.git] / Robust / src / Benchmarks / WebServer / Workload / batch / run2.sh

diff --git a/Robust/src/Benchmarks/WebServer/Workload/batch/run2.sh b/Robust/src/Benchmarks/WebServer/Workload/batch/run2.sh
index c96b19a17a4d6a9993be4506a8e6ff3131f0b0da..4da6c32e0bb2b95060c4b47f40e4772bce930177 100755 (executable)
--- a/Robust/src/Benchmarks/WebServer/Workload/batch/run2.sh
+++ b/Robust/src/Benchmarks/WebServer/Workload/batch/run2.sh
@@ -7,17 +7,17 @@ rm output #Errors and total number of run count are redirected to this file
 #Sets the BRISTLECONE parameter with a certain instruction count, probability and 
 #number of failures that can be injected
 #export BRISTLECONE="-initializerandom -injectinstructionfailures 10 0.00001667 1 -debugtask"
-export BRISTLECONE="-initializerandom -injectinstructionfailures 35 0.00001667 50 -debugtask"
+export BRISTLECONE="-initializerandom -injectinstructionfailures 35 0.00001667 50"
 rm -rf results
 mkdir results
 cd results
-while [ $i -le 299 ]; # The number of runs 
+while [ $i -le 201 ]; # The number of runs 
   do
   mkdir trial$i
   cd trial$i
   let errorcount=0
   let count=0
-  ../../trans.bin & #Launch server executable in background
+  ../../trans.bin &> log & #Launch server executable in background
   sleep 2;
   ../../Workload/workload 127.0.0.1 2>/dev/null & #Run the first workload
   echo $i >> ../output;
@@ -54,7 +54,11 @@ echo Errorcount=$errorcount >> ../output
 let "i+=1";
 process=`ps | grep workload | grep -v grep | awk '{print $1}'`
 kill -9 $process
-ps | grep trans | grep -v grep | awk '{print $1}' | xargs kill -9 #Kill the server 
+process=`ps | grep trans | grep -v grep | awk '{print $1}'`
+cat ../../gdbquery | gdb ../../trans.bin $process &> output
+kill -1 $process
+sleep 1
+kill $process
 sleep 1;
 cd ..
 done