Re: [RFC] kern: simple futex for gnumach

[Roland McGrath]

A fundamental feature of futexes is that they are tied to the memory, not
the mapping.  If there are two mappings of the same shared page, a
futex_wake on an offset N into the page from one mapping must wake a
futex_wait on an offset N into the page from the other mapping.