Re: Second naive question about map operation

4 Dec 2003

      Jean Wolter <jean.wolter@inf.tu-dresden.de> writes:
...
So I think this [ unmap a page in a certain address space ] is a
useful operation.
PS: I forgot a really nasty interaction with grant. If I take the
example of the other thread:

        A
       / \
      B   C

Assuming A doesn't know that B constructed the dependency between A
and C (either using map/grant or co-equal mapping) and A unmaps the
page only in the address space of B there is still the mapping in the
address space of C.

So to make unmap(page, adress space) actually usable you would need a
possibility to prohibit the grant operation for a page.

Regards, 
Jean