Linux kernel bug fix: sched/rt: Plug rt_mutex_setprio() vs push_rt_task() race
Subsystem: scheduler (kernel/sched/deadline.c)
Bug type: hang, severity: medium
Files changed: kernel/sched/deadline.c;kernel/sched/rt.c
Introduced by Peter Zijlstra on 2020-11-10 18:39:01 +0100; fixed by Valentin Schneider on 2022-03-01 16:18:38 +0100 (lifetime: 475 days)