pussuw commented on code in PR #7966: URL: https://github.com/apache/nuttx/pull/7966#discussion_r1059981767
########## sched/group/group.h: ########## @@ -80,6 +69,7 @@ int group_bind(FAR struct pthread_tcb_s *tcb); int group_join(FAR struct pthread_tcb_s *tcb); #endif void group_leave(FAR struct tcb_s *tcb); +void group_drop(FAR struct task_group_s *group); Review Comment: Because the address environment is needed even if the group is destroyed. The kernel uses mappings from user processes i.e. the kernel page directory is copied to each user process, and when the kernel is running it "lends" the mappings from the user process. Sometimes this is called "lazy tlb", the reason is that no TLB flush is needed when switching from user -> kernel. -- 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
