davids5 commented on issue #6310:
URL: 
https://github.com/apache/incubator-nuttx/issues/6310#issuecomment-1134584734

   @pkarashchenko 
   
   Thanks for looking into this. It can be complex with multi counts, multi 
semaphores being held.  
   
   > The case is that task pend_reprios does not cover the source of 
re-prioritisation (I mean if task holds 2 semaphores and first time it was 
reprioritised due to holding semaphore 1 and second time due to semaphore 2) so 
correct restoring to base priority is not possible.
   
    Would you walk me through the fail with a little more detail? 
   
   We have tested our 10.1.0+ uses cases: single thread with multi count, multi 
semaphores and the issues is resolved. There is an artificial case if the 
lowest priority holder holds a second semaphore and never releases it.
   
   I agree the design needs to be rethought out in upstream (with  
https://github.com/apache/incubator-nuttx/pull/5171)  I am happy to work 
through that with you, but have not looked at how what 
https://github.com/apache/incubator-nuttx/pull/5171 changed it. 


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

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

Reply via email to