SPDK vhost_blk热插拔场景下的崩溃问题分析
2025-06-25 22:11:21作者:房伟宁
问题背景
在SPDK存储性能开发套件的vhost模块测试中,发现了一个与块设备热插拔相关的严重问题。该问题主要出现在执行blk_hotremove测试用例时,当vhost服务处理虚拟机重启操作时会发生崩溃,导致整个系统状态异常。
问题现象
测试场景中,首先创建了多个NVMe和malloc块设备,并通过split操作进行了分区。然后启动了两个虚拟机,每个虚拟机挂载了两个vhost_blk设备。测试过程中,当热移除NVMe控制器并重新添加后,在虚拟机重启阶段vhost服务会出现以下两种异常情况:
- 常规构建下的段错误:vhost进程直接崩溃,产生段错误核心转储
- ASAN构建下的堆使用后释放错误:检测到对已释放内存区域的访问
技术分析
崩溃原因
通过分析核心转储和ASAN报告,发现问题出在vhost_blk模块的队列处理逻辑中。具体表现为:
- 当热移除操作完成后,相关的会话结构体(session)被释放
- 但在虚拟机重启过程中,vhost仍尝试访问这些已被释放的结构体
- 这导致了对无效内存的访问,最终引发段错误
根本原因
深入分析发现,问题的根源在于vhost_blk模块对会话生命周期的管理存在缺陷。在热插拔场景下:
- 设备移除时,会话被标记为需要销毁
- 但相关的轮询组(poll group)和队列(vq)资源没有完全清理干净
- 当虚拟机尝试重新连接时,vhost仍会尝试使用这些残留的资源
对虚拟机的影响
当vhost服务崩溃后,虚拟机的状态会变得异常:
- 虚拟块设备仍然可见但无法进行任何I/O操作
- 系统服务(如udev、lvm等)会陷入内核无法继续执行
- 即使尝试通过sysrq触发重启也会被阻塞
- QEMU无法清理已断开连接的字符设备
解决方案
经过排查,发现问题与近期的一个提交(1c05f3fb0a)相关。该提交修改了vhost_blk模块的资源管理逻辑,但在热插拔场景下引入了不稳定性。解决方案是回滚这个变更,恢复之前的稳定实现。
经验总结
这个案例揭示了几个重要的技术要点:
- 资源生命周期管理:在异步事件处理系统中,必须严格管理资源的创建和销毁顺序
- 热插拔场景的特殊性:热插拔操作会触发复杂的设备状态转换,需要特别谨慎处理
- 故障隔离:vhost服务的崩溃不应导致虚拟机完全不可用,需要改进错误恢复机制
后续工作
虽然回滚解决了vhost崩溃问题,但仍需进一步研究虚拟机状态异常的根本原因。这涉及到:
- QEMU与vhost-user协议的交互
- 内核virtio驱动对后端服务丢失的处理
- 系统服务对设备突然消失的容错能力
这些问题需要跨组件协作解决,以确保整个系统的健壮性。
登录后查看全文
热门项目推荐
相关项目推荐
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 StartedRust0214
cann-learning-hubCANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。Jupyter Notebook0138
uni-appA cross-platform framework using Vue.jsJavaScript08
GLM-5.2智谱开源 GLM-5.2,这是针对长文本任务的最新旗舰模型。相较于前代产品 GLM-5.1,它在长文本任务处理能力上实现了显著飞跃,并且首次在稳定的 100 万 token 上下文中提供这一能力。Jinja00
SwanLab⚡️SwanLab - an open-source, modern-design AI training tracking and visualization tool. Supports Cloud / Self-hosted use. Integrated with PyTorch / Transformers / LLaMA Factory / veRL/ Swift / Ultralytics / MMEngine / Keras etc.Python00
tiny-universe《大模型白盒子构建指南》:一个全手搓的Tiny-UniverseJupyter Notebook03
项目优选
收起
deepin linux kernel
C
32
16
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
469
465
暂无描述
Dockerfile
778
5.08 K
Ascend Extension for PyTorch
Python
757
968
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。
C++
876
2.03 K
本项目是CANN提供的神经网络类计算算子库,实现网络在NPU上加速计算。
C++
697
1.4 K
昇腾LLM分布式训练框架
Python
185
231
JiuwenSwarm 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。
Python
2.25 K
676
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
1.1 K
1.14 K
本仓库是 Flutter SDK 与 Flutter Engine 的 OpenHarmony 适配版本,由 CPF-Flutter 团队维护。开发者可使用熟悉的 Flutter 技术栈开发 OpenHarmony 应用,3.35.7 及以后的适配版本可基于本仓库源码构建支持 OpenHarmony 的 Flutter Engine。
Dart
1.04 K
271