runc容器运行时中SCMP_ACT_NOTIFY规则导致挂起问题分析
2025-05-18 05:11:20作者:农烁颖Land
在runc容器运行时v1.2版本中,当使用SCMP_ACT_NOTIFY动作对fcntl系统调用设置seccomp规则时,会出现容器启动挂起的问题。这个问题主要影响依赖于seccomp通知机制的容器网络加速工具如bypass4netns的正常工作。
问题现象
当用户尝试在runc v1.2环境下运行带有特定seccomp配置的容器时,容器启动过程会无响应地挂起。具体表现为:
- 容器启动命令如
runc run会卡住不继续执行 - seccomp监听代理(如bypass4netns)无法收到任何通知连接
- 该问题在runc v1.1.13版本中不存在,属于v1.2版本引入的回归性问题
技术背景
seccomp是Linux内核提供的一种安全机制,允许进程限制自己能执行的系统调用。SCMP_ACT_NOTIFY是其中一种特殊动作,它不会直接拒绝系统调用,而是将决定权交给用户空间的监听程序。
在容器场景中,这种机制常被用于实现动态安全策略或网络加速等功能。bypass4netns就是一个利用此机制实现容器网络性能优化的工具。
问题根源
经过分析,这个问题源于runc v1.2版本中引入的一个改动,该改动调整了seccomp通知文件描述符的处理方式。具体来说:
- runc内部在建立seccomp通知机制的过程中,会使用fcntl系统调用来操作文件描述符
- 当seccomp策略将fcntl设置为SCMP_ACT_NOTIFY时,这些内部操作会被拦截并转发给监听代理
- 但由于通知通道尚未完全建立,导致系统调用无法得到响应,形成死锁状态
解决方案
目前有两种可行的解决方向:
-
runc层面:调整内部实现,避免在关键路径上依赖可能被拦截的系统调用。这需要确保seccomp通知机制建立完成前不使用会被拦截的系统调用。
-
监听代理层面:增强代理程序的健壮性,可以采取以下策略:
- 对未知文件描述符的操作一律放行
- 在容器首次exec操作前放宽策略限制
- 正确处理系统调用拦截失败的情况,避免无限等待
临时规避方法
对于急需解决问题的用户,可以采用以下临时方案:
- 避免对fcntl系统调用使用SCMP_ACT_NOTIFY动作
- 改用其他系统调用(如connect)作为通知触发点
- 暂时回退到runc v1.1.13版本
总结
这个问题展示了容器安全机制与运行时内部实现的微妙交互关系。在使用高级安全特性时,开发者需要考虑运行时自身的实现细节。未来版本的runc可能会提供更明确的指导,说明哪些系统调用可以在seccomp策略中安全地使用NOTIFY动作。
对于安全敏感的应用场景,建议在升级前充分测试seccomp策略与新版本运行时的兼容性,并关注相关项目的更新公告。
登录后查看全文
热门项目推荐
相关项目推荐
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 StartedRust0152- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
LongCat-Video-Avatar-1.5最新开源LongCat-Video-Avatar 1.5 版本,这是一款经过升级的开源框架,专注于音频驱动人物视频生成的极致实证优化与生产级就绪能力。该版本在 LongCat-Video 基础模型之上构建,可生成高度稳定的商用级虚拟人视频,支持音频-文本转视频(AT2V)、音频-文本-图像转视频(ATI2V)以及视频续播等原生任务,并能无缝兼容单流与多流音频输入。00
auto-devAutoDev 是一个 AI 驱动的辅助编程插件。AutoDev 支持一键生成测试、代码、提交信息等,还能够与您的需求管理系统(例如Jira、Trello、Github Issue 等)直接对接。 在IDE 中,您只需简单点击,AutoDev 会根据您的需求自动为您生成代码。Kotlin03
Intern-S2-PreviewIntern-S2-Preview,这是一款高效的350亿参数科学多模态基础模型。除了常规的参数与数据规模扩展外,Intern-S2-Preview探索了任务扩展:通过提升科学任务的难度、多样性与覆盖范围,进一步释放模型能力。Python00
skillhubopenJiuwen 生态的 Skill 托管与分发开源方案,支持自建与可选 ClawHub 兼容。Python0112
项目优选
收起
暂无描述
Dockerfile
733
4.75 K
Ascend Extension for PyTorch
Python
618
795
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
433
395
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
1.01 K
1.01 K
Claude 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 Started
Rust
1.18 K
152
deepin linux kernel
C
29
16
华为昇腾面向大规模分布式训练的多模态大模型套件,支撑多模态生成、多模态理解。
Python
145
237
暂无简介
Dart
983
252
昇腾LLM分布式训练框架
Python
166
198
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.68 K
989