pkarashchenko commented on pull request #5070:
URL: https://github.com/apache/incubator-nuttx/pull/5070#issuecomment-1003023972


   @xiaoxiang781216 changing `tcb_s` to `pid` adds at least some reliability, 
but still seems to be not bulletproof. In such case I would suggest to store 
both `tcb_s` and `pid`, so we can use next mechanism to improve validity check: 
`if (pholder->htcb == nxsched_get_tcb(pholder->pid))`.


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