Linux线程本地存储（TLS）是编译器、链接器与glibc协同实现的高效线程私有变量机制，分静态（__thread）和动态（pthread_key_create）两类，用于避免锁竞争、透传上下文等，但需注意析构顺序、dlopen隔离及协程兼容性问题。
Linux线程本地存储（TLS）让每个线程拥有自己的一份全局或静态变量副本，既保持了代码简洁性，又彻底避开锁竞争。它不是靠手动传参或反复加锁实现隔离，而是由编译器、链接器和glibc运行时协同完成的底层机制——访问快、语法简、语义清。
静态TLS：用__thread声明即生效
适合生命周期明确、类型简单的线程私有状态，比如计数器、临时缓冲区、请求ID等。
- 声明方式直接：在全局或static变量前加__thread，如__thread int req_id;或static __thread char log_buf[1024];
- 只能用于POD类型（不带构造/析构/拷贝的简单结构），不能修饰class对象或非静态局部变量
- 初始化只在首次访问该线程中发生，且不保证多TLS变量间的析构顺序，避免A析构时引用B
- 注意：dlopen加载的共享库中定义的__thread变量，与主程序中的同名变量互不干扰，是两套独立副本
动态TLS：运行时灵活绑定资源
适用于需要自定义释放逻辑、大小不确定或需跨模块复用的场景，比如数据库连接句柄、上下文对象、日志上下文等。
- 先调用pthread_key_create(&key, destructor)创建键，可传入清理函数
- 各线程内用pthread_setspecific(key, ptr)存指针，pthread_getspecific(key)取回
- 线程退出时自动触发destructor（若提供），确保资源及时释放，比静态TLS更可控
- key通常定义为全局static变量，避免重复创建；销毁用pthread_key_delete，但一般无需主动调用
避坑要点：协程、性能与跨库协作
TLS看似简单，但在复杂环境中容易踩到隐蔽陷阱。
- 用户态协程（如libco、ucontext）切换不更新%gs寄存器，静态TLS会“串线”——必须改用pthread_key_t方案或手动维护TCB
- 频繁读写TLS变量本身开销极小（单条mov指令），但若封装成函数调用且未内联，可能引入明显延迟；建议关键路径避免包装函数
- 混用__thread和pthread_key_t管理同一类数据，会导致逻辑割裂、释放遗漏，应统一选型
- errno就是典型静态TLS应用：每个线程修改自己的errno不影响其他线程，系统调用失败后自动写入，无需额外同步
