> Please help review this PR for correctness and standards compliance,
> keeping in mind the Inviolable principles of NuttX [2], particularly
> the section on POSIX compliance:
>

I don't think POSIX addresses priority inheritance on counting semaphores.
POSIX only addresses priority inheritance on pthread mutexes.  I need to
double check that.

Priority inheritance on counting semaphores is a natural extension and
certainly required for a well-behaved embedded system.  But I don't think
there is a good spec-based argument, is there?

Reply via email to