12 Nov
2012
12 Nov
'12
12:24 p.m.
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.