does l4 linux now support smp?

[Adam Lackorzynski]

On Tue Mar 04, 2008 at 11:45:21 +0100, Yang Xu wrote:
> ok I see.... thanks.
> so if we run a RTOS above the ukernel, the RTOS should have the ability to
> distribute the threads.
> ukernel only offers the most basic services: address mapping, IPC, naming
> and so on.

Yes, exactly.

> On 3/3/08, Adam Lackorzynski <adam at os.inf.tu-dresden.de> wrote:
> >
> >
> > 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/
> >
> > _______________________________________________
> > l4-hackers mailing list
> > l4-hackers at os.inf.tu-dresden.de
> > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> >

> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/