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.