Re: Status Bits and Super Pages

Espen Skoglund <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <18125.41777.175626.798795__49118.3543148965$1187881977$gmane$org@gargle.gargle.HOWL>
[Neal H Walfield]
> At Thu, 23 Aug 2007 13:54:56 +0200,
> Marcus Brinkmann wrote:
>> Yes.  However, there is a related problem that you can not unmap
>> selectively.  I vaguely remember that Espen had a selective unmap
>> proposal at some time as a small modification to the L4 X.2
>> interface.  But I don't remember any details.  Whatever that
>> proposal was should also provide an opportunity to do selective
>> status bit checking, shouldn't it?

> I think the problem was that the space had to be identified,
> however, as the original recipient can grant the mapping meaning
> that the mapping now exists in a different space, many complications
> ensue.

Yes.  One solution would be that a mapper always tags all the mappings
it makes so that it can use this tag later upon unmapping.  The tag
can not be changed when granting a page.

	eSk
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.