On 03/31/2015 03:48 AM, Rusty Russell wrote: > "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". Already fixed. >> .\" 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. Thanks! FIXME removed. Cheers, Michael > I didn't read the rest, as that stuff was all written by others. > Documenting them is pretty heroic; good job! > > Thanks, > Rusty. > -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- 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
