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 _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
