diff options
author | Xunlei Pang <xlpang@redhat.com> | 2017-03-23 10:56:08 -0400 |
---|---|---|
committer | Thomas Gleixner <tglx@linutronix.de> | 2017-04-04 05:44:05 -0400 |
commit | e96a7705e7d3fef96aec9b590c63b2f6f7d2ba22 (patch) | |
tree | fe346dcdb503a15812f8a8d63d6e010f4544c445 /kernel/locking | |
parent | 2a1c6029940675abb2217b590512dbf691867ec4 (diff) |
sched/rtmutex/deadline: Fix a PI crash for deadline tasks
A crash happened while I was playing with deadline PI rtmutex.
BUG: unable to handle kernel NULL pointer dereference at 0000000000000018
IP: [<ffffffff810eeb8f>] rt_mutex_get_top_task+0x1f/0x30
PGD 232a75067 PUD 230947067 PMD 0
Oops: 0000 [#1] SMP
CPU: 1 PID: 10994 Comm: a.out Not tainted
Call Trace:
[<ffffffff810b658c>] enqueue_task+0x2c/0x80
[<ffffffff810ba763>] activate_task+0x23/0x30
[<ffffffff810d0ab5>] pull_dl_task+0x1d5/0x260
[<ffffffff810d0be6>] pre_schedule_dl+0x16/0x20
[<ffffffff8164e783>] __schedule+0xd3/0x900
[<ffffffff8164efd9>] schedule+0x29/0x70
[<ffffffff8165035b>] __rt_mutex_slowlock+0x4b/0xc0
[<ffffffff81650501>] rt_mutex_slowlock+0xd1/0x190
[<ffffffff810eeb33>] rt_mutex_timed_lock+0x53/0x60
[<ffffffff810ecbfc>] futex_lock_pi.isra.18+0x28c/0x390
[<ffffffff810ed8b0>] do_futex+0x190/0x5b0
[<ffffffff810edd50>] SyS_futex+0x80/0x180
This is because rt_mutex_enqueue_pi() and rt_mutex_dequeue_pi()
are only protected by pi_lock when operating pi waiters, while
rt_mutex_get_top_task(), will access them with rq lock held but
not holding pi_lock.
In order to tackle it, we introduce new "pi_top_task" pointer
cached in task_struct, and add new rt_mutex_update_top_task()
to update its value, it can be called by rt_mutex_setprio()
which held both owner's pi_lock and rq lock. Thus "pi_top_task"
can be safely accessed by enqueue_task_dl() under rq lock.
Originally-From: Peter Zijlstra <peterz@infradead.org>
Signed-off-by: Xunlei Pang <xlpang@redhat.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Acked-by: Steven Rostedt <rostedt@goodmis.org>
Reviewed-by: Thomas Gleixner <tglx@linutronix.de>
Cc: juri.lelli@arm.com
Cc: bigeasy@linutronix.de
Cc: mathieu.desnoyers@efficios.com
Cc: jdesfossez@efficios.com
Cc: bristot@redhat.com
Link: http://lkml.kernel.org/r/20170323150216.157682758@infradead.org
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Diffstat (limited to 'kernel/locking')
-rw-r--r-- | kernel/locking/rtmutex.c | 29 |
1 files changed, 21 insertions, 8 deletions
diff --git a/kernel/locking/rtmutex.c b/kernel/locking/rtmutex.c index 71ecf0624410..bc05b104eaed 100644 --- a/kernel/locking/rtmutex.c +++ b/kernel/locking/rtmutex.c | |||
@@ -323,6 +323,19 @@ rt_mutex_dequeue_pi(struct task_struct *task, struct rt_mutex_waiter *waiter) | |||
323 | } | 323 | } |
324 | 324 | ||
325 | /* | 325 | /* |
326 | * Must hold both p->pi_lock and task_rq(p)->lock. | ||
327 | */ | ||
328 | void rt_mutex_update_top_task(struct task_struct *p) | ||
329 | { | ||
330 | if (!task_has_pi_waiters(p)) { | ||
331 | p->pi_top_task = NULL; | ||
332 | return; | ||
333 | } | ||
334 | |||
335 | p->pi_top_task = task_top_pi_waiter(p)->task; | ||
336 | } | ||
337 | |||
338 | /* | ||
326 | * Calculate task priority from the waiter tree priority | 339 | * Calculate task priority from the waiter tree priority |
327 | * | 340 | * |
328 | * Return task->normal_prio when the waiter tree is empty or when | 341 | * Return task->normal_prio when the waiter tree is empty or when |
@@ -337,12 +350,12 @@ int rt_mutex_getprio(struct task_struct *task) | |||
337 | task->normal_prio); | 350 | task->normal_prio); |
338 | } | 351 | } |
339 | 352 | ||
353 | /* | ||
354 | * Must hold either p->pi_lock or task_rq(p)->lock. | ||
355 | */ | ||
340 | struct task_struct *rt_mutex_get_top_task(struct task_struct *task) | 356 | struct task_struct *rt_mutex_get_top_task(struct task_struct *task) |
341 | { | 357 | { |
342 | if (likely(!task_has_pi_waiters(task))) | 358 | return task->pi_top_task; |
343 | return NULL; | ||
344 | |||
345 | return task_top_pi_waiter(task)->task; | ||
346 | } | 359 | } |
347 | 360 | ||
348 | /* | 361 | /* |
@@ -351,12 +364,12 @@ struct task_struct *rt_mutex_get_top_task(struct task_struct *task) | |||
351 | */ | 364 | */ |
352 | int rt_mutex_get_effective_prio(struct task_struct *task, int newprio) | 365 | int rt_mutex_get_effective_prio(struct task_struct *task, int newprio) |
353 | { | 366 | { |
354 | if (!task_has_pi_waiters(task)) | 367 | struct task_struct *top_task = rt_mutex_get_top_task(task); |
368 | |||
369 | if (!top_task) | ||
355 | return newprio; | 370 | return newprio; |
356 | 371 | ||
357 | if (task_top_pi_waiter(task)->task->prio <= newprio) | 372 | return min(top_task->prio, newprio); |
358 | return task_top_pi_waiter(task)->task->prio; | ||
359 | return newprio; | ||
360 | } | 373 | } |
361 | 374 | ||
362 | /* | 375 | /* |