BR 技术头条

技术头条

技术链接、资讯与社区分享流

bl blog.delphij.net / 13小时前 / by @技术头条

errno 的实现

本文从 errno 这个看似普通的错误码接口切入,解释了为什么它不能简单地作为全局变量存在,以及 POSIX 从“外部变量”转向“可修改左值宏”背后的线程安全需求。

文章进一步拆解了 FreeBSD 的具体实现:errno 被定义为对 __error() 返回指针的解引用,单线程场景下回到全局存储,多线程场景下则由 libthr 通过构造函数、函数指针切换和弱符号介入,把访问路径切换到线程私有的错误码存储。这个过程展示了 C 运行时在 ABI 兼容、性能开销和线程语义之间的权衡。

对于系统编程、C 运行库、POSIX 线程模型或 FreeBSD 实现机制感兴趣的读者,这是一篇信息密度较高的源码解读。它能帮助读者理解一个常用宏背后隐藏的运行时设计,也适合作为分析 libc 与线程库协作机制的入门案例。

发表评论