At Mon, 24 Apr 2006 12:23:18 -0400, "Jonathan S. Shapiro" <[EMAIL PROTECTED]> wrote: > Delegation != move. Delegation can be accomplished by capability copy. > > Or to put it another way > > move =def= copy + drop > drop => drop notice > drop notice => invoked capability > invoked capability => invalid capability > invalid capability => no valid response ever
These are your definitions. But in my scenario, send-once aka reply capabilities can _not_ be copied, only moved, where move =def= copy + invalidation (_without_ invocation). Thanks, Marcus _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
