Summarize schedulability with final recordwip-color

2 files changed, 28 insertions, 2 deletions

diff --git a/litmus/sched_color.c b/litmus/sched_color.c
index e72fdc3bb7d1..44327d60aaa5 100644
--- a/litmus/sched_color.c
+++ b/litmus/sched_color.c
@@ -305,7 +305,7 @@ static void job_arrival(struct task_struct *t)
 static void job_completion(struct rt_server *server)
 {
         struct task_struct *t = server->linked;
-        lt_t et;
+        lt_t et, now = litmus_clock();
 
         TRACE_TASK(t, "Job completed\n");
         if (is_server(t))
@@ -320,6 +320,15 @@ static void job_completion(struct rt_server *server)
                         tsk_rt(t)->max_exec_time = et;
         }
 
+        if (is_tardy(t, now)) {
+                lt_t miss = now - get_deadline(t);
+                ++tsk_rt(t)->missed;
+                tsk_rt(t)->total_tardy += miss;
+                if (lt_before(tsk_rt(t)->max_tardy, miss)) {
+                        tsk_rt(t)->max_tardy = miss;
+                }
+        }
+
         unlink(server);
         set_rt_flags(t, RT_F_SLEEP);
         prepare_for_next_period(t);
@@ -566,6 +575,9 @@ static void color_task_new(struct task_struct *t, int on_rq, int running)
         tsk_rt(t)->req = req;
         tsk_rt(t)->tot_exec_time = 0;
         tsk_rt(t)->max_exec_time = 0;
+        tsk_rt(t)->max_tardy = 0;
+        tsk_rt(t)->missed = 0;
+        tsk_rt(t)->total_tardy = 0;
         tsk_rt(t)->ctrl_page->colors_updated = 1;
         tsk_rt(t)->last_exec_time = 0;
 
@@ -644,6 +656,7 @@ static void color_task_exit(struct task_struct *t)
         local_irq_save(flags);
 
         sched_trace_task_exit(t);
+        sched_trace_task_tardy(t);
 
         /* Remove from scheduler consideration */
         if (is_queued(t)) {
diff --git a/litmus/sched_task_trace.c b/litmus/sched_task_trace.c
index 48124b756be7..d4fedaa15744 100644
--- a/litmus/sched_task_trace.c
+++ b/litmus/sched_task_trace.c
@@ -227,7 +227,7 @@ feather_callback void do_sched_trace_sys_release(unsigned long id,
 }
 
 feather_callback void do_sched_trace_task_exit(unsigned long id,
-                                                 unsigned long _task)
+                                               unsigned long _task)
 {
         struct task_struct *t = (struct task_struct*) _task;
 #ifdef CONFIG_PLUGIN_COLOR
@@ -245,6 +245,19 @@ feather_callback void do_sched_trace_task_exit(unsigned long id,
         }
 }
 
+feather_callback void do_sched_trace_task_tardy(unsigned long id,
+                                               unsigned long _task)
+{
+        struct task_struct *t = (struct task_struct*) _task;
+        struct st_event_record *rec = get_record(ST_TASK_TARDY, t);
+        if (rec) {
+                rec->data.task_tardy.max_tardy = tsk_rt(t)->max_tardy;
+                rec->data.task_tardy.total_tardy = tsk_rt(t)->total_tardy;
+                rec->data.task_tardy.missed = tsk_rt(t)->missed;
+                put_record(rec);
+        }
+}
+
 feather_callback void do_sched_trace_action(unsigned long id,
                                             unsigned long _task,
                                             unsigned long action)