mirror of https://github.com/mkerrisk/man-pages
futex.2: Minor wording fixes
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
This commit is contained in:
parent
d45f244c6d
commit
9d32a39b82
|
@ -73,14 +73,15 @@ but these addresses all refer to the same location in physical memory.)
|
||||||
|
|
||||||
When executing a futex operation that requests to block a thread,
|
When executing a futex operation that requests to block a thread,
|
||||||
the kernel will block only if the futex word has the value that the
|
the kernel will block only if the futex word has the value that the
|
||||||
calling thread supplied as expected value.
|
calling thread supplied as the expected value of the futex word.
|
||||||
The load from the futex word, the comparison with
|
The loading of the futex word's value,
|
||||||
the expected value,
|
the comparison of that value with the expected value,
|
||||||
and the actual blocking will happen atomically and totally
|
and the actual blocking will happen atomically and totally
|
||||||
ordered with respect to concurrently executing futex
|
ordered with respect to concurrently executing futex
|
||||||
operations on the same futex word.
|
operations on the same futex word.
|
||||||
Thus, the futex word is used to connect the synchronization in user space
|
Thus, the futex word is used to connect the synchronization in user space
|
||||||
with the implementation of blocking by the kernel; similar to an atomic
|
with the implementation of blocking by the kernel.
|
||||||
|
Like an atomic
|
||||||
compare-and-exchange operation that potentially changes shared memory,
|
compare-and-exchange operation that potentially changes shared memory,
|
||||||
blocking via a futex is an atomic compare-and-block operation.
|
blocking via a futex is an atomic compare-and-block operation.
|
||||||
.\" FIXME(Torvald Riegel):
|
.\" FIXME(Torvald Riegel):
|
||||||
|
|
Loading…
Reference in New Issue