pkarashchenko edited a comment 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))`, so the probability that 
same memory block will be allocated for a task and same `pid` will be assigned 
is relatively low.


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