Bugfix: don't requeue blocking tasks.

Once the task gets scheduled even though it should be blocked, the system
will crash.

1 files changed, 4 insertions, 2 deletions

diff --git a/kernel/sched_gsn_edf.c b/kernel/sched_gsn_edf.c
index 3ee7e607d9..3f74296784 100644
--- a/kernel/sched_gsn_edf.c
+++ b/kernel/sched_gsn_edf.c
@@ -387,8 +387,10 @@ static void job_completion(struct task_struct *t)
         edf_prepare_for_next_period(t); 
         /* unlink */
         unlink(t);
-        /* requeue */
-        gsnedf_job_arrival(t);
+        /* requeue
+         * But on't requeue a blocking task. */
+        if (is_running(t))
+                gsnedf_job_arrival(t);
 }