Re: A comment about changing kernels

[Jonathan S. Shapiro]

On Mon, 2005-10-31 at 11:39 +0100, Bernhard Kauer wrote:

> Perhaps I should give an example to make my statement clear:
> Suppose a client A want to transfer a capability to a session to client B.
> Client A can copy or map this capability to B and let B invoke the capbility
> to get a new session from the server S. Or A can call S and say: "give this
> capability to B". Both cases need independently of copy/map 4 IPC's.

You are using your assumptions to reason in a circle. If your protocol
did not presume that sessions were desirable, and that an update to the
badge is therefore necessary, you would conclude that a single COPY from
A to B is sufficient.

shap