diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-02-08 08:07:11 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-08 11:02:55 -0500 |
| commit | b990a32d15f0f95afe4b08e264bf016e251e3b40 (patch) | |
| tree | 64d7aec3449dbe7a1eca922a83fd1b6b520b3833 | |
| parent | fefbdbf294bb3ee67957c84603806c1d132b19bb (diff) | |
Keep track of active scheduler in ft-trace-overheads
| -rwxr-xr-x | ft-trace-overheads | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/ft-trace-overheads b/ft-trace-overheads index 280588d..28913e9 100755 --- a/ft-trace-overheads +++ b/ft-trace-overheads | |||
| @@ -25,6 +25,10 @@ function die() | |||
| 25 | [ -z "$FTCAT" ] && FTCAT=`find_helper ftcat ../ft_tools` | 25 | [ -z "$FTCAT" ] && FTCAT=`find_helper ftcat ../ft_tools` |
| 26 | [ -z "$FTCAT" ] && die "Can't find 'ftcat' utility." | 26 | [ -z "$FTCAT" ] && die "Can't find 'ftcat' utility." |
| 27 | 27 | ||
| 28 | [ -z "$SHOWSCHED" ] && SHOWSCHED=`find_helper showsched ../liblitmus` | ||
| 29 | [ -z "$SHOWSCHED" ] && die "Can't find 'showsched' utility." | ||
| 30 | |||
| 31 | |||
| 28 | if [ "$1" == "-s" ] | 32 | if [ "$1" == "-s" ] |
| 29 | then | 33 | then |
| 30 | AUTO=1 | 34 | AUTO=1 |
| @@ -81,10 +85,18 @@ do | |||
| 81 | done | 85 | done |
| 82 | 86 | ||
| 83 | NAME=${NAME//[ \/]/-} | 87 | NAME=${NAME//[ \/]/-} |
| 88 | |||
| 89 | SCHEDULER=`showsched` | ||
| 90 | if (( $? != 0 )) | ||
| 91 | then | ||
| 92 | SCHEDULER="UNKNOWN" | ||
| 93 | fi | ||
| 94 | SCHEDULER=${SCHEDULER//[ \/_]/-} | ||
| 95 | |||
| 84 | for dev in $CPU_FILES | 96 | for dev in $CPU_FILES |
| 85 | do | 97 | do |
| 86 | CPU=`basename ${dev} | sed 's/ft_cpu_trace//'` | 98 | CPU=`basename ${dev} | sed 's/ft_cpu_trace//'` |
| 87 | TRACE="overheads_host=`hostname`_trace=${NAME}_cpu=${CPU}.bin" | 99 | TRACE="overheads_host=`hostname`_scheduler=${SCHEDULER}_trace=${NAME}_cpu=${CPU}.bin" |
| 88 | echo "[II] Recording $dev -> $TRACE" | 100 | echo "[II] Recording $dev -> $TRACE" |
| 89 | $FTCAT $dev $CPU_EVENTS > $TRACE & | 101 | $FTCAT $dev $CPU_EVENTS > $TRACE & |
| 90 | PIDS="$PIDS $!" | 102 | PIDS="$PIDS $!" |
| @@ -93,7 +105,7 @@ done | |||
| 93 | for dev in $MSG_FILES | 105 | for dev in $MSG_FILES |
| 94 | do | 106 | do |
| 95 | CPU=`basename ${dev} | sed 's/ft_msg_trace//'` | 107 | CPU=`basename ${dev} | sed 's/ft_msg_trace//'` |
| 96 | TRACE="overheads_host=`hostname`_trace=${NAME}_msg=${CPU}.bin" | 108 | TRACE="overheads_host=`hostname`_scheduler=${SCHEDULER}_trace=${NAME}_msg=${CPU}.bin" |
| 97 | echo "[II] Recording $dev -> $TRACE" | 109 | echo "[II] Recording $dev -> $TRACE" |
| 98 | $FTCAT $dev $MSG_EVENTS > $TRACE & | 110 | $FTCAT $dev $MSG_EVENTS > $TRACE & |
| 99 | PIDS="$PIDS $!" | 111 | PIDS="$PIDS $!" |
