diff options
| author | Paul E. McKenney <[email protected]> | 2021-05-18 17:47:43 +0000 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2021-07-27 18:48:55 +0000 |
| commit | 87859a8e3f083bd57b34e6a962544d775a76b15f (patch) | |
| tree | 1e53444eca0d174121d6b2d0373aca0db902ecdb /fs/ext4/fast_commit.c | |
| parent | tools/memory-model: Heuristics using data_race() must handle all values (diff) | |
| download | kernel-87859a8e3f083bd57b34e6a962544d775a76b15f.tar.gz kernel-87859a8e3f083bd57b34e6a962544d775a76b15f.zip | |
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 <[email protected]>
Diffstat (limited to 'fs/ext4/fast_commit.c')
0 files changed, 0 insertions, 0 deletions