Re: A comment about changing kernels

[Jonathan S. Shapiro]

On Tue, 2005-11-01 at 00:42 +0100, Bernhard Kauer wrote:
> > 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.

How can you say this, when a correct session-based protocol must not use
MAP in many circumstances and therefore must pay a penalty of multiple
IPCs?

shap