Linux下GCC C/C++运行时：共享库加载与thread_local初始化是否共用互斥锁？

确实存在这样的互斥锁——就是你gdb回溯里看到的GL(dl_load_lock)，它是GNU C库（glibc）运行时的递归互斥锁，专门用于协调动态加载与线程局部变量（thread_local）相关的线程安全操作。

涉及的核心场景： #

• 函数内thread_local变量初始化：当线程首次执行到函数内部的thread_local变量声明点时，运行时会锁定GL(dl_load_lock)，检查该变量是否已完成初始化。这个锁的作用是避免多线程同时初始化同一变量导致的竞态问题，确保初始化操作的原子性。同一线程后续访问该变量时不会重复触发锁操作，但其他线程首次访问仍会执行锁与初始化检查逻辑。
• dlopen()动态加载阶段：调用dlopen()加载共享库时，在执行库中非本地全局/静态变量的动态初始化过程中，GL(dl_load_lock)会被锁定。这是为了保证共享库加载、初始化过程的线程安全，防止多个线程同时加载库或初始化全局变量引发的资源冲突。

对gdb回溯的说明： #

你提供的回溯片段中，__cxa_thread_atexit_impl函数调用__rtld_lock_lock_recursive (GL(dl_load_lock))，这个场景对应thread_local变量注册线程退出清理函数的过程。因为thread_local变量的销毁需要和动态库的生命周期（比如库卸载）协调，所以必须持有这个锁来保证操作的原子性，避免库卸载与线程退出清理之间的竞态。

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