Re: Hurd IPC

[Neal H. Walfield]

> On L4, shouldn't the client compute a locally unique id for a given
> server handle id? On the client side, this would imply translation
> of the local id into the server's handle id. Doing so, the client
> code would still just see an integer, the same as what we have when
> using ports or file descriptors.

Why bother with the overhead?  First, we only use the fact that a
mach_port_t is an integer internally; this will not change.  But if
you really want to think of this pair of integers as one, then:

  effective_handle_id = server_communication_threadid
                        << (sizeof (handle_id) * 8) + handle_id