On Tue May 13, 2014 at 20:56:54 +0800, Yuxin Ren wrote:The quick answer is: no. The reason is that there need to be some
> Can I alloc and free memory without dataspace?
service (the allocator) which gives you the memory. And that allocator
would need to talk a different protocol. However, the L4Re ones use
dataspaces.
When handling the virtual memory space directly with fpages both
> I know we can do memory mapping over IPC, using L4::Ipc::Snd_fpage
> and L4::Ipc::Rcv_fpage.
> So after a client gets a piece of memory mapping in, how does it ummap that
> memory? Still use deattach or anyting else?
dataspaces and the region management are out of the game. You should
still reserve that area with L4Re::Rm::reserve_area to block the area
from use by the region management.
Unmapping can be done, for example, via
L4Re::Env::env()->task()->unmap().
Fiasco just provides the mechanism to established mappings (page table
> Does Fiasco manage memory in user level or kernel level? That is to say,
> attach and deattach function are just system call or normal
> IPC invoking some serve in the user level?
entries) to an address space (a task). Managing those mappings is up to
user-space. So, for example, the region management is completely
implemented in user-level.
Adam
--
Adam adam@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers