Add script to run trace-sched-event with rtspin

scripts/run_with_rtspin.py

+#!/usr/bin/env python3
+
+import subprocess
+import time
+import os
+import argparse
+
+parser = argparse.ArgumentParser()
+parser.add_argument("--output", required=True)
+args = parser.parse_args()
+
+# workload = "scripts/evaluation/workloads/uniprocessor_double/1_uni_double_slow.json"
+# workload = "scripts/evaluation/workloads/uniprocessor_double/2_uni_double.json"
+# workload = "scripts/evaluation/workloads/uniprocessor_double/3_uni_double_fast.json"
+# workload = "scripts/evaluation/workloads/uniprocessor_double/4_uni_double_veryfast.json"
+workload = "scripts/evaluation/workloads/uniprocessor_all/8_uni_stress_veryfast.json"
+
+print()
+print("*** RUNNING WORKLOAD: " + os.path.basename(workload) + " ***")
+print()
+
+# Spawn threads to be traced
+proc1 = subprocess.Popen(["python3", "scripts/evaluation/generate_workload.py", "--workload", workload])
+
+# Skip rtspin init phase
+time.sleep(1)
+
+# Get pids to trace and call trace-sched-event
+proc2 = subprocess.Popen(["pgrep", "rtspin"], stdout=subprocess.PIPE)
+proc3 = subprocess.run(["xargs", "./src/tools/trace-sched-event", "--output", args.output,"--pids"], stdin=proc2.stdout)