[okl4-developer] L4 > scheduler

[Sergio Ruocco]

Jorge Torres wrote:

> IPC is an atomic operation, if by some reason the sender has higher
> priority and is active, then the ipc would perform, this could led
> into some priority inversion depending on the receiver thread. I
> think there is a paper about this by sergio ruocco.

Hi, I am lurking right here ;-)

If you are talking about this paper:

"Real-Time Programming and L4 Microkernels"
http://www.ertos.nicta.com.au/publications/papers/Ruocco_06.abstract.pml

I will take this opportunity to state that, as I noted in the
publication list on my home page, this paper is now *obsolete* in some
parts, as some things changed and improved in L4-embedded since it was
written (Feb-May 2006).


For a more recent discussion, updated to Jan 2008, on the real-time
properties of general-purpose L4 microkernels, i.e., L4::Pistachio and
L4-embedded, on which OKL4 was based, I shamelessly suggest to read:

"A Real-Time Programmer's Tour of General-Purpose L4 Microkernels"
http://www.hindawi.com/getarticle.aspx?doi=10.1155/2008/234710


That said, if you need information and support on scheduling in the
current and future OKL4 kernels, you should definitely ask OK Labs
engineers!


> 
> All the best,
> 
> JOrge

Cheers,

	Sergio

-- 

Dr. Sergio Ruocco   Research Fellow    http://www.disco.unimib.it/ruocco
mailto:ruocco at disco.unimib.it / sergio.ruocco at gmail.com      NOMADIS Lab
phone: +39-02-6448-7914               Mobile, embedded real-time systems
skype: 'sergioruocco'  Dip. di Informatica, Sistemistica e COmunicazione
Building U14, room 1003  Università degli Studi di Milano-Bicocca, Italy

Your manuscript is both good and original; but the part that is good is
not original, and the part that is original is not good.
Samuel Johnson