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
