Hello
I’m a graduate student of CNU, in Korea
My major is computer science, especially operating system(OS)
May I ask some questions??
I have studied a operating system, micro kernel; l4linux
So I downloaded its source code and analysis it
I wonder how manage memory, in “Demand paging”
Would mind please tell me where it “Demand paging” implementation and how it work in source code
Best regards.
SJ. Cha
Hi,
On Mon May 14, 2007 at 22:11:51 +0900, Â÷½ÂÁØ wrote:
I wonder how manage memory, in ¡°Demand paging¡± Would mind please tell me where it ¡°Demand paging¡± implementation and how it work in source code
L4Linux does not do anything different than normal Linux is this regard. Please consult one of the many Linux books available, .e.g. 'Understanding the Linux Kernel'.
Adam
SJ,
L4linux is not a microkernel. L4Linux is a user space server, provides Linux compatible ABI. L4 kernel helps to make it.
Also, I still have no conception for "Demand paging", hope others in this list can help you :-)
Coly
在 2007-05-14一的 22:11 +0900,차승준写道:
Hello
I’m a graduate student of CNU, in Korea
My major is computer science, especially operating system(OS)
May I ask some questions??
I have studied a operating system, micro kernel; l4linux
So I downloaded its source code and analysis it
I wonder how manage memory, in “Demand paging”
Would mind please tell me where it “Demand paging” implementation and how it work in source code
Best regards.
SJ. Cha
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
On 14/05/07, coly colyli@gmail.com wrote:
SJ,
L4linux is not a microkernel. L4Linux is a user space server, provides Linux compatible ABI. L4 kernel helps to make it.
How the memory protection is addressed by L4Linux if it is a L4 userspace process?
Kind regards,
Ernesto
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Ernesto Bascon wrote:
On 14/05/07, coly colyli@gmail.com wrote:
SJ,
L4linux is not a microkernel. L4Linux is a user space server, provides Linux compatible ABI. L4 kernel helps to make it.
How the memory protection is addressed by L4Linux if it is a L4 userspace process?
The L4Linux kernel and the Linux user tasks run in separate L4 address spaces each. Does this answer your question?
Björn
L4linux is not a microkernel. L4Linux is a user space server, provides Linux compatible ABI. L4 kernel helps to make it.
How the memory protection is addressed by L4Linux if it is a L4 userspace process?
The L4Linux kernel and the Linux user tasks run in separate L4 address spaces each. Does this answer your question?
Yes, I think so. Therefore, the L4Linux syscalls are implemented as IPC calls too?
On Tue May 15, 2007 at 15:18:35 -0400, Ernesto Bascon wrote:
L4linux is not a microkernel. L4Linux is a user space server, provides Linux compatible ABI. L4 kernel helps to make it.
How the memory protection is addressed by L4Linux if it is a L4 userspace process?
The L4Linux kernel and the Linux user tasks run in separate L4 address spaces each. Does this answer your question?
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.
Adam
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?
Is swapping implemented on the L4Linux side (letting Linux do its work) or is it implemented on the L4 side?
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
Just use L4Linux to perform the memory management. But nature level operation on page table will be passed to L4 kernel. That is why we call it L4Linux.
Coly
在 2007-05-15二的 00:36 -0400,Ernesto Bascon写道:
On 14/05/07, coly colyli@gmail.com wrote:
SJ,
L4linux is not a microkernel. L4Linux is a user space server, provides Linux compatible ABI. L4 kernel helps to make it.
How the memory protection is addressed by L4Linux if it is a L4 userspace process?
Kind regards,
Ernesto
l4-hackers@os.inf.tu-dresden.de