惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

Recent Commits to openclaw:main
Recent Commits to openclaw:main
GbyAI
GbyAI
Y
Y Combinator Blog
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
aimingoo的专栏
aimingoo的专栏
H
Hackread – Cybersecurity News, Data Breaches, AI and More
云风的 BLOG
云风的 BLOG
博客园 - 【当耐特】
Hugging Face - Blog
Hugging Face - Blog
M
MIT News - Artificial intelligence
博客园_首页
B
Blog RSS Feed
Recorded Future
Recorded Future
N
Netflix TechBlog - Medium
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
罗磊的独立博客
Apple Machine Learning Research
Apple Machine Learning Research
D
DataBreaches.Net
IT之家
IT之家
The GitHub Blog
The GitHub Blog
P
Proofpoint News Feed
Microsoft Azure Blog
Microsoft Azure Blog
S
SegmentFault 最新的问题
宝玉的分享
宝玉的分享
T
The Blog of Author Tim Ferriss
B
Blog
The Cloudflare Blog
MyScale Blog
MyScale Blog
雷峰网
雷峰网
U
Unit 42
C
Check Point Blog
月光博客
月光博客
Blog — PlanetScale
Blog — PlanetScale
T
Tailwind CSS Blog
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
大猫的无限游戏
大猫的无限游戏
D
Docker
Microsoft Security Blog
Microsoft Security Blog
WordPress大学
WordPress大学
L
LangChain Blog
F
Fortinet All Blogs
腾讯CDC
Martin Fowler
Martin Fowler
I
InfoQ
J
Java Code Geeks
博客园 - Franky
Engineering at Meta
Engineering at Meta
人人都是产品经理
人人都是产品经理
有赞技术团队
有赞技术团队
阮一峰的网络日志
阮一峰的网络日志

博客园_首页

Plist 二进制格式 Milvus 和 PGVector,哪个更好? OpenClaw 已过时?在 VS Code 中运行 Hermes Agent! 第30篇文章:一个大三计科生的自白 Manim如何在数学公式中完美显示中文? Docker 部署 RocketMQ 5 并发编程核心概念辨析 C#事务处理最佳实践:别再让“主表存了、明细丢了”的破事发生 CLI 是什么?为什么大厂突然集体卷命令行? 【从0到1构建一个ClaudeAgent】协作-自主Agent UIImageView 设置图片不生效的原因排查 最小二乘问题详解20:无先验约束下的增量式SFM自由网平差 痞子衡嵌入式:大话双核i.MXRT1180之XIP应用里借助MU实现可靠Flash IAP的方法 AI Chat 封装, SemanticKerne.AiProvider.Unified 已发布 Windows下右键编辑js文件无法打开记事本——在注册表中使用环境变量 在后台服务中使用 Scoped 服务,为什么总是报错? H200 安装驱动并使用sglang启动模型 wireshark 抓包Trap上报告警内容 我用 AI 辅助开发了一系列小工具(2):图片压缩工具 [A Primer On MC and CC] 2.1 Memory Consistency 1 - 指令重排序和 SC 模型 Oracle数据库SCN推进技术详解与实践指南 玩转控件:封装个带图片的Label控件 Claude Code 4.7 真正该升级的不是模型,而是你的工作流 前端小白一句话,AI 帮我做了个颜值拉满的桌面媒体播放器。当代码不再是门槛,一句话编程就是现实。 5. WorkBuddy: 小龙虾的灵魂三件套,让你的小龙虾不只是工具 SQLite 分片方案实战:三种分片策略的深度对比 告别简陋 UI!一款基于 Fluent Design 和基于 WinUI 的开源免费、现代化的 Avalonia UI 控件库 关于二进制排列组合枚举的总结 AI开发-python-LangGraph框架(3-27-LangGraph从零实现大模型智能决策工作流) ElasticSearch主分片和副本分片概念详解 【002】HTTPS 粗解:证书、TLS 握手与对后端配置的影响 Hermes Agent 一周暴涨五万 Star,但我劝你别急着追 明明连接的是Redis的DB0,为什么能查到DB3的数据? 【从0到1构建一个ClaudeAgent】协作-Agent团队 熟悉电子元器件之后,电子小白下一步该怎么走? MAF快速入门(23)通过C#类定义Skills .NET 高级开发 | 手写一个对象映射框架 FastAPI数据库ORM怎么选?我肝了三个Demo后,终于不再纠结了 mysqldump 参数拾遗:在遗忘与铭记之间 C# .NET 周刊|2026年3月5期 Claude code入门 - 陈彦斌 一文学习入门 ThingsBoard 开源物联网平台 GitHub 热门项目 | 2026年04月16日 如何为GIT设置全局勾子,为每次提交追加信息 Number.isFinite和isFinite与isNaN()和Number.isNaN的区别 PortSwigger SQL注入LAB2 推荐一个测试人必备的Skills,从功能到性能全搞定(附详细实操和安装下载方式) 筑基期:掌握Odoo基础核心知识点02(Odoo XML 开发方式详解) GLM模型这么火,咱们用vllm也咧一个呗! 深入理解 AbortController:从底层原理到跨语言设计哲学 字符串学习笔记 多租户系统框架的基础模块设计和分析设计 Apache SeaTunnel Zeta 为什么能做到“又快又稳”? AI开发-python-LangGraph框架(3-26-LangGraph基本概念及第一个简单样例) Vue 3 组件通信,别只会用 Props 和 Emits 了,这几个狠活儿你得看看 ElasticSearch7.X版本配置密码 用Manim实现动态交点计算--从一个动点问题说起 团结引擎+Addressable+Instant Game打包抖音小游戏 function call 实战:让 LLM 自动判断 pod 异常、调用日志工具并完成故障分析 bubseek —— 让 Agent 的足迹,变成团队的洞察 通过 C# 读取并导出 PDF 书签 如何用 GitHub Actions 实现 Steam 自动化发布 【从0到1构建一个ClaudeAgent】并发-后台任务 .NET 高级开发 | 定制 ASP.NET Core 框架 电子小白:什么是运算放大器(运放) zero2Agent:面向大厂面试的 Agent 工程教程,从概念到生产的完整学习路线 堆上的ORW HC32F460 USB CDC通信异常:非对齐访问异常排查 20260413-Hyperbridge 攻击事件:发生在默克尔山上的验证绕过 那些喊着AI 要淘汰你的人,正在靠你的焦虑赚大钱! 深度学习进阶(八)Swin Transformer 最小二乘问题详解19:带先验约束的增量式SFM优化与实现 SnapTranslate 3.0 正式发布:全局划词翻译 + 完整英语学习闭环,一站式搞定查词、记词、复习 工作的意义、工作的困难认知再思考 .NET + AI 进阶实战:基于类的技能开发 - 打造可治理的 Agent 能力模块 【从0到1构建一个ClaudeAgent】规划与协调-技能 上周热点回顾(4.6-4.12) 电子小白的工具三件套:面包板、杜邦线、万能板 单表五亿数据的查询优化 | Mysql、StarRocks 2. WorkBuddy:从“我是谁”到“帮我干活” C# 如何减少代码运行时间:7 个实战技巧 基于HelixToolkit.SharpDX 渲染3D模型 - 笺上知微 从零开始的双臂具身VLA起源及现阶段发展综述 - SkyXZ 记对 xonsh shell 的使用, 脚本编写, 迁移及调优 - pluvium27 受够了Vibe Coding的失控?换个起点,让AI事半功倍 从开始配置漏洞环境到漏洞复现流程 - 難しい 关于10年工作经验的程序员对OpenClaw的实战经验分享以及看法 - 虚无境 Any metadata 的内存布局 C# .NET 周刊|2026年3月2期 - InCerry 我帮你测过了,测试圈排名第二的 Skill 依然很牛逼 Skill Discovery | 无监督技能发现的经典工作总结 - MoonOut 上下文工程是什么?过时了么?一文讲明白! - 一枫说码 开了 TUN 模式还是直连?90% 的人都踩过这个坑 AScript扩展多种脚本语言 - rockey627 AI 学习笔记:Agent 的记忆机制 你能被装进一个文件里吗?——7 万人把同事"蒸馏"成了 AI - 我没有三颗心脏 Claude Code 通关手册(七):给 AI 装上技能包——Skills 完全指南 - 暮色之狐 在浏览器中快速编辑代码:VSCode Web 集成实践 - Newbe36524 蒸馏自己 skill?基于 Deepseek 的蒸馏器,丐版蒸馏方式,简单便捷 - To_Carpe_Diem Spring AI Aliababa和AgentScope,哪个更好? - 苏三说技术
从 AMBA 协议看 Valid-Ready 到 Credit-based 流控机制
64 · 2026-04-27 · via 博客园_首页

本文探究在 ARM 协议栈中,为什么 CHI 协议基于 credit 流控,而 AXI 协议基于 valid-ready 握手流控。

1. 引言

AXI 协议基于valid-ready 信号进行流控,只有 valid-ready 同时有效时表示数据有效,时序如下:

axi-hs

CHI 协议基于 credit 进行流控,下游输出 LCRDV 给上游,上游维护一个信用计数器,基于信用计数器的数量向下游分发请求个数:

CHI-hs

2. 两种流控的本质差异

2.1 Valid-Ready 分析

Valid-Ready 握手本质上是一种即时反压机制,如果发送方 Sender 和接收方 Receiver 间没有插入寄存器,那么接收方反压会被发送方即时看见,但是这不利于时序收敛,在高频系统下一般会在 Sender 和 Receiver 间插入多级寄存器。

2.1.1 真实传输场景

考虑一个真实的流水线互联,Valid/Ready 信号之间插入了 3 级 register slice 以切断组合路径:

52ed73e0-54ac-4408-8d01-f66803ef4bc0

这里引入一个概念 —— 反压信息往返周期数 \(T_{RRT}\)

对应上文的场景:

$T_{RRT} = T_{forward\_stages} + T_{backward\_stages} $

这时对于 Receiver,buffer 深度必须设定为大于等于 \(T_{RRT}\) 也就是 6, 因为反压信号 3 个 cycles 后才传递到 Sender,而在这 3 个周期中在途的请求是 3 个,对应前向 + 后向的 slices 数量。

2.1.2 维持满带宽的条件

\(B_{min} = BW \times T_{RRT}\)

上面给出的公式,设是使得发送方与接收方维持满带宽的条件,设 B 为接收方 Buffer 深度,对于每 cycle 1beat 的链路 BW 为 1,\(T_{RRT}\) 为 N 的场景下,Receiver 必须有至少 N-entry 的 FIFO 才能保证无气泡流水,这个 FIFO 承担了一个职责——即反压还在路上,必须承载上游 Outstanding 的数据,所以一般也称之为 skid-buffer 或者 elastic buffer。

基于 AXI 的 register slice 一般是 2-entry 的 skid-buffer,用来打破组合路径同时维持满吞吐。

2.1.3 吞吐效率

如果 Receiver 深度是下述公式的场景,设 B 为 Receiver buffer 深度:

\(B{min} < BW \times T_{RRT}\)

每次 FIFO 填满后,反压建立 + 解除的时间就会引入 bubble,导致有效带宽下降,具体的效率公式如下:

$\eta = \frac{有效传输 cycle}{总 cycle} = \frac{B}{B+T_{RRT}} $

这里 B 代表 Receiver FIFO 深度。

注意这里每一级 register slice 的 slice 都有上下游的 Valid-Ready,否则下游 FIFO 会丢包,效率分析就不成立。

2.2 Credit-Based 分析

基于信用的流控,本质上是一种解耦的哲学,核心思想是:将能否发送的决策权前置到发送端。

Sender 可发送条件: \(Credit_{available} > 0\)

2.2.1 真实传输场景

6901363f-57bd-44b8-853e-4e5d38d80e5a

上图与 Valid-Ready 系统一个很明显的区别, Credit 系统中,数据通路上只需要简单的 flop pipeline(每级1个 FF 就够),因为信号是单向的,没有握手。

2.2.2 Credit 流控的完整数学模型

设 Receiver buffer 深度为 B,往返延迟为 \(T_{RRT}\)(credit return延迟 + data forward 延迟),则:

  • 初始 credit 发放:\(C_{init} = B\)
  • 维持满吞吐的充要条件: \(B ≥ BW \times T_{RRT}\)
  • 有效带宽利用率: \(\eta = min(1, \frac{B}{BW \times T_{RRT}})\)

看起来公式与 Valid-Ready 系统的完全一致,但是基于 2.2.1 的描述,实际上反压往返时间是大大减少了的,因此 Receiver 的 buffer 深度也减少了。

2.2.3 Credit 流控的其他优势

2.2.3.1 时序友好

Credit return 只是一个单 bit 脉冲信号,可以插入任意级数的 flop,对比下 Valid-Ready 系统插入 register slice 需要配对的 skid-buffer,面积和复杂度显著减少。

2.2.3.2 支持虚通道 VC 和避免死锁

Credit 天然支持 per-VC 独立流控,是构建无死锁 NOC 的基础。

每条虚通道独立的 Credit 池可以防止 Head-of-Line Blocking 和协议级死锁,在 CHI, UCIe 等协议中是标配。本文暂不对此展开介绍。

3. 实际应用

3.1 ARM

CMN 系列,RN-I (Request Node - I/O) 和 RN-D (Request Node - DMA) 的存在本质上是一个协议桥,会进行基于 Valid-Ready 握手的 AXI 协议到基于 Credit 的 CHI 协议间的转换。

89a67549-9e81-42ef-a3d0-2fabc389ced9

这里的选择逻辑是:

外侧 AXI:因为绝大多数第三方 IP、历史 IP、以及 ARM 自家的大部分非一致性 IP 都是 AXI 接口

内侧 CHI:因为 Mesh 规模大(RTT 大)、需要 VC 支持一致性协议。

这种方案并不是技术最优,但确保了生态最优。 ARM 自己在新的 Neoverse 核心(如 Neoverse V2/V3)上使用 CHI 的 RN-F(Fully coherent)直接接入 Mesh,避免了这个转换开销。

有意思的是 CCIX 和 CXL 的设计选择:

  • CCIX 基于 PCIe 物理层,但上层协议采用信用流控的事务层。

  • CXL.cache/CXL.mem 完全是 credit-based 的,因为要跨 socket、跨 die 保证一致性

涉及"跨越物理边界 + 一致性语义",选择 credit 机制。

3.2 NVIDIA

Hopper/Blackwell 架构的多级互联:

e58a9bba-cbb7-470f-8355-dfc64da55c09

Level 2-3 之间是流控机制切换的分界点。切换原因是 XBar 规模扩大,\(T_{RRT}\) 增大,且需要 fair arbitration。

L2 Cache controller 内部使用多端口 Credit-based 调度器

3.3 Google TPU

TPU Systolic Array 与互联的耦合设计

cc561c67-030f-4cc7-bf69-f9f3ae6bb3a2

脉动阵列内部没有流控的原因:

  • 数据流动是编译时确定的,不存在动态拥塞
  • 每个 PE 的输入时序由编译器精确调度
  • 相当于把流控问题前移到编译器

这是最激进的优化,软件定义硬件:编译器+硬件协同设计,彻底消除运行时流控开销。

3.4 网络芯片(DPU/Switch ASIC)

Broadcom Tomahawk、NVIDIA Spectrum、Marvell Teralynx 等交换芯片:

  • Ingress → Packet Buffer: 严格credit-based,因为要防止PFC(Priority Flow Control)下的buffer溢出
  • Buffer → Egress: VOQ(Virtual Output Queue)+ credit调度
  • 跨芯片Fabric: Cell-based credit(把大包切成固定cell,每cell一个credit)

这里 Credit 的使用是功能性需求(防丢包是网络芯片的生命线),不是基于性能优化的考量

3.5 HBM/DDR 控制器

HBM/DDR控制器内部:

  • Command Queue → Scheduler: Valid-Ready 为主(队列深度可控)
  • Scheduler → PHY: 严格时序驱动,无流控(由 DRAM 时序参数决定)
  • 对外接口: credit(AXI5 或 CHI)

这里体现一个原则:当延迟由物理规律(DRAM 时序)而非缓冲决定时,流控退化为无意义。

4. 总结

Credit 流控的本质是用空间(buffer)换时间(latency tolerance),并用单向信号换时序收敛性。

随着 SoC 向大规模多核、3D 堆叠、Chiplet 集成演进,互连的物理延迟成为一等约束。AXI5 引入 credit transport、CHI/UCIe/NVLink 全面 credit 化,反映了整个行业从"总线思维"向"网络思维"的范式转变。在实际项目中需要根据互连拓扑、 \(T_{RRT}\) 预算、QoS 需求综合判断。

参考来源:

https://community.arm.com/support-forums/f/architectures-and-processors-forum/57671/axi5

AMBA AXI Protocol Specification (IHI 0022)

AMBA CHI Architecture Specification (IHI 0050)

Arm Neoverse CMN-700/CMN-S3 TRM

欢迎关注微信公众号:
微信图片_20260422210936_122_93