summaryrefslogtreecommitdiffstats
path: root/kernel/locking
diff options
context:
space:
mode:
authorXunlei Pang <xlpang@redhat.com>2017-03-23 10:56:08 -0400
committerThomas Gleixner <tglx@linutronix.de>2017-04-04 05:44:05 -0400
commite96a7705e7d3fef96aec9b590c63b2f6f7d2ba22 (patch)
treefe346dcdb503a15812f8a8d63d6e010f4544c445 /kernel/locking
parent2a1c6029940675abb2217b590512dbf691867ec4 (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.c29
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 */
328void 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 */
340struct task_struct *rt_mutex_get_top_task(struct task_struct *task) 356struct 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 */
352int rt_mutex_get_effective_prio(struct task_struct *task, int newprio) 365int 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/*