From: yeom <yeom>
Date: Tue, 6 Mar 2012 02:27:32 +0000 (+0000)
Subject: add batch-mode script
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=2b76431d2955e3c240d57a2f71f1978f0e8a317d

add batch-mode script
---

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/114.mp3 b/Robust/src/Benchmarks/SSJava/MP3Decoder/114.mp3
new file mode 100755
index 00000000..a4734b98
Binary files /dev/null and b/Robust/src/Benchmarks/SSJava/MP3Decoder/114.mp3 differ
diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
index 965c7036..568a249a 100644
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
@@ -206,8 +206,8 @@ public class Player {
       // @LOC("O") SampleBuffer output = (SampleBuffer) decoder.decodeFrame(h);
       decoder.decodeFrame(h);
 
-      DEBUG_OUTPUT_CHECKSUM();
-      // DEBUG_OUTPUT();
+     // DEBUG_OUTPUT_CHECKSUM();
+       DEBUG_OUTPUT();
       // synchronized (this)
       // {
       // out = audio;
diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
index 83adb837..3f7f58bd 100644
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
@@ -12,7 +12,7 @@ RANDOMSEED=12345
 endif
 
 SSJAVA= -ssjava -ssjavadebug
-BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1000  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
+BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
 NORMAL= -ssjava-inject-error 0 0
 INJECT_ERROR= -ssjava-inject-error $(INV_ERROR_PROB) $(RANDOMSEED)
 
diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-batch-mode.sh b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-batch-mode.sh
new file mode 100755
index 00000000..59e89543
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-batch-mode.sh
@@ -0,0 +1,46 @@
+#!/bin/bash
+trycommand () {
+  $1
+  if [[ ! $? ]] ; then
+    echo "FAILED: $1"
+    exit
+  fi  
+}
+
+F=114.mp3
+H=errinj-history.txt
+D=errinj-diff.tmp
+X=errinj-diff-ranges.tmp
+T=errinj-range.tmp
+
+trycommand "rm $H"
+
+for (( i=0;i<100;i++))
+do
+  echo 'idx' $i >> $H
+  trycommand "rm $X"
+  echo "### make normal"
+  trycommand "make normal"
+  trycommand "make cleanerror"
+  echo "### make error"
+  trycommand "make error INV_ERROR_PROB=10000000 RANDOMSEED=90$i"
+  echo "### run normal"
+  trycommand "run-normal.sh $F"
+  echo "### run error"
+  trycommand "run-error-batchmode.sh $F $H"
+  diff normal.txt error.txt > $D
+  sed \
+  -e '/^[^0-9]/ d' \
+  -e  's/\(.*\),\(.*\)c.*/\1/' \
+  -e  's/\(.*\)c.*/\1/' \
+  -e  's/\(.*\)a.*/\1/' \
+  $D >> $X
+  if [[ -s $D ]] ; then
+    awk 'NR==1;END{print}' $X > $T
+    awk 'NR==1{s=$0;getline;e=$0;if(s==e) print "NO DIFF";else print s"\n"e}' $T >> $H
+  else
+    echo 'NO DIFF' >> $H
+  fi
+done
+
+
diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh
new file mode 100755
index 00000000..79041c41
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+if [[ -z $1 ]] ; then
+  echo 'Please supply an mp3 file name.'
+  exit
+fi
+
+MP3Playere.bin $1 > error.txt
+
+grep "SSJAVA: Injecting error" error.txt
+
+awk '{if($1=="SSJAVA:" && $2=="Injecting"){print "inj",x};{x=$1} }' error.txt >> $2 
+
+X=converterTempFile
+
+sed -e '/^SSJAVA:/ d' -e '1,/+++/ d' error.txt > $X  
+
+mv $X error.txt