Influence of application priority on IPC

[Alexander Boettcher]

On 12.11.2012 10:27, Norman Feske wrote:
> processes the execution flows through. As far as I know, NOVA is the
> only kernel of the Genode base platforms that properly implements
> priority inheritance.
Just some note for completeness: This is solely implemented for the IPC
mechanism of the kernel, however it is not supported for the semaphores
provided by the kernel. That means if semaphores are used as locks to
protect some critical section in user mode, the thread running inside
the critical section (and holding the lock) doesn't inherit the priority
of other threads also attempting to get into the same critical section.