线程终止不等于资源释放，必须通过pthread_join或pthread_detach回收，否则形成僵尸线程；三种终止方式为：①return语句、②pthread_exit()、③pthread_cancel()。
线程终止不是“函数返回就完事了”，它触发了一条从用户代码到内核调度器、内存管理子系统、信号与资源跟踪模块的完整注销链路。关键在于：线程退出只是起点，真正的资源回收由内核在特定时机完成，且方式取决于线程是否被 join 或 detach。
线程终止的三种入口，决定后续路径走向
内核不关心你是怎么退出的，但退出方式决定了线程进入什么状态、谁来负责清理：
-
return 从线程函数返回：最常见，等价于隐式调用
pthread_exit()，返回值通过栈或寄存器传递给等待方； -
显式调用
pthread_exit()：主动退出，可传入任意指针作为返回值（注意不能指向线程栈局部变量）； -
被其他线程调用
pthread_cancel()：异步请求终止，需线程处于可取消状态、并在取消点（如read、pthread_join）响应，最终也进入终止态，但返回值固定为PTHREAD_CANCELED。
终止后不等于“消失”：僵尸线程的成因与风险
线程函数执行完，只是把自身状态标记为 TERMINATED，其内核数据结构（task_struct）、用户栈、寄存器上下文等仍驻留在内存中——这就是“僵尸线程”。它和 UNIX 中的僵死进程逻辑一致：
Android 操作系统的介绍 中文WORD版
下载
本文档主要讲述的是Android 操作系统的介绍；Android是基于Linux内核的操作系统，是Google公司在2007年11月5日公布的手机操作系统，早期由Google开发，后由开放手持设备联盟（Open Handset Alliance）开发。它采用了软件堆层（software stack，又名以软件叠层）的架构，主要分为三部分。底层Linux内核只提供基本功能；其他的应用软件则由各公司自行开发，部分程序以Java编写。希望本文档会给有需要的朋友带来帮助；感兴趣的朋友可以过来看看
- 未被
pthread_join()回收：主线程或其他线程可通过pthread_join(tid, &ret)阻塞等待，获取返回值并触发内核释放资源； - 未被
pthread_detach()标记：若创建时设为PTHREAD_CREATE_DETACHED属性，或运行中调用pthread_detach(tid)，则线程一终止，内核立即回收全部资源，无需任何等待； - 既不 join 也不 detach：线程变成“僵线程”，持续占用内存（尤其是栈空间，通常 2MB/线程）、文件描述符引用、信号掩码等，长期积累会耗尽进程资源上限。
内核层面的资源回收动作有哪些
当线程真正被回收（无论是 join 还是 detach 触发），Linux 内核会依次执行以下操作：
- 释放用户态栈所占的虚拟内存页，并解除对应
vm_area_struct映射； - 清空该线程在进程
files_struct中的独立文件偏移量（但文件描述符本身仍由进程共享，不关闭）； - 归还线程私有的内核栈（通常 8KB）、thread_info 结构体、CPU 寄存器保存区；
- 从调度器的红黑树或 CFS 队列中移除该线程的调度实体（
sched_entity）； - 释放其
task_struct所占内存，并将线程 ID（TID）标记为可重用。
主线程退出对子线程的连锁影响
主线程（即 main() 函数所在线程）的行为具有特殊性：
- 若主线程调用
exit()或从main()返回，整个进程立即终止，所有线程（无论是否 detach）都会被强制杀死，内核统一回收全部资源； - 若主线程仅调用
pthread_exit()，它自己会终止，但进程继续运行，其余线程不受影响——此时必须确保其他线程有明确的 join 或 detach 安排，否则容易遗漏； - 子线程中调用
exit()同样会终结整个进程，这不是线程级操作，而是进程级退出。
