[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: cap exchange race with map/unmap
From: |
Jonathan S. Shapiro |
Subject: |
Re: cap exchange race with map/unmap |
Date: |
Tue, 18 Oct 2005 20:44:26 -0400 |
On Tue, 2005-10-18 at 23:14 +0200, Espen Skoglund wrote:
> [Jonathan S Shapiro]
> > In the absence of any authority to fabricate new capabilities, the
> > following chain of mappings is now in effect after the exchange:
>
> > RevCopy RevCopy
> > A ----------> CapServer -----------> B
>
> > If process A now exits, all of its capabilities are revoked. In
> > consequence the Cap held by CapServer is revoked. In consequence the
> > Cap held by B is revoked.
>
> > Can somebody explain what authority or feature in the system design
> > gives the CapServer sufficient power that it can create a capability
> > that does not depend on A's continued existence?
>
> If CapServer can identify that it posesses an identical capability it
> can map this capability to B.
How does CapServer obtain this capability if it is not the original
creator of the object?
- Re: Comparing "copy" and "map/unmap", (continued)
- Re: Comparing "copy" and "map/unmap", Matthieu Lemerre, 2005/10/21
- cap exchange race with map/unmap, Neal H. Walfield, 2005/10/18
- Re: cap exchange race with map/unmap, Jonathan S. Shapiro, 2005/10/18
- Re: cap exchange race with map/unmap, Neal H. Walfield, 2005/10/18
- Re: cap exchange race with map/unmap, Jonathan S. Shapiro, 2005/10/18
- Re: cap exchange race with map/unmap, Marcus Brinkmann, 2005/10/18
- Re: cap exchange race with map/unmap, Jonathan S. Shapiro, 2005/10/18
- Re: cap exchange race with map/unmap, Neal H. Walfield, 2005/10/18
- Re: cap exchange race with map/unmap, Jonathan S. Shapiro, 2005/10/18
- Re: cap exchange race with map/unmap, Espen Skoglund, 2005/10/18
- Re: cap exchange race with map/unmap,
Jonathan S. Shapiro <=
- Re: cap exchange race with map/unmap, Neal H. Walfield, 2005/10/19
- Re: cap exchange race with map/unmap, Jonathan S. Shapiro, 2005/10/19
- Re: cap exchange race with map/unmap, Neal H. Walfield, 2005/10/19
- Re: cap exchange race with map/unmap, Marcus Brinkmann, 2005/10/18
- Re: cap exchange race with map/unmap, Jonathan S. Shapiro, 2005/10/18
- Re: cap exchange race with map/unmap, Ludovic Courtès, 2005/10/19
- Re: cap exchange race with map/unmap, Bas Wijnen, 2005/10/19
- Re: cap exchange race with map/unmap, Jonathan S. Shapiro, 2005/10/19
- Re: cap exchange race with map/unmap, Bas Wijnen, 2005/10/19
- Re: cap exchange race with map/unmap, Marcus Brinkmann, 2005/10/19