Simple custom pager

[Norman Feske]

Hi Daniel,

it is possible to revoke mappings from a managed dataspace, needed for
implementing on-depand paging including the eviction of mappings. If you
take a close look at the 'rm_fault' example, you see that it is
precisely doing this procedure by subsequently attaching and revoking a
mapping to/from the managed dataspace accessed by the child.

But unmapping a whole managed dataspace will currently leave traces in
the virtual memory of the client. For our current uses where we use a
managed dataspace for the whole lifetime of a process, this is not a
problem. But this changes if you would want to use managed dataspace
more dynamically.

That said, the fix is not hard and we will resolve this issue with the
upcoming release.

Cheers
Norman

On 07/20/2011 12:44 AM, Daniel Waddington wrote:
> Hi Norman,
> Do you mean that I can't "detach" a virtual mapping from a dataspace?
> 
> If so, this could in fact be a problem for us since we need to be able
> to perform re-mapping.
> If it does not mean this, then how do I detach? ;-)
> 
> Thanks,
> Daniel

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth