ROCm 各层：一次请求由谁负责

同一张图里其实有两条路径

看到HIP、LLVM、ROCr、KFD这些缩写时，先问正在讨论“把程序变成可执行代码”，还是“让现有代码在设备运行”。编译路径处理源代码、类型、优化、目标指令和编译产物；执行路径处理内存、装载、队列、同步和错误。两条路径有关联，却不是每次加法都依次经过所有软件层。

以输出数组加一为例，编译器事先生成目标代码。运行时选择合适产物，准备kernel参数和相关资源，将工作提交到设备。数据准备失败、找不到匹配产物、提交失败、执行访问错误、算法答案错误，分别出现在不同位置。先给失败分类，才能决定看编译日志、API返回值、系统日志还是结果数组。

高层接口到系统资源

HIP提供应用常用的内存、启动和同步接口。在AMD的软件栈中，ROCr是HSA runtime实现，提供agent、queue、signal等更接近派发机制的抽象。把它们区分开，不是要求第一周就绕过HIP写底层队列，而是理解高层API下面仍有资源管理和同步合同。

Linux的amdgpu及相关计算支持负责设备和系统资源管理；KFD涉及计算进程与GPU资源的连接。内存映射、调度与异常恢复等职责不会因为用户态能提交某些队列工作而消失。具体职责还随内核、runtime、平台和操作变化，不应把软件栈画成永远固定的九层流水线。

队列比“调用一次函数”多了什么

例一是一格任务队列的CPU逻辑模型：先写任务内容，再把ready标记置真，消费者才能读任务。它有意不创建线程，因此没有实现真实内存序或硬件doorbell。它只提醒你，发布通知和准备内容是两件事。真实队列协议还需遵守规定的packet格式、内存顺序、完成信号和资源生命周期。

教学上的因果顺序：
准备参数与工作内容 → 按协议发布 → 通知可消费 → 观察完成
这不是可复制的HSA packet写入配方。

例二把“分配失败、产物缺失、答案错误”映射到不同排查入口。应用仍负责检查所有返回值并保存上下文。不能看到设备端失败就一律说“driver bug”，也不能因为API在用户态返回，就断言内核没有参与其资源准备或异常路径。

用反事实问题检查理解

如果kernel根本没有出现在trace里，优先确认编译产物、设备选择、提交状态与过滤条件；如果kernel已经完成，但最后一个元素错误，索引和边界比驱动更值得先查。如果同一输入在某版本失败，另一个版本成功，先固定硬件、依赖、flags和最小复现，再判断是否是实现差异。

最好的排查记录包括具体调用、错误码、输入规模、版本、目标架构和最早失败点。不要只保存一张“执行失败”截图。应用层的错误处理越清楚，向runtime或driver维护者报告的问题越有价值。

本章怎样连接岗位

Runtime岗位关注派发、并发资源、依赖、生命周期和故障传播；driver岗位还需要系统调用、虚拟内存、设备管理及内核调试实践；compiler岗位关注如何产生合法且有效率的代码。认识软件层次是共同前置，阅读一张图却不等于实现过这些层。当前练习只要求你能沿一次请求提出具体问题，不要求直接改内核。

公开ROCr介绍与Linux驱动文档各自解释不同边界。阅读时记录你研究的是正常稳态派发、初始化还是异常处理；同一句“驱动是否参与”在这些场景中的答案可能不同，不能用一个口号覆盖全部路径。

// Original CPU teaching model; not a device simulator or benchmark.
#include <iostream>
#include <stdexcept>

void require(bool ok) { if (!ok) throw std::runtime_error("model check failed"); }

int main() {
 struct Slot { int payload=0; bool ready=false; } slot;
 slot.payload=17; slot.ready=true;
 require(slot.ready); const int consumed=slot.payload; slot.ready=false;
 require(consumed==17 && !slot.ready);
 std::cout<<"consumed="<<consumed<<'\n';
}

clang++ -std=c++20 -Wall -Wextra -Wpedantic -Werror -pthread 35-a.cpp -o example && ./example

consumed=17

// Original CPU teaching model; not a device simulator or benchmark.
#include <iostream>
#include <map>
#include <string>
#include <stdexcept>

void require(bool ok) { if (!ok) throw std::runtime_error("model check failed"); }

int main() {
 const std::map<std::string,std::string> next{
  {"allocation","API/environment"},{"code_object","build/target"},{"wrong_value","indexing/oracle"}};
 require(next.at("wrong_value")=="indexing/oracle");
 for(const auto& [kind,path]:next) std::cout<<kind<<": "<<path<<'\n';
}

clang++ -std=c++20 -Wall -Wextra -Wpedantic -Werror -pthread 35-b.cpp -o example && ./example

allocation: API/environment
code_object: build/target
wrong_value: indexing/oracle