Naive question about grant/map

Jonathan S. Shapiro shap at
Thu Dec 4 20:38:46 CET 2003

I have a note about mappings and address spaces pending, but before I
send it I want to ask a naive question about the map operations:

Consider a sequence of operations in which 

	A maps to B
	B maps same stuff to C.

Is there some variant of the 'map' operation in which B does NOT retain
the ability to revoke C's mapping? That is, in which the resulting
mapping dependency hierarchy is

      / \
     B   C

instead of


That is, is there a way for a sender to give a receiver rights on data
that are co-equal in all respects with those of the sender?

If not, is it important?

If such a "coequal map" operation existed, how often would it be used in
contrast to the current map operation?

Jonathan S. Shapiro <shap at>

More information about the l4-hackers mailing list