Memory sharing between user and kernel

안영호 ghduddks84 at
Tue Feb 14 15:11:00 CET 2012

Hello everyone,

I’m trying to apply an asynchronous batch processing of IPC into l4/fiasco
to increase the bandwidth of IPC.

I think the main problem is the performance of IPC when virtualization is
applied to mobile system.

To increase the performance of IPC, I try to use the memory sharing between
the address space of user library and that of kernel memory.

There is a way to access user memory from kernel, but I couldn’t find any
way to read kernel memory in user space.

At first, I want to know whether it is meaningful to use an asynchronous
batch processing of IPC, or not.

Second, when my user library tries to use the virtual address of a kernel
global variable by passing it to user address space, “unhandled exception:
pc=xxxx” occurs.

I think that region mapper makes that exception while it’s checking the
range of virtual address.

If I want to access kernel memory in user address space, what can I do?

Maybe it causes security problems and it’s not proper for virtualization.

However, in my opinion, some compromise will be needed for the future
mobile virtualization system.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list