Influence of application priority on IPC

Alexander Boettcher alexander.boettcher at ...1...
Mon Nov 12 12:24:04 CET 2012

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.

More information about the users mailing list