Question about dataspace

Yuxin Ren ryx at
Sat May 10 05:23:47 CEST 2014

I cannot understand dataspace very well. I have some questions  about it.
Each time I want to alloc a piece of memory, I must create a dataspace

I look at the example code of memory allocation.
I found after create adataspace, we call
to alloca memory via dataspace.
Can I call this function multiple times on the same dataspace instance
without free? If so, what is its effect?

In addtion we use attach to map the dataspace. Can I attach the same
dataspace multiple times without free?
In this case, does it mean that the same physical memory is mapped into
different virtual address?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list