commit | 3cd497c7f2d8b6906f6d0e78bc7772b2f434aa09 | [log] [tgz] |
---|---|---|
author | Paul E. McKenney <paulmck@kernel.org> | Tue May 18 10:47:43 2021 -0700 |
committer | Paul E. McKenney <paulmck@kernel.org> | Tue May 18 10:47:43 2021 -0700 |
tree | ea75648daef29e4fdd1583fa0ed3efd4a7a568dc | |
parent | 6a848eb2cbc2a2d4d32a4d5e28b65fbfce8f8f0f [diff] |
tools/memory-model: Document data_race(READ_ONCE()) It is possible to cause KCSAN to ignore marked accesses by applying __no_kcsan to the function or applying data_race() to the marked accesses. These approaches allow the developer to restrict compiler optimizations while also causing KCSAN to ignore diagnostic accesses. This commit therefore updates the documentation accordingly. Signed-off-by: Paul E. McKenney <paulmck@kernel.org>