Support for AEDZL

Added support for AEDZL.  Users may specify feedback control parameters.
If LITMUS_FP_ZERO is given, then task will default to Litmus's internal
default (at this time, a = 0.102 and b = 0.303; a critically-damped system).

3 files changed, 15 insertions, 3 deletions

diff --git a/bin/rtspin.c b/bin/rtspin.c
index 33919b1..650fcb3 100644
--- a/bin/rtspin.c
+++ b/bin/rtspin.c
@@ -225,7 +225,9 @@ int main(int argc, char** argv)
                         bail_out("could not migrate to target partition");
         }
 
-        ret = sporadic_task_ns(wcet, period, 0, cpu, class,
+        ret = sporadic_task_ns(wcet, period, 0,
+                                   LITMUS_FP_ZERO, LITMUS_FP_ZERO,
+                                   cpu, class,
                                want_enforcement ? PRECISE_ENFORCEMENT
                                                 : NO_ENFORCEMENT,
                                migrate);
diff --git a/include/litmus.h b/include/litmus.h
index b798c92..b9e70fd 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -10,6 +10,7 @@ extern "C" {
  * and control_page structures.
  */
 #include <litmus/rt_param.h>
+#include <litmus/fpmath.h>
 
 #include <sys/types.h>
 
@@ -31,20 +32,22 @@ int get_rt_task_param(pid_t pid, struct rt_task* param);
 /* times are given in ms */
 int sporadic_task(
                 lt_t e, lt_t p, lt_t phase,
+                fp_t feedback_a, fp_t feedback_b,
                 int partition, task_class_t cls,
                 budget_policy_t budget_policy, int set_cpu_set);
 
 /* times are given in ns */
 int sporadic_task_ns(
                 lt_t e, lt_t p, lt_t phase,
+                fp_t feedback_a, fp_t feedback_b,
                 int cpu, task_class_t cls,
                 budget_policy_t budget_policy, int set_cpu_set);
 
 /* budget enforcement off by default in these macros */
 #define sporadic_global(e, p) \
-        sporadic_task(e, p, 0, 0, RT_CLASS_SOFT, NO_ENFORCEMENT, 0)
+        sporadic_task(e, p, 0, LITMUS_FP_ZERO, LITMUS_FP_ZERO, 0, RT_CLASS_SOFT, NO_ENFORCEMENT, 0)
 #define sporadic_partitioned(e, p, cpu) \
-        sporadic_task(e, p, 0, cpu, RT_CLASS_SOFT, NO_ENFORCEMENT, 1)
+        sporadic_task(e, p, 0, LITMUS_FP_ZERO, LITMUS_FP_ZERO, cpu, RT_CLASS_SOFT, NO_ENFORCEMENT, 1)
 
 /* file descriptor attached shared objects support */
 typedef enum  {
diff --git a/src/litmus.c b/src/litmus.c
index d3cc6bb..172afae 100644
--- a/src/litmus.c
+++ b/src/litmus.c
@@ -7,6 +7,8 @@
 
 #include <sched.h> /* for cpu sets */
 
+#include <litmus/fpmath.h>
+
 #include "litmus.h"
 #include "internal.h"
 
@@ -42,14 +44,17 @@ int be_migrate_to(int target_cpu)
 }
 
 int sporadic_task(lt_t e, lt_t p, lt_t phase,
+                  fp_t feedback_a, fp_t feedback_b,
                   int cpu, task_class_t cls,
                   budget_policy_t budget_policy, int set_cpu_set)
 {
         return sporadic_task_ns(e * NS_PER_MS, p * NS_PER_MS, phase * NS_PER_MS,
+                                feedback_a, feedback_b,
                                 cpu, cls, budget_policy, set_cpu_set);
 }
 
 int sporadic_task_ns(lt_t e, lt_t p, lt_t phase,
+                        fp_t feedback_a, fp_t feedback_b,
                         int cpu, task_class_t cls,
                         budget_policy_t budget_policy, int set_cpu_set)
 {
@@ -67,6 +72,8 @@ int sporadic_task_ns(lt_t e, lt_t p, lt_t phase,
         param.cls       = cls;
         param.phase     = phase;
         param.budget_policy = budget_policy;
+        param.a = feedback_a;
+        param.b = feedback_b;
 
         if (set_cpu_set) {
                 ret = be_migrate_to(cpu);