Simple custom pager

Norman Feske norman.feske at ...1...
Thu Jul 21 17:42:28 CEST 2011

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.


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 ·

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

More information about the users mailing list