Simple custom pager
norman.feske at ...1...
Thu Jul 21 17:42:28 CEST 2011
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
That said, the fix is not hard and we will resolve this issue with the
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? ;-)
Dr.-Ing. Norman Feske
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
More information about the users