Implement timeout in BaruahGEDF

Give up after running for 5 seconds. This is almost never triggered, but once in a while
this should help to catch a pseudo-polynomial excursion.

2 files changed, 8 insertions, 1 deletions

diff --git a/native/include/cpu_time.h b/native/include/cpu_time.h
new file mode 100644
index 0000000..2484159
--- /dev/null
+++ b/native/include/cpu_time.h
@@ -0,0 +1,7 @@
+#ifndef CPU_TIME_H
+#define CPU_TIME_H
+
+// How much CPU time used (in seconds)?
+double get_cpu_usage(void);
+
+#endif
diff --git a/native/include/edf/baruah.h b/native/include/edf/baruah.h
index dcd4f14..c79b49d 100644
--- a/native/include/edf/baruah.h
+++ b/native/include/edf/baruah.h
@@ -23,7 +23,7 @@ public:
 
     bool is_schedulable(const TaskSet &ts, bool check_preconditions = true);
 
-    static const float MINIMUM_SLACK;
+    static const double MAX_RUNTIME;
 };
 
 #endif