tools/memory-model: Add example for heuristic lockless reads
authorPaul E. McKenney <paulmck@kernel.org>
Thu, 13 May 2021 21:54:58 +0000 (14:54 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Tue, 27 Jul 2021 18:47:34 +0000 (11:47 -0700)
commit436eef23c41fe10dc34ed19a00caf9f1290a8689
treea1945a22329dd27571a155e7b08f88a4e26f9cee
parent1846a7fa767fbf8cf42d71daf75d51e30e3c8327
tools/memory-model: Add example for heuristic lockless reads

This commit adds example code for heuristic lockless reads, based loosely
on the sem_lock() and sem_unlock() functions.

[ paulmck: Apply Alan Stern and Manfred Spraul feedback. ]

Reported-by: Manfred Spraul <manfred@colorfullife.com>
[ paulmck: Update per Manfred Spraul and Hillf Danton feedback. ]
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/Documentation/access-marking.txt