Messages in this thread |  | | Date | Sun, 12 May 2024 10:33:08 -0700 | | From | "Paul E. McKenney" <> | | Subject | [GIT PULL] KCSAN changes for v6.10 |
| |
Hello, Linus,
Once the v6.4 merge window opens, please pull the latest KCSAN git commit from:
git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/kcsan.2024.05.10a
# HEAD: 31f605a308e627f06e4e6ab77254473f1c90f0bf: kcsan, compiler_types: Introduce __data_racy type qualifier (2024-05-07 11:39:50 -0700)
---------------------------------------------------------------- kcsan: Introduce __data_racy type qualifier
This commit adds a __data_racy type qualifier that enables kernel developers to inform KCSAN that a given variable is a shared variable without needing to mark each and every access. This allows pre-KCSAN code to be correctly (if approximately) instrumented withh very little effort, and also provides people reading the code a clear indication that the variable is in fact shared. In addition, it permits incremental transition to per-access KCSAN marking, so that (for example) a given subsystem can be transitioned one variable at a time, while avoiding large numbers of KCSAN warnings during this transition.
---------------------------------------------------------------- Marco Elver (1): kcsan, compiler_types: Introduce __data_racy type qualifier
Documentation/dev-tools/kcsan.rst | 10 ++++++++++ include/linux/compiler_types.h | 7 +++++++ kernel/kcsan/kcsan_test.c | 17 +++++++++++++++++ 3 files changed, 34 insertions(+)
|  |