除重编译GCC外，如何解决std::condition_variable的GLIBC版本兼容问题？

问题背景 #

在搭载glibc-2.30的Linux系统中，使用基于glibc-2.30源码编译的GCC编译包含std::condition_variable的代码后，将生成的二进制文件放到搭载glibc-2.17的RHEL 7系统上运行时，会出现以下错误：

./test_glibc: /lib64/libpthread.so.0: version `GLIBC_2.30' not found (required by ./test_glibc)

根本原因是std::condition_variable::wait_for()底层会调用glibc-2.30新增的pthread_cond_clockwait()函数，而旧版glibc没有这个符号。

测试代码 #

#include <iostream>
#include <atomic>
#include <condition_variable>
#include <thread>
#include <chrono>
using namespace std::chrono_literals;
 
std::condition_variable cv;
std::mutex cv_m;
int i;
 
void waits(int idx)
{
    std::unique_lock<std::mutex> lk(cv_m);
    if(cv.wait_for(lk, idx*100ms, []{return i == 1;})) 
        std::cerr << "Thread " << idx << " finished waiting. i == " << i << '\n';
    else
        std::cerr << "Thread " << idx << " timed out. i == " << i << '\n';
}
 
void signals()
{
    std::this_thread::sleep_for(120ms);
    std::cerr << "Notifying...\n";
    cv.notify_all();
    std::this_thread::sleep_for(100ms);
    {
        std::lock_guard<std::mutex> lk(cv_m);
        i = 1;
    }
    std::cerr << "Notifying again...\n";
    cv.notify_all();
}
 
int main()
{
    std::thread t1(waits, 1), t2(waits, 2), t3(waits, 3), t4(signals);
    t1.join();
    t2.join();
    t3.join();
    t4.join();
}

编译脚本 #

#!/usr/bin/env bash
    
/opt/gcc-11.3.0/bin/g++ \
  -std=c++17 -O3 -pthread -static-libstdc++ -static-libgcc glibc_test.cpp -o test_glibc

已知解决方案 #

你已经找到的方案是修改GCC源码中libstdc++-v3目录下的configure文件，强制关闭pthread_cond_clockwait的检测：

# 修改两处判断逻辑，将结果设为no
if ac_fn_cxx_try_compile "$LINENO"; then :
  glibcxx_cv_PTHREAD_COND_CLOCKWAIT=no
else
  glibcxx_cv_PTHREAD_COND_CLOCKWAIT=no
fi

# 以及
if ac_fn_cxx_try_link "$LINENO"; then :
  glibcxx_cv_PTHREAD_COND_CLOCKWAIT=no
else
  glibcxx_cv_PTHREAD_COND_CLOCKWAIT=no
fi

修改后重新编译GCC，生成的libstdc++会使用旧版的pthread_cond_timedwait替代pthread_cond_clockwait，从而兼容低版本glibc。

其他替代解决方案 #

1. 在目标环境（RHEL7/glibc-2.17）直接编译 #

这是最稳妥的方案：

• 直接在RHEL 7系统上安装或编译对应版本的GCC（比如GCC 11.3.0），编译时GCC会自动适配系统的glibc-2.17，生成的二进制只会依赖目标系统存在的glibc符号。
• 优点：无需修改GCC源码，兼容性最好；缺点：需要在目标环境配置编译环境。

2. 使用第三方兼容线程库 #

替换标准库的std::condition_variable为第三方库的实现，比如Boost.Thread：

• Boost.Thread的条件变量实现会兼容低版本glibc，不依赖pthread_cond_clockwait。
• 只需将代码中的std::condition_variable替换为boost::condition_variable，编译时链接Boost.Thread库即可。
• 优点：无需修改GCC，代码改动小；缺点：引入第三方依赖。

3. 封装兼容的条件变量实现 #

自己封装一个基于旧版glibc API的条件变量，替代标准库的实现：

• 底层使用pthread_cond_timedwait实现超时等待逻辑，完全不依赖pthread_cond_clockwait。
• 优点：完全可控，无额外依赖；缺点：需要自己实现线程安全的条件变量，有一定开发成本。

4. 谨慎使用glibc静态链接（不推荐） #

尝试静态链接整个glibc（编译时添加-static参数），但这种方式存在诸多问题：

• 静态链接glibc会导致NSS（名称服务切换）功能失效，比如无法解析DNS、读取系统用户信息；同时线程局部存储、动态加载库等功能也会受影响。
• 仅适合极简的无网络、无动态依赖的程序，一般不推荐用于生产环境。

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