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