]> git.ipfire.org Git - thirdparty/kernel/stable.git/commitdiff
posix-cpu-timers: fix race between handle_posix_cpu_timers() and posix_cpu_timer_del()
authorOleg Nesterov <oleg@redhat.com>
Fri, 13 Jun 2025 17:26:50 +0000 (19:26 +0200)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Fri, 27 Jun 2025 10:04:10 +0000 (11:04 +0100)
commit f90fff1e152dedf52b932240ebbd670d83330eca upstream.

If an exiting non-autoreaping task has already passed exit_notify() and
calls handle_posix_cpu_timers() from IRQ, it can be reaped by its parent
or debugger right after unlock_task_sighand().

If a concurrent posix_cpu_timer_del() runs at that moment, it won't be
able to detect timer->it.cpu.firing != 0: cpu_timer_task_rcu() and/or
lock_task_sighand() will fail.

Add the tsk->exit_state check into run_posix_cpu_timers() to fix this.

This fix is not needed if CONFIG_POSIX_CPU_TIMERS_TASK_WORK=y, because
exit_task_work() is called before exit_notify(). But the check still
makes sense, task_work_add(&tsk->posix_cputimers_work.work) will fail
anyway in this case.

Cc: stable@vger.kernel.org
Reported-by: BenoƮt Sevens <bsevens@google.com>
Fixes: 0bdd2ed4138e ("sched: run_posix_cpu_timers: Don't check ->exit_state, use lock_task_sighand()")
Signed-off-by: Oleg Nesterov <oleg@redhat.com>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
kernel/time/posix-cpu-timers.c

index bede1e608d959cee591dd9f11ec8582199dfb1a9..c8bc6722ee95682a3a6865fcfde1f8f845ad8f9b 100644 (file)
@@ -1373,6 +1373,15 @@ void run_posix_cpu_timers(void)
 
        lockdep_assert_irqs_disabled();
 
+       /*
+        * Ensure that release_task(tsk) can't happen while
+        * handle_posix_cpu_timers() is running. Otherwise, a concurrent
+        * posix_cpu_timer_del() may fail to lock_task_sighand(tsk) and
+        * miss timer->it.cpu.firing != 0.
+        */
+       if (tsk->exit_state)
+               return;
+
        /*
         * If the actual expiry is deferred to task work context and the
         * work is already scheduled there is no point to do anything here.