Re: priority inheritence and ceiling protocol

Jack Klein wrote:
>
> Priority ceiling is a newer idea than priority inheritance. Its
> proponents claim that it is more efficient. I cannot verify that
> because I have no direct experience with it myself.

[comparison of priority inheritance and priority ceiling]

Thanks for the excellent post, Jack!

> To me it seems counter
> intuitive that tasks A and B are preempted when either C or E has a
> mutex if neither of them wants it. I have not looked at any test
> results or benchmarks by proponents of priority ceiling to see what
> evidence they might have of their claims.

I agree with you that, although apparently more efficient in terms of
reduced overhead to implement, it seems to use too big of a hammer,
which can seriously subvert the priority scheme.

--
Thad
.