jlaitine commented on code in PR #16194:
URL: https://github.com/apache/nuttx/pull/16194#discussion_r2060173828


##########
sched/semaphore/sem_recover.c:
##########
@@ -100,7 +101,39 @@ void nxsem_recover(FAR struct tcb_s *tcb)
        * place.
        */
 
-      atomic_fetch_add(NXSEM_COUNT(sem), 1);
+      if (NXSEM_IS_MUTEX(sem))
+        {
+          FAR dq_entry_t *wtcb;
+          uint32_t mholder;
+          uint32_t blocks_mask = ~NXSEM_MBLOCKS_BIT;
+
+          /* The TID of the mutex holder is correct but we need to
+           * update the blocking bit. Count the remaining tcbs in the
+           * blocking list (ignoring the one that is being cancelled).
+           */
+
+          for (wtcb = dq_peek(SEM_WAITLIST(sem)); wtcb; wtcb = dq_next(wtcb))

Review Comment:
   Yes, I was reading your comment with eyes crossed. There indeed seems to be 
an already existing bug in here. The counting semaphores should have been 
removed from the waiting list just the same. I was copying the existing 
functionality and didn't just notice that.
   
   I'll make a separate patch fixing this, and add to this same PR.
   



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