locking/ww_mutex: Support Clang's context analysis

Browse source

Add support for Clang's context analysis for ww_mutex.

The programming model for ww_mutex is subtly more complex than other
locking primitives when using ww_acquire_ctx. Encoding the respective
pre-conditions for ww_mutex lock/unlock based on ww_acquire_ctx state
using Clang's context analysis makes incorrect use of the API harder.

Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Link: https://patch.msgid.link/20251219154418.3592607-21-elver@google.com

...

This commit is contained in:

Marco Elver 2025-12-19 16:40:09 +01:00 • committed by Peter Zijlstra

parent d3febf16de

commit 47907461e4

3 changed files with 87 additions and 7 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

3

Documentation/dev-tools/context-analysis.rst

View file

22

include/linux/ww_mutex.h

View file

69

lib/test_context-analysis.c

View file