Implement real-time aux threads. G-EDF only.

1 files changed, 21 insertions, 4 deletions

diff --git a/litmus/preempt.c b/litmus/preempt.c
index a2cae3648e15..c9ccc80c1df9 100644
--- a/litmus/preempt.c
+++ b/litmus/preempt.c
@@ -74,25 +74,37 @@ void litmus_reschedule(int cpu)
          * is not aware of the need to reschedule at this point. */
 
         /* is a context switch in progress? */
-        if (cpu_is_in_sched_state(cpu, TASK_PICKED))
+        if (cpu_is_in_sched_state(cpu, TASK_PICKED)) {
                 picked_transition_ok = sched_state_transition_on(
                         cpu, TASK_PICKED, PICKED_WRONG_TASK);
 
+                TRACE_CUR("cpu %d: picked_transition_ok = %d\n", cpu, picked_transition_ok);
+        }
+        else {
+                TRACE_CUR("cpu %d: picked_transition_ok = 0 (static)\n", cpu);
+        }
+
         if (!picked_transition_ok &&
             cpu_is_in_sched_state(cpu, TASK_SCHEDULED)) {
                 /* We either raced with the end of the context switch, or the
                  * CPU was in TASK_SCHEDULED anyway. */
                 scheduled_transition_ok = sched_state_transition_on(
                         cpu, TASK_SCHEDULED, SHOULD_SCHEDULE);
+                TRACE_CUR("cpu %d: scheduled_transition_ok = %d\n", cpu, scheduled_transition_ok);
+        }
+        else {
+                TRACE_CUR("cpu %d: scheduled_transition_ok = 0 (static)\n", cpu);
         }
 
         /* If the CPU was in state TASK_SCHEDULED, then we need to cause the
          * scheduler to be invoked. */
         if (scheduled_transition_ok) {
-                if (smp_processor_id() == cpu)
+                if (smp_processor_id() == cpu) {
                         set_tsk_need_resched(current);
-                else
+                }
+                else {
                         smp_send_reschedule(cpu);
+                }
         }
 
         TRACE_STATE("%s picked-ok:%d sched-ok:%d\n",
@@ -103,11 +115,16 @@ void litmus_reschedule(int cpu)
 
 void litmus_reschedule_local(void)
 {
-        if (is_in_sched_state(TASK_PICKED))
+        if (is_in_sched_state(TASK_PICKED)) {
                 set_sched_state(PICKED_WRONG_TASK);
+
+                TRACE_CUR("cpu %d: transitioned to PICKED_WRONG_TASK\n", smp_processor_id());
+        }
         else if (is_in_sched_state(TASK_SCHEDULED | SHOULD_SCHEDULE)) {
                 set_sched_state(WILL_SCHEDULE);
                 set_tsk_need_resched(current);
+
+                TRACE_CUR("cpu %d: transitioned to WILL_SCHEDULE\n", smp_processor_id());
         }
 }