does l4 linux now support smp?
adam at os.inf.tu-dresden.de
Mon Mar 3 18:07:42 CET 2008
On Mon Mar 03, 2008 at 10:16:00 +0100, Yang Xu wrote:
> On 2/29/08, Adam Lackorzynski <adam at os.inf.tu-dresden.de> wrote:
> > On Fri Feb 29, 2008 at 15:23:01 +0100, Yang Xu wrote:
> > > does anybody know that whether l4 linux now already support smp or not
> > > please?
> > It does.
> So if I download the latest version of L4-linux, I can run it on a
> multiprocessor system, and it can make good use of all the cores , right?
Not currently as the µkernel is not ready yet.
> > As far as I know, linux 2.6.x already supports smp. So I am wondering the
> > > the l4-linux 2.6 supports smp or not. if yes, it is the linux kernel
> > > distributes the threads across the cores or the ukernel does this?
> > Linux distributes it's thread across it's vCPUs, and your vCPUs are
> > where you put them.
> I don't know whether I understand this correctly. it is the linux that
> distributes the threads to all the cores, not the ukernel.
> Does this mean that the ukernel doesn't realise the existence of the other
It does but it won't move threads around itself. Userland (e.g. L4Linux)
is supposed to do that and it does so as usual.
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers