Re: emulating no-senders notifications in L4?

[Thomas Bushnell, BSG]

nisse@lysator.liu.se (Niels Möller) writes:

> 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. 

In Mach, the owner of the receive right can destroy all the extant
send rights (by destroying the port), but not only some of them.
However, the Hurd doesn't in any way rely on this fact, and allowing
selective destruction would not pose a problem.