> 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?