现代超级计算机不再是由单一、巨大的硅块构建而成的。相反，工程师们正像组装高端乐高玩具一样，将被称为“芯粒”（chiplets）的小型化、专业化部件拼接在一起。这些部件可能包含处理器、内存或专门的加速器，并紧密地封装在同一个外壳内。为了让它们作为一个整体运行，它们通过一个被称为“片上网络”（network-on-chip）的复杂内部高速公路进行通信。这个系统速度极快，但也引入了一种新型漏洞。在过去，如果计算机的一个部件试图向错误的地方发送消息，它必须跨越物理电路板或长导线，这给了系统发现并阻止它的时间。而现在，由于一切都封装得如此紧密，一条异常消息可能会进入共享高速公路，并在系统意识到问题发生之前就开始占用空间和速度。对于云计算和科学研究领域而言，这是一个关键问题，因为许多不同的用户都在共享同一台强大的机器，其中一个用户的失误或恶意行为可能会拖慢所有人的进度。
中国信息工程大学的研究人员提出了一种解决该问题的方案：在这一内部高速公路的最入口处建立一个智能检查站。他们称之为“语义网关防火墙”（semantic gateway firewall）。想象一下，在一个繁忙的办公大楼门口，有一名保安，他不仅检查你是否有门禁卡，还会核实你的身份、目的地，以及你是否持有参加所声称参加的特定会议的有效通行证。在芯粒的世界里，这个“保安”就坐在芯粒与主网络连接的位置。在数据包被允许进入共享系统之前，防火墙会检查附带的一组细节。它会检查发送端和接收端的芯片是否被允许相互通信，数据是否指向属于该特定用户的正确内存区域，以及该消息是否遵循正确的对话规则（例如，是否带有新鲜的时间戳以证明它不是旧消息的重放）。
该团队利用详细的计算机模拟测试了这一构想，模拟了一个具有五种不同流量模式的多用户环境。他们创建了一个场景，其中一个“坏人”注入了旨在阻塞网络的非法消息。在没有防火墙的情况下，这些非法消息导致合法数据的传输时间从平均约34个周期跳升至近200个周期，这种大规模的减速会严重破坏性能。当研究人员启动其语义防火墙时，它成功地在非法消息进入高速公路之前将其拦截。结果是，合法流量恢复了顺畅流动，其传输时间回到了原始的34个周期。这证明了在门口拦截坏流量比试图在造成拥堵后进行清理要有效得多。
然而，如果系统过于迟钝，仅仅是拦截流量是不够的。研究人员想知道，他们的防火墙是否足够聪明，能够区分看起来非常相似的坏消息和好消息。他们进行了一项特定的测试，其中合法消息和非法消息共享相同的基本特征，例如相同的起点和终点。那些仅检查起点和终点的旧式、简单安全方法在这种情况下完全失败了，让坏消息通过了。而新的语义防火墙通过检查更深层的细节（如消息的内部状态和新鲜度），抓住了每一条非法消息，同时让所有合法消息通过。在这些测试中，该系统拦截了数百次违规行为且零失误，这意味着它从未拦截过好消息，也从未让任何一条坏消息溜走。
为了确保这一构想能够在实际硬件中实现，研究人员设计了该防火墙的逻辑，并在标准的芯片设计库上进行了测试。他们发现，执行这些检查所需的额外电路规模非常小，在芯片上占用的面积不到60平方微米。逻辑做出决策所需的时间不到十亿分之一秒，足以跟上现代处理器的超高速。这表明，添加这一层安全防护并不需要对芯片设计进行大规模改动，也不会显著牺牲速度。这项工作表明，通过在芯粒系统的入口处设置一个智能且注重细节的检查站，工程师可以保护高性能计算机的共享资源，确保一个用户的行为不会干扰他人的工作。
技术摘要：用于多租户 Chiplet NoC 资源隔离的语义 D2D 网关防火墙
问题陈述
随着高性能计算（HPC）系统从单体芯片向多租户 Chiplet 封装（例如 AMD MI300A、Intel Ponte Vecchio、NVIDIA GH200）转型，资源隔离的挑战也从板级或插槽级边界转移到了共享封装规模的网络芯片（NoC）。在这些环境中，来自不同租户的流量通过 die-to-die（D2D）网关穿越共同的互连结构。识别出的核心安全问题是：一个数据包在语法上可能是可路由的（遵循有效的物理路径），但可能因目标地址区域属于另一租户、携带无效的协议状态令牌（protocol-state token）或携带过时的事务元数据而违反策略。
一旦此类违反策略的数据包进入共享 NoC，它就会消耗共享缓冲区、仲裁槽位和链路带宽。后注入检测机制（监控）虽然可以记录这些违规行为，但无法撤销已经对良性流量造成的争用。本文认为，如果违规行为在 D2D 网关处可见，则网关应在数据包注入共享织网（fabric）之前将其拦截，以防止资源干扰。
方法论
作者提出了一种语义 D2D 网关防火墙，这是一种置于 D2D 网关处、位于 NoC 注入之前的确定性准入控制机制。该防火墙检查边界处可见的特定元数据字段：
- 源/目的 Die：检查授权的 die 对。
- 租户 ID 与地址区域：验证租户对目标地址的所有权。
- 状态令牌（State Token）：验证事务类的协议状态令牌。
- 重放纪元（Replay Epoch）：确保数据包携带新鲜的纪元以防止重放攻击。
研究定义了三种策略强度：
- 配对（Pair）：仅检查源/目的 die 的合法性。
- 地址+配对（Address+Pair）：增加了租户地址区域所有权检查。
- 全语义（Full-Semantic）：包含了状态令牌和重放纪元的检查。
实验设置
评估采用结合了仿真与硬件综合的受控方法论：
- NoC 仿真：使用修改后的 BookSim2 作为主要测试平台，用于模拟数据包注入、路由器事件和流量类别。
- 工作负载追踪：流量模式衍生自五个经过预热的 gem5 追踪（PARSEC/SPLASH 系列：radix, FFT, Barnes, Blackscholes, LU），以生成真实的源/目的对分布。
- 攻击建模：研究注入了模拟的违规行为，包括跨边界 die-pair 违规、租户地址区域违规、状态令牌不匹配以及重放纪元故障。
- 对照组：实验对比了“仅监控”（仅记录而不阻断）、“注入前语义阻断”以及“等负载盲目丢弃”（随机丢弃同类数据包以分离负载移除的效果，而非语义选择性的效果）。
- 硬件验证：策略逻辑使用 Yosys 进行合成，映射到 Nangate45 库，并使用 OpenSTA 进行时序分析。使用 iCE40 UP5K FPGA 外壳进行布局布线合理性检查。此外，还进行了特定的类 CXL.cache/mem 实验，以验证具体的协议字段。
关键结果
- 延迟保护：在合成混合压力实验中，模拟攻击流量将良性延迟从约 34 个周期增加到约 200 个周期。注入前语义阻断将良性延迟恢复到了基准水平（约 34 个周期）。至关重要的是，“盲目丢弃”对照组（在不进行语义检查的情况下丢弃数据包）也实现了相同的延迟恢复，这证明其主要收益在于注入前移除负载，而非仅仅是检测特定故障。仅监控模式未能恢复延迟。
- 语义选择性：在合法与非法数据包共享相同流量类别和路由形状的“同类”压力测试中，静态策略（Pair 和 Address+Pair）无法检测到令牌和重放故障。全语义策略实现了 100% 的真阳性检测（拦截了 688.4/688.4 个违规行为），且无假阴性和假阳性。在相同场景下的随机丢弃操作漏掉了约 75% 的违规行为，并错误地丢弃了约 75% 的合法数据包。
- 类 CXL 验证：在类 CXL 实验中，全语义策略拦截了所有六种模拟的故障类型（包括 Host-ID、Snoop-Token 和控制源违规），且对良性消息的误拦截率为零。
- 硬件开销：该策略路径非常紧凑。对于全语义变体，映射到 Nangate45 的面积为 52.668 µm²（54 个单元）。OpenSTA 报告在 1 ns 虚拟时钟下，数据到达时间为 0.2651 ns，时序裕量（slack）为 0.7349 ns。在 iCE40 UP5K 上的 FPGA 实现达到了 96.68 MHz 的最高频率。
意义与主张
论文声称 D2D 网关是多租户 Chiplet 系统中一个实用且有效的执行边界。其意义在于将安全边界从注入后监控转向了注入前准入控制。
- 资源隔离：主要贡献在于证明了注入前过滤能有效隔离共享 NoC 资源，防止违反策略的流量降低良性工作负载的性能。
- 语义的必要性：该工作确立了虽然静态的配对和地址过滤器是有用的，但不足以应对依赖于事务的故障（令牌和重放）。全语义检查对于区分共享相同类别和路由的合法与非法数据包是必要的。
- 可行性：硬件证据表明，所需的逻辑足够小，可以集成到 D2D 控制器的网关控制逻辑中，而不会占据过多的面积或时序预算。
作者明确指出，这并非对 UCIe、CXL 或 CHI 等协议的完整实现，也不是一种学习型异常检测器。相反，它是一种用于检查边界可见元数据的确定性机制，旨在强制执行资源隔离。确定的下一步工作是将此策略核心与具体的 D2D 控制器集成，以处理协议解析和物理时序收敛。
每周获取最佳 electrical engineering 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。