linux-kernel - Re: Revised futex(2) man page for review

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <1438053377.2249.25.camel@stgolabs.net>
Date:	Mon, 27 Jul 2015 20:16:17 -0700
From:	Davidlohr Bueso <dave@...olabs.net>
To:	"Michael Kerrisk (man-pages)" <mtk.manpages@...il.com>
Cc:	Peter Zijlstra <peterz@...radead.org>,
	Thomas Gleixner <tglx@...utronix.de>,
	Darren Hart <dvhart@...ux.intel.com>,
	Carlos O'Donell <carlos@...hat.com>,
	Ingo Molnar <mingo@...e.hu>, Jakub Jelinek <jakub@...hat.com>,
	"linux-man@...r.kernel.org" <linux-man@...r.kernel.org>,
	lkml <linux-kernel@...r.kernel.org>,
	Arnd Bergmann <arnd@...db.de>,
	Steven Rostedt <rostedt@...dmis.org>,
	Linux API <linux-api@...r.kernel.org>,
	Torvald Riegel <triegel@...hat.com>,
	Roland McGrath <roland@...k.frob.com>,
	Darren Hart <dvhart@...radead.org>,
	Anton Blanchard <anton@...ba.org>,
	Eric Dumazet <edumazet@...gle.com>,
	bill o gallmeister <bgallmeister@...il.com>,
	Jan Kiszka <jan.kiszka@...mens.com>,
	Daniel Wagner <wagi@...om.org>, Rich Felker <dalias@...c.org>,
	Andy Lutomirski <luto@...capital.net>,
	bert hubert <bert.hubert@...herlabs.nl>,
	Rusty Russell <rusty@...tcorp.com.au>,
	Heinrich Schuchardt <xypron.glpk@....de>
Subject: Re: Revised futex(2) man page for review

On Mon, 2015-07-27 at 13:10 +0200, Michael Kerrisk (man-pages) wrote:
> Hi David,
> 
> On 03/31/2015 04:45 PM, Davidlohr Bueso wrote:
> > On Sat, 2015-03-28 at 12:47 +0100, Peter Zijlstra wrote:
> > 
> >>        The condition is represented by the futex word, which is an address  in
> >>        memory  supplied to the futex() system call, and the value at this mem‐
> >>        ory location.  (While the virtual addresses for the same memory in sep‐
> >>        arate  processes  may  not be equal, the kernel maps them internally so
> >>        that the same memory mapped in different locations will correspond  for
> >>        futex() calls.)
> >>
> >>        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
> > 
> > Given the use of "word", you should probably state right away that
> > futexes are only 32bit.
> 
> So, I made the opening sentence here:
> 
>        The  condition  is  represented  by  the  futex word, which is an
>        address in memory supplied to the futex() system  call,  and  the
>        32-bit  value  at  this  memory  location. 
> 
> Okay?

I think we can still improve :)

I've re-read the whole first paragraphs, and have a few comments that
touch upon this specific wording. Lets see. You have:

>        The  futex()  system call provides a method for waiting until a certain
>        condition becomes true.  It is typically used as a  blocking  construct
>        in the context of shared-memory synchronization: The program implements
>        the majority of the synchronization in user  space,  and  uses  one  of
>        operations  of  the  system call when it is likely that it has to block
>        for a longer time until the condition becomes true.  The  program  uses
>        another  operation of the system call to wake anyone waiting for a par‐
>        ticular condition.

I've rephrased the next paragraph. How about adding this to follow?

       A futex is in essence a 32-bit user-space address. All futex operations and
       conditions are governed by this variable, from now on referred to as 'futex
       word'. As such, a futex is identified by the address in shared memory, which
       may or may not be shared between different processes. For virtual memory, the
       kernel will internally handle and resolve the later. This futex word, along
       with the value at its the memory location, are supplied to the futex() system
       call.

Feel free to reword however you think is better.

Thanks,
Davidlohr

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/