Hello,
I understand that R/W accesses to physical space are made through the RM
session. Is this sequence of events correct?
1. Create a Dataspace_capability.
2. Allocate a dataspace as env()->ram_session->alloc(size) which returns a
dataspace_capability to the aforementioned DS.
3. Attach the dataspace as env()->rm_session()->attach(ds) which returns a
void pointer having the virtual address pointing to the starting address of
the dataspace.
So if one were to write to this virtual address, it goes through the
RM_session and eventually writes to the physical address. My question is,
calling attach(ds) in one process and the same attach(ds) in another is
going to return different virtual addresses. Will writing to these
different (virtual) addresses give the same result?
Is there a function that can be called to print what physical address is
mapped to where? And can the contents of Dataspace_capability be printed in
a readable form?
Thanks and regards
Aditya
------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/13534_NeoTech
_______________________________________________
Genode-main mailing list
Genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main
