From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rusty Russell Subject: Re: Revised futex(2) man page for review Date: Tue, 31 Mar 2015 12:18:41 +1030 Message-ID: <871tk6os1y.fsf@rustcorp.com.au> References: <55166C01.7000803@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Return-path: In-Reply-To: <55166C01.7000803-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> Sender: linux-man-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org To: Thomas Gleixner Cc: mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org, Carlos O'Donell , Darren Hart , Ingo Molnar , Jakub Jelinek , "linux-man@vger.kernel.org" , lkml , Davidlohr Bueso , Arnd Bergmann , Steven Rostedt , Peter Zijlstra , Linux API , Torvald Riegel , Roland McGrath , Darren Hart , Anton Blanchard Peter Zijlstra , Eric Dumazet , bill o gallmeister , Jan Kiszka , Daniel Wagner , Rich Felker , Andy Lutomirski , bert hubert List-Id: linux-man@vger.kernel.org "Michael Kerrisk (man-pages)" 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-man" in the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org More majordomo info at http://vger.kernel.org/majordomo-info.html