Implementation of Adaptive-EDZL

This patch introduces the Adaptive-EDZL (AEDZL) scheduler.  AEDZL
uses feedback-control to estimate job execution time.  This improves
the detection of zero-laxity points if WCETs are not tight.

1 files changed, 5 insertions, 0 deletions

diff --git a/include/litmus/edzl_common.h b/include/litmus/edzl_common.h
index d9ecfa1a70f9..8b2fbcd455ab 100644
--- a/include/litmus/edzl_common.h
+++ b/include/litmus/edzl_common.h
@@ -21,4 +21,9 @@ int edzl_higher_prio(struct task_struct* first,
 int edzl_ready_order(struct bheap_node* a, struct bheap_node* b);
 
 int edzl_preemption_needed(rt_domain_t* rt, struct task_struct *t);
+
+#ifdef CONFIG_PLUGIN_AEDZL
+int aedzl_preemption_needed(rt_domain_t* rt, struct task_struct *t);
+#endif
+
 #endif