Naive question about grant/map

Jonathan S. Shapiro shap at
Fri Dec 5 17:21:56 CET 2003

On Fri, 2003-12-05 at 05:58, Joshua LeVasseur wrote:
> On Dec 4, 2003, at 21:41, Jonathan S. Shapiro wrote:
> >
> > 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?
> If you look at the mapping database as a *cache*, then your scenario 
> becomes one which describes the cache behavior, and thus isn't so 
> important in light of the semantics of user-level correctness.  In any 
> cache, it is possible for the entries to disappear, and they must be 
> resupplied when needed later.


Thank you. I have always been very confused about this view of the
mapping cache. It seems tied up with some sharing deficiencies. Would
you be kind enough to expand a bit on how the cache gets rebuilt after
some element gets removed?


More information about the l4-hackers mailing list