Rocket - tilelink - Bundles

https://mp.weixin.qq.com/s/jrqBg2AIpQogBrpwNXjmwg

 

简单介绍Bundles文件中对TileLink规范（1.7.1）的定义。

参考链接：https://docs.qq.com/sheet/DUVRzVGVqemZvVGFQ

 

1. TLMessages

 

1) 定义TileLink支持的各种消息：

 

​​

两点区别：

a. Acquire分成了两个AcquireBlock和AcquirePerm；

b. 使用Hint/HintAck消息实现Hint操作，而非Intent/HintAck。这样更直接易理解，一致性更好；

 

2) 各个Channel支持的消息：

 

​​

​​

 

2. TLPermissions

 

定义TL-C支持的各个权限（Permission）：

​​

 

协议中定义如下：

​​

主干、主干尖端、分支，这里Tip直接写Trunk Tip更好。

 

​​

一致性树中：

a. 每个节点都可以缓存一部分数据；

b. 访问节点与被访问节点之间的节点组成访问路径；

c. 主干分出分支；

d. 处在主干最前端的是主干尖端；

 

从中可以看出：

a. 空白节点（Nothing）未被访问（其中无缓存数据）；

b. 因为分支（Branch）还有其他兄弟分支，所以其中的节点不能被写，不然无法做到Cache一致性；

c. 针对Trunk尖端的写操作会穿透之前的所有Trunk节点，所以可以做到自然同步。如果针对TT之前的T节点进行写，则需要额外的同步动作，所以T节点只读。

d. 因为针对B节点的读必然经过TT节点（Cache命中，直接返回），所以无需把TT中的脏数据向B中同步。

​​

 

 

3. TLAtomics

 

定义数字运算、逻辑运算两种原子操作：

​​

 

​​

​​

 

 

4. TLHints

 

定义两种Hint消息：

​​

 

​​

 

5. TLBundle

 

定义各个Channel的输入输出接口。

 

1) 概念抽象

 

​​

 

2) A

 

​​

 

3) B

 

​​

 

4) C

 

​​

 

5) D

 

​​

 

6) E

 

​​

 

7) 集中在一起

 

​​

方向如下：

​​

 

 

6. TLBundleSnoop

 

添加了解耦信号的TLBundle：

​​

 

最近对DecoupledIO有了新的理解（或者说有了理解）。

 

所谓DecoupledIO或者ReadyValidIO，即是解耦信号。通过Ready/Valid这一组额外的信号，把信号的两端解耦。

 

要想知道一件事情是否发生有两种方法：

a. 轮询：自己不停地去检查；

b. 中断：别人告诉自己；

 

DecoupledIO通过一组信号通知对方有信息要发送或者自己准备好要接收了，这样就避免了自己不停地去检查。

 

在没有带外信息的情况下，这种检查意味着信号同步的动作。一方启动了同步，另一方则必须被同步，不然就会丢失信息。如此两端被同步信号紧密的耦合在一起。

 

有了DecoupledIO使用带外的一组信号进行通信，就把两端从同步信号中解放出来。不必被同步，也可以忽略对方的发送信号。耦合性大大降低。

 

总结一下，解耦体现在如下两点：

a. 不必在意对方在干什么，有需要时对方会呼叫；

b. 不必被对方强制干什么，有需要时可拒绝对方；

 

7. TLAsyncBundle

 

实现异步的TLBundle：

​​

 

8. TLRationalBundle

 

实现基于RationalIO的TLBundle：

​​