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: 标签:DecoupledIO,同步,tilelink,定义,Rocket,Bundles,TLBundle,信号,节点 来源: https://www.cnblogs.com/wjcdx/p/11110258.html