incubator-nuttx/sched/semaphore
Gregory Nutt 758e88672b Assert if a thread attempts to post a semaphore incorrectly.
Assert in nxsem_post if:

- Priority inheritance is enabled on a semaphore
- A thread that does not hold the semaphore attempts to post it

This will detect an error condition described in https://cwiki.apache.org/confluence/display/NUTTX/Signaling+Semaphores+and+Priority+Inheritance

None.  The debug instrumentation is only enabled if CONFIG_DEBUG_ASSERTIONS is enabled.

Use sim:ostest.  Verify that no assertions occur.
2023-04-03 09:03:15 +02:00
..
Make.defs
sem_clockwait.c sched/getpid: replace syscall getpid/tid/ppid() to kernel version 2023-02-02 10:33:01 +08:00
sem_destroy.c semaphore: move param check to sem_xx level 2022-11-10 22:36:21 +08:00
sem_holder.c Assert if a thread attempts to post a semaphore incorrectly. 2023-04-03 09:03:15 +02:00
sem_initialize.c
sem_post.c Assert if a thread attempts to post a semaphore incorrectly. 2023-04-03 09:03:15 +02:00
sem_recover.c sem: don't clear waitobj when do sem recover 2022-10-11 16:31:54 +09:00
sem_reset.c
sem_setprotocol.c sem: Remove PRIOINHERIT_FLAGS_ENABLE and use SEM_PRIO_INHERIT instead 2023-01-11 17:35:28 +02:00
sem_tickwait.c sched/getpid: replace syscall getpid/tid/ppid() to kernel version 2023-02-02 10:33:01 +08:00
sem_timedwait.c
sem_timeout.c
sem_trywait.c semaphore: move param check to sem_xx level 2022-11-10 22:36:21 +08:00
sem_wait.c sem: Remove PRIOINHERIT_FLAGS_ENABLE and use SEM_PRIO_INHERIT instead 2023-01-11 17:35:28 +02:00
sem_waitirq.c sched/sem_waitirq: Swap user mappings to MMU when releasing semaphore 2023-03-29 10:53:09 -03:00
semaphore.h Assert if a thread attempts to post a semaphore incorrectly. 2023-04-03 09:03:15 +02:00
spinlock.c merge sched_note_spinxx into sched_note_spincommon 2022-12-16 17:03:53 +08:00