]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
sched: Enable context analysis for core.c and fair.c
authorMarco Elver <elver@google.com>
Fri, 19 Dec 2025 15:40:25 +0000 (16:40 +0100)
committerPeter Zijlstra <peterz@infradead.org>
Mon, 5 Jan 2026 15:43:36 +0000 (16:43 +0100)
commit04e49d926f438134b6453505aa206e70f8cf4cb1
tree0f875ddf5702251faf8ed900f62113a96d4f0595
parentdc36d55d4e7259ff0f91a154744125ccc2228171
sched: Enable context analysis for core.c and fair.c

This demonstrates a larger conversion to use Clang's context
analysis. The benefit is additional static checking of locking rules,
along with better documentation.

Notably, kernel/sched contains sufficiently complex synchronization
patterns, and application to core.c & fair.c demonstrates that the
latest Clang version has become powerful enough to start applying this
to more complex subsystems (with some modest annotations and changes).

Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Link: https://patch.msgid.link/20251219154418.3592607-37-elver@google.com
include/linux/sched.h
include/linux/sched/signal.h
include/linux/sched/task.h
include/linux/sched/wake_q.h
kernel/sched/Makefile
kernel/sched/core.c
kernel/sched/fair.c
kernel/sched/sched.h
scripts/context-analysis-suppression.txt