Re: How does pistachio deal with the priority inversion?

Hi Bob,

> When a high priority thread A perform IPC receive from B, but B is not
> in polling state. So A blocked.  Before B can perform the IPC that
> unblocks A, a third thread C with priority between A and B becomes
> ready,preempts B and runs. If lots of such thread C, IPC will be very
> slow.

IPC won't start at all as B will never run.

> How  pistachio deal with this? I read some code,it seems no special
> process.  Thanks!

L4 leaves this problem to the OS on top, it does not deal with
starvation/priority inversion at all. Scheduling on L4 is still
not solved satisfactorily.

Regards,
Raphael