On Tue May 15, 2007 at 16:11:22 -0400, Ernesto Bascon wrote:
Yes, I think so. Therefore, the L4Linux syscalls are implemented as IPC calls too?
Eventually yes. CPU exception are translated to IPC by the kernel, allowing programs to be binary compatible.
Great!
Please, enlighten me... If the Linux processes are handled as L4 servers, is there another task hypervising the memory allocation, segmentation faults and that virtual memory management on the L4 side?
I don't quite understand this. It's nothing more than user processes that are doing exceptions of all sorts (syscalls, page faults, illegal instructions, etc.) and the Linux server receiving those and stuffing them into the innards of Linux. When coming back we reply with a new register state and the process continues until the next exception.
Is swapping implemented on the L4Linux side (letting Linux do its work) or is it implemented on the L4 side?
It's in L4Linux, there's nothing changed on that level of memory management compared to Linux.
Adam