#!/bin/bash

DURATION="10"

RTSPIN="/root/liblitmus2010/rtspin"
RELEASETS="/root/liblitmus2010/release_ts"
ST_TRACE="/root/ft_tools/st_trace"

SPIN_PIDS=""


echo "Starting st_trace"
${ST_TRACE} -s gsnedf &
ST_TRACE_PID="$!"
echo "st_trace pid: ${ST_TRACE_PID}"

sleep 5


echo "Switching to GSN-EDF plugin"
echo "GSN-EDF" > /proc/litmus/active_plugin

sleep 1


echo "Setting up rtspin processes"

# Task sets from the paper (scaled up)
$RTSPIN -w -p 0 -c hrt 40 200 $DURATION &
SPIN_PIDS="$SPIN_PIDS $!"
sleep 1
$RTSPIN -w -p 1 -c hrt 40 200 $DURATION &
SPIN_PIDS="$SPIN_PIDS $!"
sleep 1
$RTSPIN -w -p 2 -c hrt 40 200 $DURATION &
SPIN_PIDS="$SPIN_PIDS $!"
sleep 1

$RTSPIN -w -c srt 200 300 $DURATION &
SPIN_PIDS="$SPIN_PIDS $!"
sleep 1
$RTSPIN -w -c srt 200 300 $DURATION &
SPIN_PIDS="$SPIN_PIDS $!"
sleep 1
$RTSPIN -w -c srt 200 300 $DURATION &
SPIN_PIDS="$SPIN_PIDS $!"
sleep 1

echo "catting log"
cat /dev/litmus/log > log.txt &
LOG_PID="$!"

echo "Doing release..."
$RELEASETS

echo "Waiting for RT-Spin processes..."
wait ${SPIN_PIDS}

echo "Killing log"
kill ${LOG_PID}

echo "Sending SIGUSR1 to st_trace"
kill -SIGUSR1 ${ST_TRACE_PID}
echo "Waiting for st_trace..."
wait ${ST_TRACE_PID}

echo "Done! Collect your logs."