Searched hist:f92975d7 (Results 1 – 1 of 1) sorted by relevance
/openbmc/linux/tools/memory-model/Documentation/ |
H A D | access-marking.txt | f92975d7 Fri May 14 13:40:06 CDT 2021 Manfred Spraul <manfred@colorfullife.com> tools/memory-model: Heuristics using data_race() must handle all values
Data loaded for use by some sorts of heuristics can tolerate the occasional erroneous value. In this case the loads may use data_race() to give the compiler full freedom to optimize while also informing KCSAN of the intent. However, for this to work, the heuristic needs to be able to tolerate any erroneous value that could possibly arise. This commit therefore adds a paragraph spelling this out.
Signed-off-by: Manfred Spraul <manfred@colorfullife.com> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
|