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

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