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

Reply via email to