[cap-talk] capability copy and capability map

[Charles Landau]

At 7:46 PM +0200 10/24/06, Neal H. Walfield wrote:
>The L4 community does not have capability copy: capabilities are
>always revocable by the process which did the delegation.  Thus, if A
>has a capability designating S and wants to pass it to B, the
>resulting access graph would look like this when using capability
>copy:
>
>      .-- A
>    S<
>      `-- B
>
>whereas it looks like this when using map:
>
>    S -> A -> B

In L4, what happens if A ceases to exist and B continues to exist?