Stable Diffusion WebUI DirectML 项目中GFPGAN与CodeFormer的兼容性问题分析
问题背景
在Stable Diffusion WebUI DirectML项目中,用户在使用GFPGAN和CodeFormer面部修复功能时遇到了兼容性问题。这些问题主要出现在AMD显卡环境下,特别是当用户启用DirectML支持时。本文将深入分析问题的技术原因,并提供可行的解决方案。
技术分析
核心问题
问题表现为两种主要错误:
-
DMLTensor类型不匹配错误:当使用DirectML后端时,系统会抛出"unbox expects Dml at::Tensor as inputs"的错误。这是由于DirectML对存储访问(storage access)的支持不完善导致的。
-
CUDA与CPU张量类型不匹配:在使用ZLUDA方案时,会出现"Input type (torch.FloatTensor) and weight type (torch.cuda.FloatTensor) should be the same"的错误,表明模型权重与输入数据不在同一设备上。
根本原因
-
DirectML限制:
- DirectML不支持某些PyTorch操作,特别是涉及存储访问的操作
- GFPGAN和CodeFormer模型中的某些层需要这些不被支持的操作
- 这是AMD显卡在Windows平台上的一个已知限制
-
ZLUDA兼容性:
- ZLUDA虽然性能更好,但缺少hiprtc支持
- CodeFormer需要hiprtc进行实时编译,因此只能回退到CPU运行
- 模型权重加载到GPU而输入数据在CPU导致类型不匹配
解决方案
方案一:使用旧版本WebUI(1.7)
对于使用GCN架构显卡(如Radeon VII)的用户:
- 回退到WebUI 1.7版本
- 继续使用DirectML后端
- 此方案下GFPGAN和CodeFormer都能正常工作
方案二:使用ZLUDA方案
对于支持ROCm的AMD显卡用户:
- 安装最新版WebUI
- 配置ZLUDA环境
- 注意:
- GFPGAN可以正常工作
- CodeFormer会回退到CPU运行
- 需要额外安装用户构建的ROCm库
方案三:强制使用CPU
临时解决方案:
- 在启动参数中添加:
--use-cpu gfpgan codeformers - 优点:简单易行,兼容所有版本
- 缺点:处理速度较慢
实施建议
-
显卡兼容性检查:
- 确认显卡型号是否在ROCm支持列表中
- 较新的AMD显卡(RX 6000/7000系列)更适合ZLUDA方案
-
环境配置要点:
- 使用ZLUDA时需要完全删除venv目录重新安装
- 确保PATH环境变量包含ZLUDA路径
- 对于不支持的显卡,考虑用户构建的ROCm库
-
性能权衡:
- 追求稳定性:选择WebUI 1.7 + DirectML
- 追求性能:选择最新版 + ZLUDA(牺牲CodeFormer GPU加速)
- 简单使用:强制CPU模式
结论
Stable Diffusion WebUI DirectML项目在AMD显卡上面临的面部修复功能兼容性问题,本质上是由于不同技术方案对PyTorch操作支持程度的差异所致。用户应根据自身硬件条件和功能需求,选择最适合的解决方案。随着ROCm对Windows平台支持的不断完善,未来这些问题有望得到更好的解决。
对于大多数用户,如果面部修复不是核心需求,使用--use-cpu参数是最简单的解决方案;而对于需要高质量面部修复的专业用户,则可能需要根据显卡型号精心配置ZLUDA环境或回退到旧版本。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C044
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0122
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00