ClickHouse在Amazon Linux 2023上的Segmentation Fault问题分析
在Amazon Linux 2023操作系统上,用户通过curl下载并运行ClickHouse时遇到了Segmentation Fault错误。这个问题源于OpenSSL初始化过程中的静态初始化顺序问题,特别是在新版本OpenSSL的系统配置加载机制上。
问题背景
当用户在Amazon Linux 2023上执行ClickHouse时,程序会在启动阶段崩溃并抛出Segmentation Fault。通过调试分析发现,这个问题发生在OpenSSL的初始化阶段。具体来说,是当ClickHouse尝试加载系统OpenSSL配置时发生的。
根本原因分析
深入分析后,我们发现几个关键因素导致了这个问题:
-
静态初始化顺序问题:ClickHouse中OpenSSL初始化器的构造函数优先级(202)可能与其他组件的初始化顺序存在冲突。
-
系统OpenSSL配置问题:Amazon Linux 2023的OpenSSL配置文件(/etc/ssl/openssl.cnf)包含了一些特定的扩展配置,特别是与SHA1签名相关的设置,这些配置在新版OpenSSL中可能不被支持。
-
异常处理不当:在OpenSSL初始化失败时,代码使用了ClickHouse内部的异常处理机制,而此时系统可能还未完全初始化,导致了段错误。
技术细节
在OpenSSL 1.1.x版本中,初始化流程不会自动加载系统配置。而在新版OpenSSL中,这一行为发生了变化,导致ClickHouse尝试加载系统配置时出现问题。特别是Amazon Linux 2023的配置文件中包含以下内容:
[provider_sect]
default = default_sect
[default_sect]
activate = 1
此外,系统还尝试加载名为"rh-allow-sha1-signatures"的扩展,这在OpenSSL的新版本中已被标记为不支持的选项。
解决方案
针对这个问题,开发团队提出了以下解决方案:
-
修改OpenSSL配置加载策略:只有当OPENSSL_CONF环境变量显式设置时,才加载OpenSSL配置,避免自动加载系统配置带来的问题。
-
异常处理改进:在早期初始化阶段,使用标准C++异常(std::runtime_error)替代ClickHouse内部异常机制,避免因异常系统未完全初始化而导致的段错误。
-
兼容性处理:对于不支持的系统配置选项,进行适当的兼容性处理或提供明确的错误提示。
最佳实践建议
对于需要在Amazon Linux 2023上运行ClickHouse的用户,建议:
-
使用最新版本的ClickHouse,该问题已在后续版本中得到修复。
-
如果必须使用受影响版本,可以通过设置OPENSSL_CONF环境变量为空来避免自动加载系统配置:
OPENSSL_CONF= ./clickhouse
- 在容器化部署时,考虑使用已修复此问题的特定基础镜像。
这个问题展示了在跨平台部署时,系统库版本和配置差异可能带来的挑战,也提醒我们在开发中需要考虑不同环境下的初始化顺序和兼容性问题。
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedJavaScript094- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
Kimi-K2.6Kimi K2.6 是一款开源的原生多模态智能体模型,在长程编码、编码驱动设计、主动自主执行以及群体任务编排等实用能力方面实现了显著提升。Python00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00