Here are the two patch which demo that POSIX compliant code crash directly when CONFIG_PRIORITY_INHERITANCE is enabled: https://github.com/apache/incubator-nuttx/pull/5170 https://github.com/apache/incubator-nuttx-apps/pull/960 Please give your more feedback at https://github.com/apache/incubator-nuttx/pull/5070. If there is no more concern, we will start the full modification in the next week.
Thanks Xiang On Sat, Dec 25, 2021 at 5:47 AM Gregory Nutt <spudan...@gmail.com> wrote: > > 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? >