-function oneremote {
- i=0;
- DIR=`pwd`
- while [ $i -lt $1 ]; do
- echo "$DIR" > ~/.tmpdir
- echo "bin=$3" > ~/.tmpvars
- echo "arg='$ARGS1'" > ~/.tmpargs
- echo "logd=$LOGDIR" > ~/.tmplogdir
- echo "ext=$EXTENSION" > ~/.tmpext
- ./$3 &
- ssh $MACHINES2 'cd `cat ~/.tmpdir`; source ~/.tmpvars; source ~/.tmpargs; source ~/.tmplogdir; source ~/.tmpext; /usr/bin/time -f "%e" ./$bin master $arg 2>> ${logd}/${bin}_remote_${ext}.txt'
- echo "Terminating ... "
- killall $3
- sleep 2
- i=`expr $i + 1`
- done
-}
-
-function localrun {
- rm dstm.conf
- DSTMDIR=${HOME}/research/Robust/src/Benchmarks/Prefetch/config
- ln -s ${DSTMDIR}/dstm_1.conf dstm.conf
- i=0;
- while [ $i -lt $1 ]; do
- /usr/bin/time -f "%e" ./${MANUAL_PREFETCH} master $ARGS1 2> ${LOGDIR}/tmp
- cat ${LOGDIR}/tmp >> ${LOGDIR}/${MANUAL_PREFETCH}_local_${EXTENSION}.txt
-# if [ $i -eq 0 ];then echo "<h3> Benchmark=${NONPREFETCH_NONCACHE} Thread=1local Extension=${EXTENSION}</h3><br>" > ${LOGDIR}/${NONPREFETCH_NONCACHE}_${EXTENSION}_1local_a.html ;fi
-# cat ${LOGDIR}/tmp >> ${LOGDIR}/${NONPREFETCH_NONCACHE}_${EXTENSION}_1local_a.html
-# echo "<br>" >> ${LOGDIR}/${NONPREFETCH_NONCACHE}_${EXTENSION}_1local_a.html
- sleep 2
- i=`expr $i + 1`
- done
-}
-