Re: A comment about changing kernels

[Bernhard Kauer]

On Mon, Oct 31, 2005 at 09:25:43AM -0500, Jonathan S. Shapiro wrote:
> 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.

Yes, it simply states that session-based protocols are independet of copy/map.
They need only one of these operations.


    Bernhard