Re: [RFC] kern: simple futex for gnumach (version 10)

[Marin Ramesa]

On 01/06/2014 03:00:35 PM, Richard Braun wrote:
> We also need to make sure nothing bad happens to an (object, offset)
> pair when, say, copy-on-write is performed by the VM system...

I'll add a check_consistency() routine to futex_wake() which repeats the
vm_map_lookup(). I'll use a sum of object address and offset for the  
event.
So, if the event is not the same, I'll just return from futex_wake().

> All this looks quite tricky to me, and certainly not a "small hack  
> entry" :-/.

I won't give up. I've spent too much time on this already. I guess I'll  
just
have to finish it.

Thanks for looking into this.