多线程调用同一函数时errno的线程专属寻址实现机制

场景前提 #

• 程序从main()入口启动后创建2个独立执行线程，每个线程持有独立私有的errno副本
• 程序存在一份编译后机器码唯一、线程安全的公共函数，可被两个线程并发调用，不存在每个线程单独拷贝一份函数代码的情况

核心逻辑说明 #

同一份公共函数代码不需要额外做线程判断就能访问到当前执行线程的errno，整套机制不靠函数传参实现，而是靠线程本地存储（TLS）的编译规则+硬件+操作系统的共同约定完成：

• errno从定义层面就被标记为线程专属对象：在支持线程的C运行库里，errno会被__thread（GCC/Clang）或者__declspec(thread)（MSVC）修饰，明确告诉编译器这个变量属于线程本地存储变量。每个线程创建时，操作系统会为其分配独立的TLS内存块，所有__thread修饰的变量都会在这个块里拥有独立的存储位置、固定的偏移地址，不同线程的同名TLS变量互不干扰。
• 编译器在编译公共函数时，遇到对errno这类TLS变量的访问，不会生成普通的全局变量寻址指令，而是按照平台约定生成通过专用段寄存器寻址的指令：
  • x86_64 Linux环境下，FS寄存器会始终存放当前正在运行线程的TLS内存块基地址
  • x86_64 Windows环境下，承担这个职责的是GS寄存器
• 线程发生调度切换时，操作系统内核会在上下文切换流程里，自动把即将上CPU运行的线程的TLS基地址加载到对应专用寄存器里，这个过程对用户态的函数代码完全透明。也就是说，不管哪个线程执行到公共函数里访问errno的指令，只要从约定的专用寄存器指向的TLS块、取errno对应的固定偏移位置的值，拿到的自然就是当前线程自己的errno副本，根本不会访问到其他线程的对应值。

对追加疑问的澄清 #

• 访问TLS变量不需要函数调用时在栈上隐式传递额外参数：线程环境信息不走函数参数传递通道，而是靠硬件寄存器+操作系统全局约定维护，所有用户态代码都默认遵循这个规则。你提到的FS寄存器不属于函数隐式参数，它是CPU层面的全局状态，线程切换时由内核负责更新，和具体的函数调用流程无关。
• 编译器之所以知道要从线程TLS块里找errno，完全是因为errno的定义带了__thread修饰：编译器识别到这个修饰符，就会自动生成对应的段寄存器寻址指令，这个逻辑是内嵌在编译器对TLS变量的处理规则、以及errno的标准定义里的，不需要公共函数本身写任何额外的判断逻辑。

可以看实际编译生成的汇编示例：x86_64 Linux下读取errno的指令通常为mov %fs:0x0, %rax，直接从FS段指向的TLS块偏移0位置读取errno值，整个过程没有额外参数参与。

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