diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-06-23 06:47:26 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-06-23 06:47:26 -0400 |
| commit | bd2973e02ef336e89b84fa143e401a988b11568b (patch) | |
| tree | 09bbd9371404e76d8620054da353349c70f535c2 | |
| parent | 25766ca21d3e28830fd8dc5a7ccf3035831c3e90 (diff) | |
P-RES: trace sporadic wake-ups
| -rw-r--r-- | litmus/sched_pres.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/litmus/sched_pres.c b/litmus/sched_pres.c index 5992c55ee737..d25d1ba1f47d 100644 --- a/litmus/sched_pres.c +++ b/litmus/sched_pres.c | |||
| @@ -215,8 +215,11 @@ static void resume_legacy_task_model_updates(struct task_struct *tsk) | |||
| 215 | * P-RES scheduler. */ | 215 | * P-RES scheduler. */ |
| 216 | 216 | ||
| 217 | now = litmus_clock(); | 217 | now = litmus_clock(); |
| 218 | if (is_tardy(tsk, now)) | 218 | if (is_tardy(tsk, now)) { |
| 219 | sched_trace_last_suspension_as_completion(tsk); | ||
| 219 | release_at(tsk, now); | 220 | release_at(tsk, now); |
| 221 | sched_trace_task_release(tsk); | ||
| 222 | } | ||
| 220 | } | 223 | } |
| 221 | } | 224 | } |
| 222 | 225 | ||
