RFC: Lightweight synchronization mechanism for gnumach v2.0

[Agustina Arzille]

Hello, everyone,

I got some very positive feedback last time, so I decided to work on a 
new
version. I've streamlined things a bit, introducing a key type to handle
lookups, and moved a bit of code around into new functions.

The biggest change, however, is the 'gsync_requeue' RPC. It allows one 
to move
blocking threads so that they wait on a different address. It's not as 
useful
as the other 2 RPC's, but it can be used to optimize POSIX condition 
variables
to avoid the infamous 'thundering herd' problem.

This patch is a bit longer than the one before, so I'm sending it as an
attachment instead of copying its contents here.

As before, any comments, advice or questions are very welcomed.

diff
Description: Text Data