Added support for choices in budget policy enforcement.

NO_ENFORCEMENT - A job may execute beyond its declared execution time.
  Jobs notify the kernel that they are complete via liblitmus's
  sleep_next_period()
QUANTUM_ENFORCEMENT - The kernel terminates a job if its actual execution
  time exceeds the declared execution time.
PRECISE_ENFORCEMENT - Hook declared, but not yet implemented.  Plan to
  support this policy through hrtimers.  Error thrown if specified.

1 files changed, 4 insertions, 2 deletions

diff --git a/litmus/sched_psn_edf.c b/litmus/sched_psn_edf.c
index 7a548bf5162e..e50b27391d21 100644
--- a/litmus/sched_psn_edf.c
+++ b/litmus/sched_psn_edf.c
@@ -107,7 +107,7 @@ static void psnedf_tick(struct task_struct *t)
          */
         BUG_ON(is_realtime(t) && t != pedf->scheduled);
 
-        if (is_realtime(t) && budget_exhausted(t)) {
+        if (is_realtime(t) && budget_enforced(t) && budget_exhausted(t)) {
                 if (!is_np(t)) {
                         set_tsk_need_resched(t);
                         TRACE("psnedf_scheduler_tick: "
@@ -143,7 +143,9 @@ static struct task_struct* psnedf_schedule(struct task_struct * prev)
         /* (0) Determine state */
         exists      = pedf->scheduled != NULL;
         blocks      = exists && !is_running(pedf->scheduled);
-        out_of_time = exists && budget_exhausted(pedf->scheduled);
+        out_of_time = exists &&
+                                  budget_enforced(pedf->scheduled) &&
+                                  budget_exhausted(pedf->scheduled);
         np          = exists && is_np(pedf->scheduled);
         sleep       = exists && get_rt_flags(pedf->scheduled) == RT_F_SLEEP;
         preempt     = edf_preemption_needed(edf, prev);