Re: emulating no-senders notifications in L4?

[Marcus Brinkmann]

On Thu, Dec 20, 2001 at 07:24:04PM +0100, Niels Möller wrote:
> A side effect is that the receiver gets the power to unilaterally
> revoke any send right of its choice. This may be natural, but I'm not
> sure the receiver has that power in Mach.

I don't think so.  In fact, if you have a send right you can copy it without
notifying the receiver.  I don't know if there is any problem allowing it,
though.  The closest you can come to in Mach is to destroy the port by
deallocating the receive right.  All send rights turn into dead rights then.

Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org brinkmd@debian.org
Marcus Brinkmann              GNU    http://www.gnu.org    marcus@gnu.org
Marcus.Brinkmann@ruhr-uni-bochum.de
http://www.marcus-brinkmann.de