"Michael Kerrisk (man-pages)" <mtk.manpages@xxxxxxxxx> writes: > When executing a futex operation that requests to block a thread, > the kernel will only block if the futex word has the value that the > calling thread supplied as expected value. > The load from the futex word, the comparison with > the expected value, > and the actual blocking will happen atomically and totally > ordered with respect to concurrently executing futex operations > on the same futex word, > such as operations that wake threads blocked on this futex word. > Thus, the futex word is used to connect the synchronization in user spac Missing 'e' in "space". > .\" FIXME Please confirm that the following is correct: > No guarantee is provided about which waiters are awoken > (e.g., a waiter with a higher scheduling priority is not guaranteed > to be awoken in preference to a waiter with a lower priority). This is true. I didn't read the rest, as that stuff was all written by others. Documenting them is pretty heroic; good job! Thanks, Rusty. -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
