task_struct引用计数与LKM开发相关技术问询

问题1：当task_struct的引用计数不为零且对应进程退出时，该结构体及进程会发生什么？ #

进程会完成退出的核心流程：关闭打开的文件描述符、释放用户态内存、清理信号处理上下文等，但**task_struct结构体不会被立即销毁**。此时进程会进入EXIT_ZOMBIE（僵尸）状态，内核会保留该结构体，直到所有持有引用的实体调用put_task_struct()将引用计数递减至0，才会最终释放task_struct占用的内存并回收PID。

问题2：编写LKM时调用get_task_struct()递增目标进程task_struct的usage成员，会对该进程产生何种影响？ #

子问题2.1：进程仍能退出吗？ #

进程可以正常触发退出（比如调用exit()、收到终止信号），完成所有资源清理步骤并进入EXIT_ZOMBIE状态，但task_struct会被保留，直到引用计数归零。也就是说，进程的"退出动作"能正常完成，但结构体不会被销毁。

子问题2.2：即便进程退出，其PID仍会在procfs、ps及top输出中显示吗？ #

会显示。处于EXIT_ZOMBIE状态的进程，PID依然存在于进程表中，/proc/<pid>目录也会保留；ps、top等工具会将其标记为Z（僵尸进程）状态，直到task_struct被销毁后，PID才会被释放并从这些工具的输出中消失。

问题3：引用计数及get_task_struct()这类函数背后的核心原则是什么？get_task_struct()与mmgrab()及其他内核关键数据结构的引用计数递增函数有哪些相似作用（除均使用RCU外）？ #

核心原则 #

核心是保证共享数据结构的生命周期安全：通过引用计数跟踪数据结构的活跃使用者数量，只有当计数归零时，才允许内核释放该结构，彻底避免悬空指针、非法内存访问等问题。

相似作用 #

• 延长生命周期：调用后会阻止目标数据结构被内核释放，确保调用者在使用该结构的时间段内，结构始终有效。
• 配对使用要求：必须和对应的递减函数配对调用（get_task_struct()对应put_task_struct()，mmgrab()对应mmdrop()），否则会导致内存泄漏——数据结构永远无法被内核回收。
• 共享资源同步：作为内核中同步共享资源访问的基础手段，在无锁或配合锁的场景下，安全地持有和使用动态分配的核心数据结构。
• 权责一致原则：遵循"谁获取谁释放"的规则，由持有引用的实体负责在使用完毕后递减计数，维护计数的正确性。

内容的提问来源于stack exchange，提问作者vykt