[GitHub] [incubator-nuttx] davids5 opened a new issue, #6310: Priority Inheritance fails to restore base priority

[GitBox]

davids5 opened a new issue, #6310:
URL: https://github.com/apache/incubator-nuttx/issues/6310

   Reproduce 
   
   CONFIG_PRIORITY_INHERITANCE is enabled
   CONFIG_SEM_PREALLOCHOLDERS is either 0 (use the array of holder) 
                                                          or N use the pre 
allocated holder list, 
   CONFIG_SEM_NNESTPRIO at 32.
   
   Three tasks all waiting on one Semaphore
   
   
![image](https://user-images.githubusercontent.com/1945821/169540512-b0663569-3605-4f37-a438-75a38336ef81.png)
   
     Three tasks (name:priority)  A:200, B:210, C:220
          A takes semaphore.                A:200
            B waits semaphore.              A:210
              C waits semaphore             A:220
                   A posts semaphore        A:210 <- it is removed as a holder 
and
                     C takes semaphore      A:210    not resotred.
                     C posts semaphore      A:210
                        B takes semaphore   A:210
                        B posts semaphore   A:210
   
   OStest PR coming...
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org