diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2021-05-18 10:47:43 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2021-07-27 11:48:55 -0700 |
| commit | 87859a8e3f083bd57b34e6a962544d775a76b15f (patch) | |
| tree | 1e53444eca0d174121d6b2d0373aca0db902ecdb /net | |
| parent | f92975d76d537c06a2118f9c3c63432c0f7c7a88 (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>
Diffstat (limited to 'net')
0 files changed, 0 insertions, 0 deletions