does l4 linux now support smp?

[Yang Xu]

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.


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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20080304/7caffb35/attachment.htm>