Naive question about grant/map

[Jonathan S. Shapiro]

On Thu, 2003-12-04 at 15:06, Jean Wolter wrote:
> "Jonathan S. Shapiro" <shap at eros-os.org> writes:

> > Is there some variant of the 'map' operation in which B does NOT retain
> > the ability to revoke C's mapping? 
> 
> I am not sure whether I understood the question correctly but there is
> the grant operation. 
> 
> After A maps to B and B maps to C it would look like 
> 
>         A -> B -> C
> 
> in contrast to A maps to B and B grants to C which would look like
> 
>         A -> C

Thanks for replying, Jean. Let's see if I can clarify the question:

I am looking for a sequence in which A maps to B and B ??? to C and the
result would look like:

   A -> B
   A -> C

Is there such an operation?

Also, I forgot to ask: is there some reason why such an operation would
be inadvisable?

-- 
Jonathan S. Shapiro <shap at eros-os.org>