does l4 linux now support smp?

[Adam Lackorzynski]

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
> cores?

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/