split


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

#!/bin/bash

SPLITTER=ft2csv

EVENTS="SCHED SCHED2 TICK CXS RELEASE RELEASE_LATENCY"
BE_EVENTS="SEND_RESCHED"

OPTS="-r"
EXT=bin

function do_split() {
	printf "\n[$NUM/$TOTAL] Splitting $1\n"
	for E in $EVENTS; do
	    EP=${E/_/-}
	    WHERE=`basename "$1" | sed -e 's/.ft//' -e 's/_idx=[^_]*'// `
	    TARGET="${WHERE}_overhead=$EP.$EXT"
	    echo $1 $E ">>" $TARGET
	    $SPLITTER $OPTS $E "$1" >> $TARGET
	done
	for E in $BE_EVENTS; do
	    echo $E
	    EP=${E/_/-}
	    WHERE=`basename "$1" | sed -e 's/.ft//' -e 's/_idx=[^_]*'// `
	    TARGET="${WHERE}_overhead=$EP.$EXT"
	    echo $1 $E ">>" $TARGET
	    $SPLITTER $OPTS -b $E "$1" >> ${TARGET}
	done
}

if [ ! -f "$1" ]; then
    echo  "Usage: split <file.ft>+"
    exit 1
fi

TOTAL=$#
NUM=0


while [ "" != "$*" ]
do
    NUM=$((NUM + 1))
    do_split "$1"
    shift
done