Re: io_close proposal

[Thomas Bushnell, BSG]

Marcus Brinkmann <address@hidden> writes:

> These two don't match (and now I know what confused me about this).
> If the server starts to deallocate the port (after the **** above),
> I don't see an easy way to interrupt this, make a new send right
> for this port and return it to the user so he can safely use it
> in subsequent io operations.

The interrupt would happen during the condition wait.  The server
could have the extra hair, on interrupt, to return the port to the
user.

(The mechanism used to return the port would have to be freaky, since
in MiG you can't send a port back if you return an error.)