Re: Questions about Fiasco.OC scheduler and L4Linux

Marc CHALAND <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <CAHxfmfCAwNYrT0qZsHdetSOgraR1enUNKzNx5-uqGucif=dzZw@mail.gmail.com>
Le mer. 22 mars 2017 à 00:59, Adam Lackorzynski <[email protected]>
a écrit :

On Tue Mar 21, 2017 at 08:31:06 +0100, Marc CHALAND wrote:
> I'm doing a study to port old software on top of Fiasco.OC. This soft uses
> routines which blocks thread scheduling between EnterRegion and
LeaveRegion
> call. Is there any equivalent on TUDOS ? Did somebody already get this
> challenge ?

Yes, that's what the vCPU model is basically about, i.e. supporting
execution style of an OS. With this you can have EnterRegion and
LeaveRegion by disabling/restoring virtual interrupts.


Is thread scheduling managed by virtual interrupts ? If I disable virtual
IRQ, no other thread will get time slot ?
L4Re documentation about vCPU is very short and I don't understand how it
works.

> I would like to know if L4Linux uses Fiasco.OC scheduler or a user land
one
> ?

It uses Linux's own scheduler.


So how are scheduled hybrid/alien tasks ? How are the priorities managed
between L4Re threads and L4Linux ones ?

> For our i.MX7d board, Freescale provides Linux drivers on 4.1. I don't
know
> yet how many drivers we will need. Do you think it is better to port
> drivers from 4.1 to L4Linux 4.3 or later or get a L4Linux 4.1. I have no
> idea about the complexity on doing this.

With a i.MX7d you have hardware support for virtualization, so what
about using that, i.e. running normal Linux in a VM? Getting an L4Linux
for an older version is of course possible but a bit of work.


In that case, is it possible to give hardware access to vm without need to
emulate it ? I've never used this technology yet. I don't know how it works
in L4Re. How are managed the priorities between linux threads and L4Re ones
? Is communication possible between a virtualized linux task and a L4Re
native one ?

Regards
Marc

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.