01 · 调研与规划翻译范围与 P0→P4 方案系列导航本系列记录 gdev-master 从 C/C 到 Rust 的移植工程。01 调研与规划 · 02 工程化工作流 · 03 实施进度与踩坑移植一个 79k 行的 C/C 项目第一步不是写代码而是搞清楚「要移什么」和「怎么移」。本篇分两半调研——读参考博客与文献、对比 sdaa 与 master 两个分支得出翻译范围结论只转用户态 P0–P4规划——定 P0→P4 执行顺序、任务分解、三条铁律、验证策略。执行这套方案的具体工作流opencode 多会话分工、模型切换、验收下放见下一篇 02 工程化工作流。一、项目是什么gdev是一个用户态 GPGPU 运行时上层暴露 CUDA Driver/Runtime API下层通过 nouveau 开源驱动把命令发到 Fermi/Kepler 显卡。它把「写 CUDA 程序 → 跑在开源显卡栈上」这条路打通是少数不依赖 NVIDIA 闭源驱动的完整 CUDA 兼容运行时。本项目把gdev-master完整版约 11.5k 行 C 79k 行 C从 C/C 改写为 Rust产出与 C 版 ABI 兼容的共享库目标是让原有测试集无需改动即可链接运行。工程本身是 CSDN《Gdev 至 Rust 移植工程》作者 huanhuanou12 篇的「续作」——那套博客移植的是 gdev 的sdaa 分支一个「单设备、单驱动 aidev、单架构」的裁剪版本项目把同一套方法论搬到更大、更完整的master上翻译范围覆盖完整用户态不照搬 sdaa 对 ocelot 的 parser/analysis/transforms 的裁剪。二、为什么移植到 Rust原版是 2010 年前后的 C/C 代码遍布裸指针、void*类型擦除、union 双关读、手动malloc/free、goto错误清理链和函数指针表。博客十二在真硬件上做过安全深度对比点出了 master 版 C 源码里的 3 个真实漏洞参数越界、错误码当 fence、空指针解引用博客十又列了 8 类 C 内存/并发漏洞。Rust 的价值在于把这些历史负担在不改变对外行为的前提下关进笼子Result/Option取代错误码 goto链所有权取代手动malloc/freeslice/Vec取代裸指针 长度enum消解void*与 union 双关读借用检查天然拦住悬垂指针与数据竞争。但这里有一条铁律也是从六篇 C→Rust 文献里得到的一致结论「能编译 自编测试通过」挡不住 68% 的语义漂移所以全程用原 C 作 oracle逐字节、逐分支对照绝不为了「让测试变绿」去改 C。三、文献调研参考博客移的是 sdaa 分支本项目移的是 master——两个仓库同源但体量差异巨大直接照搬 sdaa 的「四层」经验会漏掉一大块。本节做两件事读文献、做两分支差异分析最终得出翻译范围结论。1. 方法论来源CSDN《Gdev 至 Rust 移植工程》12 篇作者 huanhuanou2026 年 56 月连载移植 gdev 的sdaa 分支。核心方法论可拆成四层层语义层博客篇做法L1ioctl 封装 / 类型常量(二)const fn drm_ioc()复刻内核_IOC()宏避免静默截断L2gdev 核心 调度(一)(三)trait Scheduler多态取代函数指针表L3Driver API(四)结构体/签名/错误码「直译」跟随 C 版L4Ocelot Runtime(五)惯用 Rust 重设计22.5k 行 → 3.4k 行三条贯穿始终的经验被本项目原样继承前三层直译第四层重设计验证 布局断言 枚举常量一致性 边界单测C 是 oracle——绝不为了测试变绿去改 C。博客还留下了几个「坑」的实证结论直接变成本项目的 PITFALLS 条目glibc 版本不匹配.symver只骗链接器、骗不过DT_VERNEED、fatbin 栈指针 vs 堆指针段错误、chmap_base的 mmap 历史遗留、只枚举设备没gopen导致的OUT_OF_MEMORY等。2. 六篇 C→Rust 文献通用陷阱除博客外还精读了六篇 C/C→Rust 翻译文献C2Rust-Bench、Cpp2Rust、PR²、SACTOR、Syzygy、UserStudy提炼出「翻译任何 C 都会踩」的通用陷阱沉淀在 PITFALLS 第六节char*二进制缓冲 →Vecu8而非String、裸指针三元信息ownership × shape × access、union/type-punning →enumto_le_bytes、可变全局状态的 4 种策略、packed 字段用addr_of!取地址等。其中最重要的一个数字来自 UserStudy31 个译本无一功能等价、68% fuzz 差异——这印证了「能编译 ≠ 等价」也是本工程坚持 oracle 逐字节比对的原因。四、sdaa vs master8 类对照sdaa是「单设备、单驱动aidev、单架构」的裁剪版master是完整版。逐类对照后完整表见项目PORTING_SCOPE.md结论是sdaa 转过的每一类master 都有对应 C 源码全部纳入翻译范围#类别sdaa 转的master 对应结论1类型与常量gdev 头 drm.h/aidev_drm.hdrm_ioc同源 gdev 头 drm.hpscnv_drm.h aidev 原型全转2核心 common/13 个 .c含gdev_aidev.c12 个 .cnvc0/nve4 替换 aidev其余同源全转3裸 ioctl 后端lib/user/aidev/lib/user/pscnv/diff 已证同源全转4libdrm 后端无sdaa 用裸 ioctllib/user/nouveau/全转 ★目标机必需5Driver APIsdaa/driver/13 个 .ccuda/driver/13 个 .c全转6Ocelot 运行时apiexecutiveirsdaa8.2k 行apiexecutiveircudaparseranalysistransforms48.8k 行全转7hydrazine 基础设施10 个 .cppcuda/runtime/hydrazine/同源全转8cudump 工具cudump.ccuda/cudump/cudump.c转五、master 比 sdaa 多出的三块master 的构建由三个 cmake 开关决定——driver选哪个后端、runtime要不要 ocelot 运行时、user用户态还是内核态目标机这套是drivernouveau / runtimeON / userON。master 比 sdaa 多出的内容正是这几个开关带来的ocelot 更完整约 4.9 万行sdaa 只 0.8 万行runtimeON时完整的 CUDA Runtime API 前端parser/analysis/transforms等一起编进libucuda.sosdaa 没有这三块。目标机runtimeON所以在编译范围内。nouveau 后端drivernouveau选中 libdrm 后端是目标机实际路径。driverpscnv裸 ioctlsdaa aidev 的原型是另一套后端目标机不选但为覆盖这种配置一并译。双架构 nvc0 nve4gdev_nvidia_nvc0.c/gdev_nvidia_nve4.c都在common_src里无条件编译进libgdev.so运行时按探测到的 GPU 类别分派GTX 580 nvc0Kepler nve4。nv50Tesla不在编译清单不译。六、明确排除的部分真正非目标范围完整不等于「全都要」以下四类是真正非目标/非 gdev 用户态特征排除mod/内核模块38 万行——内核态Rust 内核模块在目标机 kernel 3.6.10 上不可行nvrm/lib/user/nvrm/NVIDIA 私有闭源驱动支持——目标机用 nouveau不需要compiler/ptx2sass / LLVM / Open64 编译器后端18 万行——use_as/use_llvm/use_open64全 OFF用预编译 cubinlib/user/barra/第三方驱动后端——drivernouveausdaa 无对应。七、结论翻译范围跟着构建走driver/runtime/user三个开关决定编什么——目标机这套nouveau / ON / ON编进去的全译其它配置才编的如driverpscnv为覆盖完整一并译真正非目标的内核模块mod/、闭源驱动、编译器后端排除。另一个容易误判的点硬件后端P4不止一层 ioctl 封装还包含 nvc0 / nve4两个GPU 架构的 SASS 命令流编码二者都无条件编进libgdev.so所以都得译目标机跑 nvc0nv50Tesla虽有.c文件但不在编译清单、dispatch 对它直接报 not supported不译。八、执行顺序自底向上硬件最后调研结论定了范围接下来是把它落成一份可执行的计划。沿用博客「方案 A自底向上逐层构建」但层次按 master 重新对位。任务 ID P0-P4数字即执行顺序阶段内容对应博客P0类型与常量types.rs bindgen ioctl 结构体(二)P1gdev 核心 内存后端gdev_device → gdev_api → gdev_sched vsched gdev_nvidia_mem(一)(三)P2CUDA Driver APIcubin 加载器 → context/device/.../init(四)P3Ocelot全量含 parser/analysis/transforms(五)P4硬件后端nouveau pscnv nvc0/nve4(八) ★最后两个关键点硬件后端P4放最后——先像博客七那样用软件后备路径