Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux

tools/memory-model/Documentation: Fix SRCU section in explanation.txt

The SRCU read-side critical sections describes the difference between
srcu_down_read()/srcu_up_read() and srcu_read_lock()/srcu_read_unlock()
in a way that a last pair must occur on the same CPU.

This is not true, the srcu_read_unlock() can happen on any CPU, but it
must be performed by the same task that invoked srcu_read_lock().

Signed-off-by: Uladzislau Rezki (Sony) <urezki@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

authored by

Uladzislau Rezki (Sony) and committed by
Paul E. McKenney
5c9e0062 730c0a8e

+1 -1
+1 -1
tools/memory-model/Documentation/explanation.txt
··· 1896 1896 1897 1897 3. The srcu_down_read() and srcu_up_read() primitives work 1898 1898 exactly like srcu_read_lock() and srcu_read_unlock(), except 1899 - that matching calls don't have to execute on the same CPU. 1899 + that matching calls don't have to execute within the same context. 1900 1900 (The names are meant to be suggestive of operations on 1901 1901 semaphores.) Since the matching is determined by the domain 1902 1902 pointer and index value, these primitives make it possible for