Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752710AbbG0LDQ (ORCPT ); Mon, 27 Jul 2015 07:03:16 -0400 Received: from mail-wi0-f171.google.com ([209.85.212.171]:33771 "EHLO mail-wi0-f171.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750921AbbG0LDO (ORCPT ); Mon, 27 Jul 2015 07:03:14 -0400 Message-ID: <55B60FE6.3060206@gmail.com> Date: Mon, 27 Jul 2015 13:03:02 +0200 From: "Michael Kerrisk (man-pages)" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: Rusty Russell , Thomas Gleixner , Darren Hart CC: mtk.manpages@gmail.com, "Carlos O'Donell" , 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 , Eric Dumazet , bill o gallmeister , Jan Kiszka , Daniel Wagner , Rich Felker , Andy Lutomirski , bert hubert , Heinrich Schuchardt Subject: Re: Revised futex(2) man page for review References: <55166C01.7000803@gmail.com> <871tk6os1y.fsf@rustcorp.com.au> In-Reply-To: <871tk6os1y.fsf@rustcorp.com.au> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1574 Lines: 49 On 03/31/2015 03:48 AM, Rusty Russell wrote: > "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". 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-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/