语义时间之箭，第三部分：RDMA 与完成错误

本文是《语义时间之箭》系列论文的第三篇。前两部分识别了计算的隐藏语义时间箭——FITO 类别错误——并提出了具有必需反射相的 OAE 链接状态机作为建设性替代方案。本文考察了当这些原则在工业规模上被违反时会发生什么。远程直接内存访问 (RDMA) 是生产环境中最高性能的数据传输技术，已部署在 Meta 的 24,000 台 GPU 集群、Google 数据中心以及 Microsoft Azure 基础设施中。我们认为，RDMA 的完成语义包含一种类别错误：它们保证放置（数据写入远程 NIC 缓冲区），但不保证提交（数据被接收应用程序语义集成）。我们称之为完成错误。我们通过 RDMA Write 操作的七个时间阶段记录了该错误，显示完成信号与应用程序语义满足之间的差距可能是任意大的。我们通过四个案例研究追踪了后果：Meta 的 RoCE 网络、Google 的 1RMA 重做、Microsoft 的 DCQCN 失败以及 SDR-RDMA 的部分完成。比较分析表明，CXL 3.0、NVLink 和 UALink 各自解决了完成错误的某些方面，但没有一个方案能够完全消除它。只有具有必需反射相的协议架构才能在交付和提交之间关闭这一鸿沟。